Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | L'implicit commitment delle teorie matematiche attraverso nozioni intensionali |
|---|---|
| Titolo del progetto di ricerca in inglese | The implicit commitment of mathematical theories through intensional notions |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| Settore Concorsuale | 11 - Scienze storiche, filosofiche, pedagogiche e psicologiche |
| S.S.D | M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA |
| Descrizione sintetica in italiano | Il progetto di ricerca riguarda temi che intersecano la teoria della dimostrazione, la filosofia della logica e la filosofia della matematica. Secondo la tesi dell'implicit commitment, accettare un sistema formale matematico comporta impegnarsi implicitamente su ulteriori risorse non immediatamente disponibili nel sistema. Nozioni semantiche ed intensionali sono state impiegate per ottenere una significativa forza deduttiva a partire da assunzioni combinatorie di base. Lo scopo principale di questo progetto è sviluppare strategie per giustificare, attraverso risorse intensionali minimali, l'esistenza e le proprietà di assiomi matematici. L'idea è quella di vedere gli assiomi `logici' intensionali come uno strumento per colmare lo scarto tra teorie matematiche epistemicamente accessibili e la matematica di ordine superiore. |
| Descrizione sintetica in inglese | The research project focuses on themes at the crossroads of proof-theory, philosophical logic, and philosophy of mathematics. According to the implicit commitment thesis, once accepting a mathematical formal system, one is implicitly committed to additional resources not immediately available in it. Semantic and intensional notions have been used to reach a significant deductive strength starting with basic combinatorial assumptions. The main aim of this project concerns developing strategies for justifying, through minimal intensional resources, the existence and properties of mathematical axioms. Roughly speaking, the idea is that of viewing intensional `logical' axioms as bridging a gap between epistemically accessible mathematical theories and higher-order mathematics. |
| Data del bando | 16/04/2018 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://www.sns.it/bando/assegno-di-ricerca-la-collaborazione-al-programma-di-ricerca-%E2%80%9Climplicit-commitment-delle-teorie-matematiche-attraverso-nozioni |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Importo annuale | 23787 |
| Valuta | Euro |
| Altri costi in italiano | L'importo lordo dell’assegno, comprensivo di tutti gli oneri a carico dell’Amministrazione, è fissato in € 23.787,00= e sarà erogato al beneficiario in rate mensili posticipate |
| Altri costi in inglese | Gross remuneration, inclusive of all taxes: € 23.787,00 |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
. Possono presentare domanda per il conferimento dell’assegno di cui sopra i candidati in possesso del titolo di dottore di ricerca - ovvero di titolo di studio equipollente al predetto, conseguito in Italia o all’estero - in Filosofia, Logica o Matematica. Potranno partecipare altresì i candidati in possesso di un titolo di studio conseguito all’estero che sia riconosciuto equivalente al predetto titolo italiano ai soli fini dell’ammissione alla selezione; a questo scopo l’eventuale equivalenza dei titoli conseguiti all’estero con il suddetto titolo italiano potrà essere dichiarata dalla commissione giudicatrice di cui all’art.6. Per l’espletamento dell’attività è altresì richiesta la conoscenza della lingua inglese. |
| Criteri di selezione in inglese (breve descrizione) |
Applications are invited from candidates who have completed a PhD in Philosophy, Logic or Mathematics. Candidates who have completed the aforementioned degrees abroad may also apply, if said degrees are recognized as equivalent to Italian degrees. Knowledge of English language is also required to carry out the research activity. |
| Nome dell'Ente finanziatore | Scuola Normale Superiore |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Pisa |
| Codice postale | 56126 |
| Indirizzo | Piazza dei Cavalieri n. 7 |
| Sito web | http://www.sns.it |
| job.opportunities@sns.it | |
| Telefono | 0039050509771 |
| Telefono | 0039050509723 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/05/2018 |
|---|---|
| Come candidarsi | https://serse.sns.it/it/ |