(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 [online]
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í
ÚSUDEK
TÝDEN 10: Úsudek I: Bezprostřední vyvozování
- 18.11–24.11.2024
- Novák, k. 5
- setkání není [mezinárodní konference]
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
- setkání 6.12.2024
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
- setkání 20.12.2024
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Á Alexanda, DU01-06, OZ110)
BOJAROVÁ Sára, DU01-05, OZ1(08)
CIURAS
ČERVENÁ Gabriela, DU01-06, OZ1(O)
ČESKÁ Kristýna, DU01-06, OZ1(6)
DENIS
FAJTL Aleš, DU.
CHMELAŘOVÁ Eliška, DU01-06, OZ(10)
KHATRI, R OZ1(kontultace 3b)
KONÍŘOVÁ Tereza, +, OZ1 (10)
KŮRKOVÁ Radka, DU, OZ1(7)
MALCOVÁ Michaela, DU1-6, OZ1(8.5)
MAREŠ Jan, OZ1
PECH Václav, 0Z1
PECHOVÁ Adéla, OZ1
SVOBODOVÁ
ŠESTÁKOVÁ Pavla, OZ1
YASTREBOVA
KFFL1
BALAŽOVIČ Lukáš, 0
BEBR Tomáš, OZ1-3(email)
BUČKOVÁ
BUČKOVÁ
ČAPKOVÁ Lenka, DU01-6, OZ1(10)
ČERNÝCH
FIALKA Tobiáš, OZ1 (9)
HAAG
HÁLOVÁ
HRONEK Pavel, OZ1 (9)
JAGOŠ Daniel, OZ1
JUNGWIRTH
KARASOVÁ Petra, + OZ1
KIRAKOSYAN
KOSTOHRYZOVÁ Zuzana, OZ1(8)
LACHOUT, +
LIPKA
MACHÁČKOVÁ
MARIENKA Ondřej, OZ1 (10)
MARŠALA David, OZ1
MÓCO
MOLNÁR
PRAIZLER
PTÁČNÍKOVÁ, +
SOPKO.
SOUKUPOVÁ
STEHLÍK Filip, OZ1
STUDENOVSKÝ David, OZ1
ŠÍMOVÁ
ŠRÁMKOVÁ
TRNKA
VARGA Jan., OZ1
VÍTOVEC Renata, DU01-6, OZd
VLNOVÁ Šťepánka Anežka, +,+ OZ1
ZACHARIEVOVÁ Soňa, OZ1(9.5)
ZIKMUNDOVÁ Jitka, DU01, DU02–3.,
LOG
MRÁZ
