|
|
|
||
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
|
|
||
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
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). |
|
||
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
Kurs Logika I. je zakončen zápočtem; student musí prokázat základní vědomosti jak teoretické, tak i schopnost řešit snadné logické úlohy výrokové logiky (a řešit příklady pomocí Vennových diagramů) - nevyžaduje se samostatná konstrukce důkazů. Účast ve výuce je zčásti povinná, protože součástí kursu jsou i semináře (vždy po 1 hod. přednášky následuje 1 hod. seminář, kde probíhá procvičení látky), cca 2/3 docházky je nutno splnit. Po úspěšném získání zápočtu je možno pokračovat v LS kursem Logika II., kde se probírá predikátová logika a je zakonček zkouškou. |
|
||
Last update: PhDr. Wendy Drozenová, Ph.D. (27.09.2017)
Kurs Logika I. je zakončen zápočtem; student musí prokázat základní vědomosti jak teoretické, tak i schopnost řešit snadné logické úlohy výrokové logiky (a řešit příklady pomocí Vennových diagramů) - nevyžaduje se samostatná konstrukce důkazů. Účast ve výuce je zčásti povinná, protože součástí kursu jsou i semináře (vždy po 1 hod. přednášky následuje 1 hod. seminář, kde probíhá procvičení látky), cca 2/3 docházky je nutno splnit. Po úspěšném získání zápočtu je možno pokračovat v LS kursem Logika II., kde se probírá predikátová logika a je zakonček zkouškou. |
|
||
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
GAHÉR, František. Logika pre každého. 3. doplnené vydanie. IRIS: Bratislava, 2003. 432 s. ISBN 80-89018-54-8. SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. 2. rozšířené vydání. Praha: Vyšehrad, 2001. 220 s. ISBN 80-7021-509-7. Doporučená literatura pro další studium: SVATEK, Jan, DOSTÁLOVÁ, Ludmila. Logika pro humanistiku. Dobrá Voda: Aleš Čeněk, 2003. 231 s. ISBN 80-86473-54-6. |