|
Каждое из утверждений (в логике они называются суждениями) предстает как форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами. При этом любое суждение может быть истинным (соответствующим действительности) или ложным (не соответствующим ей). Грамматически это просто повествовательное предложение. Не всякое предложение может быть суждением: вопросительные, побудительные и другие, ничего не утверждающие и ничего не опровергающие, элементами логики не являются. Полная структура простого суждения включает в себя четыре элемента: — субъект (S), понятие, которое является предметом мысли. В сопоставлении с грамматическими категориями это логическое подлежащее; — предикат (Р), понятие, отражающее то, что именно говорится о предмете, его свойствах или соотношении с другими объектами (логическое сказуемое); — связка (в языковой форме выражается словами «есть/не есть», «является/не является»), которая отражает наличие или отсутствие определенной связи между субъектом и предикатом; — некий дополнительный определитель, который позволяет говорить о всеобщности («все S», «каждое S», «ни одно S… не»), особенности («некоторые S», «многие S», «часть S»), или единственности («это S», «данное S»), и отражают количественную характеристику суждения. Если объединить количественную и качественную характеристики, мы получим следующую классификацию суждений: — общеутвердительные («Все S есть Р»), — частноутвердительные («Некоторые S есть Р»), — общеотрицательные («Ни один S не есть Р»), — частноотрицательные («Некоторые S не есть Р)». При этом суждение может только утверждать или, напротив, только отрицать что-либо. Последнее обстоятельство является одним из основополагающих законов классической логики. Из двух высказываний: «А» или «не А» одно обязательно является истинным. Другими словами, два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными или одновременно истинными, одно из них либо истинно, либо ложно. Этот закон называется законом исключенного третьего, и образует собой краеугольный камень не только логики, но и всей математики. Казалось бы, все строго и безупречно. Но вот вопрос: применим ли этот закон к реальной действительности? Конечно, там, где речь идет о сравнительно простых явлениях, сомнений не возникает. Но что будет, если вспомнить о сложных? Обратимся к Библии, среди прочего, заповедовавшей нам запрет на всякое убийство. В одной из ее книг говорится о том, как ассирийская армия под предводительством Олоферна осадила город Ветилуе. Юдифь, богатая и красивая, уважаемая всеми за набожность вдова, пробралась во вражеский лагерь… дождавшись когда Олоферн напьется и уснет, Юдифь отрубила ему голову.[13] — 19 —
|