CORE079 Logika pro každého

Filozofická fakulta
jaro 2025
Rozsah
2/0/0. 3 kr. Ukončení: k.
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é speciální prerekvizity;
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Předmět si smí zapsat nejvýše 70 stud.
Momentální stav registrace a zápisu: zapsáno: 0/70, pouze zareg.: 0/70, pouze zareg. s předností (mateřské obory): 0/70
Cíle předmětu
Logika hraje v naší společnosti důležitou roli nejen v počítačovém softwaru i hardwaru, ale i v každodenním usuzování a racionální argumentaci. Součástí vzdělání byla logika již od samotného vzniku univerzit jako jedno ze svobodných umění (artes liberales). Kurz je úvodem do tohoto předmětu z (a) praktické i (b) teoretické perspektivy. (a) V oblasti praktické jsou řešeny úlohy spočívající zejména v (i) prověřování úsudků. Významná část je věnována (ii) usuzování v systému přirozené dedukce. (b) V oblasti teoretické je látka (iii) pojednána systematicky, avšak i s různými dílčími výhledy a souvislostmi. Soustředěnější výhledy se týkají (iv) logických paradoxů a neklasických logik (modálních, trojhodnotových aj.). Určitým vrcholem kurzu je prezentace fenomenálních logických objevů brněnského rodáka Kurta Gödela.
Výstupy z učení
  • přehled o základních technikách klasické logiky:
  • vyhodnocování logické platnosti úsudků (argumentů)
  • logické usuzování (přirozená dedukce)
  • stavba a limity logických rámců usuzování
  • přehled o vybraných hraničních jevech klasické logiky: neklasické logiky, paradoxy, aj.
  • kritické myšlení
  • analytické a algoritmické myšlení
    • Osnova
    • (1) logika: hlavní ideje
    • (2) logické paradoxy
    • (3) platnost argumentů (deduktivních/induktivních)
    • (4) pravda, forma a logická platnost, logický důsledek (tabulková metoda)
    • (5) přirozená dedukce
    • (6) teorie argumentace a logické falacie
    • (7) predikace a kvantifikace
    • (8) logický čtverec (ekvivalence a opačné výroky)
    • (9) sylogismy (Vennovy diagramy a přirozená dedukce)
    • (10) neklasické logiky
    • (11) formální systémy a jejich limity (Kurt Gödel)
    • (12) logika a počítače
    Výukové metody
    Standardní kontaktní výuka:
  • každý týden 1 lekce (2 vyučovací hodiny)
  • každá lekce jednak podává teorii, jednak se společně řeší praktické úlohy
  • každá lekce je doplněna krátkým e-testem jakožto domácí úlohou (viz též níže)
    • Interaktivní osnova obsahuje pro každou lekci:
  • text/prezentaci v PDF, jenž typicky obsahuje problém a teorii jej řešící + návod k řešení souvisejících úloh
  • odkazy na e-testy
  • odkazy na doplňující materiály
    • Domácí úkoly:
  • každý týden kratičká příprava před hodinou (on-line e-test s jednou otázkou v IS)
  • každý týden krátký on-line e-test v IS na témata/cvičení z přednášky
  • dobrovolné doplňkové samostudium doporučených materiálů
  • dobrovolná logická hádanka
    • Metody hodnocení
  • Splněné pravidelné e-testy v IS (= DOMÁCÍ ÚKOLY) (je to bodováno)
  • Drobné PŘÍPRAVY před hodinou, e-test v IS (je to bodováno)
  • Aktivní účast (i za toto jsou nějaké body)
  • Závěrečný e-test pouze pro ty, co během semestru získají málo bodů
  • - Z-test je podobný průběžným e-testům
  • - Z-test je tvořen výběrem z témat/příkladů kurzu
    • Informace učitele
    • Všechny vyžadované studijní materiály jsou v interaktivní osnově v IS.
    • Doplňkové materiály (kromě odkazovaných knih) jsou obvykle dostupné skrze webové odkazy.
    • Konzultace možné po dohodě termínu konzultace.
    • Kurz nenahrazuje kurzy matematické logiky pro posluchače matematicky orientovaných oborů (vč. informatiky), je spíš jejich doplňkem.
    • Kurz může sloužit jako základní úvod do logiky užívané v umělé inteligenci (reprezentace, znalostí, usuzování, formalizace jazyka).
    • Kurz může sloužit jako základní úvod do logiky pro lingvisty, studenty informační vědy (knihovníky), právníky, psychology aj.
    • Zájemci o logiku jsou směrováni pro další odkazy na http://www.phil.muni.cz/~raclavsky/logika/
    Předmět je zařazen také v obdobích jaro 2023, jaro 2024.