LOGIC
cod. 02607

Academic year 2016/17
1° year of course - Second semester
Professor
Academic discipline
Logica e filosofia della scienza (M-FIL/02)
Field
Istituzioni di filosofia
Type of training activity
Related/supplementary
30 hours
of face-to-face activities
6 credits
hub:
course unit
in - - -

Learning objectives

1- A minima lknowledge of Intuitionism;
2 - S4 Modal System as a tool for poin 1

Prerequisites

Semantics and Syntax of Propositional Classical Logic

Course unit content

A short introduction to Intuitionistic and Modal (S4) Propositional Logic

Full programme

1) Natural Deduction for propositional S4
2) Kripke models
3) Natulal Deduction for Propositional Intuitionism
4) Kripke modelsfor Intuitionism

Bibliography

Notes sent directly to Students' e-mail addresses

Teaching methods

Oral lessons

Assessment methods and criteria

Final oral exam

Other information

- - -