Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Logiche non classiche e teorematicità classica: uno studio logico-algebrico. |
|---|---|
| Titolo del progetto di ricerca in inglese | Non-classical logics and classical theoremhood: A logico-algebraic investigation. |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| Area CUN | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | - |
| Descrizione sintetica in italiano | La ricerca si focalizzerà sullo studio algebrico e proof-teoretico di logiche non classiche che hanno gli stessi teoremi della logica classica ma una relazione di conseguenza più debole. Dal punto di vista semantico, l’indagine sarà condotta nella cornice teorica della logica algebrica astratta, con l’obiettivo di descrivere le proprietà delle più importanti logiche in questione e di caratterizzare il reticolo delle sottologiche. Dal punto di vista sintattico, si tenterà di fornire un adeguato calcolo delle sequenze per alcune di tali logiche utilizzando varianti del calcolo classico senza la regola di cesura. Infine, si prenderanno in esame le possibili applicazioni dei risultati ottenuti al dibattito logico-filosofico. |
| Descrizione sintetica in inglese | The aim of the present research is to investigate a family of non-classical logics that have the same theorems as classical logic but a weaker consequence relation. From a semantic point of view, we will use the framework of abstract algebraic logic, with the goal of characterising various classes of algebraic models for these logics and studying the structure of the lattice they form. Proof-theoretically, the expected outcomes consist in axiomatisations via sequent calculi obtained by tweaking the classical calculus without the Cut rule. Furthermore, the research will explore the possible applications of the results to specific topics in the philosophy of logic. |
| Data del bando | 23/06/2020 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://dirpersonale.unica.it/concorsi/index.php?page=assegni |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|
| Nome dell'Ente finanziatore | PRIN 2017 - MIUR |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Cagliari |
| Sito web | http://www.miur.it |
| paoli@unica.it | |
| Telefono | 070 6757330 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 13/07/2020 |
|---|---|
| Come candidarsi | Other |