CORE079 Logika pro každého

Filozofická fakulta
jaro 2023
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
Rozvrh
St 16:00–17:40 B2.23, kromě St 19. 4.
Předpoklady
žádné speciální prerekvizity;
Omezení zápisu do předmětu
Předmět je otevřen studentům libovolného oboru.
Cíle předmětu
Logika hraje v naší společnosti důležitou roli nejen v počítačovém aj. hardwaru a softwaru, ale i v každodenním usuzování a racionální argumentaci. Součástí vzdělání byla již od samotného vzniku univerzit jako jedno ze sobodný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 teorie 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 vybraných hraničních jevech klasické logiky: neklasické logiky, paradoxy, aj.
  • vyhodnocování logické platnosti úsudků (argumentů)
  • logické usuzování (přirozená dedukce)
  • stavba a limity logických rámců usuzování
  • Osnova
    • logika: hlavní ideje
    • logické paradoxy
    • platnost argumentů (deduktivních/induktivních)
    • pravda, forma a logická platnost, logický důsledek (tabulková metoda)
    • přirozená dedukce
    • teorie argumentace a logické falacie
    • predikace a kvantifikace
    • logický čtverec (ekvivalence a opačné výroky)
    • sylogismy (Vennovy diagramy a přirozená dedukce)
    • neklasické logiky
    • formální systémy jejich limity (Kurt Gödel)
    • 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
    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 (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
  • 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 úvod do logiky pro lingvisty, studenty informační vědy (knihovníky), právníky, psychology aj.
    • Zájemci o logiku jsou směřovány pro další odkazy na http://www.phil.muni.cz/~raclavsky/logika/
    Další komentáře
    Studijní materiály
    Předmět je zařazen také v obdobích jaro 2024, jaro 2025.