Sylabus (tematický a více méně chronologický)

význam věty, pravdivostní podmínky, teorie modelů
objektový jazyk vs. metajazyk, denotace
základní sémantické vztahy, hypo- a hyperonymie, vyplývání, polysémie, ambiguita
základy teorie množin a výrokové logiky
princip kompozicionality, predikátová logika
význam jmenné fráze, reference vs. kvantifikace, generalizovaná kvantifikace
interpretace zájmen, referenční vs. vázaná zájmena
modelování významu pomocí funkcí, lambda-notace
úrovně významu, tvrzení vs. presupozice
Griceovy konverzační maximy, konverzační implikatury
interakce doslovného a konverzačního významu
formální sémantika/pragmatika a experimentální metody