|
Lecturer(s)
|
|
|
|
Course content
|
(1) History of logical analysis of natural language (NL) (2) Semantics of propositional logic (ProL) (3) Analysis of simple sentences of NL by means of ProL (4) Semantics of PreL1 (5) Analysis of simple sentences of NL by means of PreL1 (6) TIL and semantic foundations of TIL (7) Concept of term in TIL (8) Definition of construction in TIL (9) Mentioning vs. use of term (10) Supposition de dicto versus de re (11) Analysis of simple sentences of NL in TIL (12) Conceptual and propositional attitudes (13) Analysis of anaphoric references in TIL
|
|
Learning activities and teaching methods
|
|
Lecture, Dialogic Lecture (Discussion, Dialog, Brainstorming)
|
|
Learning outcomes
|
The course is dedicated to logical analysis of natural language. Students will be acquainted with the history of approaches towards analysis of natural language, as well as languages used in logical analysis - from simple and generally oriented languages of propositional logic to specialized languages created for analysis of modal and conditional clauses, or for capturing language devices such as anaphoric reference or the so-called propositional attitudes. The subject matter tackled consists of philosophical questions tied to the individual spheres of analytical investigation, as well as the pitfalls and limitations of logical analysis. The course is conceived so as to allow students with no prior experience with logical analysis of natural language to comprehend the issues discussed.
Students will then be acquainted with logical analysis of natural language by means of propositional logic (ProL), first-order predicate logic (PreL1), and transparent intensional logic (TIL) and will be able to execute these analyses independently.
|
|
Prerequisites
|
unspecified
|
|
Assessment methods and criteria
|
Written exam
(1) Regular presence (no more than 2 unexcused absences) (2) Completion of three in-class tests with score of 50% or more (3) Score of 70% or more in the final test
|
|
Recommended literature
|
-
Duží, M. (2012). Logika pro informatiky a příbuzné obory. Ostrava.
-
Janák, V. (1974). Základy formální logiky.. Praha: SPN.
-
Svoboda, V. - Peregrin, J. (2009). Od jazyka k logice. Praha.
-
Svoboda, V. a kol. (2010). Logika a přirozený jazyk. Praha.
-
Štěpán, J. - Materna, P.-. (2003). Filozofická logika: Nová cesta?. Olomouc.
-
Štěpán, J. (1995). Formální logika. Olomouc : FIN.
|