Суждение как логико-структурная форма мышления
p align="left">Щепки летят (консеквент - q).Таким образом, указанное сложное суждение с учетом выявленных простых суждений может быть записано в виде следующей формулы:
p > q.
Подобно конъюнкции и дизъюнкции, не всякая импликация сужде-ний дает истинный результат. Отношения истинности и ложности суждений при импликации можно увидеть из нижеприведенной таблицы истинности.
"если" p "то" q | "то" (p > q) | ||
И | И | И | |
И | л | Л | |
Л | и | И | |
Л | л | И |
Образно отношение в суждениях импликации можно выразить высказыванием: "Лес рубят (p) - щепки летят (q)" (p > q).
Заметим, что при импликации антецедент выполняет функцию основания сужде-ния, но только достаточного, а не необходимого, ибо и при ложном основа-нии могут быть истинные следствия!!!
Пример:
Рассмотрим высказывание: "Если использовать метод уголов-ных репрессий, то можно ликвидировать преступность".
Дей-ствительно, борьба с преступностью в этом случае может быть успеш-ной, однако сами по себе репрессии направлены все же не против самой преступности, а лишь против преступников. Так что ре-прессии все же "ликвидируют" не преступность, а преступников.
В условных суждениях союз "если..., то..." может быть заменен на другие союзы, выполняющие ту же функцию условия. Среди последних наибольшее распространение получили союзы "там..., где...", "тогда..., когда...", "поскольку..., постольку...", "при наличии..., следует...", "в случае..., следует...", "при условии..., наступает... " и др.
В завершении рассмотрения этого вопроса подчеркнем, что во всех случаях условного суждения связка "антецедент - консеквент" выполняет функцию логического следования.
И, наконец, рассмотрим эквивалентные суждения, которые иначе называются суждениями с двойной импликацией. Эквиваленция, или двойная имплика-ция, записывается посредством союза "если и только если..., то...". Символически это выглядит так: p - q.
Пример:
"Если содержание понятия увеличивается, его объем умень-шается" (p); "Если объем понятия уменьшается, его содержание увеличивается" (q).
Таким образом, указанное сложное суждение с учетом выявленных простых суждений может быть записано в виде следующей формулы:
p - q.
Таблица истинности при эквиваленции выглядит так:
"если и только если" p "то" q | "то" (p - q) | ||
И | И | И | |
И | л | Л | |
Л | и | Л | |
Л | л | И |
Образно отношение в суждениях эквиваленции можно выразить высказыванием: "Если хочешь быть здоров (p) - закаляйся (q)" (p - q).
Названные выше логические связки, на основе которых образуются сложные суждения, - конъюнкция (), дизъюнкция (, ), импликация (>) и эквиваленция (-), - называются пропозициональными связками, или пропозициональными союзами (от лат. propositio - предложение).
Важное практическое значение для сложных суждений имеет операция логического отрицания. В случае сложных суждений логическое отрицание может быть применено к конъюнкции, дизъюнкции и импликации.
Логическое отрицание конъюнктивного суждения может быть произведено на основе закона де Моргана. В результате мы получим логический закон дизъюнкции (нестрогая дизъюнкция):
(p q) - ( p q).
Пример:
Исходное суждение: "Все сотрудники ОВД России должны обладать высокими профессиональными и нравственными качествами".
Логическое отрицание: "Неверно, что все без исключения сотрудники ОВД России обладают высокими профессиональными и нравственными качествами" - "Верно, что все без исключения сотрудники ОВД России не могут обладать высокими профессиональными или высокими нравственными качествами".
Логическое отрицание дизъюнктивного суждения (нестрогая дизъюнкция) производится также на основе закона де Моргана, в результате чего получаем логический закон конъюнктивного вида: (p q) - ( p q).
Пример:
Исходное высказывание: "Природа преступности, по-видимому, заложена либо в биологической, либо в социальной природе человека".
Логическое отрицание: "Неверно, что природа преступности заложена либо в биологической, либо в социальной природе человека" - "Верно, что природа преступности заложена не в биологической и не в социальной природе человека".
Логическое отрицание импликативного суждения приводит к логическому закону следующего вида: (p > q) - (p q).
Пример:
Исходное высказывание: "Если сотрудник ОВД России имеет высшее образование, то он является классным специалистом".
Логическое отрицание: "Неверно, что если сотрудник ОВД России имеет высшее образование, то он является классным специалистом" - "Верно, что если сотрудник ОВД России может иметь высшее образование и не быть классным специалистом".
Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые (не имеют ничего общего). Сравнимые суждения в свою очередь делятся на совместимые и несовместимые.
Совместимые суждения выражают одну и ту же мысль полностью или в некоторой ее части. В логике рассматриваются следующие отношения совместимости суждений: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность).
Пример:
1. "Юрий Гагарин - первый в мире космонавт" (эквивалентность);
2. "Кража, поскольку она является противоправным деянием, уголовно наказуема" (логическое подчинение);
3. "Не всякий генерал от природы полный" (Козьма Прутков) (частичное совпадение).
Наряду с отношениями совместимости, суждения вступают в отношения и несовместимости друг с другом. Два высказывания p и q называются несовместимыми, если из истинности одного из них необходимо следует ложность другого, т.е. p и q никогда не могут оказаться одновременно истинными.
Такими отношениями являются противоположность (контрарность) и противоречивость (контрадикторность).
Пример:
1. "Логическое определение любого качества через его противоположность является непродуктивным" (противоположность);
2. "Невозможно в одно и то же время находиться и не находиться в одном и том же месте" (противоречивость).
Совместимые и несовместимые отношения между двумя суждениями принято схематически изображать в виде так называемого "Логического квадрата":
Наряду с формами мышления формальная логика рассматривает в качестве своего предмета также и законы правильного мышления. Напомним, что традиционно под законами мышления понимаются необходимые, существенные, устойчивые, повторяющиеся связи между мыслями.
Наиболее фундаментальные связи между мыслями выступают здесь как основные формально-логические законы. К ним относятся законы: тождества, непротиворечия, исключенного третьего, достаточного основания.
Формально-логический закон тождества выступает как исходный принцип процесса правильного мышления, ибо соблюдение требований этого закона гарантирует определенность и ясность как основополагающие качества мышления. Сущностной характеристикой этого закона является тождественность развивающейся мысли. Иначе говоря, суть данного закона сводится к тому, чтобы в процессе определенного рассуждения всякие понятия и суждения оставались бы тождественными самим себе. Это требование к мышлению, выраженное законом тождества, выступает как нормативное правило (принцип) всякого правильного мышления.
Обратим внимание в этой связи на то, что понятие "тождественность" равносильно понятию "тожественность", т.е. понятию "быть тем же самым" (то же самое). Поэтому очевидно, что в точном смысле этого слова абсолютно тождественных объектов не бывает, и любой объект может быть абсолютно тождественным только самому себе, причем в одно и то же время и в одном и том же отношении!
