Formální a filosofická logika 2

Z WiKi TF
Přejít na: navigace, hledání

Témata

1. Moderní logika

1.1. Výroková logika (přehled)

1.2. Predikátová logika (přehled)

1.3. Základní pojmy logické sémantiky a syntaxe

1.4. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)

2. Varia z moderní filosofické logiky


Požadavky

Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (10b), opakovacími testy (2x10b), příp. ústním dozkoušením. Zátěž 4 x 25 h (4 kredity)

Literatura


Základní

  • Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
  • Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
  • Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Rozšiřující:

Doplňující

  • Frege, Gottlob, Pojmopis, 1879/2012
  • Priest, Graham, Logika, 2007
  • Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.

Seznam studentů FFL2

DOMINOVÁ Jindra VYB+

FALTOVÁ Anna, DU01-03+, DU+ (Cmorej), OZ1 (i s opravou jako du4-5), DU+ (Cmorej), DU (Kolar), OT2 (doplnit celkový dú), CHV

POKORNÝ Ondřej OZ1(1O), DU01-4(Berka), OZ02(cca10) CHV->VYB

VAVREINOVÁ Radka DU01+, DU2-5 (Berka+bonus), OZ02(po opravě 3), DOB ->CHV?

VOZKOVÁ

Seznam studentů KFFL2

AMBROŽ

BALUCHOVÁ Michaela DU01-02+, DU3+, DU004-5++ (Berka, Cmorej), DU-komplet, OZ(asi3), OZ2, CHV

BÁRTA Tomáš OZ1(25%)

DOŠKOVÁ Eva DU01-03, DU04-05, OZ01(9), OZ01(9opr) (CH po doplnění DU VYB)

HÁLOVÁ Michaela, VÝB+

HEJNÝ Bohumil, VYB+

HYNEK

KRÁSNICKÁ Martina VÝB+++

MIKULOVÁ Pavlína, VÝB+

OBERGRUBER Petr VÝB

PALATÍNUS Gabriel DU01-05, DU (Cmorej) OZ1(první-část,konzult), OZ2(oprava), DOBR -> DU(bonus, možné sv.)

STAERZ Eva CHV/VYB

SÙVOVÁ Denisa OZ01-03, OZ01(první část)

ŠÁDEK Kryštof, VÝB+

ŠTĚPÁNEK Stanislav - stručně dú komplet, oz1

VRANKA Matouš DU01-5+++ (Berka), DU06, DU07+ (Cmorej in progress), OZ1(10), OZ02(10opr), CHV->VYB

Další zdroje

http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm

Přehled

Přehled bude průběžně aktualizován, dle toho, jak si budeme osvojovat základní pojmy.

Výuka bude probíhat zároveň pro denní i kombinované studenty hybridním způsobem (přes Teams) se záznamem v úterý 14.00-15.30 a dle rozvrhu kombinovaných studentů (označeno 'KFFL2').


15.02.22 Úvod + Výroková logika 1 (Berka, Logika, kap. 1-7)

  • formální logika, dedukce, jméno, jméno výrazu, proměnná výrazu, jmenná forma/funkce, výrok, výrokové formy/funkce.
  • DÚ1: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32.

19.02.22 KFFL2 (13.00-16.15 v TK 112) opakování

22.02.22 Výroková logika 2 (Berka, Logika, kap. 1-7)

  • negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
  • DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45

01.03.22 setkání není Výroková logika 3 (Berka, Logika, kap. 8-10) + Predikátová logika

  • formule a sekvence výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule
  • DU3: poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)

08.03.21 setkání není

15.03.22 Predikátová logika

  • množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory
  • DU4: poznámky a otázky ze samostudia K. Berky, s.57-66 (predikátová logika)

19.03.22 KFFL2 (9.00-12.15 v TK 112) opakování

22.03.22 Predikátová logika (opakování)

  • volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
  • DU4-bonus: příklady na predikátovou logiky ze s. 57-66

29.03.22 Predikátová logika

  • DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování)
  • DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)

05.04.22 Predikátová logika

  • DU6: četba Cmorej 1-3

12.04.22 Shrnutí + Opakovací test 1

  • DU (bonus): oprava či revize OZ1

