В логике, логическая форма утверждения — структурная основа, выраженная через логические операторы, такие как кванторы, связки и переменные. Точно определённая семантическая версия высказывания в формальной системе является абстрактным описанием смысла высказывания, отделённым от его конкретного содержания и контекста, которое определяет логическую структуру, поддерживающую вывод. Формализация неоднозначных высказываний в точные утверждения с однозначной интерпретацией в рамках формальной системы позволяет определить значение логической формы исключительно из синтаксиса. Логическая форма аргумента, называемая формой аргумента, является семантической, а не синтаксической конструкцией. Поэтому в идеальном формальном языке может существовать более одной строки, представляющей одну и ту же логическую форму[1].
Важность понятия формы для логики была признана уже в древние времена. Аристотель в «Первой аналитике», вероятно, был первым, кто использовал переменные буквы для представления обоснованных умозаключений. Поэтому Ян Лукасевич утверждает, что введение переменных было «одним из величайших изобретений Аристотеля».
Согласно последователям Аристотеля, таким как Аммоний, к логике относятся только логические принципы, изложенные в схематических терминах, но не те, которые даны в конкретных терминах. Конкретные термины «человек», «смертный» и т. д. аналогичны подстановочным значениям схематических обозначений A, B, C, которые назывались «материей» (греч. hyle, лат. materia) аргумента.
Сам термин «логическая форма» был введён Бертраном Расселом в 1914 году в контексте его программы по формализации естественного языка и рассуждений, которую он назвал философской логикой. Рассел писал: «Некоторое знание логических форм, хотя у большинства людей оно не является явным, участвует во всяком понимании рассуждений. Дело философской логики — извлечь это знание из его конкретных целостностей и сделать его явным и чистым»[2].
Чтобы продемонстрировать важное понятие формы аргумента, замените буквы на аналогичные элементы во всех предложениях исходного аргумента.
Все, что было сделано в форме аргумента — подставить Ч для обозначения человека и людей, С для смертного и С для Сократа. В результате получилась форма исходного аргумента. Более того, каждое отдельное предложение формы аргумента является формой предложения соответствующего предложения исходного аргумента[3][нет в источнике].