UZPHK2102 Základy logiky

Filozofická fakulta
podzim 2018
Rozsah
10 hodin konzultací. 5 kr. Ukončení: zk.
Vyučující
doc. Mgr. Radim Bělohrad, 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
Pá 21. 9. 10:00–11:40 A11, Pá 16. 11. 16:00–17:40 A11
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
Cíle předmětu
Cílem předmětu je poskytnout studentům úvod do výrokové a predikátové logiky.
Výstupy z učení
Na konci tohoto předmětu se student bude schopen:
orientovat v základních pojmech moderní výrokové a predikátové logiky;
převádět výroky z přirozeného jazyka do jazyka výrokové a predikátové logiky;
využívat logický čtverec k transformaci výroků a Vennovy diagramy a tabulkovou metodu k ověřování úsudků.
Osnova
  • 1. Pojem úsudku-argumentu, pojem vyplývání, pojem logiky;
  • 2. Základní sémiotické termíny používané v logice;
  • 3. Jazyk výrokové logiky, sémantika výrokové logiky - tabulková metoda;
  • 4. Pojmy tautologie, kontradikce, splnitelná formule. Nejznámější důležité tautologie výrokové logiky;
  • 7. Problematika převodu vět přirozeného jazyka do symbolismu predikátové logiky;
  • 8. Logický čtverec;
  • 9. Kategorický sylogismus, metoda ověření platnosti sylogismů pomocí Vennových diagramů.
Literatura
    doporučená literatura
  • Další doporučená literatura viz informace učitele
  • PEREGRIN, Jaroslav. Logika a logiky : systém klasické výrokové logiky, jeho rozšíření a alternativy. Vyd. 1. Praha: Academia, 2004, 205 s. ISBN 8020011870. info
  • ŠTĚPÁN, Jan. Jazyk, logika, filozofie. 1. vyd. Olomouc: Univerzita Palackého, 2002, 147 s. ISBN 8024405725. info
  • ŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého v Olomouci, 2001, 198 s. ISBN 8024402548. info
  • VEJNAROVÁ, Jiřina. Formální logika : neformálmí výklad základů formální logiky. Edited by Petr Jirků. Vyd. 1. V Praze: Vysoká škola ekonomická v Praze, 2000, 161 s. ISBN 802450054X. info
  • ŠTĚPÁN, Jan. Formální logika. 2. přeprac. vyd. Olomouc: FIN, 1995, 109 s. ISBN 80-7182-004-0. info
  • MATERNA, Pavel. Úvod do logiky. 1. vyd. Praha: Státní pedagogické nakladatelství, 1968, 141 s. info
  • BERKA, Karel a Miroslav MLEZIVA. Co je logika. Praha: Nakladatelství politické literatury, 1962, 231 s. URL info
Výukové metody
přednáška
Metody hodnocení
Zkouška je písemná - cca 8 otázek, min. počet dosažených procent 60. 1 absence povolená.
Informace učitele
http://www.phil.muni.cz/fil/logika/
Předmět je zařazen také v obdobích podzim 2004, podzim 2006, podzim 2007, podzim 2008, podzim 2009, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2019.