Интенсиональная логика

Интенсиональная логика — это раздел современной логики, изучающий логические формы и законы, в которых учитывается не только истинностное значение высказываний (экстенсионал), но и их смысл (интенсионал). В отличие от классической (экстенсиональной) логики, где истинность сложного выражения однозначно определяется истинностью его частей, интенсиональная логика исследует контексты, в которых замена равных по истинностному значению выражений на равные может изменить истинность всего высказывания. Такие контексты называются интенсиональными, или непрозрачными, и возникают при использовании модальных, эпистемических, временных и других подобных операторов.

История

Предпосылки возникновения

Проблема интенсиональности восходит к античной философии. Аристотель в трактате «Об истолковании» различал высказывания о необходимости, возможности и случайности, что заложило основы модальной логики. В Средние века логики (Петр Абеляр, Уильям Оккам) разрабатывали теорию суппозиций, различая разные способы обозначения предметов в предложении. Однако систематическое изучение интенсиональных контекстов началось лишь в конце XIX — начале XX века.

Развитие в XX веке

Ключевой вклад в формирование интенсиональной логики внесли работы Готлоба Фреге, который в статье «О смысле и значении» (1892) ввёл различие между смыслом (Sinn) и значением (Bedeutung) языкового выражения. Фреге показал, что в косвенной речи (например, «Птолемей считал, что утренняя звезда — это вечерняя звезда») замена одного выражения на другое с тем же значением может изменить истинность предложения.

В середине XX века разработка формальных систем интенсиональной логики была продолжена Рудольфом Карнапом, который в книге «Значение и необходимость» (1947) предложил различать экстенсионал и интенсионал на основе семантики возможных миров. В 1960-х годах Сол Крипке создал реляционную семантику для модальной логики, основанную на понятии возможных миров, что позволило строго формализовать интенсиональные контексты. Дальнейшее развитие интенсиональной логики связано с работами Ричарда Монтегю, который в 1970-х годах разработал «интенсиональную логику Монтегю», применив её к анализу естественного языка.

Основные понятия

Экстенсионал и интенсионал

Центральное различие в интенсиональной логике — между экстенсионалом и интенсионалом:

• Экстенсионал — это объём понятия, то есть множество объектов, к которым оно применимо. Для высказывания экстенсионалом является его истинностное значение (истина или ложь).
• Интенсионал — это содержание понятия, то есть совокупность существенных признаков, определяющих его применение. Для высказывания интенсионалом является его смысл, или пропозиция.

Например, выражения «утренняя звезда» и «вечерняя звезда» имеют один и тот же экстенсионал (планета Венера), но разные интенсионалы (разные способы описания).

Интенсиональные контексты

Интенсиональными называются контексты, в которых истинность сложного выражения зависит не только от экстенсионалов его частей, но и от их интенсионалов. Типичные интенсиональные контексты создаются:

• Модальными операторами: «необходимо», «возможно», «случайно».
• Эпистемическими операторами: «знает, что», «верит, что», «сомневается, что».
• Временными операторами: «всегда», «иногда», «завтра».
• Пропозициональными установками: «считает», «утверждает», «думает».

В таких контекстах замена равных по экстенсионалу выражений может привести к изменению истинности. Например, из истинности «Птолемей верил, что утренняя звезда — это планета» и того факта, что утренняя звезда = вечерняя звезда, не следует истинность «Птолемей верил, что вечерняя звезда — это планета», так как Птолемей мог не знать об их тождестве.

Классификация интенсиональных логик

Модальная логика

Модальная логика изучает высказывания с операторами необходимости (□) и возможности (◇). Она является одной из наиболее развитых ветвей интенсиональной логики. Семантика возможных миров Крипке позволяет интерпретировать модальные операторы через отношение достижимости между мирами. Например, высказывание «необходимо P» истинно, если P истинно во всех возможных мирах, достижимых из данного.

Эпистемическая логика

Эпистемическая логика исследует высказывания о знании и вере. В ней используются операторы K (знает, что) и B (верит, что). Семантика эпистемической логики также основана на возможных мирах, но с учётом индивидуальных состояний знания агента. Например, высказывание «агент знает, что P» истинно, если P истинно во всех мирах, совместимых с тем, что знает агент.

Временная логика (темпоральная логика)

Временная логика изучает высказывания, истинность которых зависит от времени. В ней используются операторы прошлого и будущего: G (всегда будет), F (когда-нибудь будет), H (всегда было), P (когда-нибудь было). Временная логика применяется в информатике для верификации программ и систем, работающих в реальном времени.

Деонтическая логика

Деонтическая логика анализирует высказывания о нормах, обязанностях и разрешениях. В ней используются операторы O (обязательно), P (разрешено), F (запрещено). Эта логика применяется в юриспруденции и этике для формализации нормативных систем.

Логика пропозициональных установок

Эта ветвь интенсиональной логики изучает высказывания, содержащие глаголы пропозициональной установки («считает», «утверждает», «надеется»). Она сталкивается с проблемой логического всеведения: в классической эпистемической логике из знания агентом P и знания импликации P → Q следует знание Q, что не соответствует реальному поведению агентов.

Формальные системы

Семантика возможных миров

Основной формальный аппарат интенсиональной логики — семантика возможных миров. Модель для интенсиональной логики обычно включает:

• Множество возможных миров W.
• Отношение достижимости R между мирами (для модальных логик — бинарное отношение; для временных — отношение порядка).
• Функцию оценки V, которая каждому атомарному высказыванию ставит в соответствие множество миров, где оно истинно.

Истинность сложных высказываний определяется рекурсивно. Например, для модальной логики: □P истинно в мире w, если P истинно во всех мирах w', таких что wRw'.

Интенсиональная логика Монтегю

Ричард Монтегю разработал формальную систему, в которой интенсионал выражения определяется как функция от возможных миров к экстенсионалам. В этой системе:

• Экстенсионал высказывания — истинностное значение.
• Интенсионал высказывания — функция из возможных миров в истинностные значения (пропозиция).

Эта система позволяет единообразно обрабатывать интенсиональные контексты в естественном языке, например, при анализе предложений типа «Джон ищет единорога».

Применение

Лингвистика

Интенсиональная логика широко используется в формальной семантике естественного языка для анализа контекстов, связанных с модальностью, временем, пропозициональными установками. Она позволяет моделировать такие явления, как косвенная речь, контрфактические условные предложения («Если бы я был богат, я бы купил яхту») и квантификацию в интенсиональных контекстах.

Информатика

В информатике интенсиональная логика применяется в:

• Верификации программ: временная логика используется для проверки свойств программ, работающих в реальном времени.
• Искусственном интеллекте: эпистемическая логика используется для моделирования знаний и убеждений агентов в многоагентных системах.
• Базах данных: интенсиональные запросы позволяют формулировать условия, зависящие от смысла данных, а не только от их значений.

Философия

Интенсиональная логика играет важную роль в аналитической философии, особенно в философии языка и метафизике. Она используется для анализа таких проблем, как тождество, необходимость, возможные миры, пропозициональные установки.

Критика и ограничения

Проблема логического всеведения

Одной из основных проблем интенсиональной логики, особенно эпистемической, является проблема логического всеведения. В классической формализации предполагается, что агент знает все логические следствия из своих знаний, что не соответствует реальному человеческому познанию. Для решения этой проблемы разрабатываются неклассические логики (например, немонотонные логики, логики с ограниченным выводом).

Сложность аксиоматизации

Некоторые интенсиональные логики (например, логики пропозициональных установок) трудно поддаются аксиоматизации, так как они требуют учёта индивидуальных особенностей агентов (их убеждений, целей, контекста). Это приводит к необходимости создания сложных, часто неполных формальных систем.

Отсутствие единой теории

Интенсиональная логика не представляет собой единой теории, а скорее совокупность различных формальных систем, каждая из которых ориентирована на определённый класс контекстов. Это затрудняет создание универсального формального аппарата для анализа естественного языка.

Источники

1. Фреге Г. «О смысле и значении» (1892).
2. Карнап Р. «Значение и необходимость» (1947).
3. Крипке С. «Семантические соображения о модальной логике» (1963).
4. Монтегю Р. «Формальная философия» (1974).
5. Хинтикка Я. «Знание и убеждение» (1962).
6. Гамбургер Г. «Временная логика» (1984).