UZPHK2102 Základy logiky

Filozofická fakulta
podzim 2013
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
Kontaktní osoba: Hana Holmanová
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta
Rozvrh
Pá 11. 10. 10:50–12:25 J22, Pá 13. 12. 10:50–12:25 J22
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
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á - 8 otázek, min. počet dosažených procent 60. 1 absence povolená.
Informace učitele
http://www.phil.muni.cz/fil/logika/
Literatura:
*BERKA, Karel (1994): Stručné dějiny logiky. Praha: Karolinum. *BOKR, Josef, SVATEK, Jan (2000): Základy logiky a argumentace pro zájemce o umělou inteligenci, filozofii, práva a učitelství. Plzeň: Vydavatelství a nakladatelství Aleš Čeněk. *ČECHÁK, Vladimír, BERKA, Karel, ZAPLETAL, Ivo (1981): Co víte o moderní logice. Praha: Horizont. *DUŽÍ, Marie, Markl, Jaroslav: Matematická logika, skripta, http://www.cs.vsb.cz/duzi/Matlogika.zip *GAHÉR, František (2001): Logika pre každého. (rozšířené vydání), Bratislava: Iris. *HÁJEK, Petr (200?): Logika pro pedagogy, http://www.cs.cas.cz/~hajek/pedagog.ps *HROMEK, Petr (2003): Logika v příkladech. (skripta) Olomouc: Olomouc. *JANÁK, Vladimír (1974, 1976): Základy formální logiky. Praha: Státní pedagogické nakladatelství. *JIRKŮ, Petr, VEJNAROVÁ (2000): Logika, (skripta, druhé vydání), Praha: Univerzita Karlova. (http://www.cuni.cz/~jirkup/logika/logika2.ps) *MATERNA, Pavel (1968): Umíte logicky myslet?. Praha: . *MATERNA, Pavel (1968): Úvod do logiky. (skripta) Brno: ÚJEP. *LUKASOVÁ, Alena (2003): Formální logika v umělé inteligenci. Brno: Computer Press. *SOCHOR, Antonín (2001): Klasická matematická logika. Praha: Univerzita Karlova v Praze - Nakladatelství Karolinum. *SOUSEDÍK, Prokop (1991): Logika pro studenty humanitních oborů. Praha: Vyšehrad. *SVATEK, Jan, DOSTÁLOVÁ, Ludmila (2003): Logika pro humanistiku. Dobrá voda: Aleš Čeněk. *ŠTĚPÁN, Jan (1992): Logika a logické systémy. Olomouc: Votobia. *ŠTĚPÁN, Jan, HRUBEŠ, Jaromír (1994): Logika. Ostrava: Scholaforum. *ŠTĚPÁN, Jan (1995): Formální logika. Olomouc: FIN. *ŠTĚPÁN, Jan (2001): Klasická logika. Olomouc: Univerzita Palackého v Olomouci. *ŠTĚPÁNEK, (2000): Predikátová logika. (učební text) Praha: Univerzita Karlova. *ŠVEJDAR, Vítězslav (2002): Logika: neúplnost, složitost a nutnost. Praha: Academia. *TICHÝ, Pavel (1968): Logická stavba vědeckého jazyka. Praha: FF UK. *ZAPLETAL, Ivo (1972): Antologie příkladů z logiky. (skripta) Praha: Univerzita Karlova.
zahraniční
*COPI, Irving M. (1986): Introduction to Logic. New York: Macmillan Publishing Company. *CHURCH, Alonzo (1956): Introduction to Mathematical Logic. Princeton: Princeton University Press. *KUTSCHERA, Franz von (1967): Elementare Logik. Wien, New York: Springer-Verlag. *MANNA, Zohar (1981): Matematická teorie programů. Praha: SNTL. *MENDELSON, Elliot (1964): Introduction to Mathematical Logic. Princeton: D. Van Nostrand Company. *QUINE, Willard van Orman (1980): Elementary Logic. Cambridge (Mass.): Harvard University Press. *TARSKI, Alfred (1966): Úvod do logiky a metodologie přírodních věd. Praha: Academia.
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 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018, podzim 2019.