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