ВЗАИМОЗАМЕНИМОСТИ ОТНОШЕНИЕ


ВЗАИМОЗАМЕНИМОСТИ ОТНОШЕНИЕ
(в л о г и к е) – отношение между двумя языковыми выражениями, при к-ром замена одного другим в любом контексте данного языка (или к.-л. выделенной его части) не меняет значения нек-рой (для различных видов В. о. различной) логич. характеристики контекста. Под контекстом произвольного выражения A понимается такое выражение, в к-рое A входит без нарушения синтаксич. правил языка; напр., контекстами выражения "Платон" являются выражения "Ученик Платона", "Ученик Платона и воспитатель Александра Македонского", "Ученик Платона и воспитатель Александра Македонского критиковал учение об идеях" и т.д.; из примера видно, что предложение, в к-рое входит A, также является контекстом для A (при этом A, в свою очередь, может быть предложением, поскольку в языке одни предложения могут быть частями др. предложений). В качестве логич. характеристики контекстов обычно рассматривается их истинность или ложность (контексты в этом случае ограничиваются предложениями), а иногда - свойство контекстов быть именами данного предмета или ихсмысл. Рассмотрим В. о. относительно истинности и ложности для естественного языка. Очевидно, напр., что выражения (1) "Аристотель" и (2) "Ученик Платона и воспитатель Александра Македонского" таковы, что если одно заменяется другим в составе таких предложений, как (I) "Аристотель - философ" (истинно), (II) "Ученик Платона и воспитатель Александра Македонского критиковал учение об идеях" (истинно) и (III) "Аристотель был римлянином" (ложно), то истинность (соотв.: ложность) полученных таким образом предложений (назовем их соответственно (I?), (II'), (III?) совпадает с истинностью (ложностью) исходных предложений (как говорят, выражения (1) и (2) взаимозаменимы относительно контекстов (I) - (III), (I?) - (III?). Но в естественном языке есть контексты, относительно к-рых (1) и (2) не взаимозаменимы; напр., (IV) "Выражение "Аристотель" состоит из шести слов" (ложно) и (V) "X не знает, что Аристотель был ученик Платона и воспитатель Александра Македонского" (истинно при соответствующем выборе X); действительно, замена в (IV) выражения (1) на (2) порождает истинное предложение, а замена в (V) выражения (2) на (1) порождает явно ложное предложение ("X не знает, что Аристотель был Аристотель"). Контексты, подобные (IV), наз. м е т а к о н т е к с т а м и; метаконтекст нек-рого выражения – это такой контекст, в к-ром говорится о самом этом выражении как лингвистическом объекте (см. Метаязык). Контекст (V) содержит косвенную речь и является примером косвенного к о н т е к с т а. В естественном языке для любого выражения существуют метаконтексты и косвенные контексты. Наличие метаконтекстов и косвенных контекстов препятствует установлению единого В. о. для всего множества контекстов языка (исключая тривиальный случай такого В. о., когда каждое выражение считается "взаимозаменимым" только с самим собой). Другим препятствием к установлению В. о. в естеств. языке является омонимия. Устранение омонимии (что возможно за счет явного различения разных значений омонимов) и исключение из рассмотрения в связи с В. о. всех метаконтекстов и косвенных контекстов позволяют выделить такую часть языка, в к-рой естественным образом устанавливается В. о. относительно истинности (ложности) ее контекстов. Языки, в к-рых существует такое В. о., наз. объемными, или экстенциональными. Естественные языки не экстенциональны, но в них имеется экстенциональная часть. Формализованные языки (напр., интерпретированные исчисления, рассматрива- емые в математической логике, информационно-логические машинные языки), как правило, экстенциональны (см. Экстенциональные и неэкстенциональные языки).
Хотя изучение В. о. началось лишь в конце 19 в. (вместе с развитием логической с е м а н т и к и), однако наличие в естественных языках экстенциональной части позволяло людям издавна пользоваться В. о. в своих повседневных и научных рассуждениях. В математике, напр., употреблялось замены равного равным правило, а в логике – замещения принцип, представляющие собой фактически применение В. о. для специальных целей математики и логики. Всякое В. о. есть отношение типа равенства; поэтому уже известное определение равенства, данное Лейбницем, можно в нек-ром смысле считать формулировкой В. о. Однако как особое логико-семантическое и лингвистическое отношение В. о. в явной форме было впервые рассмотрено нем. логиком Г. Фреге (в статье "О смысле и значении", 1892). Исследуя понятие равенства, он пришел к необходимости различить значение имени (значением имени он называл обозначаемый именем предмет, см. Отношение обозначения) и его с м ы с л; проведя затем различение между контекстами обычного вида, косвенными контекстами и метаконтекстами, Фреге по сути дела сформулировал для естественного языка два В. о. – одно относительно з н а ч е н и я контекстов, а другое – относительно выражаемого ими смысла.
Рассматривая предложения как частный случай имен предметов (именно, он считал их именами истины и лжи как особых абстрактных предметов), он включил В. о. относительно истинности (ложности) предложений во В. о. относительно всех вообще контекстов, являющихся именами к.-л. предметов. Подход Фреге к В. о. носил неконструктивный характер и отражал метафизичность его филос. установки. Так, в его теории молчаливо предполагалось, что различение или отождествление предметов, обозначенных двумя различными именами естественного языка, всегда возможно, что понятие смысла выражения непосредственно ясно, в силу чего всегда можно решить, имеют ли два данных выражения одинаковый или различный смысл. Исследования В. о. продолжили Рассел, Куайн, Чёрч, Карнап и др., показавшие связь В. о. (в его различных видах) с понятием "смысл", "синонимичность", "аналитичность" (см. Синонимы). Для уточнения этих понятий был построен ряд семантических систем (наиболее известная система такого рода принадлежит Карнапу и изложена им в соч. "Meaning and necessity", 1947, 2 изд., 1956). Построение таких систем позволяет изучать свойства В. о. для произвольных языков или для достаточно больших групп языков – естественных или искусственных, уточнять (при соответствующих допущениях) отношение равенства смыслов (синонимию) и т.д. [Связь отношения синонимии с В. о. обнаруживается уже в том, что взаимозаменимость выражений относительно истинности (ложности) их контекстов в данном языке является необходимым условием равенства их смыслов]. Следует подчеркнуть, что семантические теории, построенные рядом зарубежных авторов, основаны на слишком сильных упрощающих предположениях и неконструктивны. Такой характер, в частности, носит теория Карнапа, на логич. построениях к-рого сказывается субъективистский и метафизич. характер его взглядов.
В последние годы изучение В. о. приобрело значение в связи с работами по машинному моделированию мыслительных процессов, автоматич. переводу с одного языка на другой, а также развитию математической лингвистики; в этой связи намечается более конструктивный подход к понятиям, связанным с В. о. (См. также Смысл, Значение, Логическая семантика).
Лит.: Frege G., Uber Sinn und Bedeutung, "Z. Philos. und philosophische Kritik", Lpz., 1892 (Neue Folge, Bd 100, H. 1, S. 25–50); Russell В., On denoting, "Mind", L., 1905 (New series, v. 14, No 56, p. 479–93); Lewis С. I., Analysis of knowledge and valuation, La Salle (Ill.), 1946; Quine W. V., From a logical point of view, Camb. (Mass.), 1953; Чёрч А., Введение в математическую логику, пер. с англ., М., 1960 (см. "Введение"); Карнап Р., Значение и необходимость, пер. [с англ.], предисловие С. А. Яновской, М., 1959.
В. Бирюков. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


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





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

  • 1_ИНОСТРАННЫЕ ТЕРМИНЫ И ВЫРАЖЕНИЯ
  • “РАССУЖДЕНИЕ, ВЫНОСЯЩЕЕ РЕШЕНИЕ ОТНОСИТЕЛЬНО СВЯЗИ МЕЖДУ РЕЛИГИЕЙ И ФИЛОСОФИЕЙ”
  • АРИСТОТЕЛЬ
  • АРИСТОТЕЛЬ
  • Аристотель
  • Аристотель
  • АРИСТОТЕЛЬ
  • Аристотель
  • АРИСТОТЕЛЬ ИЗ МИТИЛЕНЫ
  • АРИСТОТЕЛЬ ИЗ МИТИЛЕНЫ
  • АРИСТОТЕЛЬ Стагирит
  • Аристотель Стагирит
  • АРИСТОТЕЛЬ СТАГИРИТ
  • Аристотель Стагирит
  • ВЫРАЖЕНИЯ МЕТАФИЗИКА
  • ВЫРАЖЕНИЯ ПСИХОЛОГИЯ
  • ВЫРАЖЕНИЯ СПОСОБ
  • КАЧЕСТВА ВЫРАЖЕНИЯ
  • Комплексный подход к проблеме равенства полов
  • обозначения отношение
  • ОДНО-ОДНОЗНАЧНОЕ ОТНОШЕНИЕ
  • ОТНОШЕНИЕ ОБОЗНАЧЕНИЯ
  • отношение типа равенства
  • ОТНОШЕНИЯ ТИПА РАВЕНСТВА
  • Унификация языка (языков)
  • Устранение языка
  • Устранение языка
  • Ученик
  • Ученик Веды
  • языка функции (употребление языка)



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

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






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

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







    Locations of visitors to this page



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