LOGIKA

Kurz seznamuje studenty se základy formální logiky, zejména aristotelskou, výrokovou a predikátovou logikou. Zaměřuje se na určování pravdivostních podmínek tvrzení, formalizaci výroků, logickou ekvivalenci a metody ověřování platnosti úsudků.

Výuka se dále věnuje principům logického odvozování a dokazování, tvorbě definic a základům formalizovaných teorií. Součástí kurzu je také seznámení s klasickými a neklasickými logickými systémy a jejich vzájemnými rozdíly.

CÍL PŘEDMĚTU:

Cílem předmětu je seznámit studenty se základy klasické logiky, a to jak moderní tak i tradiční. Představit základní metody zjišťování pravdivostních podmínek formulí a ověřování platnosti úsudků ve výrokové a predikátové logice. Ukázat postup formalizace vět přirozeného jazyka do jazyka formalizovaného.

VSTUPNÍ POŽADAVKY NA STUDENTA:

Předpokládá se základní orientace v logických pojmech, jako jsou tvrzení, úsudek, důkaz, odvození a definice. Studenti by měli být schopni rozlišovat mezi tezí a argumentem, reprodukovat zdůvodnění a pracovat se základními formálními a symbolickými zápisy.

PODMÍNKY ABSOLVOVÁNÍ:

GARANTI A VYUČUJÍCÍ:

VÝSLEDKY UČENÍ:

Po absolvování kurzu budou studenti schopni vysvětlit základní pojmy formální logiky, charakterizovat hlavní systémy klasické logiky a rozlišovat mezi klasickými a neklasickými logickými přístupy.

Budou umět určovat pravdivostní podmínky tvrzení, ověřovat platnost úsudků a provádět logickou analýzu vět přirozeného jazyka pomocí predikátové logiky prvního řádu. Získají také schopnost vytvářet správné definice a konstruovat jednoduché pojmové systémy.

PRO DOSAŽENÍ ODBORNÝCH ZNALOSTÍ JSOU UŽÍVÁNY VYUČOVACÍ METODY:

Přednáška založená na výkladu,
Samostudiu,
Cvičení (praktické cvičení).

KATEGORIE

ORGANIZÁTOR:

Fakulta filozofická

ZKRATKA PŘEDMĚTU:

KFI/LOGHB

TERMÍN ZÁPISU:

Od 1. 12. 2026 do 31. 1. 2027

TERMÍN KONÁNÍ:

Letní semestr 2026/2027

(harmonogram akademického roku)

ROZVRH PŘEDMĚTU:

Přednáška:

Místnost – SP 111

13.3. 9:20 – 12:50
10.4. 9:20 – 12:50
24.4. 9:20 – 12:50

Seminář:

Místnost – RJ 315

Úterý 14:50 – 16:30

Budova FF, Sedláčkova a Riegrova

FORMA STUDIA:

Kontaktní výuka : 52h
Příprava na souhrnný test: 26h
Příprava na dílčí test: 15h
Příprava na zkoušku: 37h

ZPŮSOB ZAKONČENÍ:

5 KREDITY

CENA: 5000 Kč

Po kliknutí na tlačítko budete přesměrováni na web ePřihláška, kde se budete moci přihlásit ke studiu.

ADRESA

Sedláčkova 19, Plzeň

DOPORUČENÉ KURZY

Další kurzy