CORE079 Logika pro každého

Filozofická fakulta
jaro 2025
Rozsah
2/0/0. 3 kr. Ukončení: k.
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
Kontaktní osoba: Mgr. Kateřina Urubková
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Předpoklady
TYP_STUDIA(BM) && FORMA(P) && !(PROGRAM(B-PH_) || OBOR(FBPHpV))
Předmět je určen studujícím v prezenčním bakalářském a pětiletém magisterském cyklu s výjimkou programu Filozofie.
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) Pravdivost, 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
    Literatura
    • 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
    • MACFARLANE, John. Philosophical logic : a contemporary introduction. First published. New York: Routledge, Taylor & Francis Group, 2021, xviii, 238. ISBN 9781138737648. info
    • GORANKO, Valentin. Logic as a tool : a guide to formal logical reasoning. First published. Chichester: Wiley, 2016, xxii, 358. ISBN 9781118880005. info
    • RACLAVSKÝ, Jiří. Úvod do logiky: klasická predikátová logika. 1. vyd. Brno: Masarykova univerzita, 2015, 348 s. ISBN 978-80-210-7867-3. URL info
    • RACLAVSKÝ, Jiří. Úvod do logiky: klasická výroková logika. 1. vyd. Brno: Masarykova univerzita, 2015, 238 s. ISBN 978-80-210-7790-4. URL info
    • The Bloomsbury companion to philosophical logic. Edited by Leon Horsten - Richard Pettigrew. First published in paperback. London: Bloomsbury, 2014, viii, 637. ISBN 9781472523020. 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
    • 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
    • RAUTENBERG, Wolfgang. A concise introduction to mathematical logic. Third edition. New York: Springer, 2010, xxi, 319. ISBN 9781441912206. info
    • CRYAN, Dan, Sharron SHATIL a Bill MAYBLIN. Logika. Vyd. 1. Praha: Portál, 2002, 180 s. ISBN 8071787078. info
    • LEARY, Christopher C. A friendly introduction to mathematical logic. New Jersey: Prentice-Hall, 2000, xiv, 218. ISBN 0130107050. info
    • PRIEST, Graham. Logic : a very short introduction. 1st pub. Oxford: Oxford University Press, 2000, xii, 140. ISBN 9780192893208. info
    • BOOLOS, George. Computability and logic. Edited by Richard C. Jeffrey. 3rd ed. Cambridge: Cambridge University Press, 1989, x, 304. ISBN 0521389232. info
    Výukové metody
    (1) 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)
    • (2) 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
    • (3) 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í
  • (1) Splněné pravidelné e-testy v IS (= DOMÁCÍ ÚKOLY) (je to bodováno)
  • (2) Drobné PŘÍPRAVY před hodinou, e-test v IS (je to bodováno)
  • (3) (Nepovinná) Aktivní účast (i za toto jsou nějaké body)
  • (4) 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
    • Náhradní absolvování
    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ů.
    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 jsou 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/
    Studijní opora
    https://is.muni.cz/auth/el/phil/jaro2025/CORE079/index.qwarp
    Další komentáře
    Studijní materiály
    Předmět je zařazen také v obdobích jaro 2023, jaro 2024.