Георгий Рузавин - Логика и аргументация: Учебн. пособие для вузов.

Очевидно, что утверждения о свойствах и отношениях по своей логической структуре различны, но грамматически они выражаются повествовательными предложениями. Например, предложение "Эта осень - сухая", выражает мысль о свойстве настоящей осени, а предложение "3 больше 2." - устанавливает отношение между указанными натуральными числами.

Сама по себе мысль, пока она не выражена в языке, остается для нас неизвестной. Именно поэтому вместо суждения нередко пользуются более нейтральным термином "высказывание", который подчеркивает, что речь идет именно о мысли, сформулированной, высказанной, которая переводится предложением в сферу языка. В связи с этим возникает вопрос, следует ли понимать под высказыванием мысль вместе с предложением, как средством языкового выражения мысли.

На этот вопрос ученые отвечали по-разному, и он был предметом многочисленных дискуссий. Если не отделять мысль от средств ее выражения, то одна и та же мысль, высказанная на разных языках, будет представлять разные суждения. Но в таком случае были бы невозможны передача мысли и перевод с одного языка на другой. Поэтому критики этой точки зрения, среди которых можно назвать таких выдающихся логиков, как Г.В. Лейбниц, Б. Больцано, Г. Фреге и другие, заявляли, что мысль и суждение следует рассматривать в абстракции, отвлечении от средств ее выражения. Одна и та же мысль может звучать и формулироваться по-разному в различных языках, но ее содержание или смысл можно рассматривать как некоторую абстракцию, взятую отдельно от ее языкового выражения.

Как уже отмечалось в предыдущей главе, нередко в обычной речи не проводят четкого различия между смыслом и значением языкового выражения, вследствие чего могут возникнуть неясность и даже путаница. Чтобы избежать их, в логике под значением языкового выражения понимают тот предмет, который оно обозначает, а смыслом называют содержание или информацию, которую оно сообщает.

Смысл высказывания выражается содержанием или информацией, которую оно сообщает. Однако в отличие от конкретных имен, которые обозначают реальные предметы, высказывания имеют своими значениями абстрактные объекты: "истину" и "ложь".

Принципиальное отличие между суждениями (высказываниями), как логическими категориями, и предложениями, как категориями грамматическими, состоит в том, что только суждения в строгом смысле слова могут рассматриваться как истинные и ложные, предложения же могут характеризоваться как правильно или неправильно построенные.

Такое различие непосредственно вытекает из того, что суждение мы определяем как мысль, относящуюся к действительности, которая утверждает или отрицает наличие свойств у предметов или отношения между самими предметами. Если предметам в действительности присуще такое свойство или отношение, то суждение будет истинным, в противном случае - ложным. Поскольку суждение выражается предложением, постольку иногда говорят об истинности и ложности предложений, хотя это и неверно.

Различие между высказываниями и предложениями проявляется в их структуре. Грамматическая структура повествовательных предложений состоит из подлежащего, сказуемого и второстепенных членов предложения. В логике суждения также расчленяют на субъект, играющий роль логического подлежащего, и предикат - логическое сказуемое. Если субъект обозначает предмет мысли, то предикат характеризует свойства, присущие предмету, или же отношения между предметами. Введение отношений на первый план выдвигает

предикат, ибо в этом случае нельзя выделить индивидуальный субъект, к которому бы относилось данное отношение. Например, когда мы говорим, что "Эльбрус выше Монблана." или "5 больше 3.", то отношение "выше" относится к обеим горным вершинам, а отношение "больше" - к двум числам. Напротив, в суждениях "Эльбрус - горная вершина." или "5 - нечетное число." их предикаты относятся к одному определенному субъекту. Часто поэтому при сравнении суждений и предложений под первыми подразумевают атрибутивные суждения традиционной логики. Атрибутивными (лат. atributum - предназначенное, наделенное, присовокупленное) они называются потому, что выражают принадлежность или непринадлежность свойства предмету. Так, в суждении "железо - металл" свойства металла признаются неотъемлемыми признаками железа, а в суждении "2 - четное число" - свойство четности для числа 2. Такие свойства называются атрибутивными именно потому, что они признаются атрибутами рассматриваемых предметов, т.е. необходимо присущими или неприсущими им.

Большинство суждений, с которыми мы встречаемся в науке и особенно в повседневной жизни, являются атрибутивными. В аристотелевской логике именно такие суждения только и анализировались. Их логическая структура может быть выражена схемой:

S есть Р,

где S обозначает субъект, т.е. предмет мысли, а Р - предикат, который обозначает свойство, которое присуще предмету мысли; термин "есть (или "суть") - логическую связь между субъектом и предикатом, т.е. принадлежность свойства предмету.

Если такая связь отсутствует, то суждение будет отрицательным и выражается схемой:

S не есть Р или S есть не-Р.

В реляционных (лат. relatio - отнесение) суждениях, суждениях об отношениях, которые стали изучаться в середине прошлого века, речь идет об отношениях между различными предметами. Так, в суждении "Тверь находится между Санкт-Петербургом и Москвой" характеризуется отношение в пространстве, которое существует между указанными городами; в суждении "Эльбрус выше Монблана" - отношение по высоте между горными вершинами; в суждении "Михаил - брат Георгия" - отношение родства между братьями. Чаще всего суждения об отношениях встречаются в математике; с их исследования и началась разработка логики отношений.

В современной логике свойства и отношения обозначаются общим термином "предикат" (лат. praedicatum - сказуемое), в котором различают число мест. Так, свойство называют одноместным предикатом, а отношение "больше, чем" или "выше, чем", "старше, чем" и т.д. - двухместным (бинарным) отношением. Более подробно речь об отношениях пойдет в следующей главе, здесь же мы продолжим рассмотрение суждений традиционной логики по качеству и количеству.

Термин "качество" употребляется в логике исключительно для характеристики принадлежности или непринадлежности свойств предмету.

По качеству суждения могут быть утвердительными или отрицательными. Как показывает само их название, утвердительными называются суждения, в которых говорится ("утверждается") о принадлежности свойства предмету или присущности предиката субъекту, т.е. S есть Р. Например, "все металлы - проводники электричества", "логика - наука", "некоторые грибы ядовиты".