Uvod u simboličku logiku
ISVU: 280538•5 ECTS•Ljetni semestar
Osnovne informacije
- Organizacijska jedinica
- Odsjek za filozofiju
- Satnica
- Predavanja: 60 sati
Nastavnici
Cilj
Cilj nastave logike u okviru studija filozofije je upoznavanje s temeljima ove filozofske discipline i stjecanje kompetencija koje diplomiranog studenta kvalificiraju za nastavu logike na razini srednje škole. Ujedno, u okviru studija filozofije, nastava logike treba studenta osposobiti za praćenje suvremenih rasprava u nizu disciplina koje su s logikom povezane, poput filozofije znanosti, filozofije matematike i filozofije jezika.
Sadržaj
- Uvodno predavanje; informacije o kolegiju, sadržajima i metodama rada
- Uvod u simboličku logiku
- Logika sudova - sintaksa
- Logika sudova - semantika
- Logika sudova – tehnike provjere zaključka
- Logika sudova – dedukcija (I)
- Logika sudova – dedukcija (II)
- Logika predikata – sintaksa i semantika (I)
- Logika predikata – sintaksa i semantika (II)
- Logika predikata - tehnike provjere zaključka
- Logika predikata – dedukcija (I)
- Logika predikata – dedukcija (II)
- Logika relacija I identiteta (I)
- Logika relacija I identiteta (II)
- Ponavljanje I priprema za ispit
Ishodi učenja
- Objasniti razliku između sintatktičke i semantičke logičke posljedice
- Prepoznati tehnike provjere valjanosti logike sudova i predikata
- Prepoznati tehnike prirodne dedukcije logike sudova i predikata
- Vrednovati razliku između logičke i drugih argumentacija
- Analizirati i vrednovati logičku strukturu tekstova, dokazati logičke odnose te prepoznati tipične pogreške u argumentaciji.
Metode podučavanja
Predavanja, vježbe / zadaće na satu, on-line vježbe
Metode ocjenjivanja
zadaće i pismeni ispit
Obavezna literatura
- Nolt: Logic ili Kauman: Logika prvog reda
- Materijali na logic.education