OVERVIEW

The course will introduce the fundamentals of Logic and of Reasoning

AIMS AND CONTENT

LEARNING OUTCOMES

Giving an introduction to the two main aspects of Classical Logic: propositional logic and first order predicate logic. Analyzing and formalizing simple natural language sentences, and evaluating deductive inferences. To be acquainted with the notion of non-deductive inference.

SYLLABUS/CONTENT

Contents for students who are taking the 6-CFU course

Propositional Logic and Predicate Logic
- What is Logic
- The notion of inference
- Propositional logic
- Semantic trees for propositional logic
- The language of predicate logic
- Formalizing sentences in predicate logic
- Semantic trees for predicate logic

Contents for students who are taking the 9-CFU course

Part 1: Propositional Logic and Predicate Logic
- What is Logic
- The notion of inference
- Propositional logic
- Semantic trees for propositional logic
- The language of predicate logic
- Formalizing sentences in predicate logic
- Semantic trees for predicate logic

Part 2: Non truth-functional connectives, informal reasoning, and argument
- fundamentals of modal logic
- logical inferences and ordinary reasoning
- fallacies and reasoning mistakes
- non-deductive inferences

RECOMMENDED READING/BIBLIOGRAPHY

1st part: Dario Palladino, Corso di logica, Carocci, Roma, 2002: introduction, chapters from 1 to 5, 8 and 9

2nd part: Marcello Frixione, Come ragioniamo, Laterza, Roma-Bari, 2007

TEACHERS AND EXAM BOARD

Exam Board

MARCELLO FRIXIONE (President)

MARIA CRISTINA AMORETTI

ANDREA OLDOFREDI

CARLO PENCO

NICLA VASSALLO

MASSIMILIANO VIGNOLO

LESSONS

LESSONS START

February 13, 2018

Class schedule

LOGIC

EXAMS

ASSESSMENT METHODS

Oral examination

Exam schedule