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