PHK1201 Logika II

Filozofická fakulta
jaro 2010
Rozsah
celkem 14 hod. konzultací. 6 kr. Ukončení: zk.
Vyučující
prof. Dr. phil. Jakub Mácha, Ph.D. (přednášející)
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. Jan Zouhar, CSc.
Katedra filozofie – Filozofická fakulta
Rozvrh
Pá 26. 2. 15:00–16:35 B11, Pá 26. 3. 15:00–16:35 B11, Pá 30. 4. 15:00–16:35 B11, Pá 21. 5. 15:00–16:35 B11
Předpoklady
zápočet z předmětu Logika I
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
Cíle předmětu
Na konci tohoto kurzu bude student schopen: vysvětlit základní pojmy predikátové logiky prvního řádu, potom vyšších řádů, informativně pak neklasické logiky a další pojmy moderní logiky. Student bude rozumět technikám prvořádové predikátové logiky, např. pro kontrolu platnosti úsudků.
Osnova
  • Predikátová logika 1. řádu - neformální úvod
  • - syntaxe, sémantika
  • - důkaz, přirozená dedukce
  • - rozšíření o identitu, deskriptivní operátor, funkce
  • - salší výhledy: vyšší řády, modální a intenzionální logiky
  • - formalizované teorie, aritmetika přirozených čísel, věty o neúplnosti
  • - algoritmus
  • - pojem, definice
Literatura
  • ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
  • ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
Metody hodnocení
Přednášky a poté cvičení. Zkouška se sestává z první části, která je písemná (ověřování úsudků), navazuje na ní pak část ústní (teorie).
Informace učitele
http://elf.phil.muni.cz/elf/course/view.php?id=441
Teoretické podklady (přednášky) + soubory k procvičování + informace k zápočtu jsou dostupné v příslušném e-learningovém kurzu v ELFu. Přístupové heslo k tomuto budou zaslány hromadným emailem na začátku semestru.
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích jaro 2002, jaro 2003, jaro 2004, jaro 2005, jaro 2006, jaro 2007, jaro 2008, jaro 2009, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2017, jaro 2018, jaro 2019, jaro 2020.