Předmět Logika a formální systémy (OJ304)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu OJ304 - Logika a formální systémy, Filozofická fakulta, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Kurs vymezí logický soud oproti jiným rozumovým (a neméně rozumným) soudům, vyloží klasické přístupy k logickým soudům (sylogismy) a zvláštní možnosti matematické formalizace logiky, již přineslo XX. století. Předvede úplný formální popis logiky výrokové a ukáže, v čem výrokovou logiku rozšiřuje logika predikátová i jak tu lze zase dál rozšiřovat do speciálních systémů logiky temporální, modalitní, či intensionální.
Osnova
1) Kulturní podmíněnost rozumových soudů. Porozumění skrze nazření a přesvědčování skrze slova.2) Logika jako rozumové uvažování ve slovech. Potřebnost tohoto prostředku a důsledky jeho připuštění. O čem lze a o čem nelze uvažovat.3) Povaha klasického sylogismu.4) Obecná podoba formálního systému.5) Formalizace výrokové logiky. Její "syntax" a "sémantika". Pojmy dokazatelnosti a splnitelnosti.6) Úplnost výrokové logiky: dokazatelné jsou právě jen tautologie.7) "Syntax" a "sémantika" formálního systému predikátové logiky jako rozšíření logiky výrokové. Dokazatelnost a splnitelnost v predikátové logice.8) Úplnost i neúplnost predikátové logiky.9) Možnosti dalšího rozšiřování predikátové logiky.
Literatura
SOCHOR, Antonín. Klasická matematická logika. Vyd. 1. Praha: Karolinum, 2001. 402 s. ISBN 80-246-0218-0. infoVOPĚNKA, Petr. Rozpravy s geometrií. 1. vyd. Praha: Panorama, 1989. 519 s. ISBN 80-7038-031-4. infoVOPĚNKA, Petr. Úhelný kámen evropské vzdělanosti a moci :souborné vydání Rozprav s geometrií. 3. vyd. Praha: Práh, 2003. 918 s. ISBN 80-7252-022-9. infoVOPĚNKA, Petr. Podivuhodný květ českého baroka :(první přednášky o teorii množin). Vyd. 1. Praha: Karolinum, 1998. 296 s. ISBN 80-7184-646-5. infoVOPĚNKA, Petr. Meditace o základech vědy. Praha: Práh, 2001. 202 s. ISBN 80-7252-044-X. infoSOCHOR, Antonín. Logika pro všechny ochotné myslet. Vyd. 1. V Praze: Univerzita Karlova v Praze, 2011. 363 s. ISBN 9788024619590. info
Požadavky
Zájemce, u něhož se předpokládá, že má maturitu, by si měl osvěžit středoškolský pojmový aparát teorie množin (množina, prvek, podmnožina, sjednocení, průnik, kartézský součin, etc.) a formální logiky (výrok, implikace, kvantifikátor, etc.).
Garant
doc. RNDr. Tomáš Hoskovec, CSc.
Vyučující
doc. RNDr. Tomáš Hoskovec, CSc.