Logika
Ročník: 1.
Semestr: 1.
Způsob ukončení: zápočet
Počet hodin přímé výuky: 1/0 (přednáška/ seminář)
Počet hodin kombinované výuky celkem: 6
Anotace
Tento předmět seznamuje studenty s logikou jako vědním oborem i nástrojem pro běžnou, profesionální i řízenou komunikaci. Přednášená látka sestává z historie logiky od starověku až k moderní logice, výkladu o logice jako vědní disciplíně a jejím vztahu k psychologii, informatice, matematice, lingvistice; z bloků základů přednášek o výrokové a predikátové logice a z bloku přednášek o argumentaci a uplatnění logické analýzy v jakékoli formě komunikace, která využívá přirozený jazyk nebo jeho matematicko-logické základy (umělé počítačové jazyky).
Tematické okruhy:
1. Stručné dějiny logiky a její postavění ve vědě
2. Analýza složených výroků pomocí pravdivostní tabulky
3. Subjekt-predikátová logika – Aristotelovský čtverec
4. Definice a terminologie
5. Polysémie, synonymie, homonymie, antonymie
6. Analýza chybných argumentací
7. Interpretace
8. Analýza konkrétního dialogu
Základní studijní literatura:
Online materiály plus jakákoli příručka základů logiky, např.
BEK, Roman. Logika. Praha: ČVUT, 1996, 2001.
PEREGRIN, Jaroslav. Logika a logiky. Praha: Academia, 2004
ŠTĚPÁN, Jan. Logika a logické systémy. Olomouc: Votobia, 1992.
ŠTĚPÁN, Jan. Klasická logika. Olomouc: Univerzita Palackého v Olomouci, 2001.
E-vyuka pro logiku. [online] Dostupné elektronicky: https://snug.ic.cz/index.htm#
Úsudky. Testy studijních předpokladů. [online] Brno, Masarykova univerzita 1996-2013. Dostupné elektronicky: https://www.muni.cz/tsp/usudky?lang=cs
Další nezávazné elektronické zdroje, které jsem dohledal rešerší na internetu. Doporučuji prostudovat, případně citovažt a odkazy zveřejňuji s poděkováním autorům:
Velebil, Jiří. Velmi jemný úvod do matematické logiky. [online] Praha: České Vysoké Učení Technické v Praze, Fakulta elektrotechnická, 2007. Dostupné elektronicky z: ftp://math.feld.cvut.cz/pub/velebil/y01mlo/logika.pdf
Hanuš, Petr. Matematická́ logika. Výroková logika, predikátová logika, výpočtová logika. [online elektronická prezentace] https://www.petrhanus.webovka.eu, 29.8. – 4.9.2010. Dostupné elektronicky z: www.petrhanus.webovka.eu/download/Logika.pdf
Stohwasser, Petr. Výroková logika I. [online] https://www.nabla.cz, 2010–2013. Dostupné elektronicky z: https://www.nabla.cz/soubory/matematika/vyrokova-logika-1.pdf
Pelc, Jan. Výroková a predikátová logika podrobně. Podle přednášek prof. Petra Štěpánka. [online] Praha, Katedra teoretické informatiky a matematiky MFF UK, 2008. Dostupné elektronicky z: www.ms.mff.cuni.cz/~pelcj6am/vpl_text.pdf
Testy: https://testy.nanic.cz/testy/logika/logika-vyroky/
V knihovně AMAK nabízím vlastní učebnice k zapůjčení:
GAHÉR, František. Logika pre každého. Bratislava: Iris, 1994, 2001.
NYTROVÁ, Olga - PIKÁLKOVÁ, Marcela. Etika a logika v komunikaci. Praha: UJAK, 2007.
elektronické prezentace z přednášek:
1 Stručné dějiny logiky a její postavění ve vědě.pdf (1,1 MB)
2. Analýza složených výroků pomocí pravdivostní tabulky.pdf (1,3 MB)
3 Subjekt-predikátová logika – Aristotelovský čtverec.pdf (823,4 kB)
4 Definice a terminologie.pdf (588,7 kB)
6 Analýza chybných argumentací.pdf (855,9 kB)
zadání testů: testy zadani 2011-2013 stare.pdf (552,7 kB)
Požadavky na kontrolní práce
- absolvovat průběžná seminární cvičení, ze kterých každé bude ověřovat jednak porozumění studenta přednášené látce a jednak jeho schopnost použít nabyté poznatky v praxi. Cvičení budou mít charakter elektronických testů s výběrem z několika odpovědí nebo doplnění krátké odpovědi.
- průběžná seminární cvičení absolvovali studenti, kteří se účastnili bloku 6. 4. 2013 od 14.45 do 18.00. Výuka proběhla formou přednášek ke zbylým tématům (prezentace dodám) - základ je tedy publikán tady a brzo bude nahrán do podoby elektronického kurzu; další termín testování (po tom, co si individuálně nastudujete témata z přednášek a nacvičíte úkoly z testů) bude před začátkem zkouškového období (poslední týden, "zápočtový"); pokud se mi do té doby podaří vytvořit a nahrát celý elektronický kurz, na této stránce naleznete na něj odkaz a v rámci elektronického kurzu si pak vyberete buď vyzkoušení testů, nebo si projdete celý kurz včetně zkoušek; bude přitom platit, že pokud absolvujete elektronický kurz Úvodu do logiky a argumentace a úspěšně složíte testy i zkoušku, je to důkaz pro absolvování zápočtu z kurzu, který probíhá externí a individuální formou (jelikož 6.4. jsme absolvovali poslední společné setkání)
kritéria klasifikace:
- dodržení termínu odevzdání (dodržel – nedodržel)
- hodnocení odevzdaného cvičení (výborný – dobrý – dostatečný – nedostatečný)