Předmět Logika (ASG100061)

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 ASG100061 - Logika, Filozofická fakulta, Univerzita Karlova v Praze (UK).

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

Sylabus

Logika jako věda. Formy usuzování. Logika a logiky. Matematická logika. Jazyk formální a přirozený. Teorie reference. Jazyk-objekt a metajazyk. Základy výrokové logiky (VL). Syntax a formule VL, základní výrokové spojky. Logická forma. Sémantika VL, pravdivostní hodnoty (pravdivostní ohodnocení) a tabulky pravdivostních hodnot. Splnitelná a nesplnitelná formule a množina formulí, tautologie. Úsudky ve výrokové logice (vyplývání ve VL). Definice vyplývání a metoda protipříkladu. Vztah deduktivního a induktivního usuzování. Obecné vlastnosti sémantického důsledku. Sémantická verze věty o dedukci. Booleovské funkce. Konjunktivní a disjunktivní normální formy. Booleovský kalkul. Predikátová logika (PL). Syntax, termy a formule PL. Sémantika PL (struktura, realizace, valuace, model). Základní množinové vztahy a operace (prvek, podmnožina, komplement, universum, průnik, sjednocení, rozdíl množin). Volné a vázané proměnné, sentence. Splněnost a platnost formule ve struktuře, tautologie PL, vyplývání a vlastnosti sémantického důsledku. Subjekt-predikátové soudy (výroky), monadická PL. Logický čtverec. Negování subjekt-predikátových výroků. Řešení jednoduchých logických úsudků (sylogismů). Vennovy diagramy. Sylogismy a jejich historie. Analytické tabulky (chování logických konstant klasické logiky). Přirozená dedukce, důkazové systémy klasické logiky. Sémantické a syntaktické odvozování, důkaz formule z množiny formulí. Tautologičnost a dokazatelnost. Neklasické logiky.

Literatura

Literatura - základní[H] P Hromek. Logika v příkladech. Filozofická fakulta Univerzity Palackého v Olomouci, 2002. [J-V] P Jirků, J Vejnarová. Formální logika. Oeconomica, 2005. Skriptum VŠE. [Pe] M Peliš. Logika. AMOS, 2002, druhé vydání. Literatura - rozšířená[B] K Bendová. Sylogistika. Karolinum, 1997. [C-B-Z] V Čechák, K Berka, I Zapletal. Co víte o moderní logice. Horizont, 1981, edice MME. [J-Z] M Jauris, Z Zastávka. Základy neformální logiky. S&M, 1992. L Novák, P Dvořák. Úvod do logiky aristotelské tradice. Teologická fakulta Jihočeské univerzity v Českých Budějovicích, 2007. [Pg] J Peregrin. Logika a logiky. Academia, 2004. P Sousedík. Logika pro studenty humanitních oborů. Vyšehrad, 2001. J Štěpán. Klasická logika. Univerzita Palackého v Olomouci, 2001. J Štěpán. Logika a právo. C.H.Beck, 2001. [W-Z] O Weinberger, O Zich. Logika. Učebnice pro právníky. SPN, 1964. [Z et al.] O Zich et al. Moderní logika. Orbis, 1958, edice MME.

Garant

PhDr. Michal Peliš, Ph.D.

Vyučující

PhDr. Michal Peliš, Ph.D.