| Kratica: FILBO317
|
Opterećenje: 30(P)
+ 30(S)
+ 0(A)
+ 0(PK)
+ 0(LK)
+ 0(M)
+ 0(E)
+ 0(SJ)
+ 0(TJ)
+ 0(T)
|
| Nositelji: |
Prof. dr. sc. Srećko Kovač
mr. sc. Dragana Sekulić |
| Izvođači: |
|
Opis predmeta: CILJ: (1) dokazati glavne metateorijske rezultate o logici prvoga reda i (2) upoznati se s osnovama logike višega reda, njezinim
svojstvima i motivima. Na temelju obojega pokazati kako se logički pristupa ontologijskim pitanjima.
TEME:
(1)
izražajna potpunost u iskaznoj logici; dokaz potpunosti sustava logike prvoga reda, Löwenheim-Skolemov poučak, kompaktnost,
Churchova postavka i Churchov poučak o neodlučljivosti logike prvoga reda, formalizacija pojma izračunljivosti na neki od
standardnih načina (npr. registarski ili Turingov stroj), Gödelov dokaz nepotpunosti;
(2) logički i semantički paradoksi
(i njihov ontologijski aspekt), rješenja paradoksa u razgranjenoj teoriji tipova i aksiomatskoj teoriji skupova, jednostavna
teorija tipova, nepotpunost u logici višega reda, Henkinovi modeli.
|
| Jezici na kojima se održava nastava: - - -
|
| Obavezna literatura: |
| 1. |
(1)
i) Kleene, S. C.: "Izračunljivost, odlučivost i teoremi nepotpunosti", u: Šikić, Z.: Novija filozofija matematike, Beograd:
Nolit, 1987., str. 242-268;
ii) Kovač, S.: "Gödelov dokaz nepotpunosti". Logika 1 (2004) 4, 2-12. http://www.vusst.hr/~logika/
iii) Jeffrey, R.: Formal Logic: its Scope and Limits, 2. izd., New York: McGraw Hill, 1989., str. 125-155, 173-188 (ili novija
izdanja);
iv) Bergmann, M.; Moor, J.; Nelson, J.: The Logic Book, 4. izd., New York: McGraw Hill, 2004., poglavlja 6 i 11.
v) Barwise, J. ; Etchemendy, J.: Language Proof and Logic, New York: Seven Bridges, 1999., str. 442-556;
vi) Ćirović, B.: Uvod u matematičku logiku i teoriju rekurzivnih funkcija. Zagreb: FTI D.I., 1996., str. 39-45, 85-96, 101-159.
--- Bira se po jedan naslov između iv), v) i vi) (str. 39-45, 85-96) i između iii) (str. 125-155) i vi) (str. 101-159).
SKRIPTA: Kovač, S.: Uvod u elementarnu logiku. http://filist.ifzg.hr/~skovac/index.html str. 181-186, 197-210.
(2)
i) Fitting, M.: Dordrecht: Types, Tableaus and Gödel's God. Kluwer, 2002.
ii) Švob, G.: "Ima li danas logičkih antinomija?", U: Švob. G., Od slike do igre, Zagreb: Artresor, 2009., str. 93-124.
NAPOMENA: Potrebno je pratiti upute i napomene o kolegiju na http://www.ifzg.hr/~skovac/index.html, stranica `Nastava'.
|
| Preporučena literatura: |
| 2. |
(1)
Boolos, G.; Burgess, J.; Jeffrey, R.: Computability and Logic. 4. izd., Cambridge: Cambridge UP 2002., str.1-240.
(2)
Shapiro, S.: Foundations without Foundationalism. Oxford: Clarendon Press, 2001., 277 str.
|
| Preduvjeti za upis predmeta: |
| Položen :
|
Logika 1 |
|