о чем тут надо рассказать, чтобы не уходить далеко в философию языка, но и не впадать в чистую лингвистику, а также в разные когнитивные науки.
1. формальная семантика Фреге-Монтегю (почему она не работает или, скажем так, работает только кое-где и кое в чем),
2. теорема Патнема, проблема устойчивости референции и ее нерелевантность для логики языка,
3. нефрегевость и не-не-фрегевость, разные виды ситуационной семантики,
4. нередуцируемость интенсиональности, поэтический язык как естественный,
5. логика предикатов vs модальная логика (общие принципы), обобщенные кванторы (Мостовский, Линдстрем), квантификация в модальностях,
6. модальности естественного языка, включая логику преференций (два разных типа модальностей: состояния и отношения),
7. спатиотемпоральные модальности.
это, мне кажется, минимум. чего бы еще добавить, если в идеале?
а. мультимодальности -- но это, скорее, направление исследований, слишком свежее и мне вряд ли доступное.
(этот план пусть здесь висит и меняется по мере поступления)
