Předmět Logika (KFL / LGA)

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 KFL / LGA - Logika, Fakulta přírodovědně-humanitní a pedagogická, Technická univerzita v Liberci (TUL).

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

Obsah

1) logika jako předmět, stručný historický přehled, logika a přirozený jazykVýroková logika1) jednoduché a složené výroky, logické spojky, vztah gramatických a logických spojek2) ověřování pravdivosti složených výroků - pravdivostní tabulky a sémantické stromy3) základní úlohy výrokové logiky - pravdivost výroku v daném modelu, splnitelnost; tautologické a kontradiktorické výroky4) vyplývání závěru z premis, úsudek, ověřování platnosti úsudků, metoda protipříkladu5) výroková logika jako axiomatický systém - axiom, pravidlo, důkaz, systém přirozené dedukce pro výrokovou logikuPredikátová logika6) vnitřní struktura výroků, vlastnosti a vztahy, množinová reprezentace vztahů, korespondence logických spojek a množinových operací7) predikáty, proměnné, kvantifikátory8) úsudky v predikátové logice - sylogismy9) důkazové systémy v predikátové logiceLogické základy metodologie10) teorie definice - struktura definice, druhy definic, chyby v definicích11) teorie argumentace - argument vs. důkaz, úsudkový řetězec, problémy a chyby v argumentaci

Získané způsobilosti

Studenti budou obeznámeni s látkou v souladu s cílem a obsahem předmětu.

Literatura

KOLÁŘ, P. Argumenty filosofické logiky. Praha: Filosofia, 1999. ISBN 80-7007-121-4. FREGE, G. Begriffsschrift, Halle 1879. ARISTOTELES. Druhé analytiky, přel. Ant. Kříž. Praha: Nakladatelství ČSAV, 1962. ŠTĚPÁN, J. Formální logika. Olomouc: FIN, 1995. ISBN 80-7182-004-0. CHURCH, A. Introduction to Mathematical Logic, Vol. I, U. P. Princeton, New Jersey 1956. SMULLYAN, R. M. Jak se jmenuje tato knížka. Praha: Mladá fronta, 1972. TUGENDHAT, E., WOLF, U. Logicko-sémantická propedeutika. Praha: Rezek, 1997. ISBN 80-86027-02-3. ŠVEJDRAR, V. Logika - neúplnost, složitost a nutnost. Praha: Academia, 2002. CRYAN, D., SHATTIL, S. Logika. Praha: Portál, 2002. ISBN 80-7178-707-8. CARROLL, L. Logika hrou. Praha: Pressfoto, 1978. JAURIS, M. Logika. Praha: Slovenské pedagogické nakladatelství, 1970. GAHÉR, F. Logika pre každého. Bratislava: Iris, 1994. ISBN 80-967013-9-8. SOUSEDÍK, P. Logika pro studenty humanitních oborů. Praha: Vyšehrad, 1999. ISBN 80-7021-306-X. FREGE, G. O smyslu a významu, přel. J. Fiala, v: Scientia et Philosophia, červen 1992. ARISTOTELES. O sofistických důkazech, přel. Ant. Kříž. Praha: Nakladatelství ČSAV, 1978. WHITEHEAD, A., RUSSELL, B. Principia Mathematica I, U. P., Cambridge 1910. ARISTOTELES. První analytiky, přel. Antonín Kříž. Praha: Nakladatelství ČSAV, 1961. BERKA, K. Stručné dějiny logiky. Praha, 1994. ISBN 80-7066-917-9. MATERNA, P. Svět pojmů a logika. Praha: Filosofia, 1995. ISBN 80-7007-078-1. BENDOVÁ, K. Sylogistika. Praha: Karolinum, 1998. ISBN 80-7184-568-X. TICHÝ, P. The Foundations of Frege s Logic, W. de Gruyter, Berlin-New York 1988. BOLZANO, B. Wissenschaftslehre, Sulzbach 1837.

Požadavky

Kurs je ukončen zkouškou, sestávající z písemné a ústní části. V písemné části by měl student prokázat praktickou schopnost řešit logické příklady. Ústní část by měla zkoumat studentovu teoretickou vybavenost a zvládnutí základních logických pojmů.

Garant

MTh. Václav Umlauf, Ph.D.

Vyučující

RNDr. Ondřej Majer, CSc.MTh. Václav Umlauf, Ph.D.RNDr. Ondřej Majer, CSc.MTh. Václav Umlauf, Ph.D.