ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ


ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ
    ИНТЕНСИОНАЛЬНЫЕ КОНТЕКСТЫ — контексты, которые отличаются (от стандартных экстенсиональных) наличием особых предикатных знаков и операторов, напр., типа “верит, что...”, “знает, что...”, “ищет...”, “необходимо, что...”. В этих контекстах не проходит замена кодесигнативных выражений (см. Антиномии отношения именования). Анализ интенсиональных контекстов (и языков) проводится на базе семантических категорий теории. Для чего понятие индекса категории расширяется, а именно: 1. и и i суть индексы категорий (п — категория имен, s — категория предложений).
    2. Если ? и ? индексы категорий, то ?/? и ?//? суть индексы категорий.
    Выражения типа ?/? получают название экстенсиональных, а типа ?//? — интенсиональных. Т. о. имеются экстенсиональные одноместные предикатные знаки (типа s/n, для них мы примем курсивные заглавные латинские буквы P, Q и т. д.) и интенсиональные (типа s//n, для них примем полужирные латинские заглавные буквы P, Q и т. д.), аналогично имеются два типа одноместных пропозициональных операторов, напр., 1 есть оператор типа s/s, a D — типа s//s. В общем случае предикатный знак или оператор может быть интенсионален относительно одних и экстенсионален относительно других аргументов. Однако одного признания двух типов знаков недостаточно, чтобы построить язык с интенсиональными терминами, удовлетворяющий требованиям теории семантических категорий. Принципиальное отличие интенсиональных контекстов, во-первых, в приписывании особых значений интенсиональным предикатным символам, операторам и, во-вторых, в особом способе их связи с аргументами, что особенно важно. Способ сочленения стандартного экстенсионального предикатного (или операторного) одноместного знака с аргументом можно представить с помощью круглых скобок — Р(х); интенсионального — с помощью квадратных скобок— 0[х|.
    Если К — непустое множество возможных миров, a U — универсум рассмотрения, то каждой предикатной константе можно сопоставить объект (функцию) по следующим правилам: 1. Если P есть предикатное выражение категории s/n, то 1(Р) есть объект типа ('2U)K.
    2. Если R есть предикатное выражение категории ((s/n)/.../n), то 7(R) есть объект категории (2((/x•••x ь))*.
    3. Если Q есть выражение категории s//n, то /(Q) есть объект категории (2•'/ ")*.
    4. Если S есть выражение категории {(s//n)//...//n), то /(S) есть объект категории (З^•••'^)*, где символ “х” есть прямое (декартово) произведение.
    В случае интенсионального предиката ?[?] способ вычисления интенсионала (экстенсионала) сложного выражения по экстенсионалам и интенсионалам составляющих иной, чем в случае экстенсионального предиката Р(а). При этом существенно, что экстенсионал любого сложного экстенсионального выражения является функцией экстенсионалов составляющих, а экстенсионал сложного интенсионального выражения является функцией экстенсионалов функтора и интенсионалов аргументных выражений. В этом принципиальное отличие интенсиональных контекстов от экстенсиональных. Сказанное позволяет увидеть причину трудностей, связанных с принципом замены равного равным. Этот принцип обычно формулируется или в виде х=у—^Ах.•=Ау (I) или в виде Vxfy(x=y^iAxsAy) (II), где Ах есть формула с выделенным свободным вхождением х в А, Ау есть результат замены выделенного вхождения х кау. Его распространение на интенсиональные контексты приводит к ряду недоразумений. К примеру, рассуждение с посылкой “Холм, под которьм погребена Троя, носит название Гисарлык”, можно записать так: 1. Холм, под которым погребена Троя, — Гисарлык. Известно, что суждение
    2. “Шлиманн искал холм, под которым погребена Троя” — верно. Согласно принципу замены равного равным (I) имеем: 3. Если холм, под которым погребена Троя, тождествен Гисарлыку, то Шлиманн искал холм, под которым погребена Троя, тогда и только тогда, когда Шлиманн искал холм Гисарлык. Из этих трех утверждений выводим: 4. Шлиманн искал холм Гисарлык. Посылки 4—2 истинны, но заключение ложно. Ситуация проясняется, если учесть различие между интенсиональными и экстенсиональными вхождениями индивидных терминов. Так, в утверждении “Шлиманн искал холм, под которым погребена Троя” термин “Шлиманн” входит экстенсионально, а термин “холм, под которым погребена Троя” — интенсионально.
    В сформулированных выше обозначениях это утверждение имеет вид: (R(a)), где R — сокращение для “искал”, о — для “Шлиманн”, e — для “холм, под которым погребена Троя”. Пусть с есть сокращение для “Гисарлык”. Тогда принцип замены равного равным, используемый в приведенном выше рассуждении, имеет вид: Ь = с э (R(a)) = (R(a)). Но этот принцип не проходит в интенсиональных контекстах в силу способа установления экстенсионалов в контекстах с интенсиональными вхождениями термов a или Ь. Пусть А(Ь) обозначает фиксированную формулу Л с экстенсиональным вхождением индивидного терма Ь (в случае переменной — со свободным экстенсиональным вхождением), а А(с) — результат замены вхождения Ь на с. Аналогично А[Ь] будет обозначать формулу с фиксированным интенсиональным вхождением, а Ab — с выделенным интенсиональным или экстенсиональным вхождением. Тогда принцип замены равного равным вида e = с =>Л(е) =А(с) будет общезначим в системе интенсиональной логики, а принцип Ь = с з А[Ь] =А[с] не общезначим.
    Аналогичным образом могут быть проанализированы ситуации, когда осуществляется замена равного равным в контекстах, которые входят в область действия модальных операторов. (см. Интенсионол).
    Е. Д. Смирнова

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


Просмотров: 833
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • АБСОЛЮТНЫЕ КАТЕГОРИИ И СРАВНИТЕЛЬНЫЕ КАТЕГОРИИ
  • Бредовые синдромы типа апофении
  • Ватиканский холм
  • Достойно есть
  • Еда, пища, есть, вкушать
  • Есть, еда
  • задание закрытого типа
  • ЗАМЕНЫ РАВНОГО РАВНЫМ ПРАВИЛО
  • интенсиональные контексты
  • Конфликт типа приближение-избегание
  • Личность типа А
  • Могильный Холм
  • отношение типа равенства
  • ОТНОШЕНИЯ ТИПА РАВЕНСТВА
  • Ошибка типа II
  • Ошибка типа І
  • ПРАВИЛО ЗАМЕНЫ РАВНОГО РАВНЫМ
  • Психоз реактивный возбудимого типа
  • Психоз реактивный депрессивного типа
  • СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ
  • Сенильная Деменция Альцгеймеровского Типа
  • сенильная деменция Альцгеймеровского типа
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • уиснехский холм
  • Фрейм как если бы
  • Фрейм как если бы
  • холм
  • Холм Божий
  • Холм обрезания
  • Холм Финееса



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь