Předmět
Úvod do logické sémantiky (PH0120, OJ313)

Vyučující
Mgr. Jiří Raclavský, Ph.D.

Doba konání
Viz IS.

Konzultace
Dle domluvy (raclavsk@phil.muni.cz).

Charakteristika
Objektem zkoumání logické sémantiky je jazyk uvažovaný jako systém pro sdělování významů - toho, o čem mluvíme. Logicko sémantické teorie formulují modely toho, jak takto pojatý jazyk funguje. Tímto souvisí rovněž s filosofií jazyka. Kurz seznamuje s těmito teoriemi, jsou uvedeny a diskutovány jejich principy. Přehled těchto teorií je postupem od relativně jednoduchých modelů jazyka k modelům vysvětlujícím jazyk podstatně komplexnějším způsobem.

Motto
"Často se říká, že lidský pokrok je nejtěžší v těch oblastech, které nenáležejí výhradně do některého ze zavedených odvětví poznání. Vzhledem k těmto oblastem jsme často v postavení šesti slepců a slona. Podle této bajky jeden ze slepců, který držel slonovu nohu, tvrdil, že slon je podobný pilíři; druhý, který držel zvíře za ocas, řekl, že slon je jako lano; další, který byl po slonově boku tvrdil, že slon je jako zeď; zatímco zbývající tři, kteří ohmatávali slonovo ucho, chobot a kel, tvrdili stejně rozhodně, že slon je jako plachta, hadice či kopí. Oblast, která zde bude diskutována - obecná gramatika -, je výborným příkladem oblasti tohoto charakteru. Může se k ní přistupovat ze stanoviska lingvistiky, stanoviska logiky i stanoviska psychologie; a každý z těchto aspektů odhaluje něco, co není vidět odjinud... V tomto duchu se pokusím vyložit jisté dojmy z gramatického slona, jak byl vnímán slepcem, který ho držel na dost podivném místě. Neprohlašuji tyto dojmy za převratné; nicméně to, že vznikají ze stanoviska logiky, může samo o sobě být zajímavé." (Haskell B. Curry)

Struktura
I. Úvod
II. Základní pojmy
III. Schéma označování
IV. Matematizace lingvistiky
V. Extenzionální sémantika, teorie modelů
VI. Kategoriální gramatika, teorie typů, teorie zobecněných kvantifikátorů, lambda kalkul
VII. Modální logiky
VIII. Intenzionální logiky a teorie indexů
IX. Hyperintenzionální logiky
X. Game-theoretical semantics (GTS, IFL)
XI. Teorie reprezentace diskurzu (DRT), Dynamická logika (DPL)
XII. Závěr

Nejdůležitější odkazy
Odkazy na logické, sémantické a filosofické časopisy: zde
Odkazy na logické sémantiky a velká informační centra: zde

Základní literatura
PEREGRIN, Jaroslav (1998): Úvod do teoretické sémantiky. Praha: Karolinum.
(PEREGRIN, Jaroslav (1994): Úvod do teoretické sémantiky. Brno: FF MU.)
CMOREJ, Pavel (2001): Úvod do logickej syntaxe a sémantiky. Bratislava: Iris.
KOLÁŘ, Pavel (1999): Argumenty filosofické logiky. Praha: Academia.
TUGENDHAT, Ernst & WOLF, Ursula (1997): Logicko-sémantická propedeutika. Praha: Nakladatelství Petr Rezek.