Jak Začít?

Máš v počítači zápisky z přednášek
nebo jiné materiály ze školy?

Nahraj je na studentino.cz a získej
4 Kč za každý materiál
a 50 Kč za registraci!




Předmět Moderní logika (KFI / MLL)

Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KFI / MLL - Moderní logika, Fakulta filozofická, Západočeská univerzita v Plzni (ZČU).

Top 10 materiálů tohoto předmětu

Materiály tohoto předmětu

Materiál Typ Datum Počet stažení

Další informace

Obsah

Probíraná témata: předmět logiky, jazyk klasické výrokové logiky a klasické predikátové logiky a přirozený jazyk, sémantika výrokové a predikátové logiky, tabulková metoda, axiomatické systémy, kalkul přirozené dedukce, metoda sémantických stromů, relace a jejich vlastnosti, srovnání moderní a tradiční logikyInovace tohoto kurzu je spolufinancována Evropským sociálním fondem a statním rozpočtem České republiky. Projekt ESF OPVK reg. č. CZ.1.07/2.2.00/07.0217 "ORGANON - Learning Management System (LMS) pro výuku logiky"

Získané způsobilosti

Studenti získají přehled o povaze logických metod. Zvládnou související odbornou terminologii a naučí se používat logický aparát klasické logiky pro analýzu vět přirozeného jazyka. Osvojí si základní metody ověřování správnosti logických úsudků.

Literatura

Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.Jauris, Miroslav; Materna, Pavel. Logika. 3. vyd. Praha : Státní pedagogické nakladatelství, 1956. Svatek, Jan; Dostálová, Ludmila. Logika pro humanistiku. Dobrá Voda : Aleš Čeněk, 2003. ISBN 80-86473-54-6.V. Svoboda - J. Peregrin. Od jazyka k logice. 2009. Janák, Vladimír. Základy formální logiky. 1. vyd. Praha : Státní pedagogické nakladatelství, 1973. Bokr, Josef; Svatek, Jan. Základy logiky a argumentace : pro zájemce o umělou inteligenci, filozofii, práva a učitelství. 1. vyd. Dobrá Voda u Pelhřimova : Aleš Čeněk, 2000. ISBN 80-902627-8-3.

Požadavky

Zápočet: referátZkouška: na základě prokázání znalostí probírané látky.

Garant

Doc. PhDr. Nikolaj Demjančuk, CSc.