FF:PHK1102 Logika I - Informace o předmětu

PHK1102 Logika I

Rozsah

celkem 16 hod. konzultací. 4 kr. Ukončení: z.

Vyučující

prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)

Garance

prof. PhDr. Jan Zouhar, CSc.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Hana Holmanová

Rozvrh

Pá 5. 10. 14:10–15:45 B11, Pá 2. 11. 14:10–15:45 B11, Pá 14. 12. 14:10–15:45 B11, Pá 18. 1. 14:10–15:45 B11

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

• Filozofie (program FF, B-PH)

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. Gentzenovský sekvenční kalkul.

Osnova

• Ú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. Gentzenovský sekvenční kalkul.

Metody hodnocení

Přednášecí část hodin bude věnována principiálnímu porozumění tématu, které bude (po samostudiu posluchačů) procvičováno. V podzimním semestru je písemný zápočtový test. Zkouška se sestává jednak z písemného testu ověřujícího zejména praktické ovládání (jako i pololetní zápočet), jednak z doplňující ústní části věnované teorii.

Informace učitele

http://www.phil.muni.cz/elf/course/view.php?id=255
Požadavky jsou dány přednáškou; blíže http://www.phil.muni.cz/fil/logika/ Teoretické podklady (přednášky) i soubory k procvičování + informace ke zkoušce jsou dostupné v příslušném e-learningovém kurzu v ELFu. Přístupové heslo k tomuto budou zaslány hromadným emailem na začátku semestru.

Další komentáře

Předmět je vyučován každoročně.

• Statistika zápisu (podzim 2007, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/phil/podzim2007/PHK1102