1. komponenta

Lecture type	Total
Lectures	30

* Load is given in academic hour (1 academic hour = 45 minutes)

Introduction to metatheoretical investigation of first-order logic and its consequences in epistemology, philosophy of science, philosophy of language, and ontology. Introduction to recent trends in logical research in philosophy.

1. Nastavni izvori
   Otvoreno znanje--- Logika 3 [web stranice kolegija] http://marul.ffst.hr/~logika/nastava
   
   Osnovna literatura
   Jon Barwise i John Etchemendy (1999) Language, Proof and Logic. Stanford: CSLI Publications
   Berislav Žarnić (2004) Simbolička logika: Priručnik (didaktička kompilacija komentiranih prijevoda i originalnih radova), str. 149--322, http://marul.ffst.hr/~logika/pilot/skripta.pdf
   Napredna
   George Boolos, John P. Burgess i Richard C. Jeffrey (2002) Computability and Logic, Cambridge University Press

1. George Boolos (1998) Logic, Logic, and Logic Harvard University Press
   Graham Priest (2005) Towards Non-Being : Logic and Metaphysics of Intentionality Oxford University Press
   Willard Van Orman Quine (1963) From a Logical Point of View: 9 Logico-Philosophical Essays (drugo, izmijenjeno izdanje)
   Johan van Benthem (2011) Modal Logic for Open Minds--- Lecture notes, Stanford? CS??
   Dov Gabbay i John Woods (2006) Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic : Volume 7, Elsevier

Mandatory course - Regular studij - Philosophy