| Název předmětu | Formální logika 2 |
|---|---|
| Kód předmětu | KSA/FL2 |
| Organizační forma výuky | Přednáška + Seminář |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Zimní a letní |
| Počet ECTS kreditů | 4 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinně-volitelný |
| 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 |
|
Kurz poskytuje základy predikátové logiky 1. řádu (PL1) a teorie logického vyplývání. Studenti získají dovednost převádět věty přirozeného jazyka do jazyka PL1 a schopnost ověřování platnosti úsudků. Kurz se rovněž dotýká problematiky logické argumentace a argumentačních chyb, které souvisejí s chybným užitím logických operátorů a odvozovacích pravidel. Nabyté znalosti jsou procvičovány na konkrétních příkladech. Obsah: 1. Naivní teorie množin. Jazyk PL1. 2. Převod přirozeného jazyka do jazyka PL1l. 3. Model formule. Splnitelné formule, kontradikce, ekvivalence. 4. Některé vlastnosti binárních relací. 5. Aristotelova logika a metoda Vennových diagramů. 6. Metoda přirozené dedukce - odvozovací pravidla. 7. Metoda přirozené dedukce - přímý a nepřímý důkaz. 8. Metoda přirozené dedukce - technika zavádění hypotéz. 9. Historický vývoj teorií. 10. Speciální axiomy teorie relací. 11. Kurt Gödel a úplnost teorií. 12. Definice, explikace, klasifikace.
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
Cílem předmětu je, aby studenti zvládli analyzovat věty přirozeného jazyka v jazyce predikátové logiky 1. řádu (PL1) a byli schopni ověřovat platnost úsudků sémantickou metodou vennových diagramů a syntaktickou metodou přirozené dedukce. Program kurzu: 1. Definice a explikace 2. Aristotelská logika 3. Jazyk PL1 4. Analýza vět přirozeného jazyka v PL1 5. Sémantika PL1 (modely formulí) 6. Teorie binárních relací 7. Metoda Vennových diagramů 8. Přirozená dedukce (přímý a nepřímý důkaz) 9. Přirozená dedukce (podmíněný důkaz) 10. Axiomatický systém PL1
Studenti získají dovednost převádět věty přirozeného jazyka do jazyka predikátové logiky 1. řádu a schopnost ověřování platnosti úsudků. Budou se umět identifikovat argumentační chyby spočívající v chybném užití logických operátorů a odvozovacích pravidel. |
| Předpoklady |
|
Studium není podmíněno absolvováním jiných kursů.
|
| 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): Sociologie maior (2026) | Kategorie: Sociální vědy | 1 | Doporučený ročník:1, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Sociologie minor (2019) | Kategorie: Sociální vědy | 1 | Doporučený ročník:1, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Sociologie maior (2024) | Kategorie: Sociální vědy | 1 | Doporučený ročník:1, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Sociologie minor (2024) | Kategorie: Sociální vědy | 1 | Doporučený ročník:1, Doporučený semestr: - |
| Fakulta: Filozofická fakulta | Studijní plán (Verze): Sociologie maior (2019) | Kategorie: Sociální vědy | 1 | Doporučený ročník:1, Doporučený semestr: - |