First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Human and Social Sciences and Cultural Heritage
Course unit
SUP5070960, A.A. 2018/19

Information concerning the students who enrolled in A.Y. 2018/19

Information on the course unit
Degree course Second cycle degree in
LE0614, Degree course structure A.Y. 2008/09, A.Y. 2018/19
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination LOGIC
Department of reference Department of Philosophy, Sociology, Education and Applied Psychology
Mandatory attendance No
Language of instruction English
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Other lecturers VITTORIO MORATO M-FIL/05

Course unit code Course unit name Teacher in charge Degree course code

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Educational activities in elective or integrative disciplines M-FIL/02 Logic and Philosophy of Science 6.0

Course unit organization
Period Second semester
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Lecture 6.0 42 108.0 No turn

Start of activities 25/02/2019
End of activities 14/06/2019
Show course schedule 2019/20 Reg.2008 course timetable

Examination board
Board From To Members of the board
4 commissioni a.a. 2018-2019 01/10/2018 30/11/2019 SPOLAORE GIUSEPPE MARIO (Presidente)
3 LOGIC 2017 01/10/2017 30/11/2018 GIARETTA PIERDANIELE (Presidente)
SOAVI MARZIA (Supplente)

Prerequisites: No previous knowledge is required. However, knowledge of elementary logic (propositional calculus, truth tables) is useful.
Target skills and knowledge: The course is intended to offer:
1) knowledge of elementary logic;
2) capability to formalise simple sentences involving quantified and tense-modal expressions;
3) knowledge of the Tarskian approach to the definition of truth in a language and in a model, and of some philosophical motivations of Tarski's approach;
4) knowledge of Tarskian semantics for first order languages and of its extensions to tense-modal languages;
5) knowledge of elements of the logics-philosophical debate on future contingents, historical possibilities, and the branching-time conception.
6) capability to evaluate sentences and arguments (formalised and non-formalised) involving quantified and tense-modal expressions;
7) capability to formulate simple semantic proofs.
Examination methods: The exam will be pursued in oral form. 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.
Assessment criteria: Knowledge and skills to be evaluated:
1) knowledge and technical skills relative to the formal topics introduced in the course;
2) knowledge and grasp of the philosophical topics and presuppositions discussed in the course;
3) the capability to individuate valid sentences and arguments, and to formulate some simple proofs;
4) clarity, precision and the capability to recognise connections.
Course unit contents: The course will concern the following topic:
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) Kripke frames;
8) branching-time frames and the treatment of historical modalities;
9) the problem of future contingents.
Planned learning activities and teaching methods: The frontal lessons (pursed with the help of powerpoint presentations) will be aimed at constantly involving the students and stimulating discussion. During the course, several exercises will be proposed either as classwork or homework.
Attendance is definitely strongly recommended.
Additional notes about suggested reading: 1) All reference texts and all the powerpoint presentations used in class will be available at the Moodle page of the course;
2) Some complexities of the reference texts will be neglected. Slides used for lessons will be made available;
3) Further information about the reference texts and other useful resources will be uploaded at the Moodle page of the course.
Textbooks (and optional supplementary readings)
  • P. Casalegno, Filosofia del linguaggio. Un'introduzione. Roma: Carocci, 2000. Chapter 4 (English Translation available in Moodle) Cerca nel catalogo
  • A. Tarski, The Semantic Conception of Truth and the Foundations of Semantics. --: Philosophy and Phenomenological research, 1944. IV, pp.341-375. 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.
  • J. MacFarlane, Future contingents and relative truth. --: The Philosophical Quarterly, 2003. 53(212), pp. 321—336 Cerca nel catalogo

Innovative teaching methods: Teaching and learning strategies
  • Problem based learning
  • Questioning
  • Peer feedback