Formální a filosofická logika 2 + Logika: Porovnání verzí
(Založena nová stránka s textem „'''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 syn…“) |
|||
| (Není zobrazena jedna mezilehlá verze od stejného uživatele.) | |||
| Řádka 1: | Řádka 1: | ||
| − | + | http://wiki.tf.jcu.cz/index.php/Logika_2 | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
'''Seznam studentů KFFL2''' | '''Seznam studentů KFFL2''' | ||
| − | |||
| − | |||
'''Další zdroje''' | '''Další zdroje''' | ||
| Řádka 52: | Řádka 10: | ||
'''Přehled bude aktualizován! ZDE bez úpravy přebrán zminulého semestru. | '''Přehled bude aktualizován! ZDE bez úpravy přebrán zminulého semestru. | ||
| − | ''''' | + | ''''''' |
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'). | 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'). | ||
Aktuální verze z 13. 2. 2023, 15:34
http://wiki.tf.jcu.cz/index.php/Logika_2
Seznam studentů KFFL2
Další zdroje
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
Přehled
Přehled bude aktualizován! ZDE bez úpravy přebrán zminulého semestru. ''
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).
