Úvod do logiky - OPBM1M106A

• Anglický název: Introduction to logic
• Podoba výuky: přednáška
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2017 do 2017
• Počet semestrů výuky: 1
• Semestr: zimní
• E-Kredity: 2
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:1/0, Z [HT]
• Počet míst: neomezen / neurčen (neurčen)
• Maximální kapacita předmětu: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Forma uskutečňování: prezenční
• Možnost opakovaného zápisu: 2 / 2 / 3 / 2
• 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.
• Vyučující: prof. RNDr. Ladislav Kvasz, DSc., Dr.
• Je prerekvizitou pro: OPBM1M134A

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 Ladislav, prof. RNDr., DSc., Dr. (30.09.2017)

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 Ladislav, prof. RNDr., DSc., Dr. (30.09.2017)

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 Ladislav, prof. RNDr., DSc., Dr. (30.09.2017)

Metody výuky

 Přednáška

V případě omezení prezenční výuky budou ve stanovených časech probíhat on-line setkání. Od studentů se očekává, že budou mít technické vybavení, které jim umožní se zapojovat do diskuze (mikrofon a kameru).

Poslední úprava: Kvasz Ladislav, prof. RNDr., DSc., Dr. (14.09.2020)

Kontroly studia předmětu a podmínky pro jejich úspěšné vykonání, způsob hodnocení

  

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 Ladislav, prof. RNDr., DSc., Dr. (30.09.2017)

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 Ladislav, prof. RNDr., DSc., Dr. (30.09.2017)