Philosophical Logic
- Academic year
- 2010/2011
- Teacher
- José MartÃnez
- Department
- Department of Philosophy
- University
- Universitat de Barcelona
- Itinerary
- Master courses
- Module
- Module 7. Issues in Contemporary Theoretical and Practical Philosophy
- Code
- 566184
- Credits
- 5
- Language
- English
- Dates
- 2010-10-05 - 2011-01-11
- Schedule
- Tue 10-12:30h
- Location
- Room 402. Fac de Filosofia UB
Description
Syllabus:
We will study the basic logical tools most commonly used in Analytic
Philosophy. Contents of the course:
1. Review of first-order classical logic.
2. Alternatives to classical logic: many-valued logics, intuitionistic
logics, free logics.
3. Expansions of classical logic: generalized quantifiers, modal
logics and their applications.
Methodology
Students will read basic texts on the different topics covered,
extracted mostly from the introductory book by Sider. In class we will
comment the difficult points of the texts and solve some exercises.
Other exercises will be solved by students as weekly assignments.
Evaluation
This course will be evaluated on the basis of participation in class
and on the qualifications of the homework assignments.
Bibliography
Theodore Sider, Logic for Philosophy, Oxford UP, 2010.
- Graham Priest, An Introduction to Non-Classical Logic: from If to
Is, Cambridge UP, 2008.