FF:CORE079 Logika pro každého - Informace o předmětu
CORE079 Logika pro každého
Filozofická fakultajaro 2024
- 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
- Čt 14:00–15:40 B2.23, kromě Čt 18. 4.
- Předpoklady
- typ_studia(BM) && forma(P) && !program(B-PH_)
- 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: 57/70, pouze zareg.: 10/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
- ŠVEJDAR, Vítězslav. Logika : neúplnost, složitost a nutnost. Vyd. 1. Praha: Academia, 2002, 464 s. ISBN 802001005X. 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
- 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/
- POZOR: dle RMU není možné udělovat výjimky pro zápis předmětů CORE
- Další komentáře
- Studijní materiály
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/phil/jaro2024/CORE079