Formální a filosofická logika 2

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

Kdy a kde: Úterý, 08.00-09.30, TK 202


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.
  • Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.


Rozšiřující:

  • Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
  • Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.


Doplňující

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


Další zdroje

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


Přehled

Přehled bude průběžně aktualizován!

18.2.19 Ú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.

25.2.19 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

03.3.19 Výroková logika 3 (Berka, Logika, kap. 8-10)

  • 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 - témata viz níže 10.3.19)
  • DU (bonusový): výroková logika - rozdána na hodině

10.3.19 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 - témata viz níže 24.3.19)

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

  • DU4-bonus: příklady na predikátovou logiky se s. 57-66.

24.3.19 Predikátová logika

  • volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
  • DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování)

31.3.19 Predikátová logika

  • DU (bonusový): četba Kolář, kap. 1,3
  • DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)

07.4.19 Shrnutí + Opakovací test 1

  • DU6-oprava: oprava či dokončění testu 1B

14.4.19 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ů)

21.04.19 Pojmy logické sémantiky a syntaxe + pokračování

  • DU7: vypisky Cmorej konzultace skupinová?

28.04.19 Pojmy logické sémantiky a syntaxe

  • atomární výroky, molekulární výroky
  • DUbonus: vypisky Cmorej - pokracování/úprava

05.05.19 setkání není

12.05.19 Pojmy logické sémantiky a syntaxe

  • spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
  • DU8: vypisky Cmorej (dokoncení)

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

16.05.19 Filosofická logika

  • DU9: vypisky Kolář (Úvod a kap. 1, 3, 4)

26.05.19 Filosofická logika + axiomatizace and modální logika

  • DU10: bude upřesněn
  • DU(bonusový): krátká závěrečná reflexe

Opakovací test 2

Studenti

BARTYZALOVA,

HENC Jaroslav, DU1, DU2, DU3

KLAS

KOTAŠKA Ondřej, DU1+, DU2+, DU3++ (pred. log), DU4+ (pred. log), DU5+, konzultace (1.4), DU (bonusový), OZ1+konzultace(10)

NĚMEJC

SOUKUPOVÁ Eliška, DU1+, DU2, DU3, DU4, konzultace (1.4), OZ bez konzultace

ŠEDOVÁ Veronika, DU1+, DU2+, DU3 (pred. logika), DU4-bonus (pred. log), konzultace (1.4), DU5, OZ bez konzultace

TOKÁROVÁ Dominika, DU1+, DU2+, DU2-bonus, DU3/4 (pred. logika), DU5 (pred. log.), konzultace (1.4), DU (bonusový), OZ1+konzultace (7)

VOŠAHLÍK Vlastibor, DU1+, DU2, DU2-bonus, DU3 (pred. logika), DU4, DU5+, DUbonus+, konzultace (1.4), OZ bez konzultace

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).
Citováno z „http://wiki.tf.jcu.cz/index.php?title=Formální_a_filosofická_logika_2&oldid=3134“