19.04.22 pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje

26.04.22 Pojmy logické sémantiky a syntaxe

  • 1. jazyk (syntaktika a sémantika, fyzické a ideální znaky, umělé a přirozené jazyky, syntax a extenzionální sémantika jazyka prvního řádu),
  • 2. individuová jména (univerzum jazyka, individua, individuová jména, denotace/signifikace/determinace, extenzionální a intenzionální sémantika, možný svět, totožnost intenzí),
  • 3. predikáty (řád, arita, vlastnost a její extenze, vztah a její extenze, signifikát a denotát predikátů)

30.04.22 KFFL2 (10.45-12.15 v TK 112) opakování - test (Berka)

03.05.22 úvod do četby P. Koláře

  • DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)
  • kap. 7, 8 a 9 jsou nepovinné, ale užitečné.
  • Klíčové termíny kap. 7: proměnná, obor proměnnosti, extenzionální entity
  • Klíčové termíny kap. 8: forma výroku/výroková forma, kategorie výrazu, ohodnocovnání, splňování
  • Klíčové termíny kap. 9: kvantifikace výrokové formy, volné a vázané proměnné, dosah kvantifikátoru, výrokové vormy s volnými a vázanými proměnnými (výrokové formy vs. výroky).

10.05.22 Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika

17.05.22 Tradiční vs. moderní logika + Filosofická logika

  • spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
  • DU8: vypisky Cmorej ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus))

21.05.22 KFFL2 (13.00-16.15 v TK 105) opakování + případně opakovací test 2

Filosofická logika DU9: výpisky Kolář (Úvod a kap. 1, 3) - pokud budou podrobnější, budou bonusy :-) DU10 záverečná reflexe a doplnění chybějících částí ve výpiscích Cmoreje a Koláře

24.05.22 Opakovací test 2

4.06.22 Opakovací test 2 přes Teamsi - další možnost

11.06.22 Opakovací test 2 přes Teamsi - další možnost :-)


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ásl. 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).


NOVAK Lukáš, Petr DVOŘÁK (2007) Úvod do logiky:

1. Uvedení do logiky 1.1 Historie logiky 1.1.1 Logika v antice 1.1.2 Scholastická logika 1.1.3 Novověká logika 1.1.4 Moderní logika 1.2 Povaha logiky 1.2.1 Logika jako umění a věda 1.2.2 Formální předmět logiky 1.2.3 Vztah vyplývání 1.2.4 Problém materiálního přemětu logiky 1.3 Předpoklad materiálního předmětu logiky 2. Pojem 2.1 Pojem pojmu 2.1.1 Cesta k definici pojmu – pojem jako myšlenkový znak 2.1.2 Bližší vymezení povahy pojmu 2.2 Vlastnosti pojmu 2.2.1 Předmět pojmu 2.2.2 Formání a materiání předmět pojmu 2.2.3 Formální pojem vs. objektivní pojem, abstrakce 2.2.4 Obsah pojmu 2.2.5 Rozsah pojmu 2.3 Vztahy pojmů 2.3.1 Identita – různost 2.3.2 Nadřazenost – podřazenost 2.3.3 Slučitelnost – neslučitelnost 2.4 Dělení a typy pojmů 2.4.1 Abstraktní x konkrétní 2.4.2 Kladné x záporné 2.4.3 Individuální x obecné 2.4.4 Transcendentální pojmy 2.4.5 Jednoduché x konotativní x složené 2.4.6 Kolektivní pojmy 2.4.7 První a druhé intence 2.4.8 Třídění pojmů na predikabilia 2.4.9 Kategorie 2.5 Problémy jazykového vyjádření pojmů 2.5.1 KAtegorémata a synkategorémata 2.5.2 Jeznoznačnost a mnohoznačnost 2.5.3 Analogie jazykových výrazů 2.5.4 Analogické pojmy 2.6 Exkurs: Teorie obecnin 2.6.1 Platonismus 2.6.2 Ultrarealismus 2.6.3 Umírněný realismus 2.6.4 Konceptualismus (umírněný nominalismus) 2.6.5 Krajní nominalismus 2.6.6 Problém obecnin v moderní logice 3. Definice a dělení 3.1 Definice 3.1.1. Pojem definice 3.1.2 Typy definice 3.1.3 Podmínky správnosti definice 3.1.4 Jak hledat reálnou definici? 3.1.5 Meze definování 3.1.6 Exkurs: Moderní pojetí definice 3.2 Delení 3.2.1 Pojem a metoda dělení 3.2.2 Podmínky a technika správného dělení 3.2.3 Typy dělení 3.2.4 Smysl a užití dělení 4. Soud 4.1 Vstupní úvaha – cesta k pojmu soudu 4.2 Jazykové vyjádření soudů 4.3 Vlastnosti a dělení soudů 4.3.1 Kvalita soudu 4.3.2 Kvantita soudu 4.3.3 Distribuční hodnota termínů soudu 4.3.4 Klasifikace soudů 4.4 Logický čtverec 4.5 Exkurs: Kategorický výrok v moderní logice 4.5.1 Jazyk jako materiální předemět moderní logiky 4.5.2 Pojem funkce 4.5.3 Singulární predikace jako funkce 4.5.4 Zvláštnosti jazyka predikátové logiky A. Subjekt a predikát jako typy výrazů B. Ztráta samostatnosti kopuly 4.5.5 Generální výroky v moderní predikátové logice A. Kvantifikátor v moderní logice B. Nerelační generální výroky C. Relační generální výroky 4.5.6 Logický čtverece a moderní analýza výroků 5. Bezprostřední vyvozování (illace) 5.1 Přechody v logickém čtverci 5.1.1 Přehled všech platných přechodů v logickém čtverci 5.2 Vlastní illace 5.2.1 Obverze (ekvivalence) 5.2.2 Obrat (konverze) 5.2.3 Obměna (kontrapozice) 5.2.4 Příklad všech illací od všech typů soudů 6. Usuzování a argumentace 6.1 Úvod do nauky o usuzování 6.1.1 Základní pojmy A. Úsudek a usuzování B. Argument a argumentace C. Vztahy mezi uvedenými pojmy D. Vadné argumenty úsudky E. Cíle usuzování a argumentace F. Důkaz 6.1.2 Formy argumentace a druhy argumentů 6.2 Sylogismus 6.2.1 Pojem sylogismu 6.2.2 Sylogistické figury 6.2.3 Sylogistické mody 6.2.4 Identifikace platných sylogismů A. Metody ověřování platnosti sylogismů B. Kritéria platnosti sylogismu 6.2.5 Neúplný sylogismus a zamlčené premisy 6.2.6 Hledání sylogistických modů 6.3 Úsudek z přímého na nepřímé (a rectis ad obliqua) 6.4 Úsudky ze složených soudů 6.4.1 Složené soudy 6.4.2 Exkurs: složené výroky v moderní logice 6.4.3 Hypotetický úsudek (hypotetický sylogismus) 6.4.4 Disjunktivní úsudek 6.4.5 Dilematický úsudek 6.4.6 Dodatek: Důkaz složených soudů A. Důkaz hypotetického soudu B. Důkaz disjunktivního soudu 6.5 Nepřímý úsudek (reductio a absurdum) 6.6. Exkurs: Relační úsudky a tradiční formální logika Freda Sommerse 6.6.1 Prlblém analýzy relačních úsudků 6.6.2 Logický systém Freda Sommerse A. Kategoriální forma výroku podle Sommerse B. Rozšíření analýzy na další typy výroků C. Relační výroky a relační úsudky 7. Technika racionálního diskursu 7.1 Protiargumentace (namítání) 7.1.1 Pojem protiargumentace a širší souvislosti A. Účinnost argumentu B. Protiargumentace C. Problematika kruhové argumentace 7.1.2 Napadení pravdivosti premis 7.1.3 Napadení formy argumentu neboli logická distinkce 7.1.4 Distinkce sylogismu A. Distinkce ve středním termínu (M) B. Distinkce v jednom z extrémů (S,P) 7.1.5 OdpověĎ na distinkci 7.2 Racionální diskurs a jeho meze

Citováno z „http://wiki.tf.jcu.cz/index.php?title=Formální_a_filosofická_logika_2&oldid=3975“