(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