Předmět Logika I (PH1102)
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 PH1102 - 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
Po absolvování předmětu bude student schopen:porozumět základním pojmům výrokové logiky (pojem tautologie, pojem výrokově-logického vyplývání, pojem formálního jazyka, axiomatizace výrokové logiky, pojem formálního důkazu);ovládat techniky ověření toho, zda formule je tautologií (tabulková metoda a metoda protipříkladu), ověření, zda úsudek je logicky korektní (metoda protipříkladu)ovládat techniky ekvivalentních transformací, sestavení normálních forem, základních dokazovacích technik gentzenovského sekvenčního kalkulu;aplikovat tyto techniky v každodenním uvažování (ekvivalence a negace vět, korektnost úsudků);
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. info
Požadavky
Žádné zvláštní předpoklady
Garant
prof. PhDr. Josef Krob, CSc.
Vyučující
doc. PhDr. BcA. Jiří Raclavský, Ph.D.