(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Á Alexanda, OZ1

BOJAROVÁ Sára, OZ1

CIURAS

ČERVENÁ Gabriela, OZ1

ČESKÁ Kristýna, OZ

DENIS

FAJTL

CHMELAŘOVÁ Eliška,

KHATRI.

KONÍŘOVÁ Tereza, +, OZ1

KŮRKOVÁ Radka, OZ1

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Č

BEBR

BUČKOVÁ

BUČKOVÁ

ČAPKOVÁ Lenka, OZ1

ČERNÝCH

FIALKA Tobiáš, OZ1

HAAG

HÁLOVÁ

HRONEK Pavel, OZ1

JAGOŠ Daniel, OZ1

JUNGWIRTH

KARASOVÁ Petra, + OZ1

KIRAKOSYAN

KOSTOHRYZOVÁ Zuzana, OZ1

LACHOUT, +

LIPKA

MACHÁČKOVÁ

MARIENKA Ondřej, OZ1

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

VLNOVÁ Šťepánka Anežka, +,+ OZ1

ZACHARIEVOVÁ Soňa, OZ1

ZIKMUNDOVÁ Jitka, DU01, DU02–3.,

LOG

MRÁZ