LOGIC
COD. 1005446
DEGREE: PHILOSOPHY
TYPE OF COURSE: COMPULSORY SUBJECTS, CHARACTERISTIC OF THE CLASS
LANGUAGE OF INSTRUCTION: Italian
Learning outcomes of the course unit
Formal Logic for analyzing natural language and arguments expressed in it.
Propositional S4 system of Modal Logic.
Prerequisites
Semantics of Propositional Classical Logic
Course contents summary
A short introduction to Modal (S4) Propositional Logic
Course contents
1) Intuitive interpretations and translations into metalanguage.
2) Natural Deduction for propositional S4 and Kripke models
Recommended readings
Notes sent directly to Students' e-mail addresses
Teaching methods
Oral lessons
Assessment methods and criteria
Final oral exam
NAME OF LECTURER
SERVI Mario
ACADEMIC YEAR: 2017/2018
YEAR OF STUDY: 1
SEMESTER: First semester
NUMBER OF CREDITS: 6
UNIT COORDINATOR: SERVI Mario
CONTACT HOURS: 30
INDIVIDUAL WORK HOURS: 120