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