 |
 |
 |
 |
|
 |
 |
35
Большинство суждений, с которыми мы встречаемся в науке и особенно в повседневной жизни,
являются атрибутивными. В аристотелевской логике именно такие суждения только и анализировались.
Их логическая структура может быть выражена схемой:
S есть Р ,
где S обозначает субъект, т.е. предмет мысли, а Р – предикат, который обозначает свойство, которое
присуще предмету мысли; термин "есть (или "суть") – логическую связь между субъектом и
предикатом, т.е. принадлежность свойства предмету.
Если такая связь отсутствует, то суждение будет отрицательным и выражается схемой:
S не есть Р или S есть не-Р.
В реляционных (лат. relatio – отнесение) суждениях, суждениях об отношениях, которые стали
изучаться в середине прошлого века, речь идет об отношениях между различными предметами. Так, в
суждении "Тверь находится между Санкт-Петербургом и Москвой" характеризуется отношение в
пространстве, которое существует между указанными городами; в суждении "Эльбрус выше Монблана"
– отношение по высоте между горными вершинами; в суждении "Михаил – брат Георгия" – отношение
родства между братьями. Чаще всего суждения об отношениях встречаются в математике; с их
исследования и началась разработка логики отношений.
В современной логике свойства и отношения обозначаются общим термином "предикат" (лат.
praedicatum –
сказуемое), в котором различают число мест. Так,
свойство называют одноместным
предикатом, а
отношение "больше, чем" или "выше, чем", "старше, чем" и т.д. –
двухместным
(бинарным) отношением. Более подробно речь об отношениях пойдет в следующей главе, здесь же мы
продолжим рассмотрение суждений традиционной логики по качеству и количеству.
Термин "качество" употребляется в логике исключительно для характеристики принадлежности или
непринадлежности свойств предмету.
По качеству суждения могут быть утвердительными или отрицательными. Как показывает само их
название, утвердительными называются суждения, в которых говорится ("утверждается") о
принадлежности свойства предмету или присущности предиката субъекту, т.е. S есть Р. Например, "все
металлы – проводники электричества", "логика – наука", "некоторые грибы ядовиты".
Отрицательными называются суждения, в которых отрицается наличие свойства у предмета
(неприсущность предиката субъекту), т.е. S не-есть Р или S есть не-Р. Например, "ничто человеческое
мне не чуждо", "кит – не рыба", "астрология – не наука". Формально отрицательные суждения могут
быть преобразованы в утвердительные, в которых перед предикатом стоит отрицание:
S есть не-Р.
По количеству суждения делятся на общие, частные и единичные. Поскольку в суждении
выражается наличие или отсутствие свойства (отношения) у предметов, мы можем выделить среди них
такие, в которых интересующее нас свойство (отношение) принадлежат всем, нескольким и даже
единичному предмету. Очевидно, что отношение требует наличия по меньшей мере двух предметов,
тогда как принадлежность свойства предполагает существование всего одного предмета.
Характеристика суждений по количеству описывает область их применения, т.е. их значение (денотат).
Эта область может состоять из всех предметов класса, или некоторых, или даже одного предмета. Так,
суждение "все металлы электропроводны" будет называться общим, суждение "некоторые рыбы –
летающие" – частным, суждение "Москва – столица России" – единичным. Поскольку общие и частные
суждения могут быть утвердительными и отрицательными, их можно классифицировать на четыре
группы:
1) общеутвердительные, представляемые схемой: "все
S есть Р". В них свойство или предикат
относится к каждому предмету, входящему в класс;
2) общеотрицательные представляются схемой: "ни одно S не есть Р";
3) частноутвердительные: "некоторые S есть Р";
4) частноотрицательные: "некоторые S не есть Р".
Такая классификация пригодится нам при изучении силлогизмов в следующей главе.
Изучение логической структуры суждений позволяет выделить их логическую форму. В этих целях
мы абстрагируемся, отвлекаемся от конкретного содержания и смысла предложений, с помощью
которых они выражены в языке, и сосредоточиваем внимание только на том, как логически связаны
элементы суждения друг с другом. Именно так подошел к анализу суждений основатель классической
логики Аристотель, который использовал для обозначения логических терминов некоторые символы.