Логическое следствие - Logical consequence

Логическое следствие (также логическое следствие) является фундаментальным концепция в логика, который описывает взаимосвязь между заявления это справедливо, когда одно утверждение логически следует из одно или несколько утверждений. А действительный логичный аргумент тот, в котором вывод влечет за собой предпосылки, потому что заключение является следствием посылки. В философский анализ логического следствия включает вопросы: в каком смысле вывод следует из его посылок? и что означает, что вывод является следствием посылок?[1] Все философская логика предназначен для объяснения природы логического следствия и природы логическая правда.[2]

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

Логики делают точные логические выводы относительно данного язык , либо построив дедуктивная система за или официальным предполагаемая семантика для языка . Польский логик Альфред Тарский идентифицировали три особенности адекватной характеристики следствия: (1) Отношение логического следствия основывается на логическая форма предложений: (2) Отношение априори, т.е. может определяться с учетом или без учета эмпирическое доказательство (чувственный опыт); и (3) отношение логического следствия имеет модальный компонент.[3]

Официальные счета

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

Синтаксические объяснения логического следствия полагаются на схемы с помощью правила вывода. Например, мы можем выразить логическую форму действительного аргумента как:

Все Икс находятся Y
Все Y находятся Z
Поэтому все Икс находятся Z.

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

Это контрастирует с аргументом вроде «Фред - сын брата Майка. Следовательно, Фред - племянник Майка». Поскольку этот аргумент зависит от значений слов «брат», «сын» и «племянник», утверждение «Фред - племянник Майка» является так называемым материальные последствия "Фред - сын брата Майка", а не формальное следствие. Формальное следствие должно быть верным во всех случаях, однако это неполное определение формального следствия, поскольку даже аргумент "п является Qсын брата, поэтому п является Q"племянник" действует во всех случаях, но не формальный аргумент.[1]

Априорное свойство логического следствия

Если ты знаешь это логически следует из , то нет информации о возможных интерпретациях или же повлияет на это знание. Наши знания, что является логическим следствием не может быть под влиянием эмпирическое знание.[1] Дедуктивно достоверные аргументы могут быть известны без обращения к опыту, поэтому они должны быть познаваемыми априори.[1] Однако сама по себе формальность не гарантирует, что на логическое следствие не влияет эмпирическое знание. Таким образом, априорное свойство логического следствия считается независимым от формальности.[1]

Доказательства и модели

Два преобладающих метода предоставления объяснений логического следствия включают выражение концепции в терминах доказательства и через модели. Изучение синтаксического следствия (логики) называется (ее) теория доказательств тогда как изучение (его) семантических последствий называется (его) теория моделей.[4]

Синтаксическое следствие

Формула это синтаксическое следствие[5][6][7][8] в пределах некоторых формальная система набора формул, если есть формальное доказательство в из из набора .

Синтаксическое следствие не зависит ни от каких интерпретация формальной системы.[9]

Семантическое следствие

Формула это семантическое следствие в какой-то формальной системе набора утверждений

если и только если нет модели в котором все члены верны и ложно.[10] Или, другими словами, набор интерпретаций, которые делают всех членов истина - это подмножество множества интерпретаций, которые делают истинный.

Модальные счета

Модальный объяснения логического следствия - это вариации следующей основной идеи:

верно тогда и только тогда, когда это необходимо что если все элементы правда, тогда правда.

В качестве альтернативы (и, по мнению большинства, эквивалентно):

верно тогда и только тогда, когда это невозможно для всех элементов быть правдой и ложный.

Такие отчеты называются модальными, потому что они апеллируют к модальным понятиям логическая необходимость и логическая возможность. «Это необходимо» часто выражается как универсальный квантор над возможные миры, так что приведенные выше учетные записи переводятся как:

верно тогда и только тогда, когда не существует возможного мира, в котором все элементы верны и ложно (неверно).

Рассмотрим модальную учетную запись с точки зрения аргумента, приведенного в качестве примера выше:

Все лягушки зеленые.
Кермит - лягушка.
Следовательно, Кермит зеленый.

Заключение является логическим следствием посылок, потому что мы не можем представить возможный мир, в котором (а) все лягушки зеленые; (б) Кермит - лягушка; и (c) Кермит не зеленый.

Модально-формальные счета

Модально-формальные объяснения логического следствия объединяют модальные и формальные объяснения, приведенные выше, что дает вариации следующей основной идеи:

тогда и только тогда, когда это невозможно для аргумента с той же логической формой, что и / иметь верные предпосылки и ложный вывод.

Счета на основе ордеров

Все рассмотренные выше описания являются «сохраняющими истину», поскольку все они предполагают, что характерной чертой хорошего вывода является то, что он никогда не позволяет перейти от истинных предпосылок к ложному заключению. В качестве альтернативы некоторые предложили "ордер -сохраняющие "теории", согласно которым характерная черта хорошего вывода состоит в том, что он никогда не позволяет перейти от обоснованно утвержденных посылок к заключению, которое не является обоснованно утвержденным. Это (примерно) мнение, поддерживаемое интуиционисты Такие как Майкл Даммит.

Немонотонное логическое следствие

Счета, обсуждаемые выше, приносят монотонный отношения следствия, т.е. такие, что если является следствием , тогда является следствием любого надмножества . Также можно указать немонотонные отношения последствий, чтобы уловить идею, что, например, «Твити может летать» является логическим следствием

{Обычно птицы умеют летать, Твити - птица}

но не из

{Обычно птицы умеют летать, Твити - птица, Твити - пингвин}.

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

Примечания

  1. ^ а б c d е ж Билл, Джей Си и Рестолл, Грег, Логическое следствие Стэнфордская энциклопедия философии (издание осень 2009 г.), Эдвард Н. Залта (ред.).
  2. ^ Куайн, Уиллард Ван Орман, Философия логики.
  3. ^ а б МакКеон, Мэтью, Логическое следствие Интернет-энциклопедия философии.
  4. ^ Коста Дозен (1996). «Логическое следствие: поворот в стиле». В Мария Луиза Далла Кьяра; Кис Доетс; Даниэле Мундичи; Йохан ван Бентем (ред.). Логика и научные методы: том один десятого Международного конгресса по логике, методологии и философии науки, Флоренция, август 1995 г.. Springer. п. 292. ISBN  978-0-7923-4383-7.
  5. ^ Даммит, Майкл (1993) Фреге: философия языка Издательство Гарвардского университета, стр. 82ff
  6. ^ Лир, Джонатан (1986) Аристотель и логическая теория Издательство Кембриджского университета, 136 стр.
  7. ^ Креат, Ричард и Фридман, Майкл (2007) Кембриджский компаньон Карнапа Издательство Кембриджского университета, 371 стр.
  8. ^ FOLDOC: "синтаксическое следствие" В архиве 2013-04-03 в Wayback Machine
  9. ^ Хантер, Джеффри, Металогика: Введение в метатеорию стандартной логики первого порядка, Калифорнийский университет Pres, 1971, стр. 75.
  10. ^ Этчменди, Джон, Логическое следствие, Кембриджский философский словарь

Ресурсы

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