PHILOSOPHICAL LOGIC
Oral examination with discussion of the tests in progress. The students must recognize their mistakes and show that have understood why they are such. General questions about the main learned concepts.
Solid skills in logical-deductive reasoning in general and mastery of basic concepts and techniques of symbolic logic.
First part:
Basic knowledge of informal and formal logic. The correct structure of the argument. Valid ad Sound Arguments. Monotony. Use and mention of symbols.
Language and metalanguage. The truth-functional connectives. Truth tables. Tautologies and Contradictions. Tautological Consequence. The Categorical Logic (Syllogistic).
Second part (Logica filosofica)
The language of the predicate calculus of the first order with identity. Free and bound variables. Syntactic Rules for quantifiers and identity. The semantics of the first-order predicate calculus with identity. The definition of truth (Tarski). Translation from natural language to symbolic language. The semantic deduction theorem. Hints on theorems about validity, completeness, decidability.
Full course (12 credits)
attending students
A. Varzi, J. Nolt, D. Rohatyn. "Logic", second edition, limited to the following chapters: 1, 3 (excluding section 3.7), 5 and 6.
Non-attending students:
personalized course agreed with the professor.
Logica filosofica
Attending students
A. Varzi, J. Nolt, D. Rohatyn. "Logica", seconda edizione, limitatamente ai capitoli 5 e 6.
Non-attending students
personalized course agreed with the professor.
Lectures with slides distributed weekly by mail to all students. Use of the Moodle platform. Homework exercises. tests during the course preceded by simulation and followed by correction in the classroom. Two hours per week devoted to laboratory exercises.
Oral exam:
Attending students:
discussion of tests (compitini). The students must be able to recognize their mistakes and have fully understood the reasons why they are errors. General questions (testing the understanding of the learned notions)
Non-attending students:
Oral exam on the agreed texts.