- Docente: Guido Gherardi
- Credits: 12
- SSD: M-FIL/02
- Language: Italian
- Teaching Mode: Traditional lectures
- Campus: Bologna
-
Corso:
First cycle degree programme (L) in
Philosophy (cod. 9216)
Also valid for Second cycle degree programme (LM) in Italian Studies, European Literary Cultures, Linguistics (cod. 9220)
Learning outcomes
Students will get to know about extensions of propositional and first order logic: in the first part, modal logics viewed as extensions of the propositional classical logic and in the second part some first order theories together with some of their metatheoretical properties.
Course contents
Aim of the course is to provide the fundamental tools for the basic knowledge of formal logic conceived as science of reasoning.
The use of formal methods allows us indeed to obtain a more accurate precision in the study and in the analysis of argumentations.
Topics dealt with in the course:
- Philosophical motivations
- Syntax and semantics of propositional logic
- Syntax and semantics of first order logic
- Natural language and artificial language: formalization
- Axiomatic systems and Hilbert calculus
- Sequent calculus
- Natural Deduction
- Foundations of Set Theory
The treatment of the topics will be homogeneously distributed during the course.
Readings/Bibliography
- Dario Palladino, Corso di Logica, Carocci, 2010
- Handouts provided by the teacher
Teaching methods
Lessons in classrooms with blackboard.
Assessment methods
Written exam based on the solution of exercises analogous to the exercise samples solved during the course.
Here following the list of possible marks and their interpretation:
Assessment criteria and thresholds of evaluation:
30 cum laude: Excellent as to knowledge, terminology and critical expression.
30: Excellent, knowledge is complete, well articulated and correctly expressed, although with some slight faults.
27-29: Good, knowledge comprehensive and satisfactory, essentially correct expression .
24-26: Fairly good, knowledge present in significant points, but not complete and not always expressed with correctness.
21-23: Sufficient, knowledge is sometimes superficial, but the guiding general thread is included. Expression and articulation incomplete and often not appropriate
18-21:.Almost sufficient, but knowledge present only on the surface. The guiding principle is not included with continuity. The expression and articulation of the speech show important gaps.
<18: Not sufficient, knowledge absent or very incomplete, lack of guidance in discipline, expression seriously deficient. Exam failed.
Teaching tools
- Blackboard
- Handouts provided by the teacher
Office hours
See the website of Guido Gherardi