SubjectsSubjects(version: 945)
Course, academic year 2023/2024
   Login via CAS
Logic I - LPHI08
Title: Logika I.
Guaranteed by: HTF - Katedra filozofie (28-05)
Faculty: Hussite Theological Faculty
Actual: from 2023
Semester: summer
E-Credits: 3
Examination process: summer s.:
Hours per week, examination: summer s.:1/1, C [HT]
Extent per academic year: 26 [hours]
Capacity: unknown / unknown (unknown)
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
Key competences:  
State of the course: not taught
Language: Czech
Level:  
Is provided by: L0189
Note: course can be enrolled in outside the study plan
enabled for web enrollment
priority enrollment if the course is part of the study plan
Guarantor: Mgr. Robin Kopecký
Comes under: Náboženství,e.,f.Bc.-PV/filozofie,rel.,t
Učitelství n.,e.,f.Mgr.-P/1.roč.
Examination dates   Schedule   Noticeboard   
Annotation - Czech
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
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.)
Syllabus - Czech
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).

Course completion requirements - Czech
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.

Requirements to the exam - Czech
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.

Literature - Czech
Last update: PhDr. Wendy Drozenová, Ph.D. (24.09.2017)
Základní studijní literatura a studijní pomůcky:
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.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html