Zobrazení zdroje stránky (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 9: '''Úsudek''' I: Bezprostřední vyvozování 
* 18.11–24.11.2024
* Novák, k. 5
* ''setkání není [mezinárodní konference]''

TÝDEN 10: Úsudek II: Sylogismus 
* 25.11–01.12.2024
* Novák, k. 6.1 
''setkání není''

TÝDEN 11: Úsudek II: Sylogismus - procvičování 
* 02.12–08.12.2024
* Novák, k. 6.2
* setkání 6.12.2024

TÝDEN 12 [bonus]: Úsudek III (argumentace a '''protiargumentace''')
* 09.12–15.12.2024
* ''setkání není''

TÝDEN 13 [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. [https://www.academia.edu/38949200/Argumentations_and_Logic_Argumentace_a_logika_CZECH_060619 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(0)

MÓCO

MOLNÁR

PRAIZLER

PTÁČNÍKOVÁ, +, OZ(5)

SOPKO.

SOUKUPOVÁ

STEHLÍK Filip, DU01-06, OZ1(6)

STUDENOVSKÝ David, DU01-06, OZ1(10)

ŠÍMOVÁ

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

TRNKA Jiří, DU01-05, OZ01spolu_s02

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–05,

'''LOG'''

MRÁZ