Логическая форма - Logical form

Этот логический аргумент, использующий modus ponens использует три утверждения в логической форме, выраженные на упрощенном английском языке.

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

Логическая форма аргумент называется форма аргумента аргумента.

История

Важность концепции формы для логики признавалась еще в древние времена. Аристотель, в Предварительная аналитика, вероятно, был первым, кто использовал переменные буквы для представления обоснованных выводов. Следовательно, Ян Лукасевич утверждает, что введение переменных было «одним из величайших изобретений Аристотеля».

По мнению последователей Аристотеля вроде Аммоний, к логике относятся только логические принципы, изложенные в схематических терминах, а не те, которые даны в конкретных терминах. Конкретные условия человек, смертныйи т. д. аналогичны значениям замены схематических заполнителей А, B, C, которые назывались «материей» (греч. Hyle, Латиница Материя) аргумента.

Сам термин «логическая форма» был введен Бертран Рассел в 1914 году в контексте своей программы формализации естественного языка и рассуждений, которую он назвал философская логика. Рассел писал: «Некоторое знание логических форм, хотя у большинства людей оно не является явным, вовлечено во все понимание дискурса. Задача философской логики - извлечь это знание из его конкретных покровов и сделать его явным. и чистый ".[2][3]

В искусственном интеллекте логические формы используются в семантические парсеры за понимание естественного языка.[4]

Пример формы аргумента

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

Исходный аргумент
Все люди смертны.
Сократ - человек.
Следовательно, Сократ смертен.
Форма аргумента
Все ЧАС находятся M.
S является ЧАС.
Следовательно, S является M.

Все, что было сделано в форма аргумента поставить ЧАС за человек и люди, M за смертный, и S за Сократ. Каковы результаты форма исходного аргумента. Более того, каждое отдельное предложение форма аргумента это форма предложения соответствующего предложения в исходном аргументе.[5]

Важность формы аргумента

Внимание уделяется аргументации и форме предложения, потому что форма это то, что делает аргумент действительный или убедительно. Все аргументы логической формы могут быть индуктивными или дедуктивными. Индуктивные логические формы включают индуктивное обобщение, статистические аргументы, причинные аргументы и аргументы по аналогии. Общие формы дедуктивного аргумента: гипотетический силлогизм, категорический силлогизм, аргумент по определению, аргумент, основанный на математике, аргумент из определения. Самые надежные формы логики: modus ponens, модус толленс, и цепные аргументы, потому что если посылки аргумента верны, то обязательно следует вывод.[6] Две недопустимые формы аргументов: подтверждая следствие и отрицая антецедент.

Утверждая следствие
Все собаки животные.
Коко - животное.
Следовательно, Коко - собака.
Отрицание антецедента
Все кошки животные.
Мисси не кошка.
Следовательно, Мисси не животное.

Логичный аргумент рассматривается как заказанный набор предложений, имеет логическую форму, которая происходит от формы составляющих его предложений; Логическая форма аргумента иногда называется формой аргумента.[7] Некоторые авторы определяют логическую форму только по отношению к аргументам в целом, поскольку схемы или логическая структура аргумента.[8] В теория аргументации или неформальная логика, форма аргумента иногда рассматривается как более широкое понятие, чем логическая форма.[9]

Он состоит в удалении из предложения всех ложных грамматических особенностей (таких как пол и пассивные формы) и замене всех выражений, характерных для предмет аргумента схемные переменные. Так, например, выражение «все А - это Б» показывает логическую форму, которая является общей для предложений «все люди смертные», «все кошки - хищники», «все греки - философы» и т. Д.

Логическая форма в современной логике

Фундаментальное различие между современной формальной логикой и традиционной, или аристотелевской логикой, заключается в различном анализе логической формы рассматриваемых предложений:

  • С традиционной точки зрения, форма предложения состоит из (1) подлежащего (например, «человек») плюс знак количества («все», «некоторые» или «нет»); (2) связка, который имеет форму «есть» или «не является»; (3) сказуемое (например, «смертный»). Таким образом: «все люди смертны». Были названы логические константы, такие как «все», «нет» и т. Д., А также сентенциальные связки, такие как «и» и «или». синкатегорематический термины (от греч. kategorei - сказывать, и син - вместе с). Это фиксированная схема, где каждое суждение имеет определенное количество и связку, определяющую логическую форму предложения.
  • Современный взгляд более сложен, поскольку одно суждение о системе Аристотеля включает две или более логических связки. Например, предложение «Все люди смертны» включает в терминологической логике два нелогических термина «является человеком» (здесь M) и "смертелен" (здесь D): приговор выносится приговором А (М, Д). В логика предикатов, предложение включает те же два нелогических понятия, которые здесь анализируются как и , и предложение дается , включая логические связки для универсальная количественная оценка и значение.

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

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

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

  1. ^ Кембриджский философский словарь, CUP 1999, стр. 511–512.
  2. ^ Рассел, Бертран. 1914 (1993). Наше познание внешнего мира: как область научного метода в философии. Нью-Йорк: Рутледж. п. 53
  3. ^ Эрни Лепор; Кирк Людвиг (2002). "Что такое логическая форма?". У Герхарда Прейера; Георг Петер (ред.). Логическая форма и язык. Кларендон Пресс. п. 54. ISBN  978-0-19-924555-0. препринт
  4. ^ Екатерина Овчинникова (15 февраля 2012 г.). Интеграция мировых знаний для понимания естественного языка. Springer Science & Business Media. ISBN  978-94-91216-53-4.
  5. ^ Херли, Патрик Дж. (1988). Краткое введение в логику. Бельмонт, Калифорния: Паб Уодсворт. Co. ISBN  0-534-08928-3.
  6. ^ Бассхэм, Грегори (2012). Критическое мышление: введение для студентов (5-е изд.). Макгроу-Хилл. ISBN  978-0-07-803831-0.
  7. ^ Дж. К. Билл (2009). Логика: основы. Тейлор и Фрэнсис. п. 18. ISBN  978-0-415-77498-7.
  8. ^ Пол Томасси (1999). Логика. Рутледж. п. 386. ISBN  978-0-415-16696-6.
  9. ^ Роберт С. Пинто (2001). Аргумент, умозаключение и диалектика: сборник статей по неформальной логике. Springer. п. 84. ISBN  978-0-7923-7005-5.

дальнейшее чтение

  • Ричард Марк Сейнсбери (2001). Логические формы: введение в философскую логику. Вили-Блэквелл. ISBN  978-0-631-21679-7.
  • Герхард Прейер, Георг Петер, изд. (2002). Логическая форма и язык. Кларендон Пресс. ISBN  978-0-19-924555-0.
  • Гила Шер (1991). Границы логики: обобщенная точка зрения. MIT Press. ISBN  978-0-262-19311-5.

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