Логическая правда - Википедия - Logical truth

Эта статья о предположениях, которые логически верны. Для логического свойства см. Правда.

Логическая правда один из самых фундаментальных концепции в логика. Вообще говоря, логическая истина - это утверждение который истинный независимо от истинности или ложности составляющих его предложения. Другими словами, логическая истина - это утверждение, которое не только истинно, но и истинно во всех отношениях. интерпретации его логических компонентов (кроме его логические константы ). Таким образом, логические истины типа «если р, то р» можно рассматривать тавтологии. Логические истины считаются простейшим случаем утверждений, которые аналитически верно (или, другими словами, верно по определению). Все философская логика можно рассматривать как предоставление объяснений природы логической истины, а также логическое следствие.[1]

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

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

Рационалист философы предположили, что существование логических истин не может быть объяснено эмпиризм, потому что они считают, что невозможно объяснить наши знание логических истин на эмпирической основе. Эмпирики обычно отвечают на это возражение, утверждая, что логические истины (которые они обычно считают простыми тавтологиями) являются аналитическими и, следовательно, не претендуют на описание мира. Последняя точка зрения была особенно защищена логические позитивисты в начале 20 века.

Логические истины и аналитические истины

Основная статья: Аналитическое и синтетическое различие

Логические истины, будучи аналитическими утверждениями, не содержат никакой информации по каким-либо вопросам факт. Помимо логических истин, существует также второй класс аналитических утверждений, типичным примером которого является «холостяк не женат». Характеристика такого утверждения в том, что его можно превратить в логическую истину, заменив синонимы синонимами. Salva Veritate. «Ни один холостяк не женат» можно превратить в «Ни один неженатый мужчина не женат», заменив его синонимом «холостяк» «неженатый мужчина».

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

Истинные ценности и тавтологии

Основная статья: Тавтология (логика)

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

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

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

Основная статья: Логическая константа

Логические константы, включая логические связки и кванторы концептуально сводятся к логической истине. Например, два или более утверждения логически несовместимый если и только если их соединение логически ложно. Одно заявление логически подразумевает другой, когда он логически несовместим с отрицание другого. Утверждение логически истинно тогда и только тогда, когда его противоположность логически ложна. Противоположные утверждения должны противоречить друг другу. Таким образом, все логические связки могут быть выражены в терминах сохранения логической истины. Логическая форма предложения определяется его семантической или синтаксической структурой и размещением логических констант. Логические константы определяют, является ли утверждение логической истиной, когда они сочетаются с языком, ограничивающим его значение. Следовательно, до тех пор, пока не будет определено, как провести различие между всеми логическими константами, независимо от их языка, невозможно узнать полную истинность утверждения или аргумента.[2]

Логическая истина и правила вывода

Концепция логической истины тесно связана с концепцией логической истины. правило вывода.[3]

Логическая истина и логический позитивизм

Логический позитивизм было движением в начале 20 века, которое пыталось свести научные рассуждения к чистой логике. Среди прочего, логические позитивисты утверждали, что любое утверждение, которое не поддается эмпирической проверке, не является ни истинным, ни ложным, а абсурдным. Это движение угасло из-за различных проблем с их подходом, среди которых растущее понимание того, что наука не работает так, как описывали позитивисты.[нужна цитата ] Другая проблема заключалась в том, что один из любимых лозунгов движения: «любое предложение, которое не поддается эмпирической проверке, является бессмыслицей», само по себе не поддается эмпирической проверке и, следовательно, по его собственным словам, является бессмысленным.

Неклассические логики

Основная статья: Неклассическая логика

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

Смотрите также

Рекомендации

  1. ^ Куайн, Уиллард Ван Орман, Философия логики
  2. ^ Макфарлейн, Дж. (16 мая 2005 г.). «Логические константы».
  3. ^ Альфред Айер, Язык, истина и логика
  4. ^ Теодор Сидер, (2010). Логика для философии

внешняя ссылка