This course is an introduction to the basic principles of formal logic.. Formal logic attempts to abstract from the particular content of propositions and sentences to analyze the logical form of ...

This course is available on the BSc in Accounting and Finance, BSc in Philosophy and Economics, BSc in Philosophy, Logic and Scientific Method, BSc in Philosophy, Politics and Economics and BSc in ...

This webpage contains the slides, handouts and homeowork assignments for the course Proof Theory of Modal Logic, which will take place within the 5th Tsinghua Logic Summer School, organized by the ...