PHK1201 Logika II

Filozofická fakulta
jaro 2017
Rozsah
celkem 10 hod., z toho 6 hodin formou přednášky, 4 hodiny formou osobní konzultace na základě potřeb studenta. 6 kr. Ukončení: zk.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. Josef Krob, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Rozvrh
Pá 17. 3. 13:20–14:55 A11, Pá 21. 4. 13:20–14:55 A11, Pá 19. 5. 13:20–14:55 A11
Předpoklady
PHK1102 Logika I
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
Student je uveden do základních pojmů predikátové logiky prvního řádu, potom vyšších řádů, informativně pak do neklasických logik a dalších pojmů moderní logiky. Student je učen uplatnění technik 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
    povinná literatura
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. Online. 1. vyd. Brno: Masarykova univerzita, 2015. 348 s. ISBN 978-80-210-7867-3. [citováno 2024-04-24] URL info
    doporučená literatura
  • ŠTĚPÁN, Jan. Klasická logika. Online. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001. 198 s. ISBN 8024402548. [citováno 2024-04-24] info
  • ŠTĚPÁN, Jan. Logika a logické systémy. Online. Vyd. 1. Olomouc: Votobia, 1992. 165 s. ISBN 80-85619-29-6. [citováno 2024-04-24] info
    neurčeno
  • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. Online. 1. vyd. Brno: Masarykova univerzita, 2015. 348 s. ISBN 978-80-210-7867-3. [citováno 2024-04-24] info
  • ŠTĚPÁN, Jan a Jaromír HRUBEŠ. Logika : terminologický a výkladový slovník. Online. 1. vyd. Ostrava: Ateliér Milata, 1994. 115 s. [citováno 2024-04-24] info
Výukové metody
v konzultacích je vysvětleno, jak mají rozumět látce, kterou budou studenti sami studovat, látka je tedy dávána do souvislostí a ve zjednodušené púodobě vysvětlena; dále jsou diskutovány dotazy studentů ohledně minule probírané látky; studium však v podstatě sestává z vlastního studia poskytnutých e-learningových materiálů, kde je látka podrobně vysvětlena a dále jsou k ní přiloženy řešené příklady i samostná cvičení
Metody hodnocení
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://www.phil.muni.cz/elf/course/view.php?id=1908
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ě.
Informace o rozvrhu kurzu najdete zde: http://www.phil.muni.cz/wkfi/home/studium/rozvrh-ks.
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 2010, jaro 2011, jaro 2012, jaro 2013, jaro 2014, jaro 2015, jaro 2016, jaro 2018, jaro 2019, jaro 2020.