Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Scienze umane, sociali e del patrimonio culturale
LINGUISTICA
Insegnamento
LOGICA
LE06105452, A.A. 2016/17

Informazioni valide per gli studenti immatricolati nell'A.A. 2016/17

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea magistrale in
LINGUISTICA
LE0610, ordinamento 2008/09, A.A. 2016/17
N0
porta questa
pagina con te
Crediti formativi 6.0
Tipo di valutazione Voto
Denominazione inglese LOGIC
Dipartimento di riferimento Dipartimento di Studi Linguistici e Letterari (DiSLL)
Sito E-Learning https://elearning.unipd.it/scienzeumane/course/view.php?idnumber=2016-LE0610-000ZZ-2016-LE06105452-N0
Obbligo di frequenza No
Lingua di erogazione INGLESE
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile PIERDANIELE GIARETTA
Altri docenti GIUSEPPE MARIO SPOLAORE M-FIL/05

Mutuante
Codice Insegnamento Responsabile Corso di studio
SUP5070960 LOGIC PIERDANIELE GIARETTA LE0614

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Discipline informatiche, logico-filosofiche, psicologiche e socio-antropologiche M-FIL/02 6.0

Organizzazione dell'insegnamento
Periodo di erogazione Secondo semestre
Anno di corso I Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 6.0 42 108.0

Calendario
Inizio attività didattiche 27/02/2017
Fine attività didattiche 09/06/2017
Visualizza il calendario delle lezioni Lezioni 2019/20 Ord.2008

Commissioni d'esame
Commissione Dal Al Membri
4 commissioni a.a. 2018-2019 01/10/2018 30/11/2019 SPOLAORE GIUSEPPE MARIO (Presidente)
GIARETTA PIERDANIELE (Membro Effettivo)
GALLINA FRANCESCO (Supplente)
PLEBANI MATTEO (Supplente)
3 LOGIC 2017 01/10/2017 30/11/2018 GIARETTA PIERDANIELE (Presidente)
SPOLAORE GIUSEPPE MARIO (Membro Effettivo)
CARRARA MASSIMILIANO (Supplente)
SOAVI MARZIA (Supplente)
2 LOGIC 2016 01/10/2016 30/11/2017 GIARETTA PIERDANIELE (Presidente)
SPOLAORE GIUSEPPE MARIO (Membro Effettivo)
CARRARA MASSIMILIANO (Supplente)
SOAVI MARZIA (Supplente)
1 LOGIC 2015 01/10/2015 30/11/2016 GIARETTA PIERDANIELE (Presidente)
SPOLAORE GIUSEPPE MARIO (Membro Effettivo)
CARRARA MASSIMILIANO (Supplente)
SOAVI MARZIA (Supplente)

Syllabus
Prerequisiti: Conoscenza della logica elementare.
Conoscenze e abilita' da acquisire: Il corso introduce la semantica logica come punto di partenza per muoversi in due direzioni diverse.

Da un lato, si analizza come può essere sviluppata una teoria della verità. L'approccio di Tarski e quello di Kripke vengono presentati brevemente.

Dall'altro, si mostra come la semantica logica di base possa essere arricchita in modo tale da ottenere semantiche per linguaggi modali e temporali.
Modalita' di esame: Esame orale.
Criteri di valutazione: La chiarezza, la precisione e la capacità di stabilire connessioni vengono prese in speciale considerazione.
Contenuti: Semantica di un linguaggio del primo ordine. Il problema logico-filosofico della verità: status quaestionis, gli approcci di Tarski e di Kripke.

La semantica del tempo e della modalità: nozioni generali, presupposti, e questioni filosofiche. La generalizzazione della semantica di Tarski a linguaggi tempo-modali; contesti e indici; i frame di Kripke, i frame del tempo ramificato, il trattamento delle modalità storiche, i futuri contingenti.
Attivita' di apprendimento previste e metodologie di insegnamento: Le lezioni saranno interattive.
Eventuali indicazioni sui materiali di studio: Alcune complessità dei testi indicati saranno trascurate. Le slide utilizzate per le lezioni saranno messe a disposizione. Inoltre, per quanto riguarda Tarski e Kripke, sarà fornito un elenco di domande che possono essere poste in sede di esame.
Testi di riferimento:
  • D. Bostock, Intermediate Logic. Oxford: Clarendon Press, 2002. Only pp. 3-108, more specifically chapter 3. Cerca nel catalogo
  • A. Tarski, The Semantic Conception of Truth and the Foundations of Semantics. --: Philosophy and Phenomonological research, 1944. IV, pp.341-375. Cerca nel catalogo
  • S. Kripke, Outline of a Theory of Truth. --: Journal of Philosophy, 1975. 72, pp. 690-716. Cerca nel catalogo
  • H. Leitgeb, What Theories of Truth Should be Like (but Cannot be). --: Philosophy Compass, pp. 276–290, 2007. DOI: 10.1111/j.1747-9991.2007.00070.x Cerca nel catalogo
  • A. Prior, Identifiable individuals. --: Review of Metaphysics, 1960. 13(4), pp. 684-96 Cerca nel catalogo
  • F. Gallina, G. Spolaore, Future contingents. --: manuscript, 2016. It will be made available through the Moodle platform at the beginning of the lessons
  • J. MacFarlane, Future contingents and relative truth. --: The Philosophical Quarterly, 2003. 53(212), pp. 321—336 Cerca nel catalogo