Logic and Paradoxes (Miríada X)

Logic and Paradoxes (Miríada X)
Free Course
Categories
Effort
Certification
Languages
The course is relatively self-contained but a small acquaintance with classical propositional logic will help.
Misc
Logic and Paradoxes (Miríada X)
The main target of this course is introducing the student to some themes in the philosophical literature about the sorites paradox and the Liar paradox as well as to some logical developments connected to them.

More specifically, with this course we expect the students to reach the following goals: (i) knowing the philosophical significance of the sorites paradox and of the Liar paradox, (ii) knowing some basic reactions to the sorites paradox and to the Liar paradox. (iii) acquiring familiarity with the logics K3, LP and ST. (iv) mastering the concepts of paracompleteness, paraconsistency and duality. (v) acquiring familiarity with the use of multiple conclusions. (vi) mastering the tableaux technique to construct proofs for classical propositional logic, K3, LP, ST.




Módulos del curso


Módulo 0: Presentation

Módulo 1. Classical Propositional Logic

Módulo 2. Vagueness and the Sorites Paradox

Módulo 3. The Liar Paradox



Free Course
The course is relatively self-contained but a small acquaintance with classical propositional logic will help.