FF:PH1102 Logika I - Informace o předmětu
PH1102 Logika I
Filozofická fakultapodzim 2004
- Rozsah
- 2/1/0. 3 kr. Ukončení: z.
- Vyučující
- prof. PhDr. BcA. Jiří Raclavský, Ph.D. (cvičící)
- Garance
- prof. PhDr. Jan Zouhar, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová - Rozvrh
- Pá 8:20–9:55 12, Pá 10:00–11:35 20
- Předpoklady
- Žádné zvláštní předpoklady
- Omezení zápisu do předmětu
- Předmět je určen pouze studentům mateřských oborů.
- Mateřské obory/plány
- Cíle předmětu
- Úvod do logiky. Základy výrokové logiky. Sémantika výrokové logiky: pojem tautologie, výrokově logického vyplývání. Zavedení formálního jazyka, axiomatizace výrokové logiky. Pojem formálního důkazu. Teorém dedukce. Normální formy. Gentzenovský sekvenční kalkul.
- 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, srovnání s Hilbertovskými kalkuly.
- Metody hodnocení
- Přednáška s cvičením. Po prvním semestru zápočtový test, po druhém zkouška (první část písemná, druhá ústní).
- Informace učitele
- http://www.phil.muni.cz/fil/logika/
Požadavky jsou dány přednáškou. Literatura (Štěpán, popř. průběžně zadaná) má povahu doplňkové četby. - Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2004, nejnovější)
- Permalink: https://is.muni.cz/predmet/phil/podzim2004/PH1102