Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | La teoria della dimostrazione -- |
|---|---|
| Titolo del progetto di ricerca in inglese | Proof Theory --Beweistheorie vs Natural Deduction -- in the History of Logic and Philosophy in the 20th Century. |
| Campo principale della ricerca | Philosophy |
| Sottocampo della ricerca | Logic |
| G.S.D. | 11/PHIL-02 - LOGICA, STORIA E FILOSOFIA DELLE SCIENZE E DELLE TECNICHE |
| S.S.D | PHIL-02/A - Logica e filosofia della scienza |
| Descrizione sintetica in italiano | Il programma di ricerca dell'assegnista prevede un'analisi delle due principali varianti della teoria della dimostrazione, quella formalista di Hilbert e quella generale di Gentzen, nelle loro più ampie radici logico-filosofiche e nelle più vaste implicazioni sulla semantica. |
| Descrizione sintetica in inglese | The research programme of the candidate includes an analysis of the two main variants of the theory of proof, Hilbert's formalism and Gentzen's general deduction, in their broader logico-philosophical roots and implications for semantics. |
| Data del bando | 03/12/2024 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
E.U. |
| Paesi di residenza dei candidati |
E.U. |
| Nazionalità dei candidati |
E.U. |
| Sito web del bando | http://www.unina.it/ricerca/bandi-nazionali/assegni-di-ricerca |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | ATENEO FEDERICO II |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | NAPOLI |
| Sito web | http://WWW.UNINA.IT |
| mariacarmela.serpico@unina.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 03/01/2025 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://pica.cineca.it/unina |