SubjectsSubjects(version: 957)
Course, academic year 2024/2025
   Login via CAS
Introduction to Formal Semantics - ABO500110
Title: Úvod do teoretické sémantiky
Guaranteed by: Institute of Czech Language and Theory of Communication (21-UCJTK)
Faculty: Faculty of Arts
Actual: from 2015
Semester: summer
Points: 0
E-Credits: 3
Examination process: summer s.:
Hours per week, examination: summer s.:2/0, Ex [HT]
Capacity: unknown / unknown (unknown)
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
Key competences:  
State of the course: not taught
Language: Czech
Teaching methods: full-time
Teaching methods: full-time
Level:  
Guarantor: Radek Ocelák, M.Sc.
Schedule   Noticeboard   
Annotation - Czech
Kurz je uvedením do formální sémantiky, tj. studia jazykového významu pomocí prostředků formální logiky. Jeho součástí je úvod do klasické výrokové a predikátové logiky (včetně seminárních cvičení), jejichž znalost je nezbytná pro pochopení novějších teoretických přístupů k jazykovému významu. Principy a metody formální sémantiky budou nejen představeny, ale také uvedeny do kontextu jiných lingvistických a filosofických disciplín a směrů (syntax, pragmatika, analytická filosofie); budeme se též pokoušet o jejich kritické hodnocení z hlediska jejich lingvistické a filosofické smysluplnosti. Kurz je určen studentům, kteří již absolvovali alespoň jeden sémanticky zaměřený předmět (lexikologie, lexikografie, logika aj.). Nevyžadují se žádné zvláštní matematické znalosti a zkušenosti, od studentů se však očekává ochota k matematickému myšlení, resp. k preciznímu operování s logickými symboly podle stanovených pravidel, a snaha kriticky aplikovat představené formální metody na sémantické jevy češtiny a jiných přirozených jazyků.
Last update: Ocelák Radek, M.Sc. (05.02.2015)
Aim of the course - Czech

Cílem kurzu je zprostředkovat takové porozumění pojmům a metodám logické sémantiky, které studentům umožní číst současnou sémantickou literaturu a kriticky ji využívat ve své lingvistické práci.

Last update: Dittmann Robert, PhDr., Ph.D. (10.02.2014)
Literature - Czech

Základní literatura:

 

Frege, Gottlob: O smyslu a významu. SCIENTIA & PHILOSOPHIA 4, 1993. (Pův. Sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, 1892.)

 

Gamut, L. T. F.: Logic, Language, and Meaning. The University of Chicago Press, 1991, vol. 1 (Introduction to Logic), vol. 2 (Intensional Logic and Logical Grammar).

 

Peregrin, Jaroslav: Úvod do teoretické sémantiky. Principy formálního modelování významu. Praha: Karolinum, 1998 nebo 2003. (nikoli předchozí vydání z roku 1994!)

 

Russell, Bertrand: On Denoting. Mind, 1905.

 

Svoboda, Vladimír, Jaroslav Peregrin: Od jazyka k logice. Filozofický úvod do moderní logiky. Praha: Academia, 2009.

 

Rozšiřující literatura:

 

van Benthem, Johan; ter Meulen, Alice G. B.: Handbook of logic and language. Elsevier, 1997.

 

von Heusinger, Klaus; Maienborn, Claudia; Portner, Paul: Semantics: An International Handbook of Natural Language Meaning. De Gruyter, 2011. (2 svazky)

 

Geeraerts, Dirk: Theories of Lexical Semantics. Oxford - New York: Oxford University Press, 2010.

 

Lappin, Shalom (ed.).: Handbook of contemporary semantic theory. Wiley-Blackwell, 1997.

 

Lohnstein, Horst: Formale Semantik und natürliche Sprache. Berlin/New York: De Gruyter, 2011.

 

Marvan, Tomáš: Otázka významu: cesty analytické filosofie jazyka. Praha: TOGGA, 2010.

 

Peregrin, Jaroslav: Význam a struktura. Praha: OIKOYMENH, 1999.

 

Peregrin, Jaroslav: Kapitoly z analytické filosofie. Praha: Filosofia, 2005.

 

Portner, Paul; Partee, Barbara H.: Formal Semantics: The Essential Readings. Blackwell Publishers, 2002.

 

Riemer, Nick: Introducing Semantics. Cambridge University Press, 2010.

 

Svoboda, Vladimír et al.: Logika a přirozený jazyk. Praha : Filosofia, 2010

Last update: Ocelák Radek, M.Sc. (05.02.2015)
Requirements to the exam - Czech

Požadavky k atestaci

- aktivní účast

- uspokojivé vypracování shrnujícího domácího cvičení z klasické výrokové a predikátové logiky (cca v polovině semestru)

- závěrečná práce (3-5 ns.) na libovolné relevantní téma (+ v případě zkoušky pohovor)

Last update: Ocelák Radek, M.Sc. (05.02.2015)
Syllabus - Czech

Formální sémantika v historickém a disciplinárním kontextu; povaha jazykového významu a klíčové pojmy teoretické sémantiky; extenzionální sémantika: klasická výroková logika, klasická predikátová logika prvního řádu, Frege o smyslu a významu, russellovská analýza určitých deskripcí, kategoriální gramatika, teorie typů, lambda-abstrakce; intenzionální sémantika; hyperintenzionální a dynamická sémantika; vztah sémantiky a pragmatiky.

 

Last update: Ocelák Radek, M.Sc. (05.02.2015)
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html