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. 2015/16

Information concerning the students who enrolled in A.Y. 2015/16

Information on the course unit
Degree course Second cycle degree in
PHILOSOPHICAL SCIENCES
LE0614, Degree course structure A.Y. 2008/09, A.Y. 2015/16
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 PIERDANIELE GIARETTA
Other lecturers GIUSEPPE MARIO SPOLAORE M-FIL/05

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
Hours of
Individual study
Shifts
Lecture 6.0 42 108.0 No turn

Calendar
Start of activities 01/03/2016
End of activities 11/06/2016
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)
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)
2 LOGIC 2016 01/10/2016 30/11/2017 GIARETTA PIERDANIELE (Presidente)
SPOLAORE GIUSEPPE MARIO (Membro Effettivo)
CARRARA MASSIMILIANO (Supplente)
SOAVI MARZIA (Supplente)
1 LOGIC 2015 01/10/2015 30/11/2016 GIARETTA PIERDANIELE (Presidente)
SPOLAORE GIUSEPPE MARIO (Membro Effettivo)
CARRARA MASSIMILIANO (Supplente)
SOAVI MARZIA (Supplente)

Syllabus
Prerequisites: Knowledge of elementary logic.
Target skills and knowledge: The course introduces logical semantics as a starting point to move in two different directions.
On the one hand, it analyzes how a theory of truth can be developed. Tarski's approach and that of Kripke are briefly presented.
On the other hand, it is shown how the basic logical semantics can be enriched in such a way as to obtain semantics for languages more complex than those of the first order.
Examination methods: Oral examination
Assessment criteria: Clarity, precision and ability to establish connections are taken into special account.
Course unit contents: Semantics of a first order language. The logical-philosophical question of truth: status questionis, outlines of Tarski's and Kripke’s approaches.

The semantics of time and modality: general notions, presuppositions, and philosophical issues. The generalisation of Tarski’s semantics to tense-modal languages; contexts and indices; Kripke frames, branching-time frames, identity across time and the treatment of historical modalities.
Planned learning activities and teaching methods: The lessons will be interactive.
Additional notes about suggested reading: Some complexities of the indicated texts will be neglected. Slides used for lessons will be made available. In addition, as concerns Tarski and Kripke, a list of questions that can be asked in the examination will be provided.
Textbooks (and optional supplementary readings)
  • D. Bostock, Intermediate Logic. Oxford: Clarendon Press, 2002. Only pp. 3-108. Cerca nel catalogo
  • H. Leitgeb, What Theories of Truth Should be Like (but Cannot be). --: Philosophy Compass, pp. 276–290., 2007. DOI: 10.1111/j.1747-9991.2007.00070.x Cerca nel catalogo
  • A. Tarski, The Semantic Conception of Truth and the Foundations of Semantics. --: Philosophy and Phenomonological research, 1944. IV, pp.341-375. Cerca nel catalogo
  • S. Kripke, Outline of a Theory of Truth. --: Journal of Philosophy, 1975. 72, pp. 690-716. Cerca nel catalogo
  • A. Prior, Identifiable individuals. --: Review of Metaphysics, 1960. 13(4), pp. 684–96. Cerca nel catalogo
  • J. MacFarlane, Future contingents and relative truth. --: The Philosophical Quarterly, 2003. 53(212), pp. 321—336. Cerca nel catalogo