Logika - AISV10059

• Anglický název: Logic
• Zajišťuje: Ústav informačních studií a knihovnictví (21-UISK)
• Fakulta: Filozofická fakulta
• Platnost: od 2006
• Semestr: zimní
• Body: 4
• E-Kredity: 0
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, 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
• Garant: doc. RNDr. Jiří Souček, DrSc.

Anotace

Poslední úprava: IVANKA (09.12.2005)

Seznámit s historií logiky, s jejím významem pro vědeckou práci a výuku. Naučit užívat logiku v praxi, tj. v jazyce základní formální logiky, tj. výroková a preditová logika.

Literatura

Poslední úprava: PhDr. Blanka Vorlíčková, Ph.D. (05.01.2011)

ZÁKLADNÍ LITERATURA:

1. BERKA, K., JAURIS, M. Logika. Praha : SPN, 1978.

2. JAURIS, M.: Logika. Praha : SPN, 1970.

3. WEINBERGER, O., ZICH, O. Logika (pro právníky). Praha : SPN, 1965.

4. BERKA, K., RYBOVÁ, J. Logika a metodologie pro žurnalisty. Praha : Novinář, 1988.

5. JAURIS, M., ZASTÁVKA, Z. Základy neformální logiky. Praha : S a M, 1992.

6. JIRKŮ, P. Logika. Praha : VŠE, 1993.

7. TARSKI, A. Úvod do logiky. Praha : Academia, 1969.

Sylabus

Poslední úprava: PhDr. Blanka Vorlíčková, Ph.D. (05.01.2011)

1. Výrokový počet
Výrokové proměnné, spojky - konjunkce, disjunkce, negace, implikace, ekvivalence, sémantika - pravdivostní ohodnocení, logické vyplývání, pravidla, syntax - axiomy, odvozovací pravidla, důkaz. Věta o úplnosti výrokového počtu

2. Predikátový počet, otázka pojmů
Aristotelovský subjekt - predikátové soudy, sylogismy, teorie tříd, monadický predikátový počet, kvatifikátory, řešení sylogismů - Eulerovy diagramy, Vennovy diagramy, formálně logické důkazy, obecný predikátový počet, sémantika - modely, seyntax - axiomy, odvozovací pravidla, důkazy, práce s kvantifikátory, nejznámější relace (ekvivalence, uspořádání, náležení), paradoxy

3. Neformální logika
Chyby v argumentaci, definice, otázka a odpověď, logika v matematice a ve vědě, typy úsudků, neklasické logiky