Úvod do logiky - OKBUZ10001

• Anglický název: Introduction into logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2012
• Semestr: oba
• E-Kredity: 1
• Rozsah, examinace: 0/0, Z [HS]
• Rozsah za akademický rok: 6 [hodiny]
• Počet míst: zimní:neurčen / neurčen (neurčen); letní:neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; při zápisu přednost, je-li ve stud. plánu; předmět lze zapsat v ZS i LS
• Garant: prof. RNDr. Ladislav Kvasz, DSc., Dr.; prof. RNDr. Naďa Vondrová, Ph.D.
• Je neslučitelnost pro: OKBUV10001

Anotace

Předmět se zabývá základy klasické logiky, její sémantikou a metodami odvozování. Do kurzu je zařazen stručný úvod do výrokového počtu a predikátového počtu.

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)

Cíl předmětu

Cílem předmětu je seznámit studenty se základními pojmy klasické logiky, především s její sémantikou

a základními metodami odvozování. Důraz je kladen na analýzu konkrétních příkladů a rozbor logických paradoxů.

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)

Literatura

Graham Priest: Logika, průvodce pro každého. Dokořán 2007.

Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.

Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.

Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.

Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)

Metody výuky

přednáška

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)

Požadavky ke zkoušce

Vyplňování pravdivostní tabulky pro formule výrokového počtu.

Schopnost negovat věty s kvantifikátory.

Schopnost zapsat věty přirozeného jazyka pomocí predikátového počtu.

Schopnost určovat platnost jednoduchých úsudků.

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)

Sylabus

Platné a neplatné úsudky.

Pravdivostní tabulky jednotlivých logických spojek.

Jména a kvantifikátory.

Deskripce a existence.

Implikace a vyplývání.

Vágnost v jazyce.

Pravděpodobnost.

Historie logiky.

Poslední úprava: KVASZ/PEDF.CUNI.CZ (17.09.2010)