Philosophical logic (5cr)
- 2016-10-05 - 2016-12-21
- Wed. 16-19
- Facultat de Filosofia, UB - Room 411
The XXth century has seen the development of many logics that deviate from classical logic. The aim of the course is to give an introduction to some important non-classical logics, with special attention to their applications (in philosophy, cognitive science and artificial intelligence).
Structure and Contents:
1. Introduction: classical logic and beyond. A map of non-classical logics.
2. Possible world semantics and its applications:
2.1 Modal logic, deontic logic, epistemic logic.
2.2 Intuitionist logic.
3. Many-valued logic and its applications.
3.1 Three-valued logic: Kleene logics, Lukasiewicz logics, LP.
3.2 Four-valued Logic: FDE.
3.3 Fuzzy logic.
Students will read basic texts on the different topics covered, extracted mostly from the introductory book by Priest “An Introduction to Non-Classical Logic”. In class we will comment on the difficult points of the texts and solve some exercises. Other exercises will be solved by students as weekly assignments.
The course will be evaluated on the basis of participation in class and on the qualifications of the homework assignments.
Students should be able to critically understand central texts in the logic and philosophy of the cognitive sciences in a way that puts them in a position to develop and apply original ideas.
Students should be able to communicate their knowledge and their arguments to specialized audiences in a clear and articulate way.
Students should be able to work both independently and in a team, in an international environment.
Students should be able to identify fallacies and methodological errors in reasoning.
Students should be able to critically engage with the concepts and methods of contemporary non-classical logics.
Students should be able to identify and critically engage with the current state of a particular philosophical debate, and form a reasoned view, even if provisional, about it.
Students should be able to critically use specialized terminology in the field of logic and the philosophy of the cognitive sciences.
Students should be able to solve basic problems in the field of non-classical logics.
Students should be able to use different logical systems (classical and non-classical) to represent knowledge.
Graham Priest, An Introduction to Non-Classical Logic: from If to Is, Cambridge UP, 2008.