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