Kurzus kódjai: 
BMI-LOTD-309E.03, BMA-LOTD-309.03 BMA-LOTD-325.04 BMI-LOTD-325E.04	
Title of course: Non-classical logic 2	
Location and time: i/224, Monday 13:00 – 14:30	
Kurzus előadója: William Brown	

Method of evaluation: Oral exam or presentation at the end of the semester	

Exam requirements:
•	For the oral exam: Understanding of the material covered in class.
•	Presentation: Elaboration and presentation of a small original research work related to the course.	

Non-classical logic 2

This course is a follow up to "Introduction to non classical logics". While it is not necessary to have taken that course, it is recommended that you either: have taken it, or know a few things about non classical logics (modal, many-valued) and their semantics.

There are different ways to define what classical logic is, however by classical logic most logicians mean standard propositional and first-order logic. Non-classical logics are all the other logical systems (except the second and higher-order extensions of classical first-order logic). We will discuss more precisely the definitions of classical and non-classical logic at the beginning of the course.

Non-classical logics can be obtain in a variety of ways, for instance by various extensions and modifications on classical logics. New logical constants can be added (for example we can add a modal operators such as necessity and obtain a modal logic), more than 2 truth values can be allowed (and get many-valued logic), various laws of classical logic can be rejected (excluded middle, explosion principle, double negation, etc.) to obtain new systems and family of systems, etc. Unsurprisingly, non-classical logic is a very large class of logics.

We will study various extensions and modifications of classical logic, and see what family of (non-classical) logics we thus obtain (and how those families can be defined and classified). Within each of these families we will study various specific logical systems.

Some families of logics and topics we will study throughout the semester include: modal logics, many-valued logics, intuitionistic logics, conditional logics, paraconsistent logics, relevant logics, hybrid logics, algebraic semantics, algebraization, etc.	

Literature:

- Priest, G., An Introduction to Non-Classical Logic . Cambridge University Press, 2nd Edition, 2008.
- Gabbay, Handbook of Philosophical Logic , Springer, 2nd Edition. (various chapters across several volumes, the relevant ones will be mentioned during the classes)
- Beal, J.C., Frassen, van B.C., Possibilities and Paradox: An Introduction to modal and many-valued logic . Oxford University Press, 2003.