PHBL1 Logika I

Filozofická fakulta
podzim 2023
Rozsah
1/1/0. kombinovaná forma: 16 hodin/semestr. 5 kr. Doporučované ukončení: zk. Jiná možná ukončení: z.
Vyučováno prezenčně.
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 10:00–11:40 A11, kromě Čt 16. 11.
Předpoklady
Žádné zvláštní předpoklady.
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
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 a zejména základech výrokové logiky (klasické i neklasické), viz níže Osnova.
(2) Hlavní část kurzu je vlastně aplikací vybrané části matematické logiky na oblast přirozeného jazyka, resp. oblast každodenního racionálního usuzování.
(3) Část přednášek je orientována teoreticky (např. syntax+sémantika výrokové logiky, paradoxy), část prakticky (např. sestavování ekvivalentů/negací vět/formulí, ověřování úsudků/argumentů, přirozená dedukce).
Výstupy z učení
(1) Zorientovat se 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
  • (1) Logika jako věda o logickém důsledku.
  • (2) Logické paradoxy.
  • (3) Výroky a pravdivostní funkce.
  • (4) Formální jazyk.
  • (5) Logické zákony (tautologie).
  • (6) Ekvivalence a negace.
  • (7) Výrokově-logický důsledek.
  • (8) Neklasické logiky.
  • (9) Axiomatické systémy a důkazy.
  • (10) Přirozená dedukce.
  • (11) Sémantická tabla.
  • (12) Filozofie logiky.
Literatura
    doporučená literatura
  • 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
  • HURLEY, Patrick J. A concise introduction to logic. 11th ed., international ed. Australia: Wadsworth Cengage Learning, 2012, xxi, 706. ISBN 9781111185893. info
    neurčeno
  • RUSSELL, Stuart J. a Peter NORVIG. Artificial intelligence : a modern approach. Fourth edition. Hoboken: Pearson, 2021, xvii, 1115. ISBN 9780134610993. info
  • 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
  • CRYAN, Dan, Sharron SHATIL a Bill MAYBLIN. Introducing logic. London: Icon Books Ltd, 2013, 175 stran. ISBN 9781848310124. 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
  • 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
Výukové metody
Přednáška objasňující teorii a teoretické i praktické řešení problémových úloh. Základní praktické příklady. E-learningová podpora: v aktuální verzi Elfu najdete kurz "Logika I.", kde jsou postupně uveřejňovány prezentace a především průběžné domácí úkoly formou e-testů, jež procvičují aplikaci látky na konkrétních příkladech.
Metody hodnocení
(1) PODMÍNKA připuštění ke zkoušce: splnění průběžných kontrolních E-TESTů (= DOMÁCÍ ÚKOLY). Průběžný e-test je úspěšně splněn, pokud je zvládnut na nejméně 80 % (např. zisk 4 bodů z 5 možných). Průběžné e-testy jsou splněny, pokud je průběžně úspěšně splněno nejméně 80 % e-testů (domácích úkolů).
(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 cca 80%-nímu zvládnutí). Jednotlivé otázky souhrnného e-testu jsou obvykle reformulací/obměnou otázek z průběžných e-testů.
(3) Jako BONIFIKACE vedoucí ke zlepšení celkové známky slouží body získané z kvízu (KVIS) na úvodu každé prezenční hodiny; kvíz tvoří motivační tématický příklad.
Navazující předměty
Informace učitele
http://www.phil.muni.cz/~raclavsky/logika/
Doporučeno zapsat si zároveň (nepovinný) seminář "PHV241 Logika I: seminář."
Další komentáře
Předmět je vyučován každoročně.
Pro studenty kombinovaného studijního programu je doporučeno zapsat si současně předmět PHV2451 Logika I: otázky a odpovědi.
Předmět je zařazen také v obdobích podzim 2019, podzim 2020, podzim 2021, podzim 2022, podzim 2024.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/phil/podzim2023/PHBL1