Войти
Логическая истина - одна из самых фундаментальных концепций в логике. Вообще говоря, логическая истина - это утверждение, которое является истинным независимо от истинности или ложности составляющих его утверждений. Другими словами, логическая истина - это утверждение, которое не только истинно, но и истинно при всех интерпретациях его логических компонентов (кроме его логических констант ). Таким образом, логические истины, такие как «если p, то p», могут считаться тавтологиями. Логические истины считаются простейшим случаем утверждений, которые аналитически истинны (или, другими словами, истинны по определению). Вся философская логика может рассматриваться как обеспечивающая объяснение природы логической истины, а также логическое следствие.
Логические истины обычно считаются обязательно истинными . Это означает, что они таковы, что не может возникнуть ситуации, в которой они не могут не соответствовать действительности. Мнение о том, что логические утверждения обязательно истинны, иногда трактуется как эквивалент утверждения, что логические истины истинны во всех возможных мирах. Однако вопрос о том, действительно ли какие-либо утверждения верны, остается предметом постоянных дебатов.
Рассмотрение логических истин, аналитических истин и необходимых истин как эквивалентных, логических истин можно противопоставить фактам (которые также можно назвать условными утверждениями или синтетическими утверждениями). Случайные истины истинны в этом мире, но могли оказаться иначе (другими словами, они ложны по крайней мере в одном возможном мире). Логически верные предложения, такие как «Если p и q, то p» и «Все женатые люди состоят в браке», являются логическими истинами, потому что они верны в силу своей внутренней структуры, а не из-за каких-либо фактов мира ( тогда как «Все женатые люди счастливы», даже если бы это было правдой, не могло быть истинным исключительно в силу своей логической структуры).
Рационалисты философы предположили, что существование логических истин не может быть объяснено эмпиризмом, потому что они считают, что невозможно объяснить наше знание логических истин на эмпирические основания. Эмпирики обычно отвечают на это возражение, утверждая, что логические истины (которые они обычно считают простыми тавтологиями) являются аналитическими и, следовательно, не претендуют на описание мира. Последнюю точку зрения особенно отстаивали логические позитивисты в начале 20 века.
Логические истины, будучи аналитическими утверждениями, не содержат никакой информации по любым вопросам факт. Помимо логических истин, существует также второй класс аналитических утверждений, типичным примером которого является «холостяк не женат». Особенность такого утверждения заключается в том, что его можно превратить в логическую истину, заменив синонимы синонимами salva veritate. «Ни один холостяк не женат» можно превратить в «ни один неженатый мужчина не женат», заменив его синонимом «холостяк» «неженатый мужчина».
В своем эссе Две догмы эмпиризма философ В. В. О. Куайн поставил под сомнение различие между аналитическими и синтетическими утверждениями. Именно этот второй класс аналитических утверждений заставил его отметить, что само понятие аналитичности нуждается в разъяснении, потому что, похоже, оно зависит от концепции синонимии, которая нуждается в разъяснении. В своем заключении Куайн отвергает, что логические истины являются необходимыми истинами. Вместо этого он утверждает, что значение истинности любого утверждения может быть изменено, включая логические истины, с учетом переоценки значений истинности любого другого утверждения в полной теории.
Рассмотрение различных интерпретаций одного и того же утверждения приводит к понятию истинности. Самый простой подход к значениям истинности означает, что утверждение может быть «истинным» в одном случае, но «ложным» в другом. В одном смысле термина тавтология, это любой тип формулы или суждения, которые оказываются истинными при любой возможной интерпретации его терминов (также может называться оценка или присвоение в зависимости от контекста). Это синоним логической истины.
Однако термин тавтология также обычно используется для обозначения того, что более конкретно можно назвать функциональными тавтологиями. В то время как тавтология или логическая истина истинны исключительно из-за логических терминов, которые она содержит в целом (например, «каждый », «некоторый » и «есть»), функционал истинности тавтология верна из-за содержащихся в ней логических терминов, которые являются логическими связками (например, «или », «и » и «ни "). Не все логические истины являются такого рода тавтологиями.
Логические константы, включая логические связки и кванторы, все концептуально могут быть сведены к логической истине. Например, два или более операторов являются логически несовместимыми тогда и только тогда, когда их соединение логически ложно. Одно утверждение логически подразумевает другое, когда оно логически несовместимо с отрицанием другого. Утверждение является логически истинным тогда и только тогда, когда его противоположность логически ложна. Противоположные утверждения должны противоречить друг другу. Таким образом, все логические связки могут быть выражены в терминах сохранения логической истины. Логическая форма предложения определяется его семантической или синтаксической структурой и размещением логических констант. Логические константы определяют, является ли утверждение логической истиной, когда они сочетаются с языком, ограничивающим его значение. Следовательно, пока не будет определено, как провести различие между всеми логическими константами, независимо от их языка, невозможно узнать полную истинность утверждения или аргумента.
Концепция логической истины тесно связана с концепцией правила вывода.
Логический позитивизм был движением в начале 20-го века, которое пыталось уменьшить рассуждения процессов науки к чистой логике. Среди прочего, логические позитивисты утверждали, что любое утверждение, которое не поддается эмпирической проверке, не является ни истинным, ни ложным, а абсурдным. Это движение угасло из-за различных проблем с их подходом, среди которых растущее понимание того, что наука не работает так, как описывали позитивисты. Другая проблема заключалась в том, что один из любимых лозунгов движения: «любое предложение, которое не поддается эмпирической проверке, является бессмыслицей», само по себе не поддается эмпирической проверке и, следовательно, по его собственным словам, является бессмысленным.
Неклассическая логика - это название, данное формальным системам, которые существенно отличаются от стандартных логических систем, таких как пропозициональная и логика предикатов. Это можно сделать несколькими способами, в том числе путем расширения, отклонений и вариаций. Цель этих отклонений - сделать возможным построение различных моделей логического следствия и логической истины.
 | На Викискладе есть материалы, связанные с Логическая истина. |
