Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Logiche modali quantificate: teoria della dimostrazione e quantificatori generalizzati |
|---|---|
| Titolo del progetto di ricerca in inglese | Proof Theory of Quantified Modal Logic |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| Settore Concorsuale | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | - |
| Descrizione sintetica in italiano | La ricerca verte sulle logiche modali quantificate, in particolare sulle logiche modali con operatori indiciati. Intendiamo studiare tali logiche nell’ambito e con gli strumenti della teoria della dimostrazione. L'approccio che seguiremo sarà quello dei 'labelled sequent calculi'. Per questi calcoli mostreremo in particolare che la regola del taglio è ammissibile. Risultato quest'ultimo che intendiamo dimostrare per un'ampia classe di logiche modali. Ci aspettiamo in questo modo di provare in maniera sintattica vari risultati metateorici soprattutto per quelle logiche modali che sono molto dibattute nella letteratura. Estenderemo questo approccio alle logiche epistemiche e deontiche. Altra linea di indagine consisterà nel considerare logiche modali con quantificatori generalizzati. Si tratta di un settore quasi completamente da esplorare sia da un punto di vista semantico che di teoria della dimostrazione. Le ricadute filosofiche dei risultati ottenuti verranno discusse ampiamente. |
| Descrizione sintetica in inglese | The research concerns quantified modal logics, in particular modal logics with indexed operators. We will study these logics in the context and with the tools of proof theory. The approach that we favour is the one called ‘labelled sequent calculi’. For the various modal labelled sequent calculi we will try to prove that the cut rule is admissible. This is a fundamental result that we expect to prove for a large class of modal logics. In this way we hope to be able to obtain various metatheorical results specially for those logics more discussed in the literature. We intend to extend this approach to quantified epistemic and deontic logics. Another line of research will be modal logics with generalized quantifiers. This is a new field that we intend to explore both from the semantical and the syntactical point of view. The philosophical consequences of our results will be carefully examined. |
| Data del bando | 30/05/2014 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI FILOSOFIA E COMUNICAZIONE |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| filcom.amministrazione@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/06/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |