LOGIC

Second cycle degree in PHILOSOPHICAL SCIENCES

Campus: PADOVA

Language: English

Teaching period: Second Semester

Lecturer: PIERDANIELE GIARETTA

Number of ECTS credits allocated: 6


Syllabus
Prerequisites: Knowledge of elementary logic is useful but not indispensable.
Examination methods: Oral examination
Course unit contents: Semantics of a first order language. The logical-philosophical question of truth: status questionis, outline of Tarski's approach.
The semantics of time and modality: general notions, presuppositions, and philosophical issues. The generalisation of Tarski’s semantics to tense-modal languages; contexts and indices; Kripke frames, branching-time frames, the treatment of historical modalities, future contingents.