Понятие о логической форме мысли и логическом законе. Предмет логики

 

Логическая форма мысли – это ее структура, которая выявляется путем отвлечения от смысла нелогических терминов словосочетания, выражающего данную мысль. Примеры логических терминов: все (ни один); некоторые; суть (есть); не суть (не есть); и; или; если…, то; неверно, что…; не; следовательно. Отвлечься от смысла нелогических терминов можно разными способами. Можно, например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. При этом следует вместо одного и того же опущенного термина чертить одинаковые линии, а вместо различных терминов – различные линии. Последнее замечание говорит о неполном отвлечении от смысла нелогических терминов. По типу линий можно восстановить тип нелогических терминов, от смыслов и значений которых произошло отвлечение. Например, в результате замены нелогических терминов многоточием и штриховой линией из предложения «Все металлы – теплопроводные вещества» получим выражение «Все … суть …».

Второй способ отвлечения от смыслов и значений нелогических терминов заключается в замене этих терминов символами-переменными. И в этом случае вместо одного и того же опущенного термина ставится одна и та же переменная, а вместо различных терминов – различные переменные. Кроме того, вместо терминов различных типов ставятся и переменные различных типов.

Пусть даны рассуждения:

Все металлы являются теплопроводными веществами. Все металлы являются электропроводными веществами. Следовательно, некоторые электропроводные вещества являются теплопроводными.

В результате замены нелогических терминов переменными получим соответственно выражение:

Все М суть Р. Все М суть S. Следовательно, некоторые S суть Р.

Между мыслями существуют связи, зависящие только от их логических форм. Так, между мыслями логических форм «некоторые S суть Р» и «некоторые Р суть S» существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

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

Связь между мыслями в рассуждении «Все металлы являются теплопроводными веществами. Все металлы являются электропроводными веществами. Следовательно, некоторые электропроводные вещества являются теплопроводными» представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Например, рассуждение: «Следователь – юрист. Следовательно, хороший следователь – хороший юрист» не является правильным. Контрпримером для него может служить явно неправильное рассуждение: «Муха – животное. Следовательно, крупная муха – крупное животное».

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