Применяя это различие к объектам логики: легко увидеть, как два суждения могут иметь одну и ту же форму, но разную материю, если использовать «форму» не в значении «очертания», а как то, что является общим для многих вещей, в противоположность тому, что присуще каждой из них. Так, «Все львы-самцы рыжие» и «Вся вода при 50° по Фаренгейту жидкая» — это два суждения, имеющие одну и ту же форму, хотя их материя совершенно различна. В обоих случаях нечто утверждается обо всем объеме их субъектов, хотя субъекты различны, как и то, что о них утверждается. Далее, «Все львы-самцы имеют кисточку на хвосте» и «Все львы-самцы имеют гриву» — это два суждения, имеющие одну и ту же форму и, в отношении субъектов, одну и ту же материю, но разную материю в предикатах. Если же мы возьмем такие два суждения, как «Все львы-самцы имеют гриву» и «Некоторые львы-самцы имеют гриву», то здесь материя в обоих случаях одна и та же, но форма различна: в первом случае предикация относится к каждому льву-самцу, во втором — только к некоторым львам-самцам; первое суждение является общеутвердительным, второе — частноутвердительным. Или, опять же, если мы возьмем «Некоторые тигры — людоеды» и «Некоторые тигры — не людоеды», то здесь также материя одна и та же, но форма различна, ибо первое суждение является утвердительным, тогда как второе — отрицательным.
§ 6. Согласно Гамильтону и Уэйтли, чистая логика имеет дело только с формой суждений и аргументов. Что касается их материи, то есть того, истинны ли они на самом деле, то, по их мнению, это вопрос не логики, а опыта или специальных наук. Однако Милль стремился расширить логический метод так, чтобы проверять материальную истинность суждений: он полагал, что может изложить метод, с помощью которого можно исследовать сам опыт и выводы специальных наук.
Этому методу можно возразить, что претензия на определение материальной истины предполагает, что порядок природы останется неизменным, что (например) вода не только в настоящее время является жидкостью при 50° по Фаренгейту, но будет таковой всегда; тогда как (хотя у нас нет оснований ожидать подобного) порядок природы может измениться — это, по крайней мере, допустимо — и в таком случае вода может замерзнуть при такой температуре. Любой факт, опять же, должен зависеть от наблюдения, прямого или опосредованного выводом — как, например, когда что-то утверждается об атомах или эфире. Но наблюдение и материальный вывод ограничены возможностями наших способностей; и как бы мы ни помогали наблюдению с помощью микроскопов и микрометров, это все равно остается наблюдением; и как бы мы ни корректировали наши наблюдения путем повторения, сравнения и уточненных математических методов внесения поправок, исправление ошибки является лишь приближением к точности. Вне формального рассуждения единственно верной позицией является воздержание от суждения.
Но такие возражения подразумевают, что ничто, кроме абсолютной истины, не имеет ценности; что все наши дискуссии и исследования в науке или общественных делах лишены логических критериев; что логика должна ограничиваться символами и рассматриваться исключительно как умственная гимнастика. В этой книге будет подчеркнут характер логики как формальной науки, а также будет показано, что индукция сама по себе может рассматриваться формально; но при этом будет исходить из того, что логические формы ценны как отражение реальных отношений природных и социальных явлений.
§ 7. Символы часто используются в логике вместо конкретных терминов не только в символической логике, где наука рассматривается алгебраически (как у д-ра Венна в его «Символической логике»), но и в обычных учебниках; поэтому будет полезно объяснить их использование, прежде чем идти дальше.
Существует обычная и удобная практика иллюстрировать логические доктрины примерами: чтобы показать, что имеется в виду под суждением, мы можем привести «соль растворима» или «вода вызывает ржавчину на железе»; связочное экспонируемое суждение иллюстрируется примером «соль вкусна и полезна» и так далее. Но эта процедура имеет некоторые недостатки: она часто громоздка и может отвлечь внимание читателя от объясняемого пункта, возбуждая его интерес к частному факту иллюстрации. Кроме того, очевидно, что, поскольку логика формальна, никакой частный факт не может адекватно проиллюстрировать любую из ее доктрин. Соответственно, авторы по логике используют буквы алфавита вместо конкретных терминов, (скажем) X вместо «соль» или вместо «железо», и (скажем) Y вместо «растворима» или вместо «вызывает ржавчину на железе»; и тогда суждение может быть представлено как «X есть Y». Еще более обычно представлять суждение как «S есть (или не есть) P», где S — начальная буква субъекта, а P — предиката; хотя это имеет тот недостаток, что если мы рассуждаем: «S есть P», следовательно, «P есть S», то символы в последнем суждении уже не имеют того же значения, поскольку бывший субъект теперь является предикатом.
Далее, в логике часто встречаются отрицательные термины, такие как «не-вода» или «не-железо», и тогда, если «вода» или «железо» выражаются через X, соответствующее отрицание может быть выражено через x; или, в общем случае, если заглавная буква обозначает положительный термин, соответствующая строчная буква представляет отрицательный. Тот же прием можно использовать для выражения противоречащих терминов: если один из них X, то другой — x (см. гл. IV, §§ 7-8); или противоречащие термины могут быть выражены как x и x̄, y и ȳ.
А поскольку термины часто бывают сложными, может быть удобно выражать их комбинацией букв: вместо того чтобы иллюстрировать такой случай примером «кипящая вода» или «вода, которая кипит», мы можем написать XY; или, поскольку положительные и отрицательные термины могут сочетаться, вместо того чтобы иллюстрировать это примером «вода, которая не кипит», мы можем написать Xy.
Удобство этого очевидно; но это нечто большее, чем просто удобство; ибо если одна из целей логики состоит в дисциплинировании способности к абстрактному мышлению, это можно сделать гораздо эффективнее с помощью символических, нежели конкретных примеров; и если бы такая дисциплина была единственным применением логики, возможно, было бы лучше вообще отказаться от конкретных иллюстраций, по крайней мере в продвинутых учебниках, хотя, несомненно, такая практика была бы слишком суровой для элементарных пособий. С другой стороны, чтобы показать практическую применимость логики к аргументам и доказательствам реальной жизни или даже конкретных наук, чисто символическая иллюстрация может быть не только бесполезной, но даже вводящей в заблуждение. Когда мы говорим о политике, поэзии, видах или погоде, используемые термины редко могут обладать четкостью и изолированностью X и Y; поэтому формальное использование символических иллюстраций делает аргументацию и доказательство гораздо более простыми и легкими, чем они есть на самом деле. Наша вера в любое суждение никогда не основывается на самом суждении или только на одном-двух других, но на огромном фоне наших общих знаний и убеждений, полных обстоятельств и аналогий, в отношении которых только и может быть понятно любое данное суждение. Действительно, по этой причине невозможно проиллюстрировать логику в достаточной мере: читатель, который серьезно относится к убедительности аргументов и ограниченности доказательств и который щепетилен в отношении степени согласия, требуемой ими, должен постоянно искать иллюстрации в своих собственных знаниях и опыте и в конечном счете полагаться на собственную проницательность.
ГЛАВА III
О ТЕРМИНАХ И ИХ ДЕНОТАЦИИ
§ 1. При рассмотрении дедуктивной логики принято выделять три раздела предмета: во-первых, учение о терминах — словах или иных знаках, используемых в качестве субъектов или предикатов; во-вторых, учение о суждениях, анализируемых на связанные термины; и, в-третьих, учение о силлогизме, в котором суждения выступают в качестве оснований для вывода.
Используемые термины представляют собой либо буквы алфавита, либо слова обычного языка, либо научные термины; и поскольку слова обычного языка используются наиболее часто, необходимо дать некоторое описание обычного языка как служащего целям логики. Утверждалось, что мы вообще не можем мыслить или рассуждать без слов или каких-либо их заменителей, таких как знаки алгебры; но это преувеличение. Умы сильно различаются, и некоторые мыслят с помощью четких и всеобъемлющих образов, особенно при решении проблем, касающихся объектов в пространстве, как, например, при игре в шахматы вслепую, изобретении машины, планировании путешествия по воображаемой карте. Большинство людей делают много простых выводов с помощью восприятий или ментальных образов. С другой стороны, некоторые люди много думают без какого-либо континуума слов и без каких-либо образов, или без тех, которые кажутся значимыми для цели. Тем не менее, более сложный вид мышления, группировка и сцепление выводов, которые мы называем рассуждением, не могут быть далеко продвинуты без языка или какой-либо эквивалентной системы знаков. Дело не только в том, что нам нужен язык, чтобы выражать наши рассуждения и сообщать их другим: в уединенном мышлении мы часто зависим от слов — фактически «разговариваем сами с собой»; хотя слова или предложения, которые при этом проходят через наш ум, не всегда полностью сформированы или артикулированы. Более того, в логике мы должны тщательно исследовать основания (по крайней мере, ближайшие основания) наших выводов; и очевидно, что это невозможно сделать, если рассматриваемые выводы не сформулированы и не зафиксированы явно.
Концептуалисты говорят, что логика имеет дело не с процессом мышления (который относится к психологии), а с его результатами; не с образованием понятий, а с понятиями; не с суждением, а с суждениями. Логика спрашивает: является ли понятие самосогласованным или адекватным? Является ли суждение доказуемым? Теперь, только фиксируя наши мысли в языке, становится возможным провести различие между процессом и результатом мышления. Без языка акт и продукт мышления были бы тождественны и одинаково мимолетны. Но, осуществляя процесс в языке и запоминая или иным образом записывая его, мы получаем результат, который может быть исследован в соответствии с принципами логики.
§ 2. Итак, поскольку логика должна дать некоторое описание языка, представляется желательным объяснить, чем ее трактовка языка отличается от трактовки грамматики и риторики.
Грамматика — это изучение слов какого-либо языка, их классификации и происхождения, а также правил их соединения в соответствии с употреблением, признаваемым и соблюдаемым в любое время теми, кто считается правильными писателями или ораторами. Сочинение может быть безупречным с точки зрения грамматики, но при этом скучным и абсурдным.
Риторика — это изучение языка с целью достижения некоторого особого эффекта при передаче идей или чувств, такого как живописность в описании, живость в повествовании, ясность в изложении, страстность в убеждении или литературное очарование. Некоторые из этих целей часто достигаются вопреки ошибочному синтаксису или ошибочной логике; но поскольку те немногие, кого огорчает плохая грамматика или кого отвлекают несвязные аргументы, не увлекаются, как могли бы иначе, неискушенным оратором, грамматика и логика необходимы для совершенства риторики. Не то чтобы риторика находилась в рабстве у этих других наук; ибо иностранные идиомы и такие фигуры, как эллипсис, аниколутон, оксюморон, гипербола и резкие инверсии, имеют свое место в великолепном стиле; но авторы, не знакомые с грамматикой и логикой, вряд ли смогут использовать такие фигуры уместно и мудро. Действительно, обычные идиомы, хотя и оправданные как грамматически, так и риторически, будучи одновременно правильными и эффективными, часто кажутся нелогичными. «Заснуть» (to fall asleep), например, — это идеальная английская фраза; однако если мы рассмотрим по отдельности слова, из которых она состоит, может показаться странным, что их комбинация вообще должна что-то значить.
Но логика изучает язык лишь постольку, поскольку это необходимо для формулирования, понимания и проверки доказательств и рассуждений, которые обычно воплощены в языке. И до тех пор, пока значения ясны, хорошая логика совместима с нарушением согласования и неэлегантностью стиля.
§ 3. Термины бывают простыми или сложными: то есть они могут состоять либо из одного слова, как «Чосер», «цивилизация»; либо из более чем одного, как «отец английской поэзии» или «современные цивилизованные нации». Логики классифицируют слова в соответствии с их использованием при формировании суждений; или, скорее, они классифицируют использование слов в качестве терминов, а не сами слова; ибо одно и то же слово может попадать в разные классы терминов в зависимости от того, как оно используется. (Ср. Альфред Сиджвик, «Различие и критика убеждений», гл. XIV.)
Таким образом, слова классифицируются как категорематические или синкатегорематические. Слово является категорематическим, если оно используется отдельно как термин без поддержки других слов: оно является синкатегорематическим, когда соединяется с другими словами для образования субъекта или предиката суждения. Если мы скажем «Венера — это планета, чья орбита находится внутри земной», субъект «Венера» — это слово, используемое категорематически как простой термин; предикат — это сложный термин, чьи составляющие слова (будь то существительное, относительное местоимение, глагол или предлог) используются синкатегорематически.
Предлоги, союзы, артикли, наречия, относительные местоимения в своем обычном употреблении могут входить в состав терминов только вместе с другими словами, имеющими значение существительного, прилагательного или причастия; но когда они сами являются предметом обсуждения и используются субстантивно (suppositio materialis), они являются категорематическими. В суждении «Слово 'of' использовалось триста лет назад более неопределенно, чем сейчас», «of» является категорематическим. С другой стороны, все существительные могут использоваться категорематически; и та же самодостаточность обычно признается за прилагательными и причастиями. Некоторые, однако, полагают, что категорематическое использование прилагательных и причастий обусловлено эллипсисом, который логик должен восполнить; что вместо «Золото тяжелое» он должен сказать «Золото — тяжелый металл»; вместо «Солнце светит» — «Солнце — тело, которое светит». Но в этих случаях слова «металл» и «тело» являются несомненной тавтологией, поскольку «металл» подразумевается в золоте, а «тело» — в солнце. Но, как мы видели, любое из этих видов слов — существительное, прилагательное или причастие — может встречаться синкатегорематически в связи с другими для образования сложного термина.
§ 4. Большинство терминов (исключения и сомнительные случаи будут рассмотрены далее) имеют две функции: денотативную и коннотативную. Денотативная функция термина состоит в том, чтобы быть именем или знаком чего-то или некоторого множества вещей, которые, как говорят, называются или денотируются этим термином. Его коннотативная функция состоит в том, чтобы предполагать определенные качества и характеристики денотируемых вещей, так что он не может быть использован буквально как имя каких-либо других вещей; эти качества и характеристики, как говорят, подразумеваются или коннотируются термином. Так, «овца» — это имя определенных животных, и его коннотация препятствует его использованию для обозначения каких-либо других. То, что термин указывает непосредственно, есть его денотация; тот смысл или обычное использование его, которое ограничивает денотацию, есть его коннотация (гл. IV). Гамильтон и другие используют «экстенсию» в значении денотации, а «интенсию» или «объем» — в значении коннотации. Теперь термины могут быть классифицированы, во-первых, в соответствии с тем, что они представляют или денотируют; то есть в соответствии с их денотацией. В этом отношении использование термина называется либо конкретным, либо абстрактным.
Термин является конкретным, когда он денотирует «вещь»; то есть любого человека, объект, факт, событие, чувство или воображение, рассматриваемые как способные обладать качествами (или состоять из них) и иметь определенное существование. Так, «мяч для крикета» денотирует любой объект, имеющий определенный размер, вес, форму, цвет и т. д. (которые являются его качествами) и находящийся в любое данное время в каком-то месте и связанный с другими объектами — в руках боулера, на траве, в витрине магазина. Любое «чувство жара» имеет определенную интенсивность, является приятным или болезненным, происходит в определенное время и воздействует на часть или все тело животного. Воображение, конечно (скажем, феи), нельзя сказать в том же смысле, что оно имеет локализацию; но оно зависит от мышления человека, который имеет локализацию, и определенным образом связано с его другими мыслями и чувствами.
Термин является абстрактным, с другой стороны, когда он денотирует качество (или качества), рассматриваемое само по себе и без определенного существования во времени, пространстве или в отношении к другим вещам. «Размер», «форма», «вес», «цвет», «интенсивность», «приятность» — это термины, используемые для обозначения таких качеств, и тогда они являются абстрактными в своей денотации. «Вес» — это не нечто с определенным существованием в данное время; он существует не только в каком-то конкретном месте, но везде, где есть тяжелая вещь; и, что касается отношения, в тот же момент он сочетается в железе с твердостью, а в ртути — с жидкостью. Фактически, качество — это точка согласия во множестве различных вещей; все тяжелые вещи согласуются в весе, все круглые вещи — в круглости, все красные вещи — в красноте; и абстрактный термин денотирует такую точку (или точки) согласия среди вещей, денотируемых конкретными терминами. Абстрактные термины являются результатом анализа конкретных вещей на их качества; и, наоборот, конкретный термин может рассматриваться как денотирующий синтез качеств в индивидуальную вещь. Когда несколько вещей согласуются более чем в одном качестве, может существовать абстрактный термин, денотирующий объединение качеств, в которых они согласуются, и опускающий их особенности; как «человеческая природа» денотирует общие качества людей, «цивилизация» — общие условия цивилизованных народов.