OV3MP_LO Logika

Pedagogická fakulta
podzim 2005
Rozsah
2/0/0. 3 kr. Ukončení: zk.
Vyučující
prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)
Garance
prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Kontaktní osoba: Marie Baráčková
Rozvrh
Út 10:15–11:50 učebna 42
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Úvod do výrokové a predikátové logiky s ohledem na jejich budoucí výuku účastníky kurzu.
Osnova
  • 1. Poslání a význam logiky. Stručně dějiny logiky. 2. Základní sémiotické termíny používané v logice 3. Jazyk výrokové logiky, základní pravdivostní spojky, korespondence mezi pravdivostními spojkami a spojkami v přirozeném jazyce, sémantika výrokové logiky - tabulková metoda. 4. Pojmy tautologie, kontradikce, splnitelná formule. Nejznámější důležité tautologie výrokové logiky a jejich využití při usuzování. 5. Ekvivalence a negace vět. 5. Vyplývání. Klasické úsudky ve výrokové logice, usuzovací zákony, ověřování sémantickou metodou protipříkladu. 6. Úvod do predikátové logiky, problematika převodu vět přirozeného jazyka do symbolismu predikátové logiky. 7. Logický čtverec: subjekt-predikátový výrok , obecné vs. částečné výroky, kladné vs. záporné výroky; logický čtverec a jeho zákonitosti. Jednoduché úsudky predikátové logiky. 8. Kategorický sylogismus, metoda ověření platnosti sylogismů pomocí Vennových diagramů. 9. Základní pravidla přirozené dedukce. 10 . Základní pojmy teorie definice, nekorektní definice. 11. Základní pojmy teorie argumentace. Pseudoargumentace. 12. Nejznámější typy čistě logických hádanek, tipy jak je řešit.
Informace učitele
GAHÉR, František (2001): Logika pre každého. (rozšířené vydání), Bratislava: Iris. SVATEK, Jan, DOSTÁLOVÁ, Ludmila (2003): Logika pro humanistiku. Dobrá voda: Aleš Čeněk. ŠTĚPÁN, Jan (2001): Klasická logika. Olomouc: Univerzita Palackého v Olomouci. COPI, Irving M. (1986): Introduction to Logic. New York: Macmillan Publishing Company.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2004, podzim 2006, podzim 2007.