Logic and Paradoxes
Offered By: Universidad de Navarra via Miríadax
Course Description
Overview
Descripción de curso
Gracias por tu interés. Aunque este MOOC ya se realizó, si te inscribes podrás acceder a los contenidos más importantes y a los vídeos. Sin embargo, no podrás realizar ninguna de las actividades ni te podrás certificar. Cuando esté disponible una nueva edición podrás inscribirte para que obtengas la experiencia completa de un MOOC de Miríadax.
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.
Gracias por tu interés. Aunque este MOOC ya se realizó, si te inscribes podrás acceder a los contenidos más importantes y a los vídeos. Sin embargo, no podrás realizar ninguna de las actividades ni te podrás certificar. Cuando esté disponible una nueva edición podrás inscribirte para que obtengas la experiencia completa de un MOOC de Miríadax.
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.
Syllabus
Presentation
Unit 1. Classical Propositional Logic
Unit 2. Vagueness and the Sorites Paradox
Unit 3. The Liar Paradox
Unit 1. Classical Propositional Logic
Unit 2. Vagueness and the Sorites Paradox
Unit 3. The Liar Paradox
Taught by
Pablo Cobreros
Tags
Related Courses
An Introduction to Logic for Computer ScienceUniversity of Leeds via Coursera Business Writing
Berkeley University of California via edX Joy of Problem Solving
Brilliant Math Fundamentals (2020)
Brilliant Mathematical Fundamentals
Brilliant