Corso
A Padova
Hai bisogno di un coach per la formazione?
Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.
Descrizione
-
Tipologia
Corso
-
Luogo
Padova
The exam is oral. It will involve the discussion of some of the topics dealt with during the lessons. More specifically, the student will be required to (i) be able to deal with some of the definitions and the proofs introduced in class, and (ii) understand the philosophical issues discussed. At least one of the questions will concern the Tarskian definitions and their philosophical motivations (e.g., "What are the entities that can stand in the relation of satisfaction?") and at least one will concern the tense-modal logics (e.g., "What is an accessibility relation?"). A rather long (but not exhaustive) list of possible exam questions will be available at the Moodle page of the course.
Sedi e date
Luogo
Inizio del corso
Inizio del corso
Opinioni
Programma
1) the logical-philosophical question of truth: status questionis, outline of Tarski's approach;
2) elements of basic logic (to the extent needed given the previous knowledge and skills of the students);
3) Tarskian semantics for first order languages;
4) time and modality: general notions, presuppositions, and philosophical issues.
5) the generalisation of Tarski’s semantics to tense-modal languages;
6) the notions of a parameter, evaluation point, contexts and indices;
7) the notion of frame;
8) branching-time frames and the treatment of historical modalities;
9) the problem of future contingents.
Hai bisogno di un coach per la formazione?
Ti aiuterà a confrontare vari corsi e trovare l'offerta formativa più conveniente.
LOGIC