(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, DU01-06, OZ1(10)

PECH Václav, DU01-06, 0Z1(9)

PECHOVÁ Adéla, DU01-06, OZ1(6)

SVOBODOVÁ

ŠESTÁKOVÁ Pavla, DU01-06, OZ1(7)

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, DU01-05, OZ1(9.5)

JUNGWIRTH

KARASOVÁ Petra, DU01-06, OZ1(9)

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, DU01-06, OZ1(10)

ŠÍMOVÁ

ŠRÁMKOVÁ Lucie DU01-05, OZ01(neps)

TRNKA

VARGA Jan., OZ1(10)

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