FF:PHK1201 Logika II - Informace o předmětu
PHK1201 Logika II
Filozofická fakultajaro 2015
- Rozsah
- celkem 12 hod. konzultací. 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á 6. 3. 13:20–14:55 A11, Pá 3. 4. 13:20–14:55 A11, Pá 15. 5. 13:20–14:55 A11
- 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
- Filozofie (program FF, B-PH)
- 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
- ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
- doporučená literatura
- ŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992, 165 s. ISBN 80-85619-29-6. info
- neurčeno
- ŠTĚPÁN, Jan a Jaromír HRUBEŠ. Logika : terminologický a výkladový slovník. 1. vyd. Ostrava: Ateliér Milata, 1994, 115 s. 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ě.
- Statistika zápisu (jaro 2015, nejnovější)
- Permalink: https://is.muni.cz/predmet/phil/jaro2015/PHK1201