Úvod do logiky - OKBM1M106A

• Anglický název: Introduction to logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2022
• Semestr: zimní
• E-Kredity: 2
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:0/0, Z [HT]
• Rozsah za akademický rok: 4 [hodiny]
• Počet míst: 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: kombinovaný
• Způsob výuky: kombinovaný
• 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
• Garant: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Je prerekvizitou pro: OKBM1M134A

Anotace

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

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.

angličtina

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)

The course deals with the basics of classical logic, its semantics and methods of derivation. The course includes a brief introduction to propositional calculus and predicate calculus.

Cíl předmětu

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

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ů.

angličtina

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)

The aim of the course is to acquaint students with the basic concepts of classical logic, especially its semantics and basic methods of derivation. Emphasis is placed on analysis of concrete examples and analysis of logical paradoxes.

Literatura

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

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.

angličtina

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)

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.

Metody výuky

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

Přednáška

Požadavky ke zkoušce

čeština

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

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ů.

angličtina

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (29.10.2019)

The course is taught in Czech, so the requirements are given only in Czech.

Sylabus

Poslední úprava: JANCARIK/PEDF.CUNI.CZ (23.05.2012)

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.