Логика не может гарантировать полезность или даже истинность суждений о фактах, точно так же как производитель скальпелей не может гарантировать успешности операций, которые будут проводиться с помощью произведенных им изделий. Однако, превознося выдающегося хирурга, мы не должны забывать и о том, чтобы отдать должное качеству скальпеля, с которым он так умело обращается. Таким образом, метод логики, шлифующий и совершенствующий интеллектуальный инструментарий, никогда не заменит использующих его великих мастеров, однако правда и то, что совершенный инструментарий является одним из необходимых условий мастерства [8] .
Книга I. Формальная логика
Глава II. Анализ суждений
§ 1. Что такое суждение?
В предыдущей главе мы определили логику как дисциплину, изучающую отношение импликации между суждениями, т. е. отношение между посылками и заключениями, с помощью которого истинность или ложность одного множества определяет истинность или ложность другого. Таким образом, как посылки, так и заключения являются суждениями, и, исходя из задач, стоящих перед логикой, суждение можно определить как все, что может быть истинным или ложным. Данное определение будет более понятным, если мы также скажем, чем суждение не является.
1. Суждение не то же самое, что и предложение, в котором оно излагается. В трех разных предложениях – «Я мыслю, следовательно, я существую», «Je pense, done je suis», «Cogito ergo sum» – излагается одно и то же суждение. Предложение – это группа слов, а слова, как и все другие символы, сами по себе являются физическими объектами, отличными от того, на что они указывают или что символизируют. Будучи написанными, предложения занимают определенные поверхности, а будучи высказанными, они являются звуковыми волнами, переходящими от одного организма к другому. Однако суждение, вербальным выражением которого является предложение, отличается от видимых меток или звуковых волн конкретного выражения. Таким образом, предложения обладают физическим существованием. Они могут соответствовать или не соответствовать определенному вкусу или стандартам использования. Но они не являются истинными или ложными. Истина или ложь могут утверждаться только относительно суждений, обозначаемых предложениями.
2. При этом наряду с необходимостью отличать суждение от символов, в которых оно излагается, следует отметить, что ни одно суждение не может быть выражено или передано без символов. Следовательно, структура суждения должна быть выражена и сообщена посредством соответствующей структуры символов. Это требуется для того, чтобы суждение не могло быть передано с помощью какой угодно комбинации символов. «Джон крыса синий Джонс», «ходить сел есть очень» не являются символами, выражающими суждения. Данные символы – просто бессмыслица, если, конечно, мы не имеем дела с каким-либо кодом. Только определенные компоновки символов могут выражать суждение. И именно поэтому изучение систем обозначений обладает неоценимой значимостью для правильного анализа структуры суждений. И именно поэтому грамматика языка, несмотря на несходство грамматического и логического анализа, зачастую способна прояснить различия, которые по своей природе являются логическими.
3. Суждение, как мы сказали, является тем, относительно чего осмыслены вопросы об истинности и ложности. Следовательно, когда Гамлет восклицает: «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» [9] или же когда он спрашивает: «К чему тебе плодить грешников?», он не утверждает никакого суждения, а если и утверждает, то только имплицитно. Дело в том, что пожелания, вопросы или команды сами по себе не могут быть истинными или ложными. При этом следует отметить, что вразумительность пожеланий, вопросов и команд основывается на допущениях о том, что определенные положения дел преобладают. А такие допущения содержат суждения. Для примера рассмотрим вопрос: «К чему тебе плодить грешников?» В нем, помимо многих других суждений, несомненно, предполагается, что особа, к которой обращаются, существует, способна рожать детей и что эти дети обязательно будут грешниками. Сходным образом в восклицании «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» предполагается, что говорящий способен обладать мыслями, что эти мысли могут быть смертоносными, что они могут иметь некую ценность и т. д. Более того, команду или пожелание можно представить в декларативной форме, которая, как правило, выражает определенное суждение. Примером тому являются следующие переформулировки: «я хочу, чтобы ты пришел», «мне будет приятно, если ты придешь», «ты пожалеешь, если не придешь». Декларации являются суждениями в той степени, в какой то, что в них сообщается, может быть истинным или ложным.
4. Суждения часто спутываются с психическими актами, необходимыми для того, чтобы иметь суждение. Данная путаница происходит из понимания термина «суждение» как субстантивированного глагола. Это приводит к туманностям, ибо в одних случаях этим термином обозначается психический акт вынесения определенного суждения, а в других – само суждение, как содержание такого акта. Однако точно так же, как мы провели различие между суждением (как объективным смыслом) и предложением, в котором оно выражается, мы должны разграничить суждение и акт психики, связанный с вынесением суждения [10] .
5. Суждения также не должны отождествляться с каким-либо конкретным объектом, вещью или событием. Они являются в лучшем случае лишь отдельными абстрактными отношениями между вещами. Когда мы утверждаем или отрицаем суждение «Луна находится ближе к Земле, чем Солнце», то ни Луна, ни Земля, ни Солнце, равно как и расстояние между ними, не являются суждением. Суждение – это отношение, которое утверждается как существующее между этими телами. Такие отношения, как объекты нашей мысли, являются элементами или аспектами реальных, конкретных ситуаций. Эти аспекты находятся в неразрывной пространственно-временной связи со всеми остальными составными элементами соответствующих ситуаций, однако их отличительная особенность заключается в их смысле. Именно поэтому чувственный опыт не может превратиться в знание без рефлексивного анализа того, что мы воспринимаем. А знание – это знание суждений, и обладать им можно, только различая отношения, присутствующие между абстрактными свойствами соответствующей ситуации.
6. Мы определили суждение как нечто, способное быть истинным или ложным. Однако это не означает, что мы обязаны знать его истинностное значение. «Рак излечим» является суждением, однако мы не знаем, истинно оно или нет.
Это, однако, приводит к известному затруднению, заключающемуся в том, что иногда мы не в состоянии определить, выражает ли некоторое предложение какое-либо суждение. Рассмотрим, к примеру, выражение «ярд состоит из трех футов». Задаемся ли мы вопросом об истинности или ложности, когда формулируем его? Следует признать, что данное предложение имеет вид предложения, выражающего некое суждение. Однако если мы проанализируем его содержание, то обнаружим, что оно выражает скорее некую резолюцию, чем нечто способное быть истинным или ложным. Мы решаем использовать единицу измерения, равную трем футам. Однако резолюции как таковой не может приписываться истинность или ложность. Резолюции, зачастую принимающие форму определений, выражаются способами, сходными с тем, как выражаются суждения, однако их следует отличать от суждений.
Вопрос о том, используется ли слово «ярд» согласно своему определению, разумеется, имеет фактическую природу, и ответ на него может быть истинным или ложным. Однако в данных суждениях речь идет о языковом использовании, а не об объектах, обозначаемых словами, входящими в состав суждений.
7. Еще одна сложность возникает вследствие того обстоятельства, что мы зачастую считаем, что одни и те же суждения иногда могут быть истинными, а иногда ложными. Однако наше определение суждения исключает подобную возможность и предполагает, что если некое суждение истинно, то оно должно быть истинным всегда. Как часто простые люди используют подобные реплики: «То, что ты говоришь, бывает истинным, но не всегда». Данная позиция относится к утверждениям типа «религия учит любить ближних», «тяжело противостоять соблазну», «повинную голову меч не сечет». Данную сложность мы можем преодолеть, признав, что если в данных суждениях утверждается, что нечто является всеобщим правилом, то наличие исключения лишь докажет их ложность. В суждении «иногда религия учит ненавидеть ближних» не утверждается абсурдная идея о том, что общее суждение «религия всегда учит ненавидеть ближних» иногда является истинным.
Быть может, следующий пример позволит лучше понять данную мысль. Создается впечатление, что суждение «нынешний губернатор Коннектикута – доктор Кросс» истинно в течение определенных лет, но, разумеется, не на все времена. Подобный анализ, однако, является неадекватным, поскольку фраза «нынешний губернатор», несомненно, предполагает определенную дату. Таким образом, эксплицитно включая в наше выражение нужную дату, мы получаем выражения для разных суждений, некоторые из которых будут истинными, а некоторые – ложными. Вообще говоря, утверждения, делаемые нами в обыденной речи, редко содержат все необходимые условия для определения их истинности или ложности. Одни из этих условий мы осознаем, о других не догадываемся. Неполное выражение не является ни истинным, ни ложным. И когда мы говорим, что некоторое суждение иногда истинно, а иногда ложно, мы имеем в виду лишь то, что используемое нами утверждение может быть закончено различными способами, выражающими иногда истинные, а иногда ложные суждения.
§ 2. Традиционный анализ суждений
Согласно Аристотелю, все суждения либо утверждают, либо отрицают нечто. То, о чем нечто утверждается, называется субъектом, а то, что утверждается о субъекте, называется предикатом. Субъект и предикат называются терминами суждения. Суждение является синтезом, или объединением, терминов посредством связки, которая всегда представлена одной из форм глагола «быть».
Данный анализ нельзя с ходу применить к очень простым суждениям, таким как «идет дождь», «вчера был парад», и т. п. В первом случае мы не видим связки, во втором – «вчера» нельзя непосредственно предицировать «параду». Тем не менее, аристотелевский анализ будет в известной степени истинным, если мы сохраним различие между терминами и суждениями, но откажемся от условия, что должно быть только два термина. «Идет дождь» и «вчера был парад» по праву считаются суждениями, поскольку они отвечают нашим требованиям, т. е. являются либо истинными, либо ложными. «Дождь» или «парад» не являются суждениями, поскольку они не являются истинными или ложными. Когда мы слышим слово «дождь» или слово «парад», мы спрашиваем: «Что дождь?» или «Что парад?». Вопросы об истинности или ложности могут подниматься только относительно некоторых утверждений об этих объектах.
В качестве терминов данные объекты становятся элементами суждений. Термин можно рассматривать двояко: либо как класс объектов (в котором может быть лишь один член), либо как множество признаков или характеристик, присущих данным объектам. Первый подход или аспект именуется денотацией, или объемом, термина, тогда как второй аспект – коннотацией, или содержанием. Так, объемом термина философ являются «Сократ», «Платон», «Фалес» [11] и т. п.; его содержанием будет «любящий мудрость», «разумный» и т. д.
Содержание и объем, являясь различными аспектами термина, тем не менее, неразрывны. Все слова и символы, за исключением чисто указательных (т. е. жестов, служащих для непосредственного указания на что-либо, или таких местоимений, как «этот»), обозначают некоторые признаки, благодаря которым их можно верно применять к ограниченному множеству объектов. Все общие термины могут быть применены к какому-нибудь объекту, даже если в определенный отдельно взятый период времени не существует объекта, обладающего необходимыми признаками для того, чтобы быть включенным в объем соответствующего термина. Содержание показывает, почему определенный термин применяется к некоторому множеству объектов. Само же множество объектов, к которому применяется термин, составляет его объем.
Мы не будем останавливаться на многих проблемах, связанных с объемом и содержанием. Однако будет удобно различить несколько смыслов, в которых термин «содержание» зачастую употребляется. Эти различия необходимо проводить, если мы хотим избежать элементарной путаницы.
1. Под «содержанием термина» иногда подразумевают совокупность тех признаков, которые предстают в сознании человека, использующего данный термин. Так, для кого-то термин «грабитель» означает «человек, насильственным и незаконным образом присваивающий чужую собственность и являющийся неприемлемым для общества» и т. п., но для другого человека он может означать «индивид, присваивающий не принадлежащую ему по закону собственность, стоимость которой превышает десять долларов, физически опасный вследствие недоброй предрасположенности» и т. п. Такое понимание содержания термина называется субъективным содержанием. Субъективное содержание термина изменяется в зависимости от использующего его человека и имеет скорее психологическую, чем логическую значимость.
2. «Содержание термина» может обозначать набор существенных признаков предмета. Слово «существенный» означает необходимое и достаточное условие для того, чтобы считать любой объект элементом данного термина. Такое условие обычно выбирается с помощью всеобщего согласия, и «содержание» в этом смысле называется конвенциональным содержанием, или коннотацией. Конвенциональное содержание, как мы еще сможем увидеть, конституирует определение термина.
3. «Содержание термина» может обозначать все признаки, которые общие у объектов, входящих в денотацию термина, независимо от того, знаем мы о них или нет. Оно называется объективным, или полным, содержанием. Так, конвенциональное содержание термина «треугольник Евклида» – это «плоская фигура, ограниченная тремя прямыми», а частью объективного содержания является «плоская фигура с тремя углами, плоская фигура, сумма углов которой равняется сумме двух прямых углов» и т. д.
Логическую важность имеет именно конвенциональное содержание термина. Денотация термина очевидным образом зависит от его коннотации. Можно ли использовать слово «эллипс» применительно к конкретной геометрической фигуре, определяется признаками, включенными в коннотацию этого термина. С точки зрения знания, которым мы обладаем, можно сказать, что понимание коннотации термина предшествует его денотативному использованию: прежде чем использовать термин «амеба», нам необходимо знать его коннотацию. Однако с точки зрения развития нашего знания подобное предшествие весьма сомнительно. Философы не смогли удержаться от соблазна, отдавая абсолютный приоритет то содержанию, то объему. На разработку данного вопроса было потрачено много сил. При этом нет ничего неверного в том, чтобы считать, что развитие нашего знания относительно содержания и объема происходит параллельно, поскольку оба они являются неотъемлемыми аспектами значения термина. Определенный набор предметов, таких как куски железа, бронзы и жести, может быть отобран с некоторой целью, для достижения которой могут оказаться существенными такие общие свойства этих предметов, как твердость, непрозрачность, плавкость и блеск. Как следствие, данные объекты могут быть названы общим термином: «металл». Затем эти примечательные способности могут быть взяты в качестве критериев для включения других объектов в денотацию этого термина. Более близкое знакомство с этими объектами позволит нам усмотреть качества, являющиеся более надежными в определении наличия некоторых других качеств. Благодаря этому мы сможем относить некоторые объекты к одной и той же группе, невзирая на их кажущиеся различия, и точно так же разделять иные объекты по разным группам, несмотря на их внешнее сходство. Таким образом, конвенциональное содержание термина «металл» постепенно модифицируется. Придание термину удовлетворительного конвенционального содержания (или определения) – нелегкая задача, явившаяся достаточно поздним достижением человеческой мысли.
Рассмотрим теперь такие термины, как «фигура», «плоская фигура», «прямолинейная плоская фигура», «четырехугольник», «параллелограмм», «прямоугольник», «квадрат». Они перечислены в порядке подчиненности: термин «фигура» обозначает класс, который включает в себя денотацию термина «плоская фигура», и т. д. Каждый класс может быть обозначен как «род» относительно своего подкласса, который, в свою очередь, будет относительно него считаться видом. Таким образом, в приведенном примере денотация убывает: объем «параллелограмма» заключает в себя объем «прямоугольника» и т. д., но не наоборот. С другой стороны, содержание терминов из данного примера расширяется: содержание термина «прямоугольник» включает содержание «параллелограмма», но не наоборот. Данная закономерность отражает общее правило: когда последовательность терминов упорядочена, согласно их подчиненности, отношение между объемом и содержанием является обратным.
Однако данная формулировка отношения между объемом и содержанием не является точной. Во-первых, не следует понимать «обратное отношение» в строгом количественном смысле, поскольку добавление одного-единственного признака к содержанию термина в разных случаях сказывается по-разному на объеме. Так, объем термина «человек» сокращается гораздо значительнее при добавлении к его содержанию признака «проживший сто лет», чем при добавлении признака «здоровый». Во-вторых, изменениям в содержании могут вообще не сопутствовать изменения в объеме. Так, объем термина «университетский профессор» равен объему термина «университетский профессор старше пяти лет». Более того, следует иметь в виду, что обратное отношение между конвенциональным содержанием термина и его денотацией должно рассматриваться лишь для заданной предметной области (универсума рассуждения). Поэтому правило обратного отношения следует сформулировать следующим образом: если последовательность терминов упорядочена согласно увеличению содержания, то денотация терминов последовательности будет либо уменьшаться, либо останется без изменения.
Согласно традиционной логической теории, все суждения можно разложить на субъект, предикат и связку, как с точки зрения их содержания, так и с точки зрения их объема. С одной стороны, может показаться, что в суждении «все вишни являются сладкими» признак «являться сладким» относится к группе признаков, определяющих природу вишен. С другой стороны, данное суждение означает, что объекты, называемые вишнями, включены в денотацию термина «сладкий» [12] .
В традиционном подходе также выделяются и другие формы суждений, именуемые условными. Их обычно пытаются сводить к категорической форме. Ниже мы рассмотрим условные формы, равно как и прочие способы анализа суждений. На данном же этапе мы лишь отметим, что, согласно традиционному подходу, все суждения следует рассматривать в субъектно-предикатной форме, и только в ней [13] .
Суждения, очевидным образом не выражающие субъектно-предикатную форму, в таком случае должны быть изменены так, чтобы эта форма в них проявилась. Суждение «Германия проиграла войну» должно быть выражено как «Германия есть проигравшая в последней войне», где субъектом является «Германия», предикатом – «проигравшая в последней войне», а связкой, разумеется, «есть». При анализе суждения «десять есть больше пяти» «десять» будет субъектом, «число большее, чем пять» – предикатом, а «есть» – связкой [14] .
Вполне несложно выразить вербально в субъектно-предикатной форме любое суждение. Однако такое вербальное отождествление зачастую скрывает фундаментальные логические различия. Основой критики традиционной логики со стороны современной явилось указание на то, что традиционный подход приписывает единую (категорическую) форму суждениям, существенно различающимся по форме.
Читателю может быть невдомек, в чем значимость подобного спора о подходах к анализу суждений. Ответ прост. Анализ суждений осуществляется с целью выявления того, какие выводы можно обоснованно сделать, исходя из тех или иных суждений. Следовательно, если имеет место множественность форм суждений, а любая форма или структура детерминирует обоснованность умозаключения, то соответствующее усовершенствование анализа суждений может позволить нам достигнуть более точного понимания области возможных умозаключений.
Еще одна причина важности анализа структуры суждений заключается в стремлении выработать некие стандартные или канонические способы демонстрации того, что мы хотим утверждать. Мы хотим отыскать некие канонические формулировки суждений определенного типа, с тем чтобы ускорить процесс вывода. Так, в элементарной алгебре крайне удобно записать квадратное уравнение 5х2 = Зх – 5 в стандартной форме: 5х2 – Зх + 5 = 0. Это удобно потому, что мы знаем корни общего квадратного уравнения в стандартной форме ах2 + Ьх + с = 0, и нам несложно отыскать численный ответ нашей задачи. Более того, если мы примем стандартную форму записи уравнений, нам будет гораздо легче сравнивать различные уравнения и усматривать их сходства. То же самое имеет место и в логике. Если мы один раз определим критерии обоснованности умозаключений, отталкивающихся от суждений, выраженных в стандартной форме, то проведение всех последующих умозаключений становится почти механическим.
При этом сведение к стандартной форме суждения, выраженного в определенной вербальной форме, следует осуществлять очень осторожно, чтобы ничего не упустить из его изначального значения. Так, например, довольно сложно поверить в то, что при сведении к стандартной форме строчки из стихотворения Китса сохраняются все оттенки смысла, содержавшиеся в ней изначально.
Категорические суждения классифицируются по количеству и по качеству. В суждении «все бифштексы – сочные» нечто утверждается о каждом бифштексе, тогда как в суждении «некоторые бифштексы – жесткие» информация относится лишь к неопределенной части класса бифштексов. Суждения, в которых нечто предицируется всему классу, называются общими, а те, в которых нечто предицируется неопределенной части класса, называются частными. Частицы «все» и «некоторые» именуются знаками количества, поскольку они указывают на величину той части субъекта, относительно которой утверждается предикат. Различие между этими частицами проявляется более явно, если частицу «все» называть знаком определенного класса, а частицу «некоторые» – знаком неопределенной части класса. В обыденной речи знаки количества неясны. Так, суждение «некоторые профессора являются сатирическими», как правило, будет пониматься в том смысле, что некая часть, но не весь класс профессоров является сатирической. В данном случае «некоторые» означает «некоторые, но не все». С другой стороны, суждение «у некоторых читателей данной книги не возникнет трудностей в ее понимании» будет скорее понято, как утверждающее то, что некая часть читателей, не исключая и всего класса, не будет иметь трудностей в понимании книги. В данном случае «некоторые» означает «некоторые и, возможно, все». Мы избежим данной двусмысленности, договорившись, что в логике частица «некоторые» будет пониматься во втором смысле, т. е. как не исключающая всего класса.
Иная двусмысленность проявляется при употреблении слова «все». Иногда оно обозначает всех членов конечного и пронумерованного набора как в суждении «все книги на этой полке – философские». В других же ситуациях, как, например, в суждении «все люди смертны» «все» означает «все возможные» и не может без потери для изначального значения рассматриваться как относящееся лишь к ограниченному числу людей, которые, скажем, существуют сейчас или существовали когда-либо. Данное различие имеет первостепенное значение, и мы столкнемся с ним при обсуждении индукции и дедукции. Много заблуждений происходит по причине неучтения данного различия.
Является ли суждение «Тайс была гетерой в Александрии» общим или частным? Читателю может показаться, что частным. Однако он будет не прав, т. к. в таком случае он будет использовать частицу «некоторые» в смысле, отличающемся от того, который применяется в классификации суждений. На основании определения общих суждений как суждений, в которых нечто утверждается обо всем субъекте, данное суждение следует считать общим. Мы считаем, что это было бы еще более очевидным, если бы вместо терминов «общее» и «частное» использовались бы термины «определенное» и «неопределенное». В традиционной логике, однако, такие суждения иногда называются единичными, поскольку в них мы утверждаем нечто относительно одного индивида. Согласно традиционному подходу, единичные суждения следует, тем не менее, классифицировать как общие. Данное заключение, однако, не может считаться удовлетворительным в свете более тонкого анализа. Даже люди, не имеющие предварительной подготовки, смутно чувствуют, что существует разница в форме между суждением «доктор Смит является человеком, внушающим доверие» и суждением «все медики являются людьми, внушающими доверие». Такое чувство расходится с позицией традиционной логики. Современная логика поддерживает данное чувство, ясно демонстрируя, что эти суждения на самом деле являются примерами различных логических форм. При этом для многих целей использование традиционной логики, приписывающей данным суждениям одинаковую структуру, является вполне допустимым.
Второй принцип классификации категорических суждений – это их качество. В суждении «все змеи ядовиты» о субъекте утверждается предикат. Такое суждение называется утвердительным. В суждении «ни одна демократия не является приемлемой» о субъекте нечто отрицается. Такое суждение является отрицательным. Если мы посмотрим на категорическое суждение как отношение между классами индивидов, то в утвердительном суждении будет утверждаться включение одного класса или части класса другим классом, тогда как в отрицательном суждении утверждается исключение одного класса или части класса из другого. Из этого следует, что отрицательную частицу, являющуюся знаком качества, нужно рассматривать как относящуюся к связке, а не субъекту или предикату.
Как нам классифицировать суждение «все граждане не являются патриотами»? Данное суждение похоже на отрицательное, а знак количества, похоже, указывает на то, что оно общее. Однако, с одной стороны, его можно рассматривать как утверждающее, что «ни один гражданин не является патриотом», но, с другой стороны, оно может быть понято как отрицающее, что «все граждане являются патриотами», или же утверждающее, что «некоторые граждане не являются патриотами» [15] . Выражения, в которых используются слова «все… не», как показано в вышеприведенном примере или как видно на примере суждения «все, что блестит, не является золотом», по своей сути двусмысленны. В подобных случаях нам следует определить, что имеется в виду, и только затем выражать сказанное в ясной форме.
Таким образом, на основании различий, проведенных по количеству и качеству, мы можем насчитать четыре формы категорических суждений. «Все трезвенники живут недолго» является общеутвердительным суждением и обозначается буквой « А ». «Ни один политик не является злобным» является общеотрицательным суждением и обозначается буквой «Е». «Некоторые профессора являются мягкосердечными» – частноутвердительное суждение, обозначающееся буквой « I ». «Некоторые язычники не являются глупыми» – частноотрицательное и обозначается буквой «О». Буквы « А » и « I » традиционно использовались для утвердительных суждений: они являются первыми двумя гласными в слове «affirmo» [16] , тогда как « Е » и « О » обозначают отрицательные суждения: они – гласные в слове «nego» [17] .
В таких суждениях, как «только те, кто зол, счастливы», «только ленивые – бедные», «никто, кроме дикарей, не является здоровым», нечто предицируется чему-то исключительным образом. Поэтому такие суждения называются исключительными. Традиционная логика сводит их к канонической форме категорических суждений. Например, в суждении «только те, кто зол, счастливы» утверждается то же самое, что и в суждении «все счастливые люди – злы». В суждении «никто, кроме храбрых, не заслуживает справедливости» утверждается то же самое, что и в суждении «все, кто заслуживает справедливости, храбры». В суждении «никто, кроме старшекурсников, не допускается» утверждается то же самое, что и в суждении «допускаются только старшекурсники».
В таких суждениях, как «все студенты, кроме первокурсников, могут курить», «все, кроме нескольких, были убиты», «детям, кроме тех, которых привели родители, вход воспрещен», предикат отрицается относительно некоторой части денотации субъекта. Поэтому такие суждения называются исключающими. Их также можно выразить в стандартной форме категорических суждений, поскольку любое исключающее суждение можно сформулировать как исключительное. Так, «все студенты, кроме первокурсников, могут курить» может быть сведено к суждению «из всех студентов только первокурсники не могут курить». Следовательно, данное исключающее суждение может быть сформулировано как суждения вида А: «Все студенты, которые не могут курить, являются первокурсниками».
На данном этапе мы введем новый технический термин. Входящий в суждение термин мы будем называть распределенным, когда он указывает на все обозначаемые им индивиды. Нераспределенным мы будем называть термин, если он указывает лишь на неопределенную часть обозначаемых им индивидов.
Теперь определим, какие из терминов в каждом из четырех типов суждений являются распределенными. Не вызывает сомнения, что в общих суждениях субъект всегда является распределенным, а в частных – нераспределенным. Какова ситуация с предикатными терминами? В суждении «все судьи являются справедливыми» указываются ли все индивиды, обозначаемые словом «справедливый»? Разумеется, не все, поскольку в суждении ничего не говорится о том, являются ли все справедливые люди судьями. Поэтому предикат в суждениях типа А является нераспределенным. То же самое можно сказать и про суждения типа I. Таким образом, можно сделать заключение, что в утвердительных суждениях предикат не распределен.
Сохраняется ли эта закономерность для отрицательных суждений? Рассмотрим суждение «ни один полицейский не является красивым». В данном суждении утверждается не только то, что каждый человек, обозначаемый термином «полицейский», исключается из класса людей, обозначаемых термином «красивый», но также и то, что все индивиды, составляющие объем термина «красивый», также исключаются из объема термина «полицейский». Следовательно, предикат в суждениях типа Е является распределенным. То же самое относится и к суждениям типа О. Так, в суждении «некоторые из моих книг не находятся на этой полке» некоторая неопределенная часть класса, представляемого субъектом, исключается из целого класса, обозначаемого предикатом. Это станет более понятным, если читатель задастся вопросом о том, какую часть находящихся на полке книг ему придется проверить, чтобы убедиться в истинности данного суждения. Разумеется, проверить лишь часть находящихся на полке книг будет недостаточно. Читателю придется проверить все книги на полке. Следовательно, предикат является распределенным.
Мы можем резюмировать наше рассуждение, сказав, что в общих суждениях субъект является распределенным, тогда как в частных – нераспределенным. Что касается предиката, то он является распределенным только в отрицательных суждениях, а в утвердительных суждениях – нераспределенным.
Понятие распределенности терминов имеет большое значение в традиционной логике и играет ключевую роль в теории силлогизма. Поэтому мы рекомендуем читателю хорошо его усвоить. Мимоходом отметим, что субъектно-предикатный анализ суждений вместе с понятием распределенности может привести к неизящным результатам. Так, согласно традиционному анализу, суждение «Сократ был курносым» является общим, а его субъект должен быть распределенным, поскольку курносость предицируется всему Сократу. Однако в то время на основании таких общих суждений, как «все дети – жадные», можно получить соответствующее им частное суждение, в котором субъект «дети» будет нераспределенным, частного суждения, которое соответствовало бы единичным суждениям, найти нельзя. Термин «Сократ» ни при каких обстоятельствах не может быть нераспределенным. Ниже мы столкнемся еще с рядом аспектов, в которых общие и единичные суждения не рассматриваются традиционной логикой как симметричные.
Структуру четырех типов категорических суждений можно выразить в более интуитивно понятном виде, если принять определенные схематические изображения. Для выражения структуры категорических суждений было изобретено много методов, каждый из которых служил определенным целям. Самый ранний метод был предложен швейцарским математиком Эйлером, жившим в XVIII веке. Мы рассмотрим его метод в несколько модифицированном виде.
Примем следующие конвенции. Круг, нарисованный сплошной линией, будет означать распределенный термин. Круг, изображенный (частично или полностью) пунктиром, будет означать нераспределенный термин. Круг, нарисованный внутри другого круга, будет означать то, что один класс включен в другой класс. Два несоприкасающихся круга будут означать взаимное исключение двух классов. Наконец, два пересекающихся круга будут означать либо неопределенное частичное включение, либо неопределенное частичное исключение.
Четыре отношения между классами, обозначаемыми терминами «дворник» и «бедняк», характеризуют четыре категорических суждения (в каждом из которых субъект представлен термином «дворник») и схематично могут быть выражены следующим образом:
Круг с буквой «S» означает класс «дворники» (субъект), а круг с буквой «Р» означает класс «бедняки» (предикат).
Иногда удобно пользоваться другим методом, выражающим структуру категорических суждений. Его разработал английский логик Джон Венн. Сначала мы усматриваем то, что каждое суждение неявно указывает на некоторый контекст, в рамках которого оно является значимым. Так, суждение «Гамлет убил Полония» указывает на пьесу Шекспира. Назовем область указания предметной областью (универсумом рассуждения) и представим его на схеме в виде прямоугольника. Читатель может видеть, что два класса, вместе с их отрицаниями, образуют лишь четыре комбинации. (Под термином «отрицание класса» понимается что угодно в предметной области, не входящее в данный класс.) Например, в предметной области, состоящей только из людей, существуют объекты, являющиеся и дворниками, и бедняками (символически выраженные как SP), или которые являются дворниками, но не бедняками (
), или не являющиеся дворниками, но являющиеся бедняками (
), или ни теми, ни другими (
). Предметная область, таким образом, делится на четыре возможных сектора. Однако не всегда такие возможные отсеки будут содержать индивидов в качестве членов. В каких отсеках будут индивиды, а в каких нет, будет зависеть от того, что утверждается в суждениях, указывающих на соответствующую предметную область.
Поэтому изобразим два пересекающихся круга внутри прямоугольника. Мы автоматически получим четыре различных сектора, по одному на каждую из указанных логических возможностей. Поскольку в суждении типа А утверждается, что все дворники включены в класс бедняков, класс дворников, не являющихся бедняками, не может содержать никаких членов. Чтобы проявить это на схеме, договоримся заштриховывать соответствующий сектор. Таким образом, на схеме для суждения типа А будет показано, что сектор
пуст. Мы также можем продемонстрировать это более наглядно, написав под прямоугольником «
= 0», где «0» означает, что данный класс не содержит членов. Далее суждение «все дворники – бедняки» подразумевает, что в его предметной области не существует индивидов, которые являлись дворниками, но не бедняками.
В случае с суждением типа I процедура его выражения – несколько иная. Если мы зададимся вопросом о том, что, собственно, утверждается в суждении «некоторые дворники – бедняки», то обнаружим, что в нем не утверждается, что существуют индивиды, являющиеся дворниками, но не бедняками (здесь читатель может вспомнить, что нами было сказано выше относительно значения слова «некоторые»). В данном суждении также не утверждается и того, что в каждом из четырех секторов содержатся члены. Минимум, необходимый для того, чтобы данное суждение было истинным, заключается в требовании того, чтобы класс индивидов, которые являются дворниками и бедняками, не был пустым.
Договоримся обозначать данный минимум изображением звездочки в секторе SP, которая будет указывать на то, что он не является пустым. Тем самым мы не уточняем, содержатся члены в других секторах или нет. Еще один способ обозначить непустой сектор – это написать «SP ≠ 0» под прямоугольником. Данная запись сообщает, что в данном неравенстве часть, находящаяся слева, не лишена членов. Читателю следует подробно изучить оставшиеся схемы. Он обнаружит, что анализ суждений типа Е и О похож на анализ суждений типа А и I соответственно.
Если мы на данном этапе сравним наши схемы, то обнаружим, что между общими и частными суждениями имеет место примечательное различие. В общих суждениях не утверждается существование каких-либо индивидов, но при этом в них также попросту отрицается существование индивидов того или иного вида. В частных суждениях не отрицается существование чего-либо, однако просто утверждается то, что некоторые классы имеют члены. Следовательно, общее суждение «все дворники – бедняки» означает только следующее: если некоторый индивид является дворником, то он является бедняком. Здесь не утверждается, что на самом деле имеются индивиды, являющиеся дворниками. С другой стороны, частное суждение «некоторые дворники – бедняки» означает, что существует, по крайней мере, один индивид, являющийся одновременно и дворником, и бедняком.
Мы предвосхитим некоторые последующие темы данной книги, сформулировав суть дела следующим образом. Общее суждение «все дворники – бедняки» следует понимать как утверждающее: для всех частных случаев или значений X, если X является дворником, то X является бедняком. Частное суждение «некоторые дворники – бедняки» следует понимать как утверждающее: существует X такой, что X является дворником и что X является бедняком . Данное уточнение поможет нам понять, почему для современной логики представляется проблематичной одинаковая классификация таких суждений, как «Наполеон был солдатом» и «все французы – солдаты». Второе суждение, как мы видели, при анализе означает: для всех частных случаев или значений X, если X является французом, то X является солдатом . Первое же суждение, в свою очередь, никак не может быть понято подобным образом. Мы еще вернемся к данной теме.
Мы достигли следующего заключения: общие суждения не имплицируют существования каких-либо конкретных случаев, тогда как частные суждения имплицируют. Данное заключение может показаться читателю парадоксальным. (В самом деле, для того чтобы прояснить, насколько данное заключение зависит от наших соглашений, а насколько навязывается нам логическими соображениями, требуется более подробное исследование, чем то, которое мы можем себе здесь позволить.) Быть может, читатель приведет в пример суждение типа «все собаки суть верные» и скажет, что оно имплицирует существование собак. Действительно, может вполне статься, что, утверждая «все собаки суть верные», читатель может подразумевать и утверждать суждение «существуют собаки». Однако в таком случае ему следует обратить внимание, что он делает два отдельных и отличающихся друг от друга утверждения. В суждении же «пусть бросит камень тот, кто безгрешен» с очевидностью не имплицируется, что в действительности существуют безгрешные индивиды. Общее суждение может быть просто гипотезой относительно класса, который, как мы заранее знаем, не содержит членов.
Так, первый закон движения Ньютона гласит: все тела, не испытывающие воздействия со стороны других тел, всегда сохраняют состояние покоя или равномерного прямолинейного движения. Станет ли читатель утверждать, что в данном суждении утверждается существование какого-либо тела, не испытывающего воздействия со стороны других тел? Нам стоит лишь напомнить ему о законе тяготения, согласно которому все тела притягивают друг друга. В первом же законе Ньютона утверждается гипотеза о том, что если бы некоторое тело не испытывало воздействия со стороны других тел, оно всегда сохраняло бы состояние покоя или равномерного прямолинейного движения. Точно так же в принципе рычага говорится о том, что имело бы место, если бы рычаг был идеально жестким телом. В этом принципе не утверждается, что такое тело существует. На самом деле исследование принципов различных наук достаточно ясно демонстрирует, что общие суждения в науке всегда функционируют в качестве гипотез, а не высказываний о фактах, в которых утверждалось бы существование индивидов, представлявших частные случаи данных суждений. Разумеется, истинным является и то, что если бы общие суждения не были применимыми в практике, то стали бы бесполезными для науки, которая имеет дело с фактами. Истинно также и то, что значение общих высказываний требует, по крайней мере, применимости в возможных фактах. Однако мы не можем отождествлять абстрактные возможности, описываемые общими суждениями, и то, что действительно существует, поскольку последнее является местом, в котором абстрактные возможности либо исключаются, либо сочетаются с другими возможностями. Так, инерция считается фазой любого механического действия, хотя ни один частный случай инерции самой по себе не может быть найден в природе. Принцип рычага применим в той мере, в какой тела в действительности являются жесткими, хотя нет частных примеров чистой жесткости отдельно от других свойств тел.
На данный вопрос можно посмотреть и с другой стороны. До настоящего момента мы говорили, что в суждениях утверждаются отношения между классами индивидов. На с. 68 мы видели, что суждения могут пониматься как утверждающие определенные связи между признаками. Рассмотрение общих суждений, как не утверждающих существования каких-либо индивидов, выводит на первый план их понимание в терминах постоянных связей между признаками.
Наконец, следует отметить, что, затрагивая вопрос об экзистенциальной нагруженности, мы вовсе не обязаны сводить область указания терминов к физическому универсуму. Когда мы спрашиваем: «Была ли у Юпитера дочь?» или «Был Гамлет на самом деле сумасшедшим?», мы задаемся вопросом не о физическом существовании, а о существовании индивидов в рамках некоторой предметной области, управляемой определенными допущениями, в нашем случае утверждениями о Гомере или Шекспире. Поэтому индивид, «существование» которого допускается в одной предметной области (универсуме рассуждения), может не существовать в другой. В суждении «Самсон – это чистый миф» отрицается существование Самсона в универсуме достоверной истории, однако, разумеется, оно не отрицается для области библейской мифологии.
Таким образом, когда в формальной логике говорится о том, что общие суждения не имплицируют, а частные имплицируют существование отдельных случаев, читатель может понимать это (по крайней мере, отчасти) как указание на различные функции, которые каждый из типов суждений выполняет в научном исследовании. Мы не можем обоснованно выводить истинность суждения, в котором речь идет о наблюдении, из посылок, в которых не содержится суждения, полученного на основании наблюдения. Точно так же не можем мы и выводить истинность частного суждения только из посылок, содержащих общие суждения, если, конечно, мы неявным образом не допускаем как само собой разумеющееся существование членов классов, на которые указывают термины общих суждений.
§ 3. Сложные, простые и родовые общие суждения
До настоящего момента нами анализировались только категорические суждения. Однако логические связи присутствуют и между более сложными формами суждений. Рассмотрим следующие суждения:
1. Вес В равен весу G .
2. Прямые АВ и CD параллельны.
3. Если углы AFG и CGF больше двух прямых углов, то оставшиеся углы BFG, DGF меньше двух прямых углов.
4. Сумма внутренних углов одной и той же стороны либо равна, либо больше, либо меньше, чем два прямых угла.
При сравнении первых двух суждений со вторыми двумя видно, что, в отличие от первых двух суждений, вторые два содержат суждения в качестве своих составных компонентов или элементов. Таким образом, «если углы AFG и CGF больше двух прямых углов» и «оставшиеся углы BFG, DGF меньше двух прямых углов» – это тоже суждения, являющиеся компонентами суждений 3 и 4.
Назовем все суждения, содержащие в качестве своих компонентов другие суждения, сложными. При этом читателю следует иметь в виду, что в форме предложения не всегда проявляется выражаемое им суждение. Вспомним сказанное нами в конце предыдущего параграфа, в котором анализировались категорические суждения.
Можно различить четыре типа сложных суждений. В каждом из них простые суждения, входящие в состав сложного, связаны особым отношением.
1. Рассмотрим суждение «если объявлена война, то цены поднимаются». Мы договорились называть суждение, следующее за словом «если» («объявлена война»), «антецедентом», а суждение, вводимое словом «то» («цены поднимаются») – «консеквентом». Иногда частица «то» пропускается, но при этом она неявно подразумевается во всех подобных случаях. Составное суждение, соединяющее два простых посредством отношения, выражаемого союзом «если… то», называется условным, или импликативным.
Что мы имеем в виду, когда утверждаем, что условное суждение истинно? Мы, разумеется, не имеем в виду, что истинен антецедент или консеквент, несмотря на то что оба они на деле могут оказаться истинными. Мы пытаемся утверждать, что если антецедент является истинным, то консеквент тоже является истинным. Иными словами, антецедент и консеквент связаны таким образом, что первый не может быть истинным без того, чтобы последний тоже был истинным. Иногда считается, что условное суждение выражает сомнение. Однако данный способ описания этого суждения может вводить в заблуждение. Мы, действительно, можем сомневаться в том, что объявлена война, однако когда мы утверждаем данное условное суждение, мы не сомневаемся: «если объявлена война, то цены поднимаются».
Антецедент и консеквент условного суждения сами по себе также могут быть сложными суждениями. Вследствие этого анализ логической формы суждений будет облегчен, если мы используем особые символы, разработанные специально для проявления логической формы. Договоримся, что штрих, следующий сразу после скобок, будет обозначать отрицание, или негацию, суждения, находящегося внутри скобок. Так, суждение «неверно, что Карл I умер в кровати» может быть записано, как (Карл I умер в кровати)\' [18] . Также заменим вербальные символы «если… то» идеографическим символом «⊃» [19] . Условное суждение «если бы Карл I не умер в кровати, то он был обезглавлен» может быть записано так:
(Карл I умер в кровати)′⊃ (он был обезглавлен).
2. Далее рассмотрим еще одно суждение: «все люди эгоистичны или они не ведают собственных интересов». Отношение, связывающее простые суждения, выражается союзом «или». Само сложное суждение мы будем называть дизъюнкцией (или нестрогой дизъюнкцией ), а входящие в него простые суждения – членами дизъюнкции .
Что именно мы утверждаем, когда высказываем дизъюнкцию? Мы не стремимся утверждать истинность или ложность конкретного ее члена. Мы не хотим сказать ни «все люди эгоистичны», ни «все люди не ведают собственных интересов». Мы утверждаем только то, что, по крайней мере, один из членов дизъюнкции является истинным.
Однако говорим ли мы при этом, что оба члена вместе не могут быть истинными? В обыденном общении связка «или» может употребляться и в этом смысле. Если передовица какой-нибудь газеты содержит такое дизъюнктивное высказывание, как «либо будет принята национальная программа экономического развития, либо революция станет неизбежной», то обычно предполагается, что истинной должна быть лишь одна из двух альтернатив. С другой стороны, когда мы говорим про кого-то «он или дурак, или плут», то мы вовсе не исключаем возможности того, что оба варианта окажутся истинными. Чтобы избежать двусмысленности, мы примем то понимание, согласно которому в дизъюнктивном суждении утверждается как можно меньше. Поэтому дизъюнкция будет пониматься нами как означающая, что, по крайней мере , одна из альтернатив является истинной, но истинными также могут быть и обе .
Отношение «или» удобно выражать отдельным символом. Мы будем использовать символ «∨». Он будет ставиться между членами дизъюнкции. Суждение «он или дурак, или плут» может, таким образом, быть выражено как:
«(он – дурак) ∨ (он – плут)».
3. Рассмотрим еще одно сложное суждение: «Луна – полная, и Венера является утренней звездой». Отношение, связывающее простые суждения, выражено союзом «и» и называется конъюнкцией . Суждения, входящие в состав конъюнкции, мы будем называть конъюнктами .
Что именно утверждается в конъюнктивном суждении? Ясно, что в нем утверждается не только истинность суждений «Луна – полная» и «Венера есть утренняя звезда», взятых поодиночке. В нем утверждается истинность конъюнктов, взятых вместе. Следовательно, если один из членов конъюнкции является ложным, то ложна и вся конъюнкция. Конъюнкцию следует рассматривать как единое сложное суждение, а не перечисление нескольких простых суждений.
Для обозначения отношения, выраженного союзом «и», мы будем использовать специальный символ. Конъюнкция отныне будет обозначаться знаком «.» (точкой) [20] . Так, суждение «Луна – полная, и Венера – утренняя звезда» может быть записано как:
(Луна – полная). (Венера есть утренняя звезда).
4. Читатель может задаться вопросом о том, какую роль конъюнктивное суждение может играть в умозаключении. Конъюнкция, скажет он, никогда не сможет послужить основанием для истинности какого-либо из конъюнктов. Так, если мы сомневаемся относительно истинности суждения «мои часы – точные», сможем ли мы привести в качестве основания его истинности конъюнкцию «мои часы – точные, и все механизмы, работающие по принципу водяной мельницы, зависимы от изменений климата»? Действительно, установить истинность конъюнкции гораздо сложнее, чем установить истинность какого-либо из конъюнктов.
Ответом на данное возражение может послужить указание на то, что из конъюнкции может быть выведено нечто такое, чего нельзя вывести из ее членов по отдельности. Более того, суждение, в котором конъюнкция отрицается, крайне полезно для умозаключений. Отрицание конъюнктивного суждения дает четвертый тип сложного суждения. Отрицанием суждения «мои часы – точные, и все механизмы, работающие по принципу водяной мельницы, зависимы от изменений климата» является суждение «неверно, что мои часы точные, и вместе с этим все механизмы, работающие по принципу водяной мельницы, зависимы от изменений климата». Это значит, что, по крайней мере, один из дизъюнктов является ложным. Отрицание конъюнкции мы будем называть строгой дизъюнкцией, а ее составные элементы – членами строгой дизъюнкции. Поскольку в конъюнкции утверждается, что оба конъюнкта – истинны, то в отрицании конъюнкции, т. е. в строгой дизъюнкции, утверждается, что, по крайней мере, один из ее членов является ложным [21] . Оба члена строгой дизъюнкции не могут быть истинными.
Мы уже сказали о том, что в обыденной речи члены нестрогой дизъюнкции могут использоваться как взаимоисключающие. Так, в суждении «он – холостяк или он женат» истинность одного из дизъюнктов исключает истинность другого [22] . Такая дизъюнкция в обыденной речи неявно является строгой. Поскольку обыденное значение суждения «он – холостяк или он женат» включает в себя «неверно, что и то, и другое», его можно выразить как:
[(он – холостяк) ∨ (он женат)] .
. [(он – холостяк) . (он женат)]′
Применим рассмотренные различия для того, чтобы выразить логическую форму некоторых сложных суждений. Рассмотрим следующий аргумент: если каждая отдельная расовая группа характеризуется индивидуальной культурой, то все нации отличаются друг от друга в культурном смысле или национальные различия не совпадают, полностью или частично, с расовыми. Однако истинным не является ни то, что различные нации обладают индивидуальными культурами, ни то, что национальные различия не совпадают с расовыми различиями. Следовательно, то, что каждая раса обладает индивидуальной культурой, ложно.
Используем буквы р, q, r для обозначения следующих простых суждений данного аргумента:
р ≡ каждая отдельная расовая группа характеризуется индивидуальной культурой;
q ≡ все нации отличаются друг от друга в культурном смысле;
r ≡ национальные различия не совпадают, полностью или частично, с расовыми.
Посылки и заключение данного аргумента можно представить следующим образом:
a. p ⊃ ( q ∨ r )
b. q ′ . r ′
c. p ′
Суждения а, b и с отличаются друг от друга логической формой, и символьная запись помогает это отличие проявить. Обоснованность аргумента зависит от структуры или формы суждений а, b и с , поскольку заключение следует из посылок только если истинно: d. ( а . b ) ⊃ c
Читателю следует отметить, что можно провести важное различие между отношением антецедента условного суждения к его консеквенту (как в суждении а ), с одной стороны, и отношением между посылками обоснованного аргумента к заключению (как в суждении d ) – с другой. Для установления отношения антецедента к консеквенту нужно предоставить материальное (или фактическое) основание, тогда как для установления отношения между посылками и заключением такое основание неуместно и невозможно, поскольку такое отношение имеет место, только когда один из терминов этого отношения логически или аналитически содержится в другом. Однако у этих двух отношений есть и общая черта, заключающаяся в том, что ни то, ни другое не имеет места в случае истинности антецедента или посылки и ложности консеквента или заключения. Именно эта общая черта обозначается связкой «если… то» или знаком «⊃». Читателю при этом следует помнить, что две вещи, схожие в одном смысле, могут быть различными в другом, равно как и две вещи, отличные друг от друга в одном смысле, могут оказаться в чем-то другом схожими.
Разложение сложных суждений на составляющие их суждения явным образом относится к логике. Однако разложение предложения на его словесные элементы является задачей грамматики. Логически суждения предшествуют словам в том смысле, что суждения не производятся путем объединения слов, тогда как значения слов являются производными только от контекста конкретного суждения. В конечном счете значение слова определяется элементарными суждениями такой формы, как суждения «это – трюфель», «это – пурпурный цвет» и т. п., где слово «это» может быть заменено на определенный указательный жест. Однако, несмотря на то что суждения не могут быть разложены на словесные составляющие, внимание к этим составляющим зачастую способствует логическому анализу или логической классификации суждений. Рассмотрим следующие суждения:
1. Архимед был скромным.
2. Архимед был математиком.
3. Архимед был более великим математиком, чем Евклид.
Согласно традиционному подходу, каждое из этих суждений является категорическим, а его составные элементы – это субъект, предикат и связка. Любое суждение, такое как «Архимед любил математику» или «Архимед бежал голым по улице и кричал «Эврика!»», может быть разложено и трансформировано: «Архимед был любящим математику» или «Архимед был бегущим голым по улице» и т. д. Можно задаваться вопросом о том, не изменяет ли такая трансформация значения суждения. Однако в любом случае суждения можно анализировать и иными способами, отличными от традиционного подхода. Так, используя в качестве модели суждение 2, можно рассматривать любое суждение как утверждающее, что некоторый объект является членом определенного класса. Тогда получится, что в суждении 1 утверждается, что Архимед был членом класса скромных сущностей, а в суждении 3 – что он был членом в классе математиков, более великих, чем Евклид. Данный способ анализа соотносится с классическим так же, как взгляд с точки зрения объема соотносится со взглядом с точки зрения содержания.
Совершенно иным способом анализа суждений является рассмотрение их как утверждающих определенное отношение между двумя или более объектами. Так, в нашем первом суждении утверждается отношение между Архимедом и скромностью (отношение субстанции и признака), в нашем втором суждении утверждается так называемое отношение принадлежности к классу между Архимедом и классом математиков. Таким образом, суждения типа «Архимед решил задачу царя Гиерона» могут быть разложены для получения таких суждений, как «Архимед находился в отношении решателя к задаче царя Гиерона».
Вполне ясно, что ни один из этих способов анализа не может считаться единственно верным. Эти подходы также не являются и взаимоисключающими. Тем не менее, каждый из этих способов анализа подходит для одних суждений лучше, чем для других. Можно только с большой натяжкой сказать, что в суждении «автор «Макбета» есть автор «Гамлета»» «автор «Гамлета» означает признак того, что именуется «автором «Макбета»». Более подходящим представляется способ рассмотрения данного суждения как утверждающего отношение тождества в денотации, несмотря на различие в содержании, или коннотации.
В логическом смысле еще более важно отметить, что если мы не проведем различия между суждениями о принадлежности к классу, с одной стороны, и суждениями, представляющими какие-либо другие отношения, – с другой, то мы упустим важный фактор, оказывающий влияние на природу импликации. Так, в то время как одни отношения являются транзитивными, отношение принадлежности к классу таковым не является. Суждение «Архимед был более великим математиком, чем Евклид, и Евклид был более великим математиком, чем Аристотель» имплицирует суждение «Архимед был более великим математиком, чем Аристотель». Однако суждение «Архимед был гражданином Сиракуз, и Сиракузы были членом греко-карфагенского союза» не имплицирует суждения «Архимед был членом греко-карфагенского союза».
В главе VI мы систематически изучим отношение между классами и логические свойства отношений в целом.
Рассмотрим суждение «все математики – квалифицированные логики». Его нельзя просто отнести к суждениям субъектно-предикатного вида, поскольку в нем определенному индивиду не предицируется какая-либо характеристика или качество. В нем также не утверждается и то, что индивид является членом некоторого класса. Также не будет корректным сказать, что в нем утверждается некоторое отношение между одним индивидом и другим индивидом или несколькими индивидами. В нем утверждается особое отношение включения между двумя классами. Суждения об отношениях между классами, т. е. о полном или частичном включении (или исключении) одного класса из другого, называются родовыми общими суждениями. Мы уже указали на то, каким должен быть правильный анализ таких суждений, когда рассматривали анализ категорических суждений в предыдущем разделе. Попытаемся теперь прийти к тому же самому заключению с другой стороны.
«Архимед был математиком», «Евклид был математиком», «Птолемей был математиком» – все эти суждения обладают общей формой. Они отличаются только в том, что в качестве субъектов в них выступают различные термины. Теперь рассмотрим выражение «х является математиком». Оно не является суждением, поскольку не может быть истинным или ложным. Однако из него можно получить суждения, подставляя различные значения на место переменной х. Все суждения, полученные таким путем, будут обладать общей формой. Выражение, содержащее одну или более переменную и выражающее суждение, если переменным придаются значения, называется пропозициональной функцией.
Мы можем варьировать не только субъект, но и другие термины такого суждения. Изменив отношение в суждении «Архимед был убит римским солдатом», мы получаем суждение «Архимед был восхвален римским солдатом», «Архимед был двоюродным братом римского солдата» и т. д. Если мы выразим отношение переменной R, то получим пропозициональную функцию: «Архимед R римский солдат». (Данную запись следует читать как «Архимед находится в отношении R к римскому солдату».) Варьируя в подобной манере термины и отношения в суждении и выражая их с помощью переменных, мы можем проявить логическую форму или структуру в ее точном виде.
Когда мы утверждаем суждение «все математики – квалифицированные логики», мы хотим сказать, что если любой индивид является математиком, то он также является квалифицированным логиком. Данное отношение можно выразить через импликацию между суждениями, полученными с помощью пропозициональных функций, следующим образом:
[Для всех значений х ( х является математиком) ⊃ ( х является квалифицированным логиком)],
где знак «⊃», как обычно, означает отношение «если… то» между суждениями, полученными из пропозициональных функций путем придания значений для х.
Суждения данного типа, утверждающие включение (или исключение) одного класса в другой (или из другого), некоторым образом схожи со сложными суждениями. Поэтому их не следует путать с суждениями о принадлежности классу, поскольку, как мы видели, отношение принадлежности классу не является транзитивным, тогда как отношение включения одного класса в другой является транзитивным. Таким образом, если «все математики являются квалифицированными логиками» и «все квалифицированные логики являются университетскими профессорами», то мы можем обоснованно заключить, что «все математики являются университетскими профессорами».
Выразим все четыре вида категорических суждений в новой записи:
1. «Все студенты – независимые мыслители» эквивалентно «[Для всех х ( х является студентом) ⊃ ( х является независимым мыслителем)]».
2. «Ни один студент не является независимым мыслителем» эквивалентно «[ «Для всех х ( х является студентом) ⊃ ( х является независимым мыслителем)′».
3. «Некоторые студенты – независимые мыслители» эквивалентно «[Существует х такой, что ( х является студентом) . ( х является независимым мыслителем)]».
4. «Некоторые студенты не являются независимыми мыслителями» эквивалентно «[Существует х такой, что ( х является студентом) . ( х является независимым мыслителем)′».
Два общих суждения (1 и 2) с очевидностью обладают логической формой, отличной от формы двух частных суждений (3 и 4). При этом все четыре суждения отличаются по форме от суждений с субъектно-предикатной формой.