(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