LF/0022 - INSTITUTIONS OF LOGIC
Academic Year 2022/2023
Free text for the University
FRANCESCO PAOLI (Tit.)
- Teaching style
- Lingua Insegnamento
|[20/39] PHILOSOPHY||[39/00 - Ord. 2013] PERCORSO COMUNE||9||45|
Knowledge and understanding: The student will be required to master the fundamentals of classical and nonclassical logic, as well as argumentation.
Applying knowledge and understanding: The student will be required to possess reasoning and argumentation skills that can be applied in several context: public and private authorities, cultural organisations, media and new media.
Just the skills required to secondary school students who enter a degree programme in Philosophy
Course title: Classical propositional and first-order logic.
FIRST PART: PROPOSITIONAL LOGIC AND ARGUMENTATION. Connectives. Truth tables. Arguments. Valid arguments. Fallacies.
SECOND PART: FIRST-ORDER LOGIC. First-order formalisation and quantifiers. Tarskian semantics.
THIRD PART: METALOGIC. Logical calculi. Basics of proof theory. Basics of algebraic semantics for propositional logic.
The classes will follow a seminar-style format, with a constant two-way interaction between instructor and students.
Verification of learning
Viva voce. Student can freely split the syllabus into a finite but otherwise arbitrary number of partial exams. At the end of each partial exam, the student will be given a mark for ease of reference only. These marks never expire.
Here is a list of assessment focal points:
- proper use of language and effective argumentation;
- ability to define concepts in a rigorous way and to explain their intuitive sense;
- ability to apply definitions to concrete examples, as demonstrated e.g. by solving exercises;
- ability to carry out proofs;
- ability to single out the philosophical import of the concepts under scrutiny.
Students can freely choose to be examined on:
- either the first module only (highest possible mark: 18/30);
- or the first and second module only (highest possible mark: 30/30);
- or the first, second and third module (highest possible mark: 30/30, with honours).
The final mark will not necessarily be the average mark of the individual partial exams taken by the student. It will be given as a result of a comprehensive assessment of all the available material concerning each student.
F.Paoli, C. Crespellani Porcella, G. Sergioli, Ragionare nel quotidiano, Mimesis, Milano, 2012;
D. Fazio, A. Ledda, M. Pra Baldi, Percorsi di logica, Mimesis, Milano, 2022.
Classnotes and slides available in the section “Materiali didattici” of the instructor's website.
Foreign students (Erasmus, non-European Mobility) can ask for a bibliography in other languages, if their language skills are not good enough to take their exam in Italian. For specific information they should send an e-mail to firstname.lastname@example.org
Office hours (in-person or remotely): students should make an appointment via email.
Slides will be made available in the section “Materiali didattici” of the instructor's website.
A more detailed syllabus, including a list of those sections of the course materials that can be skipped by students, will be made available in the section “Materiali didattici” of the instructor's website towards the end of the course. For ease of reference only, a mock list of standard exam questions will be made available in the section “Materiali didattici” of the instructor's website towards the end of the course.