Определению логической формы (структуры) мысли предпошлем рассмотрение примеров. Пусть имеются следующие высказывания: «Все квадраты— прямоугольники»; «Все студенты сдают экзамены в сессию»; «Все тигры - хищники». Нетрудно увидеть, что по своему конкретному содержанию эти мысли различны. Тем не менее эти мысли имеют общие черты: ими зафиксированы какие-то объекты (квадраты, студенты, тигры), принадлежащие этим объектам признаки. И выражены мысли с помощью одинаково расположенных слов. Стало быть, общее характеризуется не конкретным содержанием этих мыслей, а схемой, способом построения.
В традиционной логике для обозначения имен объектов и их признаков используются, соответственно буквы S и Р. Где S – субъект суждения, то есть понятие о предмете суждения. А Р – предикат, понятие о признаке, рассматриваемом в суждении. Тогда получается схема «Все S суть Р».
Теперь обратимся к более сложным примерам:
Если этот треугольник равносторонний, то он равнобедренный. Следовательно, если этот треугольник не равнобедренный, то он не равносторонний;
Если в данном обществе есть классы, то в нем есть государство. Следовательно, если в данном обществе нет государства, то в нем нет- классов.
Общее здесь характеризуется тем, что путем преобразования одних мыслей получаются новые мысли. Это достигается с помощью схемы «Если р, то g, следовательно, если не- g, то не- р».
Выделенные выше схемы являются примерами логических форм. Логическая форма мысли — это способ построения, связи ее основных частей. Логическая форма в языке фиксируется с помощью пропозициональных, именных и прочих переменных и логических констант. Логическая константа — это функтор, сохраняющий свое значение в любом рассуждении. В качестве логических констант выступают слова «все», «некоторые», «суть», «и», «или», «либо..., либо», если..., то», «тогда и только тогда, когда», «неверно, что», «необходимо», «возможно» и др. Для обозначения логических констант применяются символы.
Упражнение 5. Используя пропозициональные переменные, установите, какие из следующих высказываний имеют одинаковую логическую форму. например: высказывания 1 и 6.
1) Каспаров выиграл шахматный турнир и стал чемпионом. 2) Неверно, что Владивосток больше Москвы. 3) Если а2 не равно в2, то а не равно в. 4) Крамник стал чемпионом, выиграв шахматный турнир. 5)Неверно, что спорынья не содержит яд. 6) Мой друг отличник и получил красный диплом с отличием. 7) Если стороны треугольника не равны, то он не равнобедренный. 8) Если х равно р, то р равно х.
Упражнение 6. Дано суждение « Некоторый четырехугольник является квадратом тогда и только тогда, когда либо его стороны равны и углы равны, либо диагонали равны, взаимно перпендикулярны и делятся точкой пересечения пополам». Выделите три логические формы различной степени общности.
Упражнение 7. Определите к каким семантическим категориям относятся следующие выражения: например: Все кошки мяукают. Здесь «все»- кванторное слово, «кошки»- имя предмета (дескриптивный термин), опущена связка «есть», «мяукают»- предикат.
Громко мяукающая кошка. Вероятно это мяуканье кошки. Песня, звучащая в тишине. Исполнитель песен. Поющий в тишине ночи. Существуют артисты способные петь когда угодно. Справедливый приговор суда. Судья вынес решение, которое обжаловано в высшей инстанции. Несправедливый судья.