Philosophical logic II

This is an advanced course building on Philosophical Logic I.

Registration

Before the course starts, an email will be sent to all admitted students with information and instructions. Admitted students are expected to register themselves (online registration).

More about the course content: The course builds on the course Philosophical Logic I and aims to provide students who have taken that course, or a course with comparable content, with a deeper knowledge and understanding of some of the most important and popular systems of philosophical logics. The main accents of the course include logical analysis of philosophical concepts, some logical decision methods, some systems of logical deduction for propositional philosophical logics and completeness results for them, as well as discussion of problems and issues that arise from the interaction between modalities and quantifiers. For more information, go to

the external course web page.

Language of instruction: English

Learning platform: Reading instructions, detailed course planning, and more will be made available on the course's Athena page. Admitted students who have activated their student account and are registered for the course will automatically be added as participants on the Athena page.

Intended learning outcomes and information about the grading scale: See the course syllabus.

Grading criteria: Will be published on the course's Athena page before the course starts.


Teaching Format

Remote (hybrid format– lectures are held on campus and streamed via Zoom to course participants)



Examiner

Teacher/examiner: Valentin Goranko

The schedule will be available no later than one month before the start of the course. We do not recommend print-outs as changes can occur. At the start of the course, your department will advise where you can find your schedule during the course.


Note that the course literature can be changed up to two months before the start of the course.


Course reports are displayed for the three most recent course instances.