|
Vyučující
|
-
Dostálová Ludmila, Mgr. Ph.D.
|
|
Obsah předmětu
|
Logika jako teorie pravdivostních podmínek. Logika jako teorie dedukce. Klasické a neklasické logiky (intuicionismus, vícehodnotové logiky, modální logiky, sémantika možných světů). Logická analýza přirozeného jazyka (extenzionální a intenzionální sémantika). Filosofické otázky logiky (teorie významu, teorie pravdy, ontologie možných světů, logická individua).
|
|
Studijní aktivity a metody výuky
|
Přednáška, Cvičení
- Kontaktní výuka
- 52 hodin za semestr
- Příprava na zkoušku [10-60]
- 35 hodin za semestr
- Vypracování seminární práce v magisterském studijním programu [5-100]
- 43 hodin za semestr
|
| Předpoklady |
|---|
| Odborné znalosti |
|---|
| vysvětlit základní pojmy formální logiky |
| představit základní systémy klasické logiky a popsat jejich vzájemné vztahy |
| charakterizovat rozdíl mezi klasickou a neklasickou logikou |
| Odborné dovednosti |
|---|
| určit pravdivostní podmínky tvrzení a ověřit platnost úsudků metodami aristotelské, výrokové i predikátové logiky |
| provést logickou analýzu vět přirozeného jazyka v rámci predikátové logiky prvního řádu a aplikovat metody formální logiky na běžný text |
| vytvořit adekvátní definici a zkonstruovat elementární pojmový systém |
| Obecné způsobilosti |
|---|
| bc. studium: své učení a pracovní činnost si sám plánuje a organizuje, |
| bc. studium: efektivně využívá různé strategie učení k získání a zpracování poznatků a informací, hledá a rozvíjí účinné postupy ve svém učení, |
| bc. studium: rozpozná problém, objasní jeho podstatu, rozčlení ho na části, |
| bc. studium: používá s porozuměním odborný jazyk a symbolická a grafická vyjádření informací různého typu, |
| Výsledky učení |
|---|
| Odborné znalosti |
|---|
| popsat hlavní směry vývoje filozofické logiky a její hlavní otázky |
| představit hlavní problémy logické analýzy přirozeného jazyka a základní systémy formální sémantiky |
| vysvětlit rozdíl mezi klasickou a neklasickou logikou a podat základní přehled neklasických logik |
| Odborné dovednosti |
|---|
| provést logickou analýzu věty přirozeného jazyka prostředky intenzionální sémantiky |
| ověřit platnost úsudků založených na základních neklasických logikách |
| reprodukovat nejdůležitější diskuse a argumenty filozofické logiky |
| Obecné způsobilosti |
|---|
| bc. studium: samostatně získávají další odborné znalosti, dovednosti a způsobilosti na základě především praktické zkušenosti a jejího vyhodnocení, ale také samostatným studiem teoretických poznatků oboru, |
| bc. studium: samostatně a odpovědně se na základě rámcového zadání rozhodují v souvislostech jen částečně známých, |
| Vyučovací metody |
|---|
| Odborné znalosti |
|---|
| Přednáška s diskusí, |
| Samostudium, |
| Odborné dovednosti |
|---|
| Cvičení (praktické činnosti), |
| Řešení problémů, |
| Samostatná práce studentů, |
| Obecné způsobilosti |
|---|
| Cvičení (praktické činnosti), |
| Řešení problémů, |
| Samostudium, |
| Hodnotící metody |
|---|
| Odborné znalosti |
|---|
| Kombinovaná zkouška, |
| Odborné dovednosti |
|---|
| Seminární práce, |
| Průběžné hodnocení, |
| Obecné způsobilosti |
|---|
| Průběžné hodnocení, |
| Kombinovaná zkouška, |
| Seminární práce, |
|
Doporučená literatura
|
-
Kolář, Petr. Argumenty filosofické logiky. Praha : Filosofia, 1999. ISBN 80-7007-121-4.
-
Kolář, Petr. Pravda a fakt. Praha : Filosofia, 2002. ISBN 80-7007-168-0.
-
Materna, Pavel; Štěpán, Jan. Filozofická logika: Nová cesta? : úvod do transparentní intenzionální logiky. 1. vyd. Olomouc : Univerzita Palackého, 2000. ISBN 80-244-0109-6.
-
Szymanek, Krzysztof. Umění argumentace : terminologický slovník. 1. české vyd. V Olomouci : Univerzita Palackého, 2003. ISBN 80-244-0699-3.
-
Szymanek, Krzysztof; Wieczorek, Krzysztof A.; Wójcik, Andrzej S. Umění argumentace : úlohy na zkoumání argumentů. 1. české vyd. Olomouc : Univerzita Palackého, 2004. ISBN 80-244-0834-1.
-
Štěpán, J. Logika možných světů I.. VUP Olomouc, 1995.
-
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.
|