В логике логическая форма утверждения — это точно определенная семантическая версия этого утверждения в формальной системе . Неформально, логическая форма пытается формализовать возможно неоднозначное утверждение в утверждение с точной, однозначной логической интерпретацией по отношению к формальной системе. В идеальном формальном языке значение логической формы может быть однозначно определено только на основе синтаксиса . Логические формы — это семантические, а не синтаксические конструкции; следовательно, может существовать более одной строки , представляющей одну и ту же логическую форму на данном языке. [1]
Логическая форма аргумента называется формой аргумента .
Важность понятия формы для логики была признана уже в древние времена. Аристотель в «Первой аналитике» , вероятно, был первым, кто использовал переменные буквы для обозначения действительных выводов. Поэтому Ян Лукасевич утверждает, что введение переменных было «одним из величайших изобретений Аристотеля».
По мнению последователей Аристотеля, таких как Аммоний , к логике принадлежат только логические принципы, изложенные в схематических терминах, а не те, которые даны конкретно. Конкретные термины человек , смертный и т. д. аналогичны значениям замены схематических заполнителей A , B , C , которые назывались «материей» (греч. hyle , латинская materia ) аргумента.
Сам термин «логическая форма» был введен Бертраном Расселом в 1914 году в контексте его программы по формализации естественного языка и рассуждений, которую он назвал философской логикой . Рассел писал: «Некоторое знание логических форм, хотя у большинства людей оно и не является явным, участвует во всяком понимании дискурса. Задача философской логики — извлечь это знание из его конкретных оболочек и сделать его явным. и чистый». [2] [3]
Чтобы продемонстрировать важное понятие формы аргумента , замените похожие элементы во всех предложениях исходного аргумента буквами.
Все, что было сделано в форме аргумента, — это поставить H для человека и людей , M для смертного и S для Сократа . Результатом является форма исходного аргумента. Более того, каждое отдельное предложение формы аргумента является формой предложения соответствующего предложения в исходном аргументе. [4]
Внимание уделяется форме аргументов и предложений, поскольку именно форма делает аргумент действительным или убедительным. Все аргументы логической формы являются либо индуктивными , либо дедуктивными . Индуктивные логические формы включают индуктивное обобщение, статистические аргументы, причинно-следственные аргументы и аргументы по аналогии. Распространенными дедуктивными формами аргументации являются гипотетический силлогизм , категорический силлогизм , аргумент по определению, аргумент, основанный на математике, аргумент на основе определения. Наиболее надежными формами логики являются modus ponens , modus tollens и цепные аргументы, поскольку если посылки аргумента верны, то вывод обязательно следует. [5] Две недопустимые формы аргументов подтверждают консеквент и отрицают антецедент .
Логический аргумент , рассматриваемый как упорядоченный набор предложений, имеет логическую форму, которая вытекает из формы составляющих его предложений; логическую форму аргумента иногда называют формой аргумента. [6] Некоторые авторы определяют логическую форму только в отношении целых аргументов, как схему или структуру вывода аргумента. [7] В теории аргументации или неформальной логике форма аргумента иногда рассматривается как более широкое понятие, чем логическая форма. [8]
Он состоит в удалении из предложения всех ложных грамматических особенностей (таких как род и пассивные формы) и замене всех выражений, специфичных для предмета аргумента, схематическими переменными . Так, например, выражение «все А есть Б» демонстрирует логическую форму, общую для предложений «все люди смертны», «все кошки — хищники», «все греки — философы» и т. д.
Фундаментальное различие между современной формальной логикой и традиционной, или аристотелевской логикой, заключается в различном анализе логической формы предложений, которые они рассматривают:
Более сложный современный взгляд обладает большей силой. С современной точки зрения, фундаментальная форма простого предложения задается рекурсивной схемой, подобной естественному языку, и включает логические связки , которые соединяются путем сопоставления с другими предложениями, которые, в свою очередь, могут иметь логическую структуру. Средневековые логики признавали проблему множественной общности , когда аристотелевская логика не может удовлетворительно передать такие предложения, как «некоторым парням повезло», поскольку обе величины «все» и «некоторые» могут иметь отношение к выводу, но фиксированная схема то, что использовал Аристотель, позволяет только одному управлять выводом. Подобно тому, как лингвисты признают рекурсивную структуру в естественных языках, оказывается, что логика нуждается в рекурсивной структуре.
При семантическом анализе утверждения естественного языка преобразуются в логические формы, которые представляют их значения. [9]