Descrizione posizione

Titolo del progetto di ricerca in italiano	RIF, 314 - Fondamenti della logica: aspetti metateorici e filosofici
Titolo del progetto di ricerca in inglese	RIF, 314 - Foundations of logic: metatheoretical and philosophical aspects
Descrizione sintetica in italiano	La ricerca intende approfondire gli aspetti fondazionali della logica, con particolare riferimento alla struttura logica dei linguaggi naturali e formali, della computazione e della comunicazione. La ricerca dovrà sviluppare tecniche di teoria della dimostrazione ed analizzare le interpretazioni semantiche delle logiche considerate. La ricerca dovrà affrontare gli aspetti filosofici delle soluzioni proposte e si dovranno esaminare anche le possibili applicazioni.
Descrizione sintetica in inglese	The research intends to address the foundational aspects of logic, with particular attention to the logical structure of natural and formal languages, of computation and communication. Moreover one of the goals of the research is to develop new methods in proof theory and to analyze the semantic interpretations of the logics under consideration. The philosophical implications of the proposed solutions will have to be addressed together with the possible applications.
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)	Experienced researcher or 4-10 yrs (Post-Doc)
Data del bando	17/01/2020

 

FP7 / PEOPLE / Marie Curie Actions

Research Framework Programme / Marie Curie Actions	No

 

Dettagli dell'impiego

Tipo di contratto	Temporary
Tempo	Other
Organizzazione/Ente	ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA
Paese (dove si svolgerà l'attività)	ITALY
Città	BOLOGNA

 

Contatto presso l'Organizzazione/Ente

Organizzazione/Ente	ALMA MATER STUDIORUM - UNIVERSITÀ DI BOLOGNA
Tipo	Academic
Paese	ITALY
Città	BOLOGNA
E-mail	apos.ricercatoritempodeterminato@unibo.it
Sito web	http://www.unibo.it/it/ateneo/concorsi-e-selezioni/bandi-ricercatore-a-tempo-determinato#!

 

Dettagli per la candidatura

Data di scadenza del bando	21/02/2020 - alle ore 23:59
Come candidarsi	http://www.unibo.it/it/ateneo/concorsi-e-selezioni/bandi-ricercatore-a-tempo-determinato#!

 

Titoli di studio richiesti

Laurea	PhD or equivalent
Ambito della laurea	Philosophy

 

Esperienze di ricerca richieste

Campo principale della ricerca	Philosophy
Sottocampo della ricerca
Anni di esperienza richiesti	3

 

Lingue richieste

Lingua	ENGLISH
Livello di conoscenza della lingua	Good