Logik: Formella språk

Kursplan Logik: Formella språk vt-25

Huvudbok

Volker Halbach: The Logic Manual, Oxford

Webbsida: http://logicmanual.philosophy.ox.ac.uk (Links to an external site.)

Exercises Booklet: http://users.ox.ac.uk/\~logicman/exercises/exercises.pdfLinks to an external site.

Internet Encyclopedia of Philosophy:

Logical Consequence http://www.iep.utm.edu/logcon/ (Links to an external site.)

Deductive-Theoretic Conceptions of Logical Consequence http://www.iep.utm.edu/logcon-d/ (Links to an external site.)

Model-Theoretic Conceptions of Logical Consequence http://www.iep.utm.edu/logcon-m/ (Links to an external site.)

Bredvidläsning

Dag Westerståhl: »Mening och Logik», Filosofisk Tidskrift 1994:1

Alfred Tarski: »The Semantic Conception of Truth and The Foundations of Semantics», Philosophy and Phenomenological Research 4:3 (1944)