Raspored predavanja i demonstratura, uvjeti za prolaz, sadržaj predmeta, literatura te ostale informacije vezane za predmete:

Logika, Simbolička logika, Simbolička logika 1, Filozofija matematike

- ak. god. 2009./2010. -

Simbolička logika 1 obavezan je predmet u 5. semestru na trećoj godini preddiplomskog

studija filozofije.

Predmet ima 4 sata tjedno (ukupno 30 sati predavanja i 30 sati seminara),

te nosi 6 ECTS bodova (A grupa) odnosno 4 ECTS bodova (B grupa).

Studenti koji imaju upisanu filozofiju kao A predmet moraju, za razliku od studenata grupe B, napisati i predati

jedan seminar iz povijesti logike (grupni rad - po dvoje studenata)

Predavanja iz Simboličke logike 1 održavaju se u predavaonici 407

ponedjeljkom, 18.00 - 19.35 (pauza 18.45 - 18.50) i

utorkom, 16.00 - 17.35 (pauza 16.45 - 16.50).

Studentima nije dozvoljen ulaz u predavaonicu nakon što je

nastava već počela jer time ometaju u radu ostale i prekidaju nastavni proces.

Za pozitivnu je ocjenu iz predmeta potrebno položiti pismeni i usmeni ispit,

te dolaziti na predavanja.

Pismeni ispit sastoji se iz 5 zadataka, od kojih svaki nosi po 20 bodova.

Za pozitivnu je ocjenu iz pismenog ispita potrebno barem 50 bodova.

Pismeni je ispit eliminacijski;

uvjet za pristupanje usmenom ispitu pozitivna je ocjena iz pismenog

dijela ispita odnosno kolokvija!

Studenti koji unatoč predavanjima imaju poteškoća sa gradivom mogu se za

pomoć obratiti i demonstratoru. Demonstrator je student druge godine diplomskog studija Andrej Banovac.

Sadržaj predmeta:

· Simbolička logika – Logika prvoga reda (uvod)

· Jezik teorija prvoga reda

· Prirodna dedukcija – pravila za kvantifikatore

· Istinosna stabla za logiku prvoga reda

· Meta-teorija logike prvoga reda

Obvezna literatura:

- Copi, I.M., Cohen, C., Introduction to Logic, Macmillan Publishing Company.

- Cauman, L. S., 2004, Uvod u logiku prvoga reda, Naklada Jesenski i Turk.

Knjige se nalaze u biblioteci fakulteta.

Ukoliko želite znati više o logici, dodatnoj literaturi, korisnim linkovima, kliknite na Linkovi.