Naziv
Logika II
Organizacijska jedinica
Odsjek za filozofiju
ECTS bodovi
6
Šifra
160769
Semestri izvođenja
ljetni
Jezik izvođenja
hrvatski
Nastavnici
Satnica
Predavanja
60
Preduvjeti za upis i polaganje kolegija
Za upis kolegija se moraju

Cilj
Kolegij treba, s jedne strane, pokazati povijesnu pozadinu razvoja suvremene logike, kroz pregled struja, tendencija i škola koje su dovele do suvremene logike u njezinom današnjem obliku, a s druge strane, upravo kroz takav povijesni pregled, podsjetiti na one momente u razvoju matematike koji su ugrađeni u suvremenu logiku, a koji su studentima poznati iz srednjoškolske nastave matematike, poput elemenata teorije skupova, dokaza matematičkom indukcijom te aksiomatskog zasnivanja pojedinih matematičkih disciplina, pri čemu se aksiomatski sistem logike sudova obrađuje kao primjer najjednostavnijeg aksiomatskog sistema. Student treba, s jedne strane, steći osnovne kompetencije u uže logičkom gradivu, u teoriji modela, teoriji dokaza i teoriji izračunljivosti, ali, ga ovo gradivo treba, s druge strane, osposobiti i za praćenje suvremenih diskusija u nizu disciplina koje su s logikom povezane, poput filozofije znanosti, filozofije matematike i filozofije jezika.
Sadržaj
  1. Elementi tradicionalne logike: Aristotelova silogistika i megarsko-stoička logika sudova. Booleova algebra logike. Cantorova i Dedekindova teorija skupova. Aksiomatska metoda. Dedekind-Peanovi aksiomi za prirodne brojeve. Logicizam. Hilbertov formalizam i metamatematika. Opća teorija znakova i metalogika. Logička semantika i sintaksa. Neke kritike, proširenja i revizije klasične logike. Aksiomatizacija logike sudova. Aksiomatski pristup nasuprot sistemima prirodne dedukcije.
  2. Aksiomatizacija i formalizacija deduktivnih disciplina. Metateorija i objektna teorija. Dokazi i teoremi u formalnom sistemu, nasuprot metateorijskim dokazima. Aksiomatizacija logike predikata. Modeli formaliziranih teorija. Specijalne teorije prvog reda. Dokazi konzistentnosti. Kompletnost logike predikata prvog reda. Problem odlučljivosti. Osnovni pojmovi teorije izračunljivosti. Turingovi strojevi i rekurzivne funkcije. ‘Negativni rezultati’ teorije izračunljivosti.

Ishodi učenja
  1. Opisati i protumačiti filozofijsku relevantnost logičke metodologije
  2. Objasniti osnovna svojstva logičkih sustava i postupaka: valjanost, potpunost, izračunljivost i odlučljivost
  3. Objasniti i primijeniti glavne dedukcijske sustave klasične logike
  4. Objasniti osnovne pojmove metalogike
  5. Objasniti osnovne razlike između logike prvoga reda, aritmetike prvoga reda i logike višega reda
  6. Odabrati logički pristup proučavanju osnovnih filozofijskih pitanja
  7. Primijeniti logičku metodologiju u obradi filozofijskih problema
Metode podučavanja
Predavanja Vjezbe Zadace on-line kolokviji
Metode ocjenjivanja
Kolokviji Pismeni ispit Usmeni ispit

Obavezna literatura
  1. Obvezatnu ispitnu literaturu za studente filozofije čine najmanje po jedno djelo iz skupina I i II, dva teksta iz skupine III i najmanje tri naslova iz skupine IV. Sveučilišni udžbenici i opći uvodi u logiku Gajo Petrović: Logika, s dodatkom Davora Lauca Cohen, E. Nagel: Uvod u logiku i naučnu metodu Copi: Introduction to Logic F. Strawson: Introduction to Logical Theory ili drugi udžbenik u dogovoru s predavačem Povijest logike N. Prior: Historija logike i M. Kneale: The Development of Logic Simbolička logika Barwise, J. Etchemendy: Language, Proof and Logic Vuković. Matematička logika V.O. Quine: Methods of Logic Church: Mathematical Logic M. Smullyan: Beginner’s Guide to Mathematical Logic Kalužnin: Što je matematička logika Tarski: Uvod u matematičku logiku i metodologiju matematike Devidé: Matematička logika Massey: Understanding Symbolic Logic L. Eršov i E.A. Paljutin: Matematičeskaja logika Dopp: Lecons de logique formelle Hilbert i W. Ackermann: Grundzűge der theoretischen Logik Carnap: Symbolische Logik Bell i M. Machover: A Course in Mathematical Logic C. Kleene: Introduction to Metamathematics Nolt, D. Rohatyn. A. Varsi: Logic (SCHAUM’s Outlines) Smullyan: First order logic V.O. Quine: Methods of Logic ili drugi udžbenik simboličke logike u dogovoru s predavačem Filozofsko-logičke rasprave Aristotel: Organon Frege: Osnovi aritmetike i drugi spisi Russell: Logic and Knowledge Wittgenstein: Tractatus logico-philosophicus Van Heijenoort (ur.): From Frege to Goedel V.O. Quine: From a Logical Point of View R. Popper: Logika naučnog otkrića Nagel: Struktura nauke Šikić (ur.): Novija filozofija matematike Carnap: Meaning and Necessity Tarski: Logic, Semantics, Metamathematics Dummet: Elements of Intuitionism ili drugo djelo u dogovoru s predavačem
Dopunska literatura

Izborni predmet na studijima
  1. Nederlandistika, sveučilišni preddiplomski dvopredmetni studij, 2., 6. semestar
  2. Arheologija, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  3. Češki jezik i književnost, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  4. Etnologija i kulturna antropologija, sveučilišni preddiplomski dvopredmetni studij, 2. semestar
  5. Hungarologija, sveučilišni preddiplomski dvopredmetni studij, 2., 6. semestar
  6. Indologija, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 8. semestar
  7. Informacijske znanosti, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  8. Informacijske znanosti, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  9. Komparativna književnost, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  10. Komparativna književnost, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  11. Lingvistika, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  12. Pedagogija, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  13. Pedagogija, sveučilišni preddiplomski dvopredmetni studij, 2., 6. semestar
  14. Psihologija, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  15. Slovački jezik i književnost, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  16. Sociologija, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  17. Sociologija, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  18. Švedski jezik i kultura, sveučilišni preddiplomski dvopredmetni studij, 2. semestar
  19. Turkologija, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  20. Ukrajinski jezik i književnost, sveučilišni preddiplomski dvopredmetni studij, 2. semestar
  21. Judaistika, sveučilišni preddiplomski dvopredmetni studij, 2., 4., 6. semestar
  22. Talijanistika, sveučilišni preddiplomski jednopredmetni studij, 2., 4., 6. semestar
  23. Anglistika, sveučilišni diplomski jednopredmetni studij
  24. Antropologija, sveučilišni diplomski dvopredmetni studij, 2. semestar
  25. Arheologija, sveučilišni diplomski jednopredmetni studij
  26. Češki jezik i književnost, sveučilišni diplomski dvopredmetni studij
  27. Germanistika, sveučilišni diplomski dvopredmetni studij
  28. Informacijske znanosti, sveučilišni diplomski dvopredmetni studij
  29. Informacijske znanosti, sveučilišni diplomski jednopredmetni studij
  30. Južnoslavenski jezici i književnosti, sveučilišni diplomski dvopredmetni studij
  31. Komparativna književnost, sveučilišni diplomski jednopredmetni studij, 2. semestar
  32. Komparativna književnost, sveučilišni diplomski dvopredmetni studij, 2. semestar
  33. Lingvistika, sveučilišni diplomski dvopredmetni studij
  34. Pedagogija, sveučilišni diplomski jednopredmetni studij, 2. semestar
  35. Poljski jezik i književnost, sveučilišni diplomski dvopredmetni studij
  36. Portugalski jezik i književnost, sveučilišni diplomski dvopredmetni studij, 2., 4. semestar
  37. Povijest, sveučilišni diplomski jednopredmetni studij
  38. Psihologija, sveučilišni diplomski jednopredmetni studij, 2., 4. semestar
  39. Rumunjski jezik i književnost, sveučilišni diplomski dvopredmetni studij
  40. Sociologija, sveučilišni diplomski dvopredmetni studij
  41. Sociologija, sveučilišni diplomski jednopredmetni studij
  42. Talijanistika, sveučilišni diplomski dvopredmetni studij
  43. Talijanistika, sveučilišni diplomski jednopredmetni studij
  44. Nederlandistika, sveučilišni diplomski dvopredmetni studij, 2. semestar
  45. Romistika, sveučilišni diplomski dvopredmetni studij, 2. semestar
  46. smjer Nastavnički, sveučilišni diplomski jednopredmetni studij, 2. semestar
  47. Judaistika, sveučilišni diplomski dvopredmetni studij, 2. semestar
  48. Indologija, sveučilišni diplomski dvopredmetni studij, 2. semestar
  49. Arheologija, sveučilišni diplomski dvopredmetni studij
  50. Povijest, sveučilišni diplomski dvopredmetni studij
  51. Antropologija, sveučilišni preddiplomski dvopredmetni studij, 4., 6. semestar
  52. Filozofija, sveučilišni preddiplomski jednopredmetni studij, 4., 6., 8. semestar
  53. Filozofija, sveučilišni preddiplomski dvopredmetni studij, 4., 6., 8. semestar
  54. Rumunjski jezik i književnost, sveučilišni preddiplomski dvopredmetni studij, 4. semestar
  55. Arheologija, sveučilišni preddiplomski jednopredmetni studij, 4., 6. semestar
  56. Anglistika, sveučilišni diplomski dvopredmetni studij
Fakultetska ponuda
  • Preddiplomski studij: Ljetni semestar
  • Diplomski studij: Ljetni semestar