|
Lecturer(s)
|
-
Kwiatkowska Alena, Mgr. Ph.D.
-
Procházková Jitka, Mgr. Ph.D.
|
|
Course content
|
Aristotelian logic. Propositional logic. Predicate logic. Truth-conditions. Formalization. Formal equivalence. Validity. Proofs and inference. Definitions. Formal theories. Classical and non-classical logics.
|
|
Learning activities and teaching methods
|
Individual study, Students' self-study, Lecture, Practicum
- Contact hours
- 52 hours per semester
- Preparation for comprehensive test (10-40)
- 26 hours per semester
- Preparation for formative assessments (2-20)
- 20 hours per semester
- Preparation for an examination (30-60)
- 58 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| to explain key notions of formal logic |
| to introduce major systems of non-classical logics and describes their mutual relations |
| to characterize the distinction between classical and non-classical logic |
| Skills |
|---|
| to determine truth conditions of a statement and check validity of an argument using aristotelian, propositional as well as predicate logic |
| to provide logical analysis of a given sentence of natural language in terms of first order logic and apply methods of formal logic on regular texts |
| to create an adequate definitions and construct elementary conceptual schema |
| Competences |
|---|
| N/A |
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| to describe the main directions of the development of philosophical logic and its main topics |
| to introduce the key problems of logical analysis of natural language and the main systems of formal semantics |
| to explain the distinction between classical and non-classical logic and describe the classification of non-classical logics |
| Skills |
|---|
| to provide logical analysis of a given sentence of natural language in terms of intensional logic |
| to check validity of a given argument based on non-classical logic |
| to give an account of crucial discussions and arguments in philosophical logic |
| Competences |
|---|
| N/A |
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Lecture |
| Self-study of literature |
| Skills |
|---|
| Practicum |
| Individual study |
| Competences |
|---|
| Practicum |
| Self-study of literature |
| assessment methods |
|---|
| Knowledge |
|---|
| Combined exam |
| Skills |
|---|
| Continuous assessment |
| Test |
| Competences |
|---|
| Combined exam |
| Continuous assessment |
|
Recommended literature
|
-
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.
|