<р> Этот учебник предназначен для людей, которые хотят получить базовые знания по формальной логике, а также выяснить, какой вклад эта дисциплина вносит в современное знание языка. Изложение логических вопросов и методов существенно не отличается от подходов, используемых в других элементарных учебниках. Однако то, как представлены связи между формальной логикой и теоретической лингвистикой, а также решения некоторых логических проблем, с которыми приходится иметь дело при описании естественного языка, выражают позицию автора по этим спорным вопросам. В некоторых моментах он отличается не только от взглядов большинства лингвистов, но и от решений, предпочитаемых многими логиками. Эти различия она указывает в соответствующих местах текста, но не описывает подробно разные позиции по обсуждаемым вопросам. В книге обсуждаются: логические свойства предложений, исчисление высказываний, исчисление кванторов, пределы логики - язык и общение, исчисление множеств и отношений. В новом, расширенном издании описываются вопросы пределов логики и ее роли в общении, актуальные в последние десятилетия: естественные и искусственные языки, вопросы, приказы, оценки, неэкстенсиональность, двусмысленность, случайный, разговорные импликатуры, интерпретация и языковое значение, антиномия лжеца, проблема правильности вывода. Хотя семантика кванторного исчисления выражается в терминах структуры, а не в терминах моделей, основные понятия теории множеств и отношений используются относительно часто. Читатели, незнакомые с этими теоретико-множественными концепциями, найдут их объяснение в Приложении, добавленном в конце. Книга рекомендуется студентам гуманитарных и социальных наук для занятий по логике.