An introductory course in Logic.
Alternatively, you should have read an introductory handbook in logic, like for instance
W. Hodges, Logic, Harmondsworth, Penguin Books, 1977.
E.J. Lemmon, Beginning Logic, Nelson, London, 1971
First module: to illustrate in detail two alternative paradigms of logical validity, the classical and the intuitionistic one, and to formalize and compare the two logics.
Knowledge of the main approaches to the logical study of language. Use of formal tools for a semantically oriented treatment of context dependence.
Classical and Intuitionistic Logic.
The logical study of natural languages and fundamental concepts for the development of a theoretical framework for studying meaning.
What is logic. Arguments.Two paradigms of logical validity.
Natural and formal languages. Logical form.
Syntax and Semantics
Classical logic. Tarskian definition of logical consequence.
Classical propositional logic. Tautologies. The method of tableaux.
Propositional modal logic. Kripke models.
Classical predicative logic. Models.
Tarski’s definition of truth.
Metalogic: soundness and completeness theorems. Decidability and semidecidability.
Intuitionistic propositional logic.. Kripke models.
Intuitionistic propositional logic. Natural deduction. Exercises.
Intuitionistic predicative logic. Kripke semantics. Natural deduction.
Metalogic: soundness and completeness
Valid inference: Prawitz’s objections to Tarski.
The neo-verificationist theory of the meaning of the logical constants VS the BHK-explanation.
Tonk and Uniqueness.
Prawitz’s account of inference and consequence.
1) Frege. The logical study of language
2) Frege. Sense and reference
3) Frege. Compositionality
4) Russell. The theory of propositions
5) Russell. Quantification
6) Tarski. Truth and the philosophy of language
7) Carnap. Extension and intension
8) Davidson. Truth and meaning
9) Intuitionism. The BHK interpretation
10) Intuitionism. The proper treatment of logical constants
11) Montague. Natural languages and quantification
12) Kripke. Possible worlds semantics
13) Stalnaker. Counterfactuals
14) Kaplan. Indexicality
15) Grice. Logical words and conversational inferences
16) Stanley. Contextually varying semantic content.
G. Usberti, Lecture Notes (online: http://www.ciscl.unisi.it/master/materials.htm )
J. MacFarlane, “Propositional Logic Review”
J. MacFarlane, “Predicate Logic Review”
J. MacFarlane, “Propositional Modal Logic”
J. MacFarlane, “Logical Consequence”
J. MacFarlane, “Prawitz’s proof-theoretic account of consequence”.
Scott Soames. Philosophy of Language. Princeton and Oxford, 2010.
Z. G. Szabó (a cura di). Semantics vs. Pragmatics. Clarendon Press. Oxford, 2005.
M. Dummet. Frege: Philosophy of Language. Cambridge University Press. Cambridge, 1981.
Written paper. Students may also ask for an additional oral examination
The exam program for working students is the same program as for non-working students. For specific problems please contact prof. Usberti via e-mail (email@example.com) or during the receiving hours.