Předmět Logika I (PHK1102)
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 PHK1102 - Logika I, Filozofická fakulta, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Student se bude schopen orientovat v základních pojmech moderní logiky, v prvním semestru výrokové logiky, tj. základech výrokové logiky, její sémantiky, pojmech tautologie, výrokově logického vyplývání, pojmu formálního jazyka, axiomatizace výrokové logiky, pojmu formálního důkazu, teorému dedukce, normálních forem, gentzenovského sekvenčního kalkulu.
Osnova
- povaha logiky jako analytické vědy- neformální charakteristika vyplývání jakožto ústředního pojmu logiky- pravdivostní funkce- tautologie- výrokově logické vyplývání- formální jazyk- dobře utvořené formule- axiomatizace v Hilbertově stylu- pojem formálního důkazu- vztah syntaxe a sémantiky- teorém dedukce- normální formy- gentzenovský sekvenční kalkul
Literatura
povinná literaturaŠTĚPÁN, Jan. Klasická logika. 1. vyd. Olomouc: Univerzita Palackého, 2001. 198 s. ISBN 80-244-0254-8. infodoporučená literaturaŠTĚPÁN, Jan. Logika a logické systémy. Vyd. 1. Olomouc: Votobia, 1992. 165 s. ISBN 80-85619-29-6. infoneurčenoŠTĚPÁN, Jan a Jaromír HRUBEŠ. Logika : terminologický a výkladový slovník. 1. vyd. V Ostravě: Ateliér Milata, 1994. 115 s. info
Požadavky
Žádné zvláštní předpoklady
Garant
prof. PhDr. Josef Krob, CSc.
Vyučující
doc. PhDr. BcA. Jiří Raclavský, Ph.D.