— мысль, выраженная в форме предложения, в к-ром нечто утверждается или отрицается об объектах, и являющаяся объективно либо истинной, либо ложной. Примеры С.: "Все планеты обращаются вокруг Солнца", "Если число делится на 10, то оно делится и на 5", "Иванов сдаст экзамен на "отлично". Два первых С. истинны. Третье может оказаться и ложным (если выяснится, что Иванов не сдал экзамен на "отлично"), хотя высказывавший эту мысль мог полагать, что он высказывает истину. Гипотеза также представляет собой С. и является объективно либо истинной, либо ложной, хотя она еще и не доказана и не опровергнута. Законы же науки — это С., истинность к-рых доказана. К числу С. не относятся мысли, к-рые не могут быть охарактеризованы с т. зр. истины или лжи (вопросы, приказания, просьбы и т. п.). С. можно подразделить на простые и сложные. В качестве простых в той или иной логической системе рассматриваются такие, к-рые в пределах этой системы являются неразложимыми на иные С. Сложные С. составляются из простых посредством различных логических связок (напр., союзов "и" (конъюнкция), "если... то" (импликация). Истинность или ложность сложных С. в рамках классической логики представляет собой функцию истинности или ложности простых: зная значения простых С., мы можем определять значения (истинность или ложность) сложных С.
|
