PHBL2 Formální logika

Filozofická fakulta
podzim 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
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
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, zejména v základech klasické VÝROKOVÉ LOGIKY, viz níže Osnovu.
  • (2) Značná část kurzu tkví v aplikacích vybraných částí formální (tedy vlastně MATEMATICKÉ) logiky na oblast každodenního racionálního usuzování. V informatice a AI spadá tématicky pod reprezentaci a vyvozování znalostí, ale jde zde jen o výsek.
  • (3) Část přednášek je orientována teoreticky (jazyk logiky, axiomatizace/dedukční systémy), část prakticky (např. sestavování ekvivalentů/negací vět/formulí, ověřování úsudků/argumentů, přirozená dedukce).
  • (4) Kurz podává základy pro tyto oblasti filosofie: neklasická/filosofická logika, filosofie jazyka/komputingu/AI/logiky/matematiky/, formální epistemologie, formální ontologie, formální etika.
  • (5) Kurz podává specifický teoretický základ rovněž pro obor počítačová lingvistika.
    • Výstupy z učení
  • (1) Orientace 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
    • Kurz je úvodem především do klasické výrokové logiky, zčásti predikátové logiky:
    • (1) Logika jako věda o logickém důsledku. Stručná historie logiky.
    • (2) Výroky a pravdivostní funkce.
    • (3) Formální jazyk výrokové logiky.
    • (4) Logické zákony (tautologie).
    • (5) Ekvivalence a negace.
    • (6) Výrokově-logický důsledek (vyplývání).
    • (7) Axiomatické systémy a důkazy.
    • (8) Přirozená dedukce.
    • (9) Sémantická tabla.
    • (10) Úvod do predikátové logiky. Predikát, kvantifikátory.
    • (11) Logický čtverec, sylogismy, ověřování úsudků Vennovými diagramy.
    • (12) Základní zákony a pravidla přirozené dedukce pro predikátovou logiku.
    Literatura
      doporučená literatura
    • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. 1. vyd. Brno: Masarykova univerzita, 2015, 348 s. ISBN 978-80-210-7867-3. info
      neurčeno
    • GORANKO, Valentin. Logic as a tool : a guide to formal logical reasoning. First published. Chichester: Wiley, 2016, xxii, 358. ISBN 9781118880005. info
    • KOLMAN, Vojtěch a Vít PUNČOCHÁŘ. Formy jazyka : úvod do logiky a její filosofie. Vydání první. Praha: Filosofia, 2015, 654 stran. ISBN 9788070074381. info
    • BERGMANN, Merrie, James MOOR a Jack NELSON. The logic book. 6th ed., international ed. New York: McGraw-Hill, 2014, x, 611. ISBN 9781259010606. info
    • HAUSMAN, Alan, Howard KAHANE a Paul TIDMAN. Logic and philosophy : a modern introduction. Twelfth edition, internation. Australia: Wadsworth Cengage Learning, 2013, xix, 460. ISBN 9781111841669. info
    • HURLEY, Patrick J. A concise introduction to logic. 11th ed., international ed. Australia: Wadsworth Cengage Learning, 2012, xxi, 706. ISBN 9781111185893. info
    • DOXIADĪS, Apostolos a Christos Ch. PAPADIMITRIOU. Logikomiks : hledání absolutní pravdy. Illustrated by Alekos Papadatos. Vyd. 1. Praha: Dokořán, 2012, 335 s. ISBN 9788073634018. info
    Výukové metody
    Lekce objasňující teorii i praktické řešení problémových úloh. E-learningová podpora kurzu v aktuální verzi Elfu, kde jsou postupně uveřejňovány zejména prezentace a průběžné domácí úkoly formou e-testů. Ke každé lekci se zpravidla pojí:
    (1) minikvíz KvIS (prezenčně, nepovinné, bonifikováno);
    (2) 1-4 prezentace v PDF (POVINNÉ);
    (3) 1-2 domácí úkoly (POVINNÉ);
    (4) aktivizační otázky k učivu (prezenčně, nepovinné, bonifikováno);
    (5) příležitostná anketa, logická hádanka, či diskusní fórum (nepovinné);
    (6) doporučené studijní texty (viz seznam v Sylabu v IS, nepovinné);
    (7) doporučená rozšiřující videa či jiné materiály na www (nepovinné);
    (8) odpovědníky k rozšiřujícím studijním textům (nepovinné, bonifikováno).
    Metody hodnocení
    (1) PODMÍNKA připuštění ke zkoušce: splnění průběžných kontrolních DOMÁCÍCH ÚKOLů (e-testů v Elfu). Ke každé lekci (přednášce) se pojí 1 až 2 domácí úkoly; ty jsou otevřeny hned po konci lekce a uzavírají se v okamžik začátku následující lekce (na vypracování je tedy týden; testy nejsou otevírány zpětně; pro vážně nepocné apod. jsou otevřeny na konci semestru tzv. Extra domácí úkoly). Domácí úkol je úspěšně splněn, pokud je zvládnut na nejméně 80 % (např. zisk 4 bodů z 5 možných). Domácí úkoly jsou splněny, pokud je průběžně úspěšně splněno nejméně 80 % domácích úkolů. Každý domácí úkol lze odevzdat až 3x, započítává se nejlepší výsledek. Každá úloha má 1-5 správných odpovědí, z nichž každá má alikvotní podíl na zisku až 1 bodu (např. jsou-li 2 správné odpovědi, každá 1 správná odpověď je za 50 % bodu); nesprávné odpovědi přináší záporné body (např. každá 1 ze 3 nesprávných přináší -33 % bodu).
    (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 správnému zvládnutí na cca 80 %; naopak známka F znamená nedosažení hranice cca 33 %.) Jednotlivé otázky souhrnného e-testu jsou obvykle obměnou otázek z průběžných e-testů.
    (3) BONIFIKAČNÍ PROGRAM (nepovinný) ke zlepšení celkové známky ze Zk-testu:
    (a) Získání aspoň 7 bodů z kvízů (KvIS), jež jsou na začátku každé lekce (kvíz tvoří motivační tématický příklad k dané lekci);
    (b) Získání aspoň 4 bodů za aktivity na hodině (smysluplné odpovědi na otázky k probírané látce, netriviální dotazy/komentáře k látce);
    (c) Získání aspoň 80 % bodů za zodpovídání otázek z 5 průběžně zadávaných textů (textů je nabídnuto více čili si lze vybrat určitých 5); každý text má 3 otázky po 1 bodu; texty jsou klasikou analytické filozofie, obvykle aplikují logiku.
    (Kompenzace sezónních výkyvů v počtu studujících: minimální počet bodů za aktivity může být upraven směrem dolů.) Splnění každé jednotlivé z činností (a)-(c) znamená zlepšení o 1 stupeň (tedy např. zlepšení z D na C), souhrnně lze za (a) až (c) získat zlepšení až o 3 stupně (samozřejmě známku A již nelze zlepšovat). Body za bonifikované činnosti (a)-(c) jsou průběžně evidovány v blocích v IS.
    Náhradní absolvování
    Kombinovní 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/podzim2025/PHBL2/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.
    Studentům kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV244 Logika II: otázky a odpovědi.
    Předmět je zařazen také v obdobích jaro 2020, jaro 2021, jaro 2022, jaro 2023, jaro 2024.