|
Lecturer(s)
|
-
Dostálová Ludmila, Mgr. Ph.D.
-
Dach Stefanie, Mgr. Ph.D.
|
|
Course content
|
Aristotelian logic. Propositional logic. First order logic. Truth conditions. Formalization and logical analysis of natural language. Theory of meaning. Formal semantics. Equivalence and synonymy. Ambiguity. Definitions.
|
|
Learning activities and teaching methods
|
Task-based study method, Individual study, Students' self-study, Lecture, Practicum
- Preparation for comprehensive test (10-40)
- 52 hours per semester
- Contact hours
- 52 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| laicky vysvětlit základní logické pojmy (tvrzení, úsudek, důkaz, odvození, definice) |
| laicky vysvětlit základní sémantické pojmy (význam, synonymie, ekvivalence) |
| Skills |
|---|
| odlišit tezi a argument |
| reprodukovat zdůvodnění |
| pracovat s formálními a symbolickými zápisy |
| provést větný rozbor |
| learning outcomes |
|---|
| Knowledge |
|---|
| vysvětlit základní pojmy formální logiky a jejich použitelnost při analýze přirozeného jazyka |
| charakterizovat hlavní principy formální sémantiky a logické analýzy přirozeného jazyka |
| zhodnotit možnosti a meze formálního přístupu k analýze přirozeného jazyka |
| Skills |
|---|
| formalizovat věty přirozeného jazyka v predikátové logice prvního řádu a ověřit tak jejich ekvivalenci a synonymii |
| identifikovat víceznačnosti přirozeného jazyka a stanovit jednoznačnou formulaci |
| 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 |
| teaching methods |
|---|
| Knowledge |
|---|
| Lecture |
| Self-study of literature |
| Skills |
|---|
| Practicum |
| Task-based study method |
| Individual study |
| assessment methods |
|---|
| Knowledge |
|---|
| Test |
| Skills |
|---|
| Test |
| Continuous assessment |
|
Recommended literature
|
-
Anzenbacher, Arno. Úvod do filozofie. Praha : Státní pedagogické nakladatelství, 1990. ISBN 80-04-25414-4.
-
Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
-
Gahér, František. Logika pre každého. Bratislava : IRIS, 1998. ISBN 80-88778-77-8.
-
Peregrin, Jaroslav. Úvod do teoretické sémantiky : principy formálního modelování významu. 2., aktualiz. vyd. Praha : Univerzita Karlova, 2003. ISBN 80-246-0635-6.
-
Sousedík, Prokop. Logika pro studenty humanitních oborů. Praha : Vyšehrad, 2001. ISBN 80-7021-509-7.
-
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.
|