Sylabus
Struktura kursu: 1. Úvod do logiky. Pojem logiky a jeho proměny. Indukce a dedukce. Klasická a neklasické logiky. Aristotelovo Organon jako základ evropské logiky a přehled jeho témat. Pojem, výrok, argument. Důkaz a vztah vyplývání. Syntax, sémantika a pragmatika
Cvičení: nahrazeno přednáškou, výměnou za 12. hod., kdy naopak jen cvičení 2. Druhy výroků v aristotelské sylogistice; logický čtverec. Figury aristotelské sylogistiky a řešení příkladů s její pomocí.
Cvičení: zápis výroků 4 typů a řešení některých jednoduchých příkladů 3. Řešení úloh aristotelské sylogistiky pomocí sémantické metody Vennových diagramů; podmínka neprázdných množin.
Cvičení: Řešení úloh pomocí Vennových diagramů 4. Výroková logika. Definice výrokových spojek pomocí pravdivostních tabulek. Negátor a 16 možných binárních funkcí: zdůvodnění výběru 4 spojek
Cvičení: Řešení úloh pomocí Vennových diagramů 5. Výroková logika. Používání 4 binárních spojek, přepis vět z přirozeného jazyka do jazyka výrokové logiky
Cvičení: přepis vět z přirozeného jazyka do jazyka výrokové logiky 6. Výroková logika. Zavedení systému výrokové logiky pomocí 7 základních pravidel (na základě Gentzenova systému přirozené dedukce). Tabulková metoda určování pravdivosti formulí. Tautologie, kontradikce a neutrální formule jazyka výrokové logiky
Cvičení: používání tabulkové metody 7. Výroková logika: definice správně utvořené formule. Jazyk a metajazyk. Syntax, sémantika a axiomatický systém.
Cvičení: řešení příkladů na základě zavedených pravidel 8. Výroková logika. Odvozená pravidla výrokové logiky (dle Gahérovy učebnice Logika pre každého)
Cvičení: řešení příkladů na základě zavedených pravidel 9. Výroková logika. Další odvozená pravidla výrokové logiky, De Morganovy zákony
Cvičení: řešení příkladů na základě zavedených pravidel 10. Výroková logika: De Morganovy zákony v aplikaci na zákon vyloučeného třetího a zákon negování sporu. Zákony nahrazení a negování implikace.
Cvičení: řešení příkladů na De Morganovy zákony a implikaci 11. Výroková logika. Dokončení látky: některá další pravidla a zákony výrokové logiky (dle Gahérovy učebnice Logika pre každého)
Cvičení: řešení úloh výrokové logiky 12. Procvičování probrané látky formou samostatného řešení příkladů 13. Společné řešení příkladů z minulé hodiny, opravy a vysvětlení chyb
Cíl předmětu je uveden v rubrice Anotace předmětu.
Kurs se uskutečňuje formou přednášek a cvičení (účast povinná na 2/3 hodin výuky) a je zakončen zápočtem, který je podmínkou pro zápis do navazujícího kursu Logika II (se zkouškou v LS).
Anotace
Cílem předmětu je zprostředkovat studentům porozumění základním pojmům a úkolům logiky, naučit je vyhýbat se některým běžným chybám v usuzování, objasnit pojem "logické pravdivosti" ve výrokové a predikátové logice. Kurs má dát nezbytné minimum potřebné jako průprava k pochopení problémů metodologie vědy a postavení logiky vzhledem k filosofii a jiným vědám.
Kurs stručně seznamuje se základními pojmy a požadavky logických systémů (indukce a dedukce; klasické a neklasické logiky; syntax a sémantika; termín a pojem; základy aristotelské logiky; řešení sylogismů pomocí metody Vennových diagramů). S výrokovou a predikátovou logikou seznamuje kurs na základě gentzenovského systému přirozené dedukce, který neklade na studenty humanitních oborů neúměrné nároky, látka se procvičuje na řadě příkladů: Absolvent kursu má být schopen rozeznat, zda jsou dané výrazy ekvivalentní, zda daná posloupnost výrazů je důkazem (nikoli samostatně důkaz vytvořit) apod.
Pojem logické pravdivosti a vyplývání si na základě toho lépe osvojí. (Predikátová logika se probírá až v navazujícím kursu Logika II.)