UBKKA215 Logika

Filozoficko-přírodovědecká fakulta v Opavě
léto 2012
Rozsah
1/1/0. 3 kr. Ukončení: zk.
Vyučující
Mgr. Filip Svoboda (přednášející)
Mgr. Filip Svoboda (cvičící)
Garance
Mgr. Filip Svoboda
Ústav bohemistiky a knihovnictví – Filozoficko-přírodovědecká fakulta v Opavě
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
Přednášky pro předmět Logika budou koncipovány tak, aby podaly posluchačům jasný a ucelený obraz toho co to logika je, jaké druhy logik rozeznáváme a k čemu nám logika vlastně slouží. V rámci tohoto úvodu budou presentovány základy logické analýzy, výrokové, predikátové a tradiční logiky či základy argumentace a její chybné užití. Rovněž budou posluchačům představeny pojmy jako axiom, premisa, soud, úsudek, výrok, definice, dedukce, predikát, negace aj. Budou načrtnuty stručné dějiny logiky a vývoj jejich otázek, problému i řešení, tak aby byl demonstrován postupný vývoj logického myšlení. Přednáškové cykly budou doplňovány cvičeními na seminářích, kdy posluchači budou moci aplikovat teoreticky osvojené znalosti v praxi.
Osnova
  • Seznámení se základními pojmy
    Výrok a logické operátory
    Důkazy a úsudky ve výrokové logice
    Trojhodnotová logika
    Základy sylogistiky
    Přehled sylogistických figur, modů, pravidel
    Úvod do predikátové logiky
    Sémantika, kvantifikátory, tautologie
    Přehled modální logiky
    Modální logika a teorie množin
    Argumentace
    Logika a paradox
    Neklasické a neformální logiky
Literatura
    doporučená literatura
  • SOUSEDÍK, P. Logika pro studenty humanitích oborů. Praha, 2008. info
  • PEREGRIN, J. Logika a logiky. Praha, 2004. info
  • VOLEK, P. Úvod do logiky a teórie vedy. Bratislava, 1999. info
  • ŠTĚPÁN, J. Formální logika. Olomouc, 1995. info
Informace učitele
Zvládnutí základních logických postupů a schopnost pomocí jejich aplikace řešit jednoduché logické příklady. Tato schopnost bude posuzována formou ústní zkoušky.
Další komentáře
Předmět je dovoleno ukončit i mimo zkouškové období.
Předmět je zařazen také v obdobích léto 2013.