Введение в логику и научный метод
Шрифт:
§ 2. Традиционный анализ суждений
Согласно Аристотелю, все суждения либо утверждают, либо отрицают нечто. То, о чем нечто утверждается, называется субъектом, а то, что утверждается о субъекте, называется предикатом. Субъект и предикат называются терминами суждения. Суждение является синтезом, или объединением, терминов посредством связки, которая всегда представлена одной из форм глагола «быть».
Данный анализ нельзя с ходу применить к очень простым суждениям, таким как «идет дождь», «вчера был парад», и т. п. В первом случае мы не видим связки, во втором – «вчера» нельзя непосредственно предицировать «параду». Тем не менее, аристотелевский анализ будет в известной степени истинным, если мы сохраним различие между терминами и суждениями, но откажемся от условия, что должно быть только два термина. «Идет
В качестве терминов данные объекты становятся элементами суждений. Термин можно рассматривать двояко: либо как класс объектов (в котором может быть лишь один член), либо как множество признаков или характеристик, присущих данным объектам. Первый подход или аспект именуется денотацией, или объемом, термина, тогда как второй аспект – коннотацией, или содержанием. Так, объемом термина философ являются «Сократ», «Платон», «Фалес» [11] и т. п.; его содержанием будет «любящий мудрость», «разумный» и т. д.
Содержание и объем, являясь различными аспектами термина, тем не менее, неразрывны. Все слова и символы, за исключением чисто указательных (т. е. жестов, служащих для непосредственного указания на что-либо, или таких местоимений, как «этот»), обозначают некоторые признаки, благодаря которым их можно верно применять к ограниченному множеству объектов. Все общие термины могут быть применены к какому-нибудь объекту, даже если в определенный отдельно взятый период времени не существует объекта, обладающего необходимыми признаками для того, чтобы быть включенным в объем соответствующего термина. Содержание показывает, почему определенный термин применяется к некоторому множеству объектов. Само же множество объектов, к которому применяется термин, составляет его объем.
Мы не будем останавливаться на многих проблемах, связанных с объемом и содержанием. Однако будет удобно различить несколько смыслов, в которых термин «содержание» зачастую употребляется. Эти различия необходимо проводить, если мы хотим избежать элементарной путаницы.
1. Под «содержанием термина» иногда подразумевают совокупность тех признаков, которые предстают в сознании человека, использующего данный термин. Так, для кого-то термин «грабитель» означает «человек, насильственным и незаконным образом присваивающий чужую собственность и являющийся неприемлемым для общества» и т. п., но для другого человека он может означать «индивид, присваивающий не принадлежащую ему по закону собственность, стоимость которой превышает десять долларов, физически опасный вследствие недоброй предрасположенности» и т. п. Такое понимание содержания термина называется субъективным содержанием. Субъективное содержание термина изменяется в зависимости от использующего его человека и имеет скорее психологическую, чем логическую значимость.
2. «Содержание термина» может обозначать набор существенных признаков предмета. Слово «существенный» означает необходимое и достаточное условие для того, чтобы считать любой объект элементом данного термина. Такое условие обычно выбирается с помощью всеобщего согласия, и «содержание» в этом смысле называется конвенциональным содержанием, или коннотацией. Конвенциональное содержание, как мы еще сможем увидеть, конституирует определение термина.
3. «Содержание термина» может обозначать все признаки, которые общие у объектов, входящих в денотацию термина, независимо от того, знаем мы о них или нет. Оно называется объективным, или полным, содержанием. Так, конвенциональное содержание термина «треугольник Евклида» – это «плоская фигура, ограниченная тремя прямыми», а частью объективного содержания является «плоская фигура с тремя углами, плоская фигура, сумма углов которой равняется сумме двух прямых углов» и т. д.
Логическую важность имеет именно конвенциональное содержание термина. Денотация термина очевидным образом зависит от его коннотации. Можно ли использовать слово «эллипс» применительно к конкретной геометрической фигуре, определяется признаками, включенными в коннотацию этого термина. С точки зрения знания, которым мы обладаем, можно сказать, что понимание коннотации термина предшествует его денотативному использованию: прежде чем использовать термин «амеба», нам необходимо знать его коннотацию. Однако с точки зрения развития нашего знания подобное предшествие весьма сомнительно. Философы не смогли удержаться от соблазна, отдавая абсолютный
Рассмотрим теперь такие термины, как «фигура», «плоская фигура», «прямолинейная плоская фигура», «четырехугольник», «параллелограмм», «прямоугольник», «квадрат». Они перечислены в порядке подчиненности: термин «фигура» обозначает класс, который включает в себя денотацию термина «плоская фигура», и т. д. Каждый класс может быть обозначен как «род» относительно своего подкласса, который, в свою очередь, будет относительно него считаться видом. Таким образом, в приведенном примере денотация убывает: объем «параллелограмма» заключает в себя объем «прямоугольника» и т. д., но не наоборот. С другой стороны, содержание терминов из данного примера расширяется: содержание термина «прямоугольник» включает содержание «параллелограмма», но не наоборот. Данная закономерность отражает общее правило: когда последовательность терминов упорядочена, согласно их подчиненности, отношение между объемом и содержанием является обратным.
Однако данная формулировка отношения между объемом и содержанием не является точной. Во-первых, не следует понимать «обратное отношение» в строгом количественном смысле, поскольку добавление одного-единственного признака к содержанию термина в разных случаях сказывается по-разному на объеме. Так, объем термина «человек» сокращается гораздо значительнее при добавлении к его содержанию признака «проживший сто лет», чем при добавлении признака «здоровый». Во-вторых, изменениям в содержании могут вообще не сопутствовать изменения в объеме. Так, объем термина «университетский профессор» равен объему термина «университетский профессор старше пяти лет». Более того, следует иметь в виду, что обратное отношение между конвенциональным содержанием термина и его денотацией должно рассматриваться лишь для заданной предметной области (универсума рассуждения). Поэтому правило обратного отношения следует сформулировать следующим образом: если последовательность терминов упорядочена согласно увеличению содержания, то денотация терминов последовательности будет либо уменьшаться, либо останется без изменения.
Согласно традиционной логической теории, все суждения можно разложить на субъект, предикат и связку, как с точки зрения их содержания, так и с точки зрения их объема. С одной стороны, может показаться, что в суждении «все вишни являются сладкими» признак «являться сладким» относится к группе признаков, определяющих природу вишен. С другой стороны, данное суждение означает, что объекты, называемые вишнями, включены в денотацию термина «сладкий» [12] .
В традиционном подходе также выделяются и другие формы суждений, именуемые условными. Их обычно пытаются сводить к категорической форме. Ниже мы рассмотрим условные формы, равно как и прочие способы анализа суждений. На данном же этапе мы лишь отметим, что, согласно традиционному подходу, все суждения следует рассматривать в субъектно-предикатной форме, и только в ней [13] .
Суждения, очевидным образом не выражающие субъектно-предикатную форму, в таком случае должны быть изменены так, чтобы эта форма в них проявилась. Суждение «Германия проиграла войну» должно быть выражено как «Германия есть проигравшая в последней войне», где субъектом является «Германия», предикатом – «проигравшая в последней войне», а связкой, разумеется, «есть». При анализе суждения «десять есть больше пяти» «десять» будет субъектом, «число большее, чем пять» – предикатом, а «есть» – связкой [14] .