|
Vyučující
|
-
Kwiatkowska Alena, Mgr. Ph.D.
-
Procházková Jitka, Mgr. Ph.D.
|
|
Obsah předmětu
|
Aristotelská logika. Výroková logika. Predikátová logika. Určování pravdivostních podmínek tvrzení. Formalizace. Ekvivalence. Ověřování platnosti úsudků. Odvozování a dokazování. Definice. Formalizované teorie. Klasické a neklasické logiky. Inovace tohoto kurzu je spolufinancována Evropským sociálním fondem a statním rozpočtem České republiky. Projekt ESF OPVK reg. č. CZ.1.07/2.2.00/07.0217 "ORGANON - Learning Management System (LMS) pro výuku logiky"
|
|
Studijní aktivity a metody výuky
|
Samostatná práce studentů, Samostudium studentů, Přednáška, Cvičení
- Kontaktní výuka
- 52 hodin za semestr
- Příprava na souhrnný test [6-30]
- 26 hodin za semestr
- Příprava na dílčí test [2-10]
- 20 hodin za semestr
- Příprava na zkoušku [10-60]
- 58 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 |
|---|
| mgr. studium: samostatně a odpovědně se na základě rámcového zadání rozhodují v souvislostech jen částečně známých, |
| mgr. studium: srozumitelně a přesvědčivě sdělují odborníkům i laikům informace o povaze odborných problémů a vlastním názoru na jejich řešení, |
| 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 |
|---|
| mgr. studium: plánují, podporují a řídí s využitím teoretických poznatků oboru získávání dalších odborných znalostí, dovedností a způsobilostí ostatních členů týmu, |
| mgr. studium: samostatně a odpovědně se rozhodují v nových nebo měnících se souvislostech nebo v zásadně se vyvíjejícím prostředí s přihlédnutím k širším společenským důsledkům jejich rozhodování, |
| Vyučovací metody |
|---|
| Odborné znalosti |
|---|
| Přednáška založená na výkladu, |
| Samostudium, |
| Odborné dovednosti |
|---|
| Cvičení (praktické činnosti), |
| Samostatná práce studentů, |
| Obecné způsobilosti |
|---|
| Cvičení (praktické činnosti), |
| Samostudium, |
| Hodnotící metody |
|---|
| Odborné znalosti |
|---|
| Kombinovaná zkouška, |
| Odborné dovednosti |
|---|
| Průběžné hodnocení, |
| Test, |
| Obecné způsobilosti |
|---|
| Kombinovaná zkouška, |
| Průběžné hodnocení, |
|
Doporučená literatura
|
-
Berka Karel. Stručné dějiny logiky. Praha, Univ. Karlova, 1994.
-
Hromek, Petr. Logika v příkladech. 1. vyd. Olomouc : Univerzita Palackého, 2002. ISBN 80-244-0578-4.
-
Church, Alonzo. Introduction to mathematical logic. Princeton : Princeton University Press, 1996. ISBN 0-691-02906-7.
-
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.
-
Mleziva, Miroslav. Neklasické logiky. Vyd. 1. Praha : Svoboda, 1970.
-
Sainsbury, R. M. Logical Forms. Basil Blackwell, Oxford, 1991.
-
Sousedík, Prokop. Logika pro studenty humanitních oborů. 2. rozš. vyd. Praha : Vyšehrad, 2001. ISBN 80-7021-509-7.
-
Svatek, Jan; Dostálová, Ludmila. Logika pro humanistiku. Dobrá Voda : Aleš Čeněk, 2003. ISBN 80-86473-54-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.
-
Štěpán, Jan; Hrubeš, Jaromír. Logika : terminologický a výkladový slovník. 1. vyd. Ostrava : Ateliér Milata, 1994.
-
Štěpán, Jan. Klasická logika. 1. vyd. Olomouc : Univerzita Palackého, 2001. ISBN 80-244-0254-8.
-
Tarski, Alfred. Úvod do logiky a metodologie deduktivních věd. 2. vyd. Praha : Academia, 1969.
-
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.
-
Weinberger, Ota. Základy právní logiky. 1. vyd. Brno : Masarykova univerzita, 1993. ISBN 80-210-0827-X.
|