Úvod do teoretické sémantiky - ABO500110
Anglický název: Introduction to Formal Semantics
Zajišťuje: Ústav českého jazyka a teorie komunikace (21-UCJTK)
Fakulta: Filozofická fakulta
Platnost: od 2015
Semestr: letní
Body: 0
E-Kredity: 3
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:2/0, Zk [HT]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Kompetence:  
Stav předmětu: nevyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Způsob výuky: prezenční
Úroveň:  
Garant: Radek Ocelák, M.Sc.
Rozvrh   Nástěnka   
Anotace
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ů.
Poslední úprava: Ocelák Radek, M.Sc. (05.02.2015)
Cíl předmětu

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.

Poslední úprava: Dittmann Robert, PhDr., Ph.D. (10.02.2014)
Literatura

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

Poslední úprava: Ocelák Radek, M.Sc. (05.02.2015)
Požadavky ke zkoušce

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)

Poslední úprava: Ocelák Radek, M.Sc. (05.02.2015)
Sylabus

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.

 

Poslední úprava: Ocelák Radek, M.Sc. (05.02.2015)