Перед читателями - книга известного американского лингвиста Эммона Баха, в которой ярким и доступным языком излагаются основные идеи формальной семантики. Это современное научное направление, находящееся на стыке лингвистики и логики, исследует отношения между высказываниями в естественном языке и связи между языком и внеязыковой действительностью. Что такое "значение слова"? Можно ли описать его с помощью формул? Какое отношение эти формулы будут иметь к "настоящему" значению того, о чем мы говорим, и существует ли "на самом деле" это значение?

Книга не требует предварительного знакомства с логикой или лингвистикой и предназначена для тех, кого интересует формальное описание значений в естественном языке: лингвистов, стремящихся использовать в своей работе точные методы; логиков, интересующихся применением своей науки в исследовании языка и мира; психолингвистов, помнящих, что "язык - это окно в разум"; философов, обретающих вдохновение в идеях аналитической философии; программистов, стремящихся научить машину "понимать" человеческую речь, а также для всех ценителей красоты и точности.