# LOGIC

_
iten
Code
65151
2017/2018
CREDITS
9 credits during the 1st year of 8455 Philosophy (L-5) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
M-FIL/02
LANGUAGE
Italian
TEACHING LOCATION
GENOVA (Philosophy)
semester
2° Semester

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

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

Ricevimento: Thursday 2-4 PM

Exam Board

MARCELLO FRIXIONE (President)

MASSIMILIANO VIGNOLO

NICLA VASSALLO

ANDREA OLDOFREDI

MARIA CRISTINA AMORETTI

CARLO PENCO

## LESSONS

LESSONS START

February 13, 2018

ORARI

LOGIC

## EXAMS

Assessment methods

Oral examination