ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ


ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ
        свойство сложных высказываний, истинных в силу их формально-ло-гич. структуры и смысла (интерпретации) входящих в них логич. операций. Такие высказывания лишь «по видимости» описывают факты (классы фактич. ситуацпй), о которых говорят входящие в них элементарные высказывания и которые составляют их «материю»; по существу же они выражают логически значимые связи между высказываниями, связи, которые всегда порождают истинную мысль независимо от того, в какой области знания, на каком «материале» эта мысль высказана. Инвариантность к содержанию мысли и способность характеризовать только формальную правильность её выражения обусловливает общенауч. значение Т. и.: каталогизированные в системы логич. законов тождественные истины непротиворечиво входят в любую отрасль человоч. знания, образуя её «логич. ткань», логич. основу применяемых в этой отрасли знания способов рассуждений.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.


ТОЖДЕСТВЕННАЯ ИСТИННОСТЬ
понятие совр. формальной (математической) логики (а именно, того ее направления, к-рое наз. к л а с с и ч е с к о й л о г и к о й), являющееся в известном смысле экспликатом (уточнением) таких традиц. филос. понятий, как понятие "необходимой (вечной) истины" у Гоббса, "истины во всех возможных мирах" у Лейбница, "аналитического суждения a priori" y Канта. Понятие Т. и. относят к логич. выражениям, содержащим переменные, – к формулам (но не обязательно к формулам аксиоматически построенных – и интерпретированных – исчислений; речь должна идти скорее о формулах логики на уровне содержат. описания по типу алгебры логики). Тождественно истинные формулы, их называют еще о бщезначимыми, или универсально общезначимыми, или универсально верными, – это такие формулы, к-рые при подстановке на места переменных к.-л. (произвольных) постоянных (значений) из любого наперед заданного (не пустого) универсума рассуждения (области предметов) всегда преобразуются в истинные высказывания, так что переменные в тождественно истинных формулах всегда мыслятся в интерпретации всеобщности (как бы связанные кванторами всеобщности).
Очевидно, почему Т. и. в логике выражает традиц. филос. представление об aeternae veritates: говоря о "всех возможных мирах", философы имеют в виду любой логически в о з м о ж н ы й (мыслимый непротиворечивым образом) порядок вещей; значит. истинное "во всех возможных мирах" не должно зависеть от тех "фактических" истин, к к-рым мы привыкли. Если бы вдруг эти фактич. истины перестали быть истинами, т.е. если бы порядок вещей изменился так, что некоторые (или даже все) из наших, основанных на фактах, утверждений о мире (включая и те, к-рые мы сейчас называем законами природы) перестали бы быть таковыми, то тождественно истинные формулы логики остались бы инвариантны к такому "мировому беспорядку", они сохранили бы свою роль законов (истинных положений) и в измененном порядке вещей. При этом, правда, следует иметь в виду, что сама логика не должна подвергаться изменениям (не должна включаться в содержание понятия "изменение порядка вещей"), во всяком случае, смысл логич. констант не должен меняться. Эта оговорка и означает, по существу, что классич. логика принадлежит не только к данному мировому порядку, но что ее законы (тождественно истинные формулы) являются логич. формой любого мирового порядка, если раз и навсегда принята классическая интерпретация логических констант.
Не все логики и математики придерживаются такой классич. т. зр. на логику. Напр., в интуиционистском истолковании логика не имеет независимой от опыта онтологич. значимости, – ее роль исключительно эпистемо-л о г и ч е с к а я (от греч. ????????– знание). Поэтому в интуиционистской логике нет (и не может быть в силу интуиционистской интерпретации логич. констант – см. Интуиционизм) понятия Т. и. в указанном выше смысле. Логически истинными с этой т. зр. естественно, напр., называть выводимые в интуиционистском исчислении (о понятии "интуиционистское исчисление" см. в ст. Минимальная логика, Положительная логика) формулы (и только их), ограничивая понятие логич. истины по существу эмпирической (и конструктивной) идеей проверяемости (алгоритмич. разрешимости относительно выводимости или доказуемости). См. также ст. Логическая истинность, Тавтология и лит. при этих статьях.
Лит.: Гейтинг ?., Интуиционизм, пер. с англ., М., 1965, гл. 1, 7; Коэн П. Дж., Теория множеств и континуум-гипотеза, пер. с англ., М., 1969, гл. 1, § 3.
М. Новосёлов. Москва.

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


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





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

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



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

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






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

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







    Locations of visitors to this page



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