Descrizione posizione

Titolo del progetto di ricerca in italiano	Logica matematica e logica filosofica. Teoria tarskiana della verità nelle teorie del primo ordine e di ordine superiore. Teorie assiomatiche della verità. Teorie degli oggetti astratti.
Titolo del progetto di ricerca in inglese	Mathematical logic and philosophical logic. First-order and higher-order Tarski’s theory of truth. Axiomatic theories of truth. Theories of abstract objects.
Descrizione sintetica in italiano	Rilevanza logica e filosofica del concetto di modello standard e non standard. Caratterizzazione formale della differenza tra i due tipi di modello. Il ruolo di una teoria assiomatica della verità nello studio dei sistemi di aritmetica del secondo ordine e della loro gerarchia. Sostanzialità del predicato di verità. Argomento della conservatività e ruolo dell’assioma di induzione non ristretto nelle dimostrazioni di non conservatività. Analisi delle strutture con classi di soddisfazione. Teorie assiomatiche della verità con predicati epistemici. Ontologia degli oggetti astratti.
Descrizione sintetica in inglese	Logical and philosophical relevance of the concept of standard and non standard model. Formal characterization of the difference between the two kinds of models. The role of the axiomatic theory of truth in the analysis of the hierarchies of systems of second order arithmetic. Substantiality of truth predicate and argument of conservativeness. The role of unrestricted induction axiom in the related non conservativity proofs. Model-theoretic analysis of structures with satisfaction classes. Axiomatic theories of truth with epistemic predicates. Ontology of abstract objects.
Descrizione del bando in italiano	Procedura di valutazione a n. 1 posto di ricercatore a tempo determinato presso l’Università Cattolica del Sacro Cuore
Descrizione del bando in inglese	Assessment procedure to a fixed-term research position at the Catholic University of Sacred Heart
Numero posti	1
Settore Concorsuale	11/C2 - LOGICA, STORIA E FILOSOFIA DELLA SCIENZA
S.S.D	M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Destinatari del bando (of target group)	Early stage researcher or 0-4 yrs (Post graduate)
Data del bando	12/12/2011

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Full-time
Ore settimanali	1500 annue
Organizzazione/Ente	Università Cattolica del Sacro Cuore
Paese (dove si svolgerà l'attività)	ITALY
Città	Milano
Codice postale	20123
Indirizzo	Largo A. Gemelli 1

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	Università Cattolica del Sacro Cuore
Tipo	Academic
Facoltà/Dipartimento/Laboratorio di ricerca	Lettere e filosofia
Paese	ITALY
Città	Milano
Codice postale	20123
Indirizzo	Largo A. Gemelli 1
E-mail	uff.concorsi@unicatt.it
Sito web	http://milano.unicatt.it/5471.html
Telefono	0272343813
Fax	0272342972

 

Dettagli per la candidatura

Data di scadenza del bando	20/01/2012
Come candidarsi	Other

 

Titoli di studio richiesti