В Степин - Новая философская энциклопедия. Том второй Е—M

• Название: Новая философская энциклопедия. Том второй Е—M
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

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

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

ИНТЕЛЛИГИБЕЛЬНОЕ- см. Умопостигаемое.

ИНТЕНСИОНАЛ— одно из основных понятий логической семантики, вводимое как одно из уточнений понятия смысла. Существуют различные методы семантического анализа смысла и значения десигнативных выражений. Г. Фреге выделяет два аспекта содержания этих выражений — смысл (Sinn) и денотат (Bedentung). В работе «Значение и необходимость» вместо фрегевского метода отношения именования (см. Именования теория) Р. Кар- нап предлагает свой метод семантического анализа. Семантика Карнапа является трехплоскостной. Как средство семантического анализа значения он вводит пару понятий (экстен-

130

ИНТЕНСИОНАЛЬНАЯ ЛОГИКА сионал и интенсионал), соответствующих двум компонентам значения у Фреге. Понятия «денотат» и «смысл», как полагает Карнап, служатэкспликатами таких понятий, как «означение» (denotation) и «соозначение» (connotation) у Дж. Ст. Милля. В противоположность этому понятия «экстенсионал» и «интенсионал» Карнап рассматривает как экспликаты другой пары понятий — «объем» и «содержание». При анализе обычных, экстенсиональных контекстов такие пары понятий, как «смысл» — «денотат» и «интенсионал» — «экстенсионал», совпадают. «Решающее различие между нашим методом и методом Фреге состоит в том, — пишет он, — что наши понятия в отличие от понятий Фреге не зависят от контекста». У Карнапа выражение в правильно построенной языковой системе всегда имеет один и тот же экстенсионал и один и тот же интенсионал, тогда как у Фреге смысл выражения в обычном контексте становится денотатом в косвенном. Р. Карнап вводит понятия экстенсионала и интенсионала на основе понятий эквивалентности и L-эквивалентности — основных понятий его семантической системы. Экстенсионал (интенсионал) определяется соответственно как то общее, что имеют эквивалентные (L-эквивалентные) выражения. В качестве подходящего экстенсионала предложения рассматривается его логическая валентность, в качестве подходящего интенсионала — выражаемое им суждение. В модальных контекстах проходит замена (досигнативных) выражений, имеющих один и тот же интенсионал. Понятие интенсионала предполагает уже семантику возможных миров (см. Возможных миров семантика). Два выражения имеют один и тот же интенсионал, если они сохраняют одно и то же значение (экстенсионал) в одинаковых условиях (в одних и тех же «возможных мирах»): предложения имеют одну и ту же логическую валентность, а предикаторы — один и тот же объем. Этого условия достаточно для их замены в модальных контекстах, но недостаточно для взаимозаменимости в иных, не экстенсиональных, контекстах, напр., в контекстах знания, веры и других пропозициональных установок (см. Интенсиональные контексты). Понятие интенсионала вряд ли можно считать адекватным уточнением фре- гевского понятия «смысл». Более того, вхождение выражения считают подлинно интенсиональным, если для замены недостаточно тождества интенсионалов. Дальнейшее развитие метод интенсионала и экстенсионала получил в работах Р. Монтегю и Д. Скотта. Решающий шаг был сделан, когда было расширено понятие возможного мира. Некоторые утверждения формулируются таким образом, что их смысл и условия истинности заведомо зависят от ряда факторов. Такие утверждения называли иногда «невечными» (У. Куайн), а выражения, отсылающие к определенным обстоятельствам, — индексными выражениями (Ч. Пирс), индикаторными словами (П. Гудмен и др.). Примерами такого рода высказываний являются: «Вчера был дождь», «Я видел последний фильм Феллини», «Он пришел раньше ее брата» и т. д. В зависимости от интерпретации индексных выражений мы учитываем разные обстоятельства (положение дел в разные моменты времени, в разных местах, с разными лицами и т. д.). Набор обстоятельств, от которых зависит истинность предложения, вслед за Монтегю и Скоттом естественно называть точками соотнесения. Монтегю подчеркивал их прагматический характер и относил интерпретацию такого рода контекстов к области прагматики. Эти факторы могут быть как объективного плана (время, место и т. п.), так и связанными с субъектом (субъектами), т. е. иметь прагматический характер. При более общем подходе абстрагируются от конкретной интерпретации точек соотнесения и учитывают в общем виде зависимость значения выражения от некоторого множества факторов, т. е. просто фиксируют некоторое множество (кортеж) точек соотнесения. Интерпретация выражений языка теперь существенно зависит от точек соотнесения. Интерпретацию можно рассматривать как функцию от двух аргументов: знаку и точке соотнесения она сопоставляет некоторый объект. Так, одноместному предикатному знаку — для случая экстенсиональных предикатных знаков — в данной точке соотнесения функция интерпретации сопоставит некоторое множество индивидов, для которых он выполняется в этой точке. Это множество индивидов является экстенси- оналом данного одноместного предикатного знака в данной точке соотнесения. Однако целесообразнее рассматривать интерпретацию как одноместную функцию, сопоставляющую каждому знаку функцию с областью определений на множестве точек соотнесения. Значение этой функции дает экстенсионал данного знака в данной точке соотнесения. Саму функцию называют интенсионалом знака. Если знак — индивидная константа, ее интенсионал называют индивидным концептом. В свою очередь интенсионал высказывания можно отождествлять с множеством точек соотнесения, именно тех, в которых высказывание истинно. Интенсионал индивидной константы называют индивидным концептом. В технике возможных миров пропозиция (пропозициональный концепт) отождествляется с интенсионалом высказывания, т. е. множеством миров, в которых оно имеет место. Это соответствует понятию области предложения (класс тех описаний состояния, в которых высказывание истинно) в концепции описаний состояний. Собственно, это достаточно «экстенсиональная» трактовка пропозиционального концепта. Е.Д. Смирнова

ИНТЕНСИОНАЛЬНАЯ ЛОГИКА- область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает решение двух взаимосвязанных задач: (1) уточнение (экспликацию) понятия смысла путем построения формализованного языка и его семантики, (2) формализацию класса общезначимых формул языков-экспликаторов смысловых отношений. Если решается первая задача, то термин «интенсиональная логика» употребляется в узком значении — как специальная система представления смысла (формальный синтаксис и формальная семантика). В широком значении термин «интенсиональная логика» используется для обозначения философски ориентированных неклассических логик (см. Философская логика). Традиция различать смысл (англ. — sense, meaning, нем. — Sinn) и значение (англ. — reference, denotation, нем. — Bedeutung) выражения языка восходит к работам Г. Фреге (1892). Первая попытка формализовать понятие смысла была сделана Р. Карнапом (1947). Он провел параллель между принципом, согласно которому смысл выражения должен определять его значение, и свойством функции задавать значение аргумента. В результате им была построена семантическая модель интенсионального языка, в котором смысл выражения, в терминологии Карнапа— шипеисао/шд выражения, интерпретируется какфунк- ция, заданная на множестве описаний состояний (возмож-

131

ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ ных мирах) и выделяющая для каждого отдельного описания состояния значение выражения, или экстенсионал в терминологии Карнапа, в данном описании состояния. Другими словами, интенсионал выражения мыслится как всевозможные экстенсионалы, собранные вместе и упорядоченные определенным способом, т. е. как функция, определенная на возможных мирах как аргументах с экстенсионалами в качестве значений. Первая аксиоматическая система, язык которой явно содержит указание на смысл и значение, была разработана А. Черчем (1951). Д. Каплан ( 1964) предложил для нее семантику в духе Карнапа. Фундаментальное развитие интенсиональная логика получила в трудах Р. Монтегю (60-е гг.), соединившего ее принципы с идеями простой теории типов, лямбда-абстракцией, теорией категорий К. Айдукевича. В итоге им были разработаны мощные интенсиональные теоретико-типовые языки, обладающие способностью воспроизводить структуры обширных фрагментов естественного языка. Системы интенсиональной логики исследовались в работах М. Крессвела, Н. Кокчиареллы, Д. Таллина, Р. Томасона, Д. Доуги, А. Иши- мото, И. Ружа и др. Лингвистическое направление, связанное с построением формальных грамматик с последующей интерпретацией в терминах интенсиональной логики, развивается Б. Парти, Е Купером, М. Беннетом. Иллюстрацией принципов интенсиональной логики может служить модель M = <A,W,T,<,F,g>, где А — непустое множество индивидов, напр., А = {a,b,c}; W — непустое множество возможных миров, напр., W= {w„ w2}; T — множество моментов времени, Т = {tp t2, t3}; < — линейный порядок на Т; F — функция, приписывающая значения константам языка, a g — функция, приписывающая значения переменным. Предварительно определив функцию F, можно ввести понятие интенсионала, если для любого выражения а в модели M при приписывании g воспользоваться записью Н,М,Е для обозначения интенсионала а относительно M и g. На диаграммах приведены примеры интенсионалов имен тип (индивидные константы), одноместной предикатной константы В в модели M относительно g: |m|^=<W|jt>_,a |n|^M4=<Wj)t>_,b |B|^=<W|yt|>_, j^bj <w(,t(> -> с <w|,t2>-^c <w2,t2> —b <w,,t3> -> a <w2,t3> -> b <w,,t>—b <w,,t2>->b <w2,t2>—b <w,,t>-+b <w2,t3> -*b <w2,t>^{a,c} <w,,t2>—{a,b,c} <*Л>->{а> <w,,t3>-^{b,c} <w2,t3>— {a,b} Следующая таблица определяет интенсионалы двух простых высказываний В(т) и В(п), где «и» обозначает «истинно», а «л» — «ложно»: |B(m)|.He=<wl,tI> -> и |B(n)|,M^=< w,,t,> -> и <w2,tI> —л <w,,t2>-^H <v,2,t>-*n <w,,t> -ж <w2,t3> ^и Синтаксические обозначения для интенсионалов и экстен- сионалов выражений представляются так: если а есть выражение языка, то ла есть выражение, значение которого есть |<х|,м,8,т. е *а называют интенсионалом а. Значение функции \а\,м* в любом индексе <w,t> дает экстенсионал а в <w,t>, <w2,t> <w„t2> <w2,t> <Wl't3> <w2,t3> —>и —>и —>л —>л —>и который обозначают va. Таким образом, экстенсионал и интенсионал каждой категории выражения языка получает свое именование. Индивидные термы (константы или переменные) в качестве экстенсионала имеют индивид в А. Их интенсионалы называют индивидными концептами (функции из индексов в индивиды А). Например, индивид b есть vm в <w2,t2>, т. е. экстенсионал m в <w2,t2> . Индивидный концепт лт есть сама функция |m|.Mg, vm указывает на конкретный индивид b, a лт собирает всех индивидов, обозначенных данным именем т. Экстенсионал одноместной константы, например В, есть множество индивидов А (обозначается VB), а интенсионал В (функцию из W х Т в А) называют свойством индивидов (обозначается ЛВ). Экстенсионал формулы есть истинностное значение, а интенсионал назван пропозицией (функция из W х Т в {и, л}). В теоретико-типовых языках высших порядков используются различные комбинации интенсионалов и экстенсионалов. См. также ст. Возможных миров семантика. И. А. Герасимова