|
|
Main menu for Browse IS/STAG
Course info
KFI / FSM
:
Course description
Department/Unit / Abbreviation
|
KFI
/
FSM
|
Academic Year
|
2023/2024
|
Academic Year
|
2023/2024
|
Title
|
Formal Semantics
|
Form of course completion
|
Pre-Exam Credit
|
Form of course completion
|
Pre-Exam Credit
|
Accredited / Credits
|
Yes,
2
Cred.
|
Type of completion
|
-
|
Type of completion
|
-
|
Time requirements
|
Lecture
1
[Hours/Week]
Tutorial
1
[Hours/Week]
|
Course credit prior to examination
|
No
|
Course credit prior to examination
|
No
|
Automatic acceptance of credit before examination
|
Yes in the case of a previous evaluation 4 nebo nic.
|
Included in study average
|
NO
|
Language of instruction
|
Czech
|
Occ/max
|
|
|
|
Automatic acceptance of credit before examination
|
Yes in the case of a previous evaluation 4 nebo nic.
|
Summer semester
|
0 / -
|
0 / -
|
0 / -
|
Included in study average
|
NO
|
Winter semester
|
0 / -
|
0 / -
|
0 / -
|
Repeated registration
|
NO
|
Repeated registration
|
NO
|
Timetable
|
Yes
|
Semester taught
|
Winter semester
|
Semester taught
|
Winter semester
|
Minimum (B + C) students
|
5
|
Optional course |
Yes
|
Optional course
|
Yes
|
Language of instruction
|
Czech
|
Internship duration
|
0
|
No. of hours of on-premise lessons |
|
Evaluation scale |
S|N |
Periodicity |
každý rok
|
Periodicita upřesnění |
|
Fundamental theoretical course |
No
|
Fundamental course |
No
|
Fundamental theoretical course |
No
|
Evaluation scale |
S|N |
Substituted course
|
None
|
Preclusive courses
|
N/A
|
Prerequisite courses
|
N/A
|
Informally recommended courses
|
N/A
|
Courses depending on this Course
|
N/A
|
Histogram of students' grades over the years:
Graphic PNG
,
XLS
|
Course objectives:
|
The aim of the course is to present the principals of formal semantics and teach students to use the main systems of formal semantics. The principal systems of extensional, intensional as well as hyperintensional semantics will be introduced. Their importance for building the formal model theories as well as for the natural language analysis or for the construction of formal ontologies of informational systems will be stressed.
|
Requirements on student
|
Test
|
Content
|
Principals of formal semantics (denotation, truth-conditioning of meaning, compositionality). Extensional semantics (set-theoretic model theory, categorial grammar, theory of types). Intensional semantics (possible-worlds semantics, Montague grammar). Hyperintensional semantics (impossible-possible-worlds semantics, Transparent intensional logic). Dynamic semantics.
|
Activities
|
|
Fields of study
|
Studenti mají k dispozici oporu ve formě skupiny/týmu v rámci systému Microsoft Teams.
Elektronické opory v rámci projektu Logika - https://www.esf.kfi.zcu.cz/logika/
|
Guarantors and lecturers
|
|
Literature
|
-
Basic:
Tugendhat, Ernst; Wolf, Ursula. Logicko-sémantická propedeutika. [1. vyd.]. Praha : Petr Rezek, 1997. ISBN 80-86027-02-3.
-
Basic:
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.
-
Recommended:
CANN, Ronnie. Formal Semantics: An Introduction. Cambridge : Cambridge University Press, 1995.
-
Recommended:
BENTHEM, Johann van - MEULEN, Alice ter (eds.). Handbook of Logic and Language. Oxford: Elsevier & Cambridge (Mass.) : MIT Press, 1997.
-
Recommended:
GAMUT, L. T. F. Logic, Language and Meaning. Chicago : University of Chicago Press, 1991.
-
Recommended:
Cmorej, Pavel. Úvod do logickej syntaxe a sémantiky. Praha : Triton, 2002. ISBN 80-7254-294-X.
-
On-line library catalogues
|
Time requirements
|
All forms of study
|
Activities
|
Time requirements for activity [h]
|
Contact hours
|
26
|
Preparation for comprehensive test (10-40)
|
26
|
Total
|
52
|
|
Prerequisites
|
Knowledge - students are expected to possess the following knowledge before the course commences to finish it successfully: |
Course requires no special prior knowledge and skills. |
|
Learning outcomes
|
Knowledge - knowledge resulting from the course: |
Students will understand the crucial systems of formal semantics. They will be able to place them into the historical as well as theoretical context of the analytic philosophy and the philosophy of language. They will acquire practical skills of using these systems. |
|
Assessment methods
|
Knowledge - knowledge achieved by taking this course are verified by the following means: |
Test |
|
Teaching methods
|
Knowledge - the following training methods are used to achieve the required knowledge: |
Lecture |
Practicum |
Self-study of literature |
|
|
|
|