First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Human and Social Sciences and Cultural Heritage
PHILOSOPHICAL SCIENCES
Course unit
LOGIC
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
PHILOSOPHICAL SCIENCES
LE0614, Degree course structure A.Y. 2008/09, A.Y. 2019/20
N0
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
Branch PADOVA
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

Lecturers
Teacher in charge GIUSEPPE MARIO SPOLAORE M-FIL/05
Other lecturers VITTORIO MORATO M-FIL/05

Mutuated
Course unit code Course unit name Teacher in charge Degree course code
SUP5070960 LOGIC GIUSEPPE MARIO SPOLAORE LE0610

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 First 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

Calendar
Start of activities 30/09/2019
End of activities 18/01/2020
Show course schedule 2019/20 Reg.2008 course timetable

Syllabus
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