(K)FFL1 Formální a filosofická logika 1 + Logika
Cíle předmětu
Cílem předmětu je seznámit se se základními pojmy a metodami tzv. tradiční logiky, neboli logiky termínů, která má své kořeny především u Aristotela. Tradiční logika ve svých různých podobách dominovala až do druhé poloviny devatenáctého století, kdy se postupně začala prosazovat logika moderní neboli symbolická, jež vznikla pod vlivem matematiky.
Témata: pojem, soud, úsudek.
Požadavky na studenta
Průběžné domácí úkoly (10 základních bodů + bonusové za úvodní a závěrečnou reflexi), opakovací testy (20b).
Jak na domácí úkoly? Dle níže uvedeného rozpisu kapitol sepsat a nahrát do Teams (příp. zaslat na můj email) vlastní osobní zpracování témat ze základní učebnice (Novák-Dvořák, bonusově i další doporučenou literaturu). Pojetí i rozsah dle uvážení. Berte prosím jako jakési výpisky formou "osobního zápasu" s textem, který mi zašlete, abych mohl sledovat váš individuální i společný postup v předmětu. Termíny zaslání jsou orientační, klíčová je uvšem průběžnost práce i během semestru.
ÚVOD
pátek (lichý), 15.00-18.20, TK 210
TÝDEN 1: Úvod
- 23.09–29.09.2024
- varia, např. Novák a Dvořák, ("Slovo ke čtenáři")
- setkání 27.09.2024
TÝDEN 2: Historie logiky
- 30.09–06.10.2024
- Novák a Dvořák, kap. 1.1-1.3 ("Uvedení do logiky")
- setkání neni
POJEM
TÝDEN 3: Pojem pojmu (a vlastnosti pojmu)
- 07.10–13.10.2024
- Novák, k. 2.1
- setkání 11.10.2024
TÝDEN 4: Vlastnosti pojmu
- 14.10–20.10.2024
- Novák, k. 2.2
- setkání neni
TÝDEN 5: Vztahy pojmů a dělení pojmu
- 21.10–27.10.2024
- Novák, k. 2.3
- Novák, k. 2.4 - lze zpracovat méně podrobně
- setkání 25.10.2024
TÝDEN 6: Jazykové vyjádření pojmů a Definice a dělení
- 28.10–02.11.2024
- Novák, k. 2.5 (bonus: 2.6)
- Novák, k. 3
- setkání není
SOUD
TÝDEN 7: Pojem soudu a jeho jazykové vyjádření
- 04.10–10.11.2024
- Novák, k. 4.1
- Novák, k. 4.2
- setkání 8.11.2024 - opakovací test 1
TÝDEN 8: Vlastnosti a dělení soudů a logický čtverec
- 11.11–17.11.2024
- Novák, k. 4.3
- Novák, k. 4.4
- setkání není
DALE BUDE UPRESNENO
TÝDEN 9: varia
- 11.11–17.11.2024
ÚSUDEK
TÝDEN 10: Úsudek I: Bezprostřední vyvozování
- 18.11–24.11.2024
- Novák, k. 5
- setkání není
TÝDEN 11: Úsudek II: Sylogismus
- 25.11–01.12.2024
- Novák, k. 6.1
setkání není
TÝDEN 12: Úsudek II: Sylogismus - procvičování + Vennovy diagramy
- 02.12–08.12.2024
- Novák, k. 6.2
TÝDEN 13 [bonus]: Úsudek III (argumentace a protiargumentace)
- 09.12–15.12.2024
- setkání není
TÝDEN 14 [bonus-reflexe]:
- 16.12–22.12.2024
- Opakovací test 2
Literatura
Základní
NOVÁK, Lukáš - DVOŘÁK, Petr. Úvod do logiky aristotelské tradice. České Budějovice, 2007. (Druhé vyd. 2011)
Doporučená
CORCORAN, John. Argumentace a logika. Argumentation. (1989/2019)
FUCHS, Jiří. Úvod do filosofie. 1. Filosofická logika. Praha: Krystal OP, 1993.
GAHÉR, František. Logika pre každého. Bratislava: Iris.
SELUCKÝ, Oldřich. Logika pro střední školy. Praha: SPN, 1995.
SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. Praha: Vyšehrad, 1999/2008.
- Srozumitelný úvod sledující především historickou linii výkladu. Kniha se skládá ze čtyř částí: I. Základní pojmy (předmět logiky, logická forma, znak, vyplývání). II. Dějiny logiky (antická, scholastická, novověká a moderní logika). III Systém klasické logiky (výroková, predikátová, axiomatizace). IV. Neklasické logiky (vícehodnotová, modální).
Rozšiřující
ARISTOTELES, Organon
FREGE, Gottlob, Pojmové písmo
KREEFT, Peter Socratic Logic Socratic Logic: A logic text using Socratic method, Platonic Questions, and Aristotelian Principles, South Bend, IN: St. Augustine's Press, 2004, 2013
KREJČÍ, František, 1926
NOVÁK, Lukáš. "Sémantika vlastních jmen a identitní teorie predikace". Studia Neoaristotelica 2014/1-2, s. 10-32
PEREGRIN, Jaroslav, Co je nového v logice?
PRIEST, Graham, Logika
Internetové zdroje
Středověká a raněnovověká disputace: https://www.youtube.com/watch?v=rjXMNNeq3ps
Domácí úkoly
Klíčové je samostudium základní učebnice Novák (Úvod do logiky), dle rozpisu v týdnech,
Státní závěrečné zkoušky
Na základě tohoto kursu by student měl být schopen zvládnout zodpovědět část následujících otázek SZZ:
- Pojem a termín (typy pojmů, obsah a rozsah, vztahy pojmů, predikabilia, kategorie; syntaxe a sémantika, moderní pojetí extenze a intenze termínu; definice a dělení)
- Výrok a soud, výroková a predikátová logika (aristotelské a moderní chápání kategorického soudu, teorie predikace, logický čtverec; jazyk výrokové a predikátové logiky a jeho interpretace, extenzionální a neextenzionální výrokové spojky, tautologie a kontradikce výrokové logiky, pravdivostní tabulky; kvantifikátory a proměnné, moderní pojetí extenze a intenze výroku)
- Argument a úsudek (aristotelské a moderní chápání, typy argumentů, sylogismus, úsudky ze složených soudů, důkaz sporem, vyplývání, dokazatelnost, odvoditelnost, axiomatizace)
- Filosofické problémy logiky (modální logika, vývoj chápání logických modalit, modality de re a de dicto, možné světy; problém logického uchopení existence, teorie pravdy). Zde by bylo možné promluvit i o historii logiky.
Seznam studentů
FFL1
BARANOVÁ
BOJAROVÁ
CIURAS
ČERVENÁ
ČESKÁ
DENIS
FAJTL
CHMELAŘOVÁ
KHATRI
KONÍŘOVÁ
KŮRKOVÁ
MALCOVÁ
MAREŠ
PECH
PECHOVÁ
SVOBODOVÁ
ŠESTÁKOVÁ
YASTREBOVA
KFFL1
BALAŽOVIČ
BEBR
BUČKOVÁ
BUČKOVÁ
ČAPKOVÁ
ČERNÝCH FIALKA
HAAG
HÁLOVÁ
HRONEK
JAGOŠ
JUNGWIRTH
KARASOVÁ
KIRAKOSYAN
KOSTOHRYZOVÁ
LACHOUT, +
LIPKA
MACHÁČKOVÁ
MARIENKA
MARŠALA
MÓCO
MOLNÁR
PRAIZLER
PTÁČNÍKOVÁ
SOPKO
SOUKUPOVÁ
STEHLÍK
STUDENOVSKÝ
ŠÍMOVÁ
ŠRÁMKOVÁ
TRNKA
VARGA
VÍTOVEC
VLNOVÁ, +
ZACHARIEVOVÁ
ZIKMUNDOVÁ
LOG
MRÁZ