|
Vyučující
|
-
Šebela Karel, Mgr. Ph.D.
-
Šebelová Jana, Mgr.
|
|
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
|
-
J. Štěpán. Klasická logika. Olomouc.
-
M. Číhalová. Studentův průvodce kurzem Klasická logika. Západočeská univerzita v Plzni.
|