
Course unit
LOGIC
SUP5070960, A.A. 2018/19
Information concerning the students who enrolled in A.Y. 2018/19
Mutuated
Course unit code 
Course unit name 
Teacher in charge 
Degree course code 
SUP5070960 
LOGIC 
GIUSEPPE MARIO SPOLAORE 
LE0610 
ECTS: details
Type 
ScientificDisciplinary Sector 
Credits allocated 
Educational activities in elective or integrative disciplines 
MFIL/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 
Hours of Individual study 
Shifts 
Lecture 
6.0 
42 
108.0 
No turn 
Examination board
Board 
From 
To 
Members of the board 
5 Commissioni a.a. 20192020 
01/10/2019 
30/11/2020 
SPOLAORE
GIUSEPPE MARIO
(Presidente)
MORATO
VITTORIO
(Membro Effettivo)
GIARETTA
PIERDANIELE
(Supplente)

4 commissioni a.a. 20182019 
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)

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 tensemodal 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 tensemodal languages;
5) knowledge of elements of the logicsphilosophical debate on future contingents, historical possibilities, and the branchingtime conception.
6) capability to evaluate sentences and arguments (formalised and nonformalised) involving quantified and tensemodal 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 tensemodal 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 logicalphilosophical 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 tensemodal languages;
6) the notions of a parameter, evaluation point, contexts and indices;
7) Kripke frames;
8) branchingtime 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)

A. Tarski, The Semantic Conception of Truth and the Foundations of Semantics. : Philosophy and Phenomenological research, 1944. IV, pp.341375.

A. Prior, Identifiable individuals. : Review of Metaphysics, 1960. 13(4), pp. 68496

F. Gallina, G. Spolaore, Future contingents. : manuscript, 2016.

J. MacFarlane, Future contingents and relative truth. : The Philosophical Quarterly, 2003. 53(212), pp. 321—336

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

