|
Lecturer(s)
|
-
Kučerová Jana, Mgr. Ph.D.
|
|
Course content
|
Logical and grammatical form of a sentence. Formalization in first order predicate logic (quantifiers, logical conjunctions). Other logical constants (only, except, most-, others, ...). Ambiguity of natural language. Non-dimensional contexts (grammatical time, propositional attitudes, index expressions, modalities, ...)
|
|
Learning activities and teaching methods
|
- Contact hours
- 26 hours per semester
- Preparation for comprehensive test (10-40)
- 26 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| to explain the basic concepts of modern predicate logic |
| to describe the main currents of thought of modern philosophy, especially the philosophy of the 20th century |
| Skills |
|---|
| to formulate and defend their position in the discussion |
| to use common academic digital tools, such as a database of professional publications |
| Competences |
|---|
| N/A |
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| to explain the way of formalization of natural language sentences into the language of first order predicate logic |
| to describe the difference between grammatical and logical sentence form |
| to describe the basic types of polynomials of natural language |
| Skills |
|---|
| to identify relationships between grammatical and logical sentence form |
| to formalize specific sentences of natural language into the language of first-order predicate logic |
| to analyze natural language contexts that transcend the boundaries of ordinary logical analysis based on first-order predicate logic |
| Competences |
|---|
| N/A |
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Practicum |
| Skills |
|---|
| Practicum |
| Competences |
|---|
| Practicum |
| Self-study of literature |
| assessment methods |
|---|
| Knowledge |
|---|
| Test |
| Skills |
|---|
| Test |
| Competences |
|---|
| Test |
| Continuous assessment |
|
Recommended literature
|
-
Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
-
Materna, Pavel; Pala, Karel; Zlatuška, Jiří. Logická analýza přirozeného jazyka. 1. vyd. Praha : Academia, 1989. ISBN 80-200-0027-5.
-
Materna, Pavel. Svět pojmů a logika. 2., opr. vyd. Praha : Filosofia, 2000. ISBN 80-7007-085-4.
|