PHBL1 Logika I

Filozofická fakulta
jaro 2025
Rozsah
1/1/0. kombinovaná forma: 16 hodin/semestr. 5 kr. Ukončení: zk.
Vyučováno kontaktně
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Předpoklady
Žádné zvláštní předpoklady.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 7 mateřských oborů, zobrazit
Cíle předmětu
(1) Zorientovat se v základních pojmech moderní (formální) logiky a zejména základech výrokové logiky (klasické i neklasické), viz níže Osnova.
(2) Hlavní část kurzu je vlastně aplikací vybrané části matematické logiky na oblast přirozeného jazyka, resp. oblast každodenního racionálního usuzování.
(3) Část přednášek je orientována teoreticky (např. syntax+sémantika výrokové logiky, paradoxy), část prakticky (např. sestavování ekvivalentů/negací vět/formulí, ověřování úsudků/argumentů, přirozená dedukce).
Výstupy z učení
(1) Zorientovat se v základních pojmech moderní formální logiky a zejména v základech klasické výrokové logiky, viz níže Osnovu.
(2) Kultivace logického usuzování i kritického myšlení.
(3) Získávání dovedností v oblasti reprezentace znalostí (resp. přirozeného jazyka) a usuzování se znalostmi ve smyslu AI, informatiky, formální sémantiky, analytické filozofie apod.
(4) Procvičování analytického a algoritmického myšlení, na formálních i přirozených textových příkladech.
(5) Získání základních znalostí o logice jakožto vědním oboru a jeho aplikacích.
Osnova
  • (1) Logika jako věda o logickém důsledku.
  • (2) Logické paradoxy.
  • (3) Výroky a pravdivostní funkce.
  • (4) Formální jazyk.
  • (5) Logické zákony (tautologie).
  • (6) Ekvivalence a negace.
  • (7) Výrokově-logický důsledek.
  • (8) Neklasické logiky.
  • (9) Axiomatické systémy a důkazy.
  • (10) Přirozená dedukce.
  • (11) Sémantická tabla.
  • (12) Filozofie logiky.
Literatura
    doporučená literatura
  • Relevantní hesla zejm. Stanford Encyclopedia of Philosophy (např. Fallacies, Interpretations of Probability, Logic and Probability, Inductive Logic, Bayes’ Theorem, Decision Theory, Game theory, Scientific method)
  • HURLEY, Patrick J. A concise introduction to logic. 11th ed., international ed. Australia: Wadsworth Cengage Learning, 2012, xxi, 706. ISBN 9781111185893. info
    neurčeno
  • RUSSELL, Stuart J. a Peter NORVIG. Artificial intelligence : a modern approach. Edited by Ming-Wei Chang - Jacob Devlin - Anca Dragan - David Forsyth - Ian Good. Fourth edition, global editi. Harlow: Pearson, 2022, 1166 stran. ISBN 9781292401133. info
  • PINKER, Steven. Rationality : what it is, why it seems scarce, why it matters. First published. [London]: Penguin Books, 2022, xv, 412. ISBN 9780141989860. info
  • YATES, Kit. Matematika pro život. Translated by Marek Pechal. Vydání první. Praha: Kniha Zlin, 2021, 318 stran. ISBN 9788076621121. info
  • HAUSMAN, Alan, Frank BOARDMAN a Howard KAHANE. Logic and philosophy : a modern introduction. Thirteenth edition. Indianapolis: Hackett Publishing Company, Inc., 2020, xiii, 447. ISBN 9781624669354. info
  • SINNOTT-ARMSTRONG, Walter a Robert J. FOGELIN. Understanding arguments : an introduction to informal logic. Ninth edition. Stamford: Cengage Learning, 2015, xvi, 510. ISBN 9781285197364. info
  • CRYAN, Dan, Sharron SHATIL a Bill MAYBLIN. Introducing logic. London: Icon Books Ltd, 2013, 175 stran. ISBN 9781848310124. info
  • DEVLIN, Keith J. Jazyk matematiky : jak zviditelnit neviditelné. Translated by Jan Švábenický. 2. vyd. v českém jazyce. Praha: Dokořán, 2011, 343 s. ISBN 9788025704943. info
  • PRIEST, Graham. Logic : a very short introduction. 1st pub. Oxford: Oxford University Press, 2000, xii, 140. ISBN 9780192893208. info
Výukové metody
Přednáška objasňující teorii a teoretické i praktické řešení problémových úloh. Základní praktické příklady. E-learningová podpora: Interaaktivní osnova v IS, kde jsou postupně uveřejňovány prezentace a především průběžné domácí úkoly formou e-testů, jež procvičují aplikaci látky na konkrétních příkladech.
Metody hodnocení
(1) PODMÍNKA připuštění ke zkoušce: splnění průběžných kontrolních E-TESTů (= DOMÁCÍ ÚKOLY). Průběžný e-test je úspěšně splněn, pokud je zvládnut na nejméně 80 % (např. zisk 4 bodů z 5 možných). Průběžné e-testy jsou splněny, pokud je průběžně úspěšně splněno nejméně 80 % e-testů (domácích úkolů).
(2) ZKOUŠKA (pro koho je povinná) je souhrnným e-testem. Od kvality splnění souhrnného e-testu se odvíjí známka (známka A odpovídá jeho cca 80%-nímu zvládnutí). Jednotlivé otázky souhrnného e-testu jsou obvykle reformulací/obměnou otázek z průběžných e-testů.
(3) Jako BONIFIKACE vedoucí ke zlepšení celkové známky slouží body získané z kvízu (KVIS) na úvodu každé prezenční hodiny; kvíz tvoří motivační tématický příklad.
Náhradní absolvování
Kombinovaní studenti (studenti na zahraniční stáži, dlouhodobě nemocní, ...): nezbytnost kontaktovat učitele kvůli domluvě a upřesnění + (dodatečné) samostudium materiálů zadaných v~interaktivní osnově, splnění domácích úkolů.
Navazující předměty
Informace učitele
http://www.phil.muni.cz/~raclavsky/logika/
Studijní opora
https://is.muni.cz/auth/el/phil/jaro2025/PHBL1/index.qwarp
Další komentáře
Studijní materiály
Předmět je vyučován každoročně.
Výuka probíhá každý týden.
Pro studenty kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV2451 Logika I: otázky a odpovědi.
Předmět je zařazen také v obdobích podzim 2019, podzim 2020, podzim 2021, podzim 2022, podzim 2023.