(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 0: Úvod

• 23.09–29.09.2024
• varia, např. Novák a Dvořák, ("Slovo ke čtenáři")
• setkání 27.09.2024

TÝDEN 1: Historie logiky

• 30.09–06.10.2024
• Novák a Dvořák, kap. 1.1-1.3 ("Uvedení do logiky")
• setkání neni

DATA NIZE BUDOU JESTE AKTUALIZOVANA

POJEM

TÝDEN 2: Pojem pojmu a vlastnosti pojmu

• 09.10–15.10.2023
• Novák, k. 2.1
• Novák, k. 2.2
• setkání 09.10.2023pá (FFL1 et al)
• setkání 14.10.2023 (KLOG) úvod do studia přehled látky do opakovacího testu 1

TÝDEN 3: Vztahy pojmů a dělení pojmu

• 16.10–22.10.2023
• Novák, k. 2.3
• Novák, k. 2.4
• setkání 20.10.2023 KFFL1 není

TÝDEN 4: Jazykové vyjádření pojmů a Definice a dělení

• 23.10–29.10.2023
• Novák, k. 2.5 (bonus: 2.6)
• Novák, k. 3

SOUD

TÝDEN 5: Pojem soudu a jeho jazykové vyjádření

• 30.10–05.11.2023
• Novák, k. 4.1
• Novák, k. 4.2
• setkání 30.10.2023 (FFL1) opakovací test 1
• setkání 3.11.2023 (KFFL1) opakovací test 1
• setkání 4.11.2023 (KLOG) není

TÝDEN 6: Vlastnosti a dělení soudů a logický čtverec

• 06.11–12.11.2023
• Novák, k. 4.3
• Novák, k. 4.4

TÝDEN 7: varia

• 13.11–19.11.2023

ÚSUDEK

TÝDEN 8: Úsudek I: Bezprostřední vyvozování

• 20.11–26.11.2023
• Novák, k. 5
• setkání 25.11.2023 (KLOG) opakovací test 1

TÝDEN 9: Úsudek II: Sylogismus

• 27.11–03.12.2023
• Novák, k. 6.1

TÝDEN 10: Úsudek II: Sylogismus - procvičování + Vennovy diagramy

• 04.12–10.12.2023
• Novák, k. 6.2

TÝDEN 11 [bonus]: Úsudek III (argumentace a protiargumentace)

• 11.12–17.12.2023

KFFL1, 15.12.2023: Opakovací test 2

TÝDEN 12 [bonus-reflexe]: FFL1, 18.12.2023: Opakovací test 2

Opakovací test 2

KLOG 06.01.2024: Opakovací test 2 (v 9.00 4.09)

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.