Logika - ASG100015

• Anglický název: Logic
• Zajišťuje: Katedra sociologie (21-KSOC)
• Fakulta: Filozofická fakulta
• Platnost: od 2009
• Semestr: zimní
• Body: 0
• E-Kredity: 5
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/1, Zk [HT]
• 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: prezenční
• Způsob výuky: prezenční
• Garant: prof. PhDr. Vojtěch Kolman, Ph.D.

Anotace

Poslední úprava: SOCDUFFK (03.06.2008)

Úvodní kurz formální logiky. Jeho cílem je seznámit posluchače se základními pojmy, metodami a vybranými problémy moderní logiky. První semestr je věnován klasické logice výroků: rozlišení její syntaxe a sémantiky; pojmu interpretace, modelu, logické platnosti a pravdivosti; pojmům axiomatického systému a deduktivního důkazu; pojmům rozhodnutelnosti a úplnosti teorie. Kromě toho je nastíněna základní motivace a pojmy teorie množin a Aristotelovy sylogistiky. Druhý semestr směřuje k uzavřenému výkladu klasické predikátové logiky s rovností. Dříve zavedené pojmy (syntax, sémantika, interpretace atd.) jsou modifikovány a rozšířeny. Praktickou a teoretickou bázi výkladu tvoří metoda sémantických stromů. Stručně jsou zmíněny některé neklasické systémy (intuicionistické, modální a intenzionální logiky) a významné výsledky a otázky obecnějšího významu (Gödelovy věty o úplnosti a neúplnosti, "halting problem", logické paradoxy a další).

Literatura

Poslední úprava: SOCDUFFK (29.05.2008)

Základní literatura A

J. Kolář, O. Štěpánková, M. Chytil: Logika, algebry, grafy. SNTL, Praha 1989.

Antonín Sochor: Klasická matematická logika. Praha, Nakladatelství Karolinum 2001

Základní literatura B

Peter Smith: An Introduction to Formal Logic. Cambridge, CUP 2003.

Angsar Beckermann: Einführung in die Logik. Berlin, de Gruyter

Rozšiřující literatura

Jaroslav Peregrin: Logika a logiky. Praha, Academia 2004.

Vojtěch Kolman: Logika Gottloba Frega. Praha, Filosofia 2002.

Ernst Tugendhat, Ursula Wolff: Logicko-sémantická propedeutika.

W. V. O. Quine: Methods of Logic. Cambridge, Mass., HUP 1982.

Pirmin Stekeler-Weithofer: Grundprobleme der Logik. Berlin, de Gruyter 1986.