Lecturer(s)
|
-
Dostálová Ludmila, Mgr. Ph.D.
|
Course content
|
Logic as a theory of truth condition. Logic as a theory of deduction. Classical and non-classical logics (many-valued logics, intuitionism, modal logics, possible-world's-semantics). Logical analysis of natural language (extensional and intensional formal semantics). Philosophy of logic (theory of truth, theory of meaning, ontology of possible worlds, logical individuals).
|
Learning activities and teaching methods
|
Lecture, Practicum
- Contact hours
- 52 hours per semester
- Preparation for an examination (30-60)
- 35 hours per semester
- Graduate study programme term essay (40-50)
- 43 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 |
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 supplemented with a discussion |
Self-study of literature |
Skills |
---|
Practicum |
Task-based study method |
Individual study |
Competences |
---|
Practicum |
Task-based study method |
Self-study of literature |
assessment methods |
---|
Knowledge |
---|
Combined exam |
Skills |
---|
Seminar work |
Continuous assessment |
Competences |
---|
Continuous assessment |
Combined exam |
Seminar work |
Recommended literature
|
-
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.
|