Uvod u simboličku logiku
ISVU: 280538•5 ECTS•Zimski i 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
- Uvod u simboličku logiku Logika sudova - sintaksa Logika sudova - semantika Logika sudova – tehnike provjere zaključka Logika sudova – dedukcija Logika sudova – dedukcija Logika predikata – sintaksa i semantika Logika predikata - tehnike provjere zaključka Logika predikata – dedukcija Logika predikata – dedukcija Logika relacija I identiteta Ponavljanje I priprema za ispit
Ishodi učenja
- Objasniti razliku sintatktičke i semantičke logičke posljedice
- Poznavati tehnike provjere valjanosti logike sudova i predikata
- Poznavati 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