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. define main semantical concepts of the first-order logic using set-theoretical models;
2. make conceptual distinctions in the light of parallel syntactical and semantical characterization of the first-order logic and formulate theorems about the relationship between deductive and semantic systems of the first-order logic
3. describe the role of logical research in philosophy and science
4. argue about the epistemological, linguistic and ontological consequences of the main meta-theoretical results
5. appreciate the value of philosophical logic and logical philosophy and teach logic

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