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. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course Second cycle degree in
LE0610, Degree course structure A.Y. 2008/09, A.Y. 2019/20
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 Linguistic and Literary Studies
E-Learning website
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
Core courses M-FIL/02 Logic and Philosophy of Science 6.0

Course unit organization
Period First 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 30/09/2019
End of activities 18/01/2020
Show course schedule 2019/20 Reg.2008 course timetable

Examination board
Board From To Members of the board
5 Commissioni a.a. 2019-2020 01/10/2019 30/11/2020 SPOLAORE GIUSEPPE MARIO (Presidente)
MORATO VITTORIO (Membro Effettivo)
4 commissioni a.a. 2018-2019 01/10/2018 30/11/2019 SPOLAORE GIUSEPPE MARIO (Presidente)

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) ability 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 extension to tense-modal languages;
5) knowledge of basic elements of the logico-philosophical debate on future contingents, historical possibilities, and the branching conception of time.
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 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.
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 ability to individuate valid sentences and arguments, and to formulate some simple proofs;
4) clarity, precision and the capability to recognise connections between different topics.
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) the notion of frame;
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 (done with the help of a blackboard and of powerpoint or pdf 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, also in group settings.
Attendance is definitely strongly recommended.
Additional notes about suggested reading: All articles, textbooks and slides used during the course will be available at the Moodle page of the course.
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
  • G. Spolaore, Logic course notes. --: --, 2019.

Innovative teaching methods: Teaching and learning strategies
  • Lecturing
  • Problem based learning
  • Interactive lecturing
  • Working in group
  • Questioning
  • Problem solving
  • Flipped classroom
  • Peer feedback
  • Active quizzes for Concept Verification Tests and class discussions

Innovative teaching methods: Software or applications used
  • Moodle (files, quizzes, workshops, ...)
  • Latex