| Název předmětu | Výroková logika |
|---|---|
| Kód předmětu | KFI/B2VL |
| Organizační forma výuky | Přednáška + Cvičení |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Zimní |
| Počet ECTS kreditů | 6 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinný |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
nespecifikováno
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Kurz poskytuje základy výrokové logiky a teorie logického vyplývání. Studenti získají dovednost převádět věty přirozeného jazyka do jazyka výrokové logiky a schopnost ověřování platnosti úsudků. Kurz se rovněž dotýká problematiky logické argumentace a argumentačních chyb, které souvisejí s užitím logických operátorů, odvozovacích pravidel či definování pojmů. Nabyté znalosti jsou procvičovány na konkrétních příkladech v seminářích. 1. Úvod do logiky 2. Vymezení klasické logiky 3. Usuzování (pravděpodobnostní vs. deduktivní) 4. Definice výrokové logiky a sémantika spojek 5. Pravdivostní funkce a model formule 6. Sémantické metody ověřování úsudku 7. Ekvivalentní úpravy 8. Úplné systémy spojek 9. Přirozená dedukce (přímý a nepřímý důkaz) 10. Přirozená dedukce (podmíněný důkaz) 11. Definice 12. Klasifikace a explikace Zápočet se udílí na základě docházky a aktivní účasti na cvičení. Zkouška je formou testu, který se skládá ze dvou částí: z praktické části, jejíž obsah koresponduje se cvičením; a části teoretické, jejíž obsah koresponduje s přednáškami.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
|
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr | |
|---|---|---|---|---|
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2019) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Zimní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie maior (2019) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Zimní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie minor (2022) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Zimní |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Filozofie maior (2022) | Kategorie: Filozofie, teologie | 2 | Doporučený ročník:2, Doporučený semestr: Zimní |