Согласно основному принципу логики, правильность рассуждения зависит только от его логической формы, или структуры, и не зависит от конкретного содержания входящих в него утверждений.
Логическая форма — способ связи входящих в рассуждение содержательных частей.
Основной принцип логики был в ясной форме сформулирован еще Аристотелем, и поэтому его принято считать основателем логики как науки.
Основной принцип логики предполагает — и это следует специально подчеркнуть, — что каждое наше рассуждение, выраженное в языке, имеет не только содержание, но и определенную форму. Предполагается также, что содержание и форма отличаются друг от друга и могут быть разделены. Содержание рассуждения не оказывает никакого влияния на его правильность, поэтому от него следует отвлечься. Для оценки правильности существенной является лишь форма. Ее необходимо выделить в чистом виде и затем на основе одной «бессодержательной» формы решить вопрос о правильности рассматриваемого рассуждения.
Особым интересом логики к логической форме наших рассуждений объясняется то, что иногда эту науку называют также «формальной логикой ».
Понятие логической формы является довольно абстрактным. Смысл его лучше всего раскрыть на примерах.
Сравним два утверждения: «Все металлы проводят электрический ток» и «Все планеты имеют форму куба». По содержанию они совершенно различны, к тому же первое из них является истинным, а второе ложным. И тем не менее сходство их несомненно — это сходство, а точнее говоря тождество, их строения, формы. Чтобы выявить данное сходство, нужно отвлечься от содержания утверждений и от обусловленных им различий. Оставим поэтому в стороне металлы и планеты, электрический ток и кубы. Заменим все содержательные компоненты утверждений латинскими буквами, например S и Р, не несущими никакого содержания.
В итоге получим в обоих случаях выражение «Все S есть Р» («Все металлы есть проводящие электрический ток» и «Все планеты есть имеющие форму куба»). Это и есть форма рассматриваемых утверждений. Такую же логическую форму имеют утверждения «Все кометы имеют хвост», «Все люди добры» и т. п. Но утверждения «Все люди не являются бессмертными » и «Все личинки мух не имеют головы» имеют уже другую логическую форму — «Все S не есть Р».
Еще один пример выявления логической формы. Возьмем два условных высказывания: «Если сейчас день, то сейчас светло» и «Если сейчас ночь, то сейчас темно». Заменим входящие в эти высказывания простые утверждения «Сейчас день» и «Сейчас ночь» буквой А, а утверждения «Сейчас светло» и «Сейчас темно» — буквой В. Получим, что форма этих двух высказываний одна и та же — «Если А, то В». Логическую форму имеют не только высказывания, но и состоящие из них рассуждения.