Předmět Filozofická logika (KFI / FILOG)

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 / FILOG - Filozofická logika, Filozofická fakulta, Ostravská univerzita v Ostravě (OU).

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

Obsah

Logika a její použití, logická analýza jazyka, analýza usuzování.Pojem klasické logiky a klasické výrokové logiky.Syntax a sémantika klasické výrokové logiky, zákony klasické výrokové logiky.Tautologie a jiné typy formulí, logická ekvivalence formulí, logické vyplývání ve výrokové logice.Metody ověřování logické ekvivalence a logického vyplývání.Přirozená dedukce ve výrokové logice, metoda analytických tabulek.Normální disjunktivní a konjunktivní formy formulí a úsudků, využití normálních disjunktivních a konjunktivních forem.Klasická výroková logika jako axiomatický systém, metalogické poznatky o systému klasické výrokové logiky.Za hranice klasické výrokové logiky: příklady neklasických logik, motivace jejich vzniku a jejich aplikace.

Získané způsobilosti

Student zná odborné výrazy a pojmy klasické logiky a s jejich pomocí chápe základní myšlenkové konstrukce moderní logiky. Dokáže najít logickou strukturu a logickou formu výroků a úsudků a dokáže sestavit důkazy úsudků pomocí metod přirozené dedukce. Orientuje se v základních problémech logické analýzy jazyka a je schopen pokračovat ve studiu rozšiřujících a specializačních předmětů z oblasti logiky.

Literatura

Gensler, H. J. Introduction to Logic, 2nd. ed. New York: Routledge, 2010. Smullyan, R. Jak se jmenuje tato knížka? Mladá fronta. Praha, 1986. Štěpán, J. Klasická logika. Olomouc, 2001. Barwise, J, Etchemendy, J. Language, Proof, and Logic. Stanford: CSLI, 2008. PRIEST, G. Logika: průvodce pro každého. Praha, 2007. Svoboda, V., Peregrin, J. Od jazyka k logice: filozofický úvod do moderní logiky. Praha: Academia, 2009. Tymoczko, T., Henle, J. Sweet Reason. A Filed Guide to Modern Logic. New York: Springer Verlag, 2000. Cook, R. T. A Dictionary of Philosophical Logic. Edinburgh: Edinburgh University Press, 2009. Cryan, D., Shatil, S., Mayblin, B. Logika. Praha: Portál, 2003. Smullyan, R. Navěky nerozhodnuto. Praha, 2003. SZYMANEK, K. Umění argumentace. Terminologický slovník. Olomouc, 2003. SZYMANEK, K., WIECZOREK, K. A., WÓJCIK, A. Umění argumentace. Úlohy na zkoumání argumentů. Olomouc, 2004.

Požadavky

K úspěšnému absolvování kursu musí student na cvičeních průběžně prokazovat odpovídající znalosti přednášené látky a formálních metod. V průběhu kursu bude studentovi doporučeno, aby vyřešil zadané příklady z logiky. Vybrané problémy budou řešeny na cvičeních, hlavní důraz však bude kladen na samostudium studenta.Kurs je ukončen závěrečným písemným testem, případně testem psaným v e-learningovém prostředí Moodle. Posluchač musí v testu prokázat znalost látky přednášených okruhů a zvládnutí logických metod. Test mimo jiné obsahuje několik příkladů, které musí student vyřešit pomocí metod vysvětlených v kursu. Podle dosaženého počtu bodů je studentovi udělena známka ve stupnici od 4 (nevyhověl) do 1 (výborně). V případě zájmu o opravu známky se student, který v testu dosáhnul známky 3, může s vyučujícím dohodnout na ústním přezkoušení.

Garant

PhDr. Petr Hromek

Vyučující

PhDr. Petr HromekPhDr. Petr Hromek