ECTS Informacijski paket za akademsku godinu 2024. / 2025.

Uvod u simboličku logiku 2

 

Naziv
Uvod u simboličku logiku 2
Organizacijska jedinica
Odsjek za filozofiju
ECTS
3
Šifra
265684
Semestri
ljetni
Nastavnici
Satnica
Predavanja
30

Cilj
Upoznati studente sa osnovama analize i provjere valjanjsti zaključaka, te dokazivanja u jeziku logike predikata.
Sadržaj
  1. Sintaksa logike predikata
  2. Semantika logike predikata
  3. Semantika logike predikata
  4. Provjere valjanoti lp
  5. Provjere valjanoti lp
  6. Provjere valjanoti lp
  7. Dokazi u lp
  8. Dokazi u lp
  9. Dokazi u lp
  10. Logika relacija
  11. Logika relacija
  12. Logika relacija
  13. Logika relacija
  14. Ponavljanje i predled
  15. Pripreme za pismeni ispit

Ishodi učenja
  1. Objasniti razliku sintatktičke i semantičke logičke posljedice
  2. Poznavati deduktivno izvođenje
  3. Vrednovati razliku između logičke i drugih argumentacija
  4. Analizirati i vrednovati logičku strukturu tekstova, dokazati logičke odnose te prepoznati tipične pogreške u argumentaciji.
Metode podučavanja
Nastava, domaće zadaće, on-line vježbe i kolokviji.
Metode ocjenjivanja

Obavezna literatura
  1. Odabrana poglavlja iz Nolt, J./Rohatyn, D./Varsi, A., Logic (SCHAUM’s Outlines). McGraw-Hill, 1998
Dopunska literatura

Obavezan predmet na studijima
Novi i reformirani studiji
  1. Filozofija, sveučilišni prijediplomski jednopredmetni studij, 2. semestar
  2. Filozofija, sveučilišni prijediplomski dvopredmetni studij, 2. semestar