Formální a filosofická logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
 
(Není zobrazeno 209 mezilehlých verzí od stejného uživatele.)
Řádka 1: Řádka 1:
−
'''Kdy a kde:''' Úterý, 08.00-09.30, TK 202
 
−
 
−
 
 
'''Témata'''
 
'''Témata'''
  
Řádka 15: Řádka 12:
  
 
2. Varia z moderní filosofické logiky
 
2. Varia z moderní filosofické logiky
 +
  
 
'''Požadavky'''
 
'''Požadavky'''
Řádka 25: Řádka 23:
 
Základní  
 
Základní  
  
−
* Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.  
+
* Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
−
* Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001.
+
* Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002.
−
 
+
* Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999.
  
 
Rozšiřující:  
 
Rozšiřující:  
  
−
* Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002.
+
* CORCORAN, John. [https://www.academia.edu/38949200/Argumentations_and_Logic_Argumentace_a_logika_CZECH_060619 Argumentace a logika. ''Argumentation''. (1989/2019)]
−
* Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999.
+
* Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001.
−
 
 
  
 
Doplňující
 
Doplňující
Řádka 40: Řádka 37:
 
* Peregrin, Jaroslav a Marta Vlasáková, ''Filosofie logiky'', Praha 2017.
 
* 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'''
 
'''Další zdroje'''
  
 
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
 
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
−
 
 
  
 
'''Přehled'''
 
'''Přehled'''
  
−
Přehled bude průběžně aktualizován!
+
Přehled bude průběžně aktualizován, dle toho, jak si budeme osvojovat základní pojmy.
  
−
18.2.20 Úvod + Výroková logika 1 (Berka, ''Logika'', kap. 1-7)
+
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.
 
* 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.
 
* DÚ1: poznámky ze samostudiua K. Berky, ''Logika'', 1978, s. 7-32.
  
−
25.2.20 Výroková logika 2 (Berka, ''Logika'', kap. 1-7)
+
'''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
 
* negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
 
* DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45
 
* DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45
  
−
03.3.20 Výroková logika 3 (Berka, ''Logika'', kap. 8-10)
+
'''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
 
* 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'')
+
* DU3: poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)
−
* DU (bonusový): ''výroková logika - rozdána na hodině
+
 
−
''
+
08.03.21 ''setkání není''
−
10.3.20 Predikátová logika
+
 
 +
'''15.03.22''' Predikátová logika
  
 
* množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory
 
* 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'')
+
* DU4: poznámky a otázky ze samostudia K. Berky, s.57-66  (predikátová logika)
  
−
17.3.20 Predikátová logika (''opakování'')
+
'''19.03.22 KFFL2''' (9.00-12.15 v TK 112) ''opakování''
−
* DU4-bonus: příklady na predikátovou logiky se s. 57-66.
 
  
−
24.3.20 Predikátová logika
+
'''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
  
−
* volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
+
'''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í)
 
* 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í)
  
−
31.3.20 Predikátová logika  
+
'''05.04.22''' Predikátová logika  
−
* DU (bonusový): četba Kolář, kap. 1,3
+
* DU6: četba Cmorej 1-3
−
* DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98  (predikátová logika - odvozování)
 
  
−
07.4.20 Shrnutí + Opakovací test 1
+
'''12.04.22''' Shrnutí + Opakovací test 1
−
* DU6-oprava: oprava či dokončění testu 1B
+
* DU (bonus): oprava či revize OZ1
  
−
14.4.20 Pojmy logické sémantiky a syntaxe  
+
'''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),
 
* 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í),  
 
* 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ů)  
 
* 3. predikáty (řád, arita, vlastnost a její extenze, vztah a její extenze, signifikát a denotát predikátů)  
  
−
21.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe + pokračování
+
'''30.04.22 KFFL2''' (10.45-12.15 v TK 112) ''opakování - test (Berka)''
−
* DU7: vypisky Cmorej ''konzultace skupinová''
 
  
−
28.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe
+
'''03.05.22''' úvod do četby P. Koláře
−
* atomární výroky, molekulární výroky
 
−
* DUbonus: vypisky Cmorej - pokracování/úprava
 
  
−
05.05.20 v 10.00 na FB
+
* DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)
−
* opakování Cmorej, příp. dokončení
 
 
* kap. 7, 8 a 9 jsou nepovinné, ale užitečné.  
 
* 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. 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. 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).
 
* 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
  
−
12.05.20 (individuální konzultace): Pojmy logické sémantiky a syntaxe
+
'''17.05.22''' Tradiční vs. moderní logika + Filosofická logika
 
* spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
 
* spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
−
* DU8: vypisky Cmorej  (dokoncení)
+
* DU8: vypisky Cmorej  ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus))
−
 
 
−
19.05.20 v 10.00 na FB: Tradiční vs. moderní logika + Filosofická logika
 
−
* prosím, čtěte již Koláře, abychom zde mohli diskutovat
 
−
 
 
−
16.05.20 Filosofická logika
 
−
* DU9: vypisky Kolář (Úvod a kap. 1, 3, 4)
 
−
 
 
−
26.05.20 v 10.00 na FB: Filosofická logika + axiomatizace and modální logika
 
−
* DU10: ''bude upřesněn''
 
−
* DU(bonusový): krátká závěrečná reflexe
 
−
 
 
−
02.06.20 v 10.00 na FB
 
−
* opakování výše uvedených témat (která jsme nestihli)
 
−
 
 
−
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
+
'''21.05.22 KFFL2''' (13.00-16.15 v TK 105) ''opakování + případně opakovací test 2''
  
−
SOUKUPOVÁ Eliška, DU1+, DU2, DU3, DU4, D5, D7, konzultace (1.4), OZ1/2 (oprava, konzultace),
+
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
  
−
ŠEDOVÁ Veronika, DU1+, DU2+, DU3 (pred. logika), DU4-bonus (pred. log), konzultace (1.4), DU5, DU6-8Cmorej, OZ(10), OZ2+konzultace
+
'''24.05.22''' Opakovací test 2
  
−
TOKÁROVÁ Dominika, DU1+, DU2+, DU2-bonus, DU3/4 (pred. logika), DU5 (pred. log.), konzultace (1.4), DU (bonusový), OZ1+konzultace+DU (10)
+
'''4.06.22''' Opakovací test 2 přes Teamsi - další možnost
  
−
VOŠAHLÍK Vlastibor, DU1+, DU2, DU2-bonus, DU3 (pred. logika), DU4, DU5+, DUbonus+, konzultace (1.4), OZ(skoro 10)
+
'''11.06.22''' Opakovací test 2 přes Teamsi - další možnost :-)
  
 +
 
'''Státní závěrečné zkoušky'''
 
'''Státní závěrečné zkoušky'''
  

Aktuální verze z 26. 9. 2022, 05:24

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