CC BY
33Б.И.Федоров
ОБРАЗЕЦ ИСТОРИЧЕСКИ-ЛОГИЧЕСКОЙ РЕКОНСТРУКЦИИ
Abstract. In the paper the author describes his method of comparative historical analysis of logical conceptions, theories and concrete fundamental results in history of logic. The method is used in analyzing of the deductive conception ofB. Bolzano (1781-1848). On the grounds of this application the author finds some results, which can be perspective for the research in history of logic.
Реконструкция, как правило, содержательно излагаемых логических идей или теорий прошлого предполагает, на наш взгляд, три основных этапа. На первом этапе выявляются специфические особенности толкования и научно-практического использования фундаментальных логических категорий, таких, как понятие, представление, высказывание (суждение), субъект, предикат, рассуждение, вывод, доказательство, логическая форма, модель, выполнимость, логическая истинность, модальность, отношение логического следования и других логических отношений. На этом же этапе происходит уточнение смысла основных логических положений теории, выясняется зависимость вывода или доказательства от выбора тех или иных логических средств, от всякого рода явных или скрытых допущений. Здесь же прослеживается влияние философско-методологической позиции изучаемого автора на трактовку основных логических проблем. Второй этап реконструкции связан с так называемой «промежуточной» формализацией исследуемой содержательной теории. Главным моментом на этом этапе является обнаружение и/или создание таких выразительных средств, например, искусственного языка, синтаксис которого позволяет максимально учесть и адекватно отобразить все те уточнения реконструируемой логической теории, которые были обнаружены и сформулированы содержательно на первом этапе. Третий этап или собственно реконструкция прошлых идей или теорий состоит в «погружении» предварительно формализованного материала в выразительные средства языка современной логики таким образом, чтобы полученные результаты позволяли увидеть реальные перспективы использования прошлых идей в развитии современной логики и методологии научного познания.
Предполагая осуществить поэтапную реконструкцию логических идей прошлого на примере дедуктивной теории Б.Больцано (1781-1848), проведем вначале сравнительный анализ его понима-
ния главных логических категорий в контексте идей традиционной логики.
Основное содержание дедуктивной теории Больцано мы находим в специальном разделе «О выводах» во 2-ом томе его «Науко-учения» - Wissenschaftslehere. Versuch einer ausführlichen und grösstenteil neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter. Sulzbach, 1837. In 4 Bände (далее WL), § 223268, а также в некоторых его математических сочинениях. Она связана с его философско-методологическими идеями и без глубокого понимания этой связи, без учета того, что саму логику Больцано трактует как теорию изложения науки, без учета особенностей использования им логико-семантических средств естественного (немецкого) языка нельзя рассчитывать на адекватное представление и современную реконструкцию дедуктивной теории Больцано.
Всякое высказывание состоит из понятий или представлений. Представление связано с субъективным чувственным образом, но с точки зрения логики, как считает Больцано, предмет представления и понятия один и тот же. Под понятием или представлением он понимает «те составные части предложения, которые сами, однако, целого предложения не составляют». (WL I, 216).
Структуру любого повествовательного предложения Больцано предлагает выражать с помощью так называемой «стандартной формы», то есть в виде выражений «...имеет...» или «неверно (ложно), что... имеет...» Вместо многоточия слева от слова «имеет» помещается та часть предложения, в которой говорится о предмете (мысли) всего предложения. Эту часть предложения Больцано называет «субъектным представлением». Справа от слова «имеет» помещается та часть предложения, которую он называет «предикатным представлением» и которая говорит что-то о предмете предложения. Таким образом, Больцано стремится любое повествовательное предложение выразить в субъектно-предикатной форме, используя, однако, вместо традиционной связки «есть» («суть») связку «иметь».
При сведении повествовательных предложений к стандартному виду в логике Больцано большую роль играют понятия предметности (Gegenständlichkeit) и беспредметности представлений, а также особое употребление конкретных представлений -«конкрет» и абстрактных представлений - «абстракт». Утверждение беспредметности (пустоты, противоречивости) некоторого представления всегда равнозначно отрицанию его предметности (WL II, 401). Предметность и беспредметность являются такими характеристиками представлений или понятий, которые относятся
к их логическому объему. Для того чтобы можно было судить о предметности или беспредметности некоторого представления, необходимо, чтобы оно было выражено в форме так называемой «конкреты», было конкретным представлением, то есть выражалось с помощью слов, которые обозначают предметы, но не признаки или свойства, или отношения предметов. Если взять предложение стандартной формы «A имеет b», то здесь обнаруживаются три вида представлений, исчерпывающие все составные части предложения. Прописные буквы латинского алфавита Боль-цано использует в этом случае для обозначения субъектных представлений предложения, для представлений об отдельном или нескольких предметах, о которых идет речь в предложении. Именно такие представления, которые обозначают реальные или мыслимые предметы, он и называет конкретами (WL I, 259). Относительно любой конкреты предполагается, что всегда можно решить, имеет ли она определенный объем или ее объем пуст. Строчные буквы латинского алфавита Больцано использует для обозначения предикатных представлений в предложениях. Предикатные представления приписываются в предложении субъектным или, иначе говоря, последние обладают первыми. Предикатные представления как представления о признаках реальных или мыслимых предметов он называет абстрактами (WL I, 260). Согласно Больцано, в отличие от конкрет установить объемы абстракт не предполагается возможным. Так, например, нельзя указать логического объема представлений «мудрый», «человечный», «красный» и т.п. Но любая абстракта может быть превращена в соответствующую ей конкрету, и наоборот. Поэтому можно установить практически объем любого представления.
Для превращения абстракт в конкреты и обратно Больцано пользуется в «Наукоучении» особенностью немецкого языка. Он образует существительные (которым в немецком языке соответствуют его конкреты) из любой знаменательной части речи с помощью суффиксов keit или heit, а также определенного артикля das. Исключение образуют местоимения, которые в предложении сами могут заменять существительные. Например, из абстракт «сильный», «мудрый», «бежать» он образует соответствующие кон-креты: «сила», «мудрость», «бег». Вновь образованные конкреты обладают объемом и уже можно судить об их предметности или беспредметности.
Особыми абстрактами в логической теории Больцано выступают сами предметность и беспредметность как свойства любых конкрет. Они не должны, согласно Больцано, превращаться в соответствующие конкреты (например: в «предмет» и в «пустое»).
Больцано считает, что объем понятия «предмет вообще» или «пустота» не имеет каких-либо границ и практически не может быть указан. Предметность или беспредметность, употребляемые им как особые абстракты, всегда, появляясь в предложении, занимают место предикатного представления.
Метод превращения абстракт в конкреты позволяет Больцано провести отождествление понятий, входящих в субъекто-преди-катную структуру предложения с их объемами, то есть с классами объектов. В этом нельзя не видеть влияния его математических исследований, предшествующих созданию теории множеств.
Третью составную часть предложения стандартного вида -представление «иметь» Больцано называет представлением об отношении. Оно само не говорит ни о предметах, ни о признаках, но «как бы принадлежит и к тем и к другим в предложении», соединяет субъектное и предикатное представление в предложении, определяет форму самого предложения и «относится целиком к логике» (WL I, 383). Вопрос о предметности или беспредметности относительно представления «иметь» является с точки зрения Больцано неправомерным.
И все же чисто лингвистический способ превращения абстракт в конкреты и обратно не вполне устраивает Больцано, так как им затруднительно пользоваться при выделении логической формы предложений. Поэтому он вводит в употребление особый термин «нечто», играющий важную роль как в преобразованиях абстракт в конкреты, так и в сведении повествовательных форм предложений к стандартному виду. Слово «нечто» как особая конкрета имеет, согласно Больцано, неопределенный (безграничный) объем. Под этим словом следует понимать универсум - мир предметов вообще или предметную область вообще, или любой (неопределенный, не конкретный) предмет вообще из этого мира. Конкрета «нечто» всегда обладает предметностью. Противоположной кон-крете «нечто» является у Больцано конкрета «ничто» как отрицание первой. Конкрета «ничто» не имеет никакого объема, всегда беспредметна, имеет пустой объем.
Для того чтобы конкрета «нечто» имела определенный объем, необходимо, по мнению Больцано, научиться ограничивать эту предметную область вообще. «Задание границ» Больцано предлагает осуществлять путем выделения среди «предметов вообще» лишь тех, которые обладают некоторым определенным свойством или совокупностью их. Так, например, если из «нечто» выделить такое «нечто, которое (есть. - Б.Ф.) живое существо, живущее в Греции», или «нечто, которое (есть. - Б.Ф.) честный человек», то мы, согласно Больцано, уже имеем дело с вполне определенным
объемом конкреты «нечто» (^Ъ I, 459). Напротив, относительно конкреты «ничто» выделение какого-либо определенного непустого объема оказывается невозможным потому, что сама эта кон-крета беспредметна.
Таким образом, ограничение объема «нечто» происходит за счет абстракт и относительного местоимения «который», в результате чего сама абстракта становится уже конкретой с определенным объемом. Этот же способ использования «нечто» позволяет Больцано в дальнейшем решать проблему сведения любых повествовательных предложений к стандартному виду. Добавление абстракты как некоего характеристического признака к «нечто» ограничивает объем «предмета вообще» рамками той области, на которую распространяется признак прибавляемой абстракты. При образовании конкрет из абстракт Больцано часто использует такую форму записи:
[нечто] (а + в + с + ...), где на месте а,в,с, ... могут стоять различные абстракты (свойства), а заключенная в круглые скобки «сумма абстракт» означает, что из области «нечто» («предметов вообще») выделяется некоторая область, обладающая одновременно свойствами а,в,с, ... Таким образом, выражение [нечто] (а + в + с + ...) превращается в «сложную» (составную) конкрету, содержание которой (как содержание представления) определяется частями а,в,с,..., из которых она составлена. Примером подобного образования будет, например, выражение: «нечто, которое благоразумное, осторожное и нравственное». Отсюда можно образовать также равнозначное выражение, превратив, например, абстракту «благоразумное» с помощью уже отмеченного лингвистического метода в существительное -конкрету «благоразумность, которая осторожна и нравственна». Объемы обоих представлений совпадают! (см.: WL I, 441-442). Последнее представление выразилось бы следующим образом:
[А] (в + с + ...),
где А - «благоразумность», в - «осторожное», с - «нравственное».
Теперь при превращении абстракт в конкреты и наоборот нет необходимости всякий раз переходить от прописных букв к строчным и наоборот, или снимать и навешивать суффиксы кеН и НеИ на слова. Для решения этой задачи достаточно использовать представление «нечто» в качестве единственной конкреты. Все другие конкреты можно получить путем приписывания справа к представлению «нечто» соответствующей абстракты. Больцано сам в большинстве случаев использует подобный способ преобразования абстракт в конкреты.
Метод превращения абстракт в конкреты и обратно позволяет Больцано по существу двояким образом использовать предикаты (в виде собственно предикатов-абстракт и в виде конкрет как индивидных переменных). Этот метод можно сопоставить с современной проблемой, состоящей в преодолении различий между структурой предложений обычного языка и структурой их аналогов - формул в логических исчислениях.
Сам Больцано довольно часто заменяет субъектные представления, обозначаемые прописными буквами латинского алфавита А,В,С,..., на выражения: [нечто] а, [нечто] в, [нечто] с,..., считая употребление обычных предметных переменных равнозначным со специфицированной формой их употребления. Лишь записанная отдельно (без абстракт) конкрета «нечто» выступает в указанном выше смысле в роли так называемой чистой предметной переменной. Подобное употребление «нечто» Больцано использует, когда хочет сказать об универсальности некоторого предиката: «[нечто] имеет (а + в + ...)» или что для него одно и то же, «всякое [нечто] имеет (а + в + ...)». Приписывая к «нечто» абстракты, можно образовывать подлежащие (субъекты) суждений, а употребляя абстракты отдельно, мы получаем собственно предикаты. Обычная структура суждения получает у Больцано две основные формы выражения. Например: «[нечто] (а + в + ...) имеет (с + d +...)». Здесь «чистые» абстракты, стоящие на месте предиката (после слова «иметь») образуют единый предикат как конъюнкцию свойств а,в,сД... Второе выражение образуется в том случае, когда место предиката занимает особая абстракта - предметность, которую можно понимать также как особый предикат - «существует». В роли же субъекта выступает аналог специфицированной переменной. Например: «[нечто] (а + в + не-с +...) имеет предметность». Могут употребляться также отрицания указанных выражений.
Проведем теперь «промежуточную» формализацию для представления высказываний по методу Больцано.
Формальная система Б1
К- знак конкреты «нечто» О- знак абстракты «предметность» а,Ь,с,... - знаки простых абстракт е - знак отношения «имеет»
1 (,)
- знак внутреннего отрицания
- знак внешнего отрицания
- технические знаки
Определение абстракты
1. Простая абстракта есть абстракта.
2. Если х - абстракта, то ~ х - абстракта.
Определение термина
1. Конкрета «нечто» есть термин.
2. Если хьх2,.,хк (где к > 0) - абстракты, то выражение Кхь.,хк - термин.
Определение элементарной формулы
1. Если Т - термин, хьх2,.,хк - абстракты, то выражение (Т е хь.,хк) - элементарная формула.
2. Если Т - термин, то выражение (Те О) - элементарная формула.
Основными объектами логики Больцано считает термины (абстракты и конкреты) и предложения (высказывания), образуемые из терминов с помощью логических констант (например, «иметь»). Стремясь к обобщению различных способов выражения суждений в естественном языке и к преодолению ограничений на «количество» субъектов и предикатов, Больцано ставит своей задачей нормализацию их путем сведения к стандартному виду, перед тем как перейти к использованию их в качестве логических форм в учении о выводе. При этом, согласно Больцано, «неправомерно отождествлять форму "Ложно, что А имеет в" с формой "А имеет не-в", поскольку при ложности "А имеет в" или А не является предметным представлением (т.е. пусто - Б.Ф.), или хотя бы одному А не присуще свойство в» ^Ъ II, 420).
Обобщенно стандартный вид предложений имеет следующее написание:
(1) «.имеет.»
(2) «Ложно, что ... имеет...»
Поскольку, за исключением предметности и беспредметности, любая абстракта может быть превращена в соответствующую кон-крету, и наоборот, Больцано считает удобным использовать вместо (1) и (2) также формы:
(1)' «то, что ... имеет, имеет.»
(2)' «Ложно, что то, что ... имеет, имеет..».
В предложении стандартного вида «А имеет в», согласно Боль-цано, субъектное представление А всегда берется во всем своем объеме. Поэтому полная запись указанного предложения имеет следующий вид:
«каждое А имеет в».
Однако Больцано не употребляет всякий раз такую форму записи, а пишет просто «А имеет в».
Случаи же, когда в предложении берется лишь определенная часть конкреты, Больцано отмечает особо. Когда объем А точно не определен (как, например, в предложении формы: «Некоторые А имеют в»), используется выражение: «А, которое (есть. - Б.Ф.) в, имеет предметность», что позволяет Больцано сохранять стандартный вид:
«.имеет.»
Редукция повествовательных предложений к стандартному виду осуществляется им без формулирования каких-либо правил. В любом предложении Больцано старается выделить субъект и предикат, которые соединялись бы связкой «иметь». Когда же предикат в явном виде не обнаруживается, то его место занимает особая абстракта - предметность. Например, предложение «Если А есть В, то С» Больцано редуцирует в предложение «Представление о свойствах А, в отношении которого утверждается, что наряду со свойством в оно должно обладать еще и свойством с, имеет предметность». К стандартному виду, согласно Больцано, сводимы, например, предложения: «А должен», «А желает», «А существует» и т.п., которые принимают вид: «А имеет долженствование», «А имеет желание», «[нечто] а имеет предметность» и т.п. (WL II, 226).
Сводя различные типы повествовательных предложений к стандартному виду, Больцано считает необходимым особо выделить среди них те, которые он называет «важнейшими формами» предложений. Именно такие предложения используются им в разделе «Учение о выводах».
«К важнейшим формам предложений, - говорит Больцано, -по моему убеждению, принадлежат те, в которых выступают высказывания о самих представлениях, предложениях и об отношениях между ними. Причем представления или предложения в таких высказываниях должны рассматриваться в качестве переменных» (WL II, 393). Не приводя более конкретной причины и критерия выделения «важнейших форм» предложений стандартного вида, он предлагает учитывать в своем учении о выводах лишь следующие.
I. «А имеет в».
II. «Ложно, что А имеет в».
Ш.«Представление [нечто] (а + в + с + ...) имеет предметность». ^«Представление о единственном представлении А имеет предметность».
V. «Представление о нескольких представлениях А имеет предметность».
VI.«Представление об п представлениях А имеет предметность».
VII.«Представления А,В,С,. имеют свойство находиться в отношении. (совместимости, несовместимости, подчинения и т.д.)».
VIII.«Предложения А,В,С,. имеют свойство быть в отношении совместимости» (или - А,В,С,. - совместимы)».
!Х.«Предложения А,В,С,. имеют свойство быть выводимыми из
предложений М^,0,...» X. «Предложения А,В,С, иМ№,0,... находятся в отношении равнозначности».
ХГ«Предложения А,В,С,. находятся в отношении противоречия». ХП.«Представление об истинных (ложных) предложениях среди
предложений А,В, С,. имеет предметность». ХШ.«Предложение М имеет свойство с вероятностью п выводиться из предложений А, В, С,.».
Больцано считает, что можно использовать также отрицание каждой из указанных форм. В этом случае отрицание формы II, согласно ему, совпадает с формой I.
Рассмотрим, например, основные свойства форм: (I) - «А имеет в», (II) - «Ложно, что А имеет в» и (III) - «Представление [нечто] (а + в + с +...) имеет предметность», в которых, как частный случай, выразимы все силлогистические выводы «прежней» логики. Субъектные представления в (I) и (II) берутся во всем своем объеме, то есть субъект здесь всегда распределен. Объем предложения, согласно Больцано, полностью определяется объемом субъектного представления и «если последний есть беспредметное представление, то и предложение не имеет никакого предмета, о котором в нем идет речь» (WL II, 25). Таким образом, суждения вида (I) и (II) предполагают экзистенциальную трактовку, так как требуют для своей истинности непустоты или предметности субъекта. Он считает, что по сравнению с «прежней» логикой его способ редукции предложений к стандартному виду позволяет преодолеть неопределенность в объеме субъекта частных суждений. Например, суждение «некоторые люди смертны» Больцано записывает в соответствии с (III): «(каждое) представление о людях, которые смертны, имеет предметность».
В отличие от субъекта, предикат в (I) и (II) не распределен. Представление, стоящее на месте предиката, никогда не берется во всем своем объеме. Так как отрицание Больцано относит не к связке «иметь», а к предикату, то общеотрицательное суждение «прежней» логики «Все не суть P» он интерпретирует как «Вся-
кое S суть не-Р». Но в таком случае предикат «не-Р» нельзя считать распределенным.
Рассмотрим зависимость между «предметностью» терминов и истинностью предложения. Предложение вида (I) истинно только тогда, когда предметному субъектному представлению А присуще свойство, обозначаемое предикатным представлением в. Ложным предложение вида (I) оказывается в том случае, когда субъектное представление оказывается беспредметным, то есть пустым, или когда предметному представлению А не присуще свойство, обозначаемое предикатным представлением в. Легко видеть, что когда предложение вида (I) истинно, тогда ложно предложение вида (II), и наоборот. Если предложение вида (I) истинно, то его субъектное представление А имеет предметность (не является пустым по своему объему). Очевидно, предложение вида (III) истинно, когда никакое сочетание (а + в + с + ...) с «нечто» не дает беспредметную конкрету. В противном случае (III) - ложно. «Если истинно предложение "А имеет в", то истинным будет и предложение "А, которое в, имеет предметность" или "представление об А, которое обладает свойством в, имеет предметность" (WL II, 400). Указанная зависимость между предложениями, которым можно поставить в соответствие общеутвердительную и частноутвердительную формы суждений «прежней», по выражению Больцано, логики («Все S суть Р», «Некоторые S суть Р»), выступает «экзистенциальной предпосылкой» логической теории Больцано. В интерпретированной Я.Лукасевичем аристотелевской силлогистике выражение «некоторые S суть S» выступает в качестве аксиомы лишь при условии, что на место S следует подставлять непустые термины. Указанная аксиома выражает «экзистенциальную предпосылку» логики Аристотеля и позволяет получать вывод суждения «некоторые S суть Р» из суждения «все S суть Р».
У Больцано же общезначимой следует считать не форму «некоторые S суть S», но «если все S суть Р, то некоторые S суть Р», поскольку он допускает в своей логической системе беспредметные представления (пустые термины). Если в выражении «некоторые S суть S» вместо переменной S подставить беспредметное представление (что допустимо в логике Больцано), то в соответствии с рассмотренными условиями истинности, образуется ложное предложение. Но, с другой стороны, из этих условий истинности вытекает, что всякое истинное предложение не включает в свой состав пустых, беспредметных представлений. Поэтому выражение «все S суть Р» истинно в том случае, когда на месте S стоит предметное представление, то есть когда имеется по крайней мере один предмет «S», который одновременно есть «Р»,
поскольку все 5 суть Р. В этом случае, если истинно предложение «все 5 суть Р», истинным будет и предложение «некоторые 5 суть Р». Отличие экзистенциальных предпосылок и способа выражения общеотрицательного суждения у Больцано и Аристотеля приводит к тому, что из 24 модусов аристотелевской силлогистики в логике Больцано оказываются «правильными» только 22.
Истинное суждение, согласно Больцано, не должно включать в свой состав беспредметных представлений «Обе части А и в в истинном предложении всегда должны быть предметными представлениями» (WL II, 17). Очевидно, здесь достаточно уже лишь требования непустоты субъекта. Если предикат - беспредметное представление, то по экзистенциальной предпосылке образуется противоречивое, а следовательно беспредметное, согласно Боль-цано, субъектное представление. Например, из выражения «человек имеет всемогущность» образуется ложное предложение «представление о человеке, который всемогущ, имеет предметность», поскольку у Больцано предикат «всемогущность» может приписываться только «богу» и субъект оказывается беспредметным. Таким образом, общие суждения получают у Больцано экзистенциальную трактовку.
Используя формальную систему Б1, введем определение формулы, чтобы выразить с его помощью первые три «важнейшие формы» предложений логики Больцано.
Определение формулы
1. Элементарная формула есть формула.
2. Если А - формула, то Та - формула.
Предложения формы: I, II, III логики Больцано получают следующую запись в Б1.
I - (Т е хь..хк)
II - Т (Т е хь..хк)
III - (К хь..хк е О).
Остановим теперь внимание на правилах вывода, которые использует Больцано в своей дедуктивной теории. Понятие вывода и доказательства можно встретить в различных его сочинениях. Общим в них является положенное в основу отношение выводимости (АЫейЬагкей).
Если рассмотрение в аспекте отношения выводимости предложений А,В,... и некоторого предложения С, согласно Больцано, приводит к тому, что из истинности А,В,... усматривается истинность С, а истинность ДЕ,... приводит к истинности Е и так далее; затем, если рассмотрение предложений С, Е,... приводит к истинности предложения Н, а рассмотрение предложений Е, 3, ... при-
водит к суждению К и так далее; наконец, если рассмотрение предложений Н,К,Ь,... должно привести к суждению М, к которому мы стремимся при построении доказательства, то мы можем назвать доказательством суждения М не только совокупность всех предложений А,В,С, ДЕ,... К,Ь,..., но также отдельно взятые предложения А,В,. доказательством суждения С; предложения 0,Е,... доказательством суждения F и так далее. Такое доказательство, которое содержит в себе другие доказательства в качестве своей части, Больцано называет составным, а в противном случае простым. Предложения А,В, 0,Е,0,..., которые выше рассматривались (сами) без доказательства, он считает правильным называть началами, предпосылками, посылками или допущениями данного доказательства. Остальные предложения, например, такие как QF,... Больцано называет промежуточными, а само предложение Мзаключением данного доказательства (см.: WL, IV, 458).
В любом доказательстве Больцано считает необходимым, во-первых, ясно осознать те предположения, из которых должно строиться доказательство, и, во-вторых, все типы (правила) выводов, по которым оно строится. «Никакие заключения не могут быть получены из своих посылок без предварительного знания самих правил, по которым образуется каждый конкретный вывод. Поэтому еще недостаточно указать истинные суждения А, В, С, D,..., чтобы достичь знания об истинности некоторого суждения М» (WL III, 128). Таким образом, правила, в которых должны описываться зависимости в аспекте отношения выводимости между доказываемым утверждением и допущениями, составляют у Боль-цано основу доказательства.
Слово «вывод» выступает у него в двух значениях. С одной стороны, он часто использует это слово для обозначения самого перехода от опосредующих суждений к опосредованному суждению. «Если причина появления суждения М лежит в появлении суждений А,В,С,., то я назову суждение М обусловленным, а последние обусловливающими суждение М... Часто действия, которые приводят к получению суждения М из суждений А, В, С,. называют заключением или выводом; наконец, если в принятии за истинные А,В,С,. лежит причина принятия за истинное суждение М, то этот переход мы называем выводной способностью» (WL III, 123).
С другой стороны, слово «вывод» Больцано употребляет для высказываний об отношении выводимости в собственном смысле. «Выводом мы назовем всякое выражение, подчиненное форме: "Каждая совокупность представлений, которая на месте i,j,..., включенных в качестве варьируемых (переменных. - Б. Ф.) в пред-
ложения А,В,С,., M,N,O,..., делает истинными предложения А,В,С,., делает истинными и предложения М,ЦО,..."» (WL II, 540). Но принятие посылок за истинные, согласно Больцано, еще не гарантирует с необходимостью получения истинного заключения. Нужно, чтобы заключение находилось к посылкам действительно в отношении выводимости или точной выводимости1. А для этого, как считает Больцано, «зависимость между ними должна подпадать под одно из правил вывода, которое само есть выражение отношения выводимости и не касается ничего другого, как только формы участвующих в выводе предложений» (WL III, 127).
Как же образуются сами правила вывода, составляющие, как можно было заметить, основу дедуктивной теории Больцано? Беря различные сочетания из одной, двух, трех и более важнейших форм I-XIII или отрицания этих форм и используя понятия логической или точной выводимости, Больцано получает с их помощью ту или иную из указанных выше форм или их отрицаний в качестве заключения. Таким образом, он получает в своем учении о выводе огромное количество правил. «В этом случае, - говорит Больцано, - речь уже будет идти не о конкретных выводах, но о формах вывода (о правилах, по которым уже должен образоваться конкретный вывод» (WL II, 394).
Обоснование «правильности» выбираемой комбинации важнейших форм в качестве посылок или заключений в правилах вывода Больцано проводит чаще всего путем разбора соответствующих содержательных примеров. В то же время он использует и «логические критерии» отбора - это требование совместимости посылок в правиле как следствие из определения отношения выводимости. В отдельных случаях он использует также требование независимости посылок, когда между посылками и заключениями можно обнаружить отношение точной выводимости. Однако правила для точной выводимости он специально не рассматривает.
В разделе «О выводах» Больцано не рассматривает все (хотя бы только «правильные») выводы, которые можно получить из комбинаций одной, двух, трех и т.д. важнейших форм. И все же число проанализированных им правил достаточно велико - 437! Очевидно, Больцано не ставил своей целью обсудить в «Науко-учении» все правила, но лишь стремился изложить детально сам метод образования таких правил, основывая его на использовании отношения выводимости относительно сочетаний важнейших
1 См.: Федоров Б.И. Логика Бернарда Больцано. С. 78-81.
форм предложений стандартного вида I-XIII. Анализ данного метода показывает, что в логико-дедуктивной теории Больцано легко конструируются «новые» правила вывода, о которых не упоминается в «Наукоучении». Среди большого числа рассматриваемых правил вывода Больцано иногда обращает внимание читателя на правила, с помощью которых могут обосновываться другие правила. Обнаруживается, таким образом, как бы подразделение правил вывода на основные и производные, хотя сам Больцано не говорит о таком подразделении. Во всяком случае, оно не проводится в «Наукоучении» систематически. Отсутствие формализованного языка в его логической теории затрудняет обзор всей системы правил в целом и осложняет решение проблемы их строгого разделения на основные и производные.
В своей дедуктивной теории Больцано впервые в общем виде определил зависимость правил вывода от логических констант, входящих в предложения стандартной формы I-XIII, или их отрицания. Здесь же он выясняет точный смысл ряда констант, таких, например, как «иметь», «равно», «больше», «меньше», и других.
На основе развиваемой в «Наукоучении» дедуктивной теории Больцано пересматривает представления о выводе в «прежней» логике. Так, например, он считает излишним деление выводов на непосредственные и опосредованные. «Теперь любое число предложений А,В,С,., совместимых между собой, можно рассматривать в качестве посылок, а любое число предложений M,N,O,..., становящихся истинными всякий раз, как только истинными становятся первые, можно рассматривать в качестве заключений» (WL II, 540). Нельзя признать правильной, согласно Больцано, и точку зрения традиционной логики, согласно которой выводы в сложных умозаключениях, содержащих более двух посылок, можно получать лишь многократным применением силлогизма. Возражает он и против того положения, что «заключения должны иметь всегда только два термина, полученных из посылок». В соответствии с его пониманием отношения выводимости, посылки и заключения могут иметь любое число терминов. Больцано не делит выводы на категорические, гипотетические, дизъюнктивные и т.п. Он глубоко убежден, что силлогистикой не исчерпываются типы дедуктивных выводов. Он ставит перед собой задачу создать такую дедуктивную теорию, которая не только включала бы в себя прежнюю силлогистику, но и другие выходящие за ее рамки дедуктивные умозаключения. Система правил вывода у Больцано, как будет показано дальше, уже при использовании лишь двух «важнейших форм» I и III действительно позволяет рассматривать
силлогистические умозаключения в качестве частных случаев его логико-дедуктивной теории.
В предлагаемой нами реконструкции (формальная система Б1) основные правила вывода для «важнейших форм» I-III дедуктивной теории Больцано получают следующее выражение.
Основные правила Б1
a,ß,y - обозначают списки абстракт (возможно пустые) 5,8 -непустые списки абстракт. Указанные списки не содержат специальной абстракты G- «предметность».
П1. (Na е ßx1,x2y)_ П2. (Na е 5) (N5 е 8)
(Na е ßx2.x,y) (Na е 8)
П3. (Nß е 5) П4. (Na5ß е G) П5. (Na5ß е G)
(Naß5 е G) (Naß е G) (Na5ß е 5)
П6. (Nxi е xk+i)_(Nxk е xr+k) (Nxb..xk е G) (Nxb..xr е xr+i^xr+k)
П7. (Na е ßxi5)_ П8. (Na е 5ß)
(Na е ß — xi5) (Na е ß )
П9. (Naß е xi) П10. 1 (Naxiß е G) (Naß е G)
I (Na - x,ß е G) (Naß е xi)
Все правила вывода в своей логико-дедуктивной теории Боль-цано формулирует как правила прямого вывода заключения из посылок. Именно этими правилами он предлагает пользоваться при построении доказательств в «учебниках» науки в первую очередь. Вряд ли можно думать, что такой крупный математик и логик, каким был Больцано, не понимал определенных преимуществ от использования непрямых (косвенных) методов доказательства.
Очевидно, ориентацию Больцано на прямые методы доказательства в науке можно объяснить лишь его общим философско-методологическим замыслом представления логики как наукоуче-ния. Интересно заметить, что сам Больцано ни в одной своей работе так и не дал примера построения науки с использованием только прямых выводов.
Указанные мысли Больцано можно воплотить в добавлении к формальной системе Б1 двух основных правил
П11. Цл П12. Ак
а ;
в
1 в
1Ак
Правила вывода, построенные на основе использования «важнейших форм» I—XIII, составляют практическую основу (инструмент) для образования конкретных выводов и доказательств, с которыми, по мнению Больцано, мы постоянно сталкиваемся при написании научных учебников, при обосновании главных и вспомогательных научных положений. Но, все же, составляя основу некоторого конкретного вывода, каждое правило в отдельности не может характеризовать полностью логический вывод вообще. Иначе говоря, само правило не заменяет понятия логического вывода, в котором для Больцано должно раскрываться отношение выводимости. Отношение выводимости в каждом конкретном правиле из форм I—XIII носит ограниченный характер, так как зависит от конкретного сочетания посылок и заключений указанных форм. Лишь высказывания об отношении выводимости между совокупностями предложений (между посылками и заключениями) независимо от формы этих предложений, учитывающие лишь их истинностные значения, позволяют, согласно Больцано, раскрыть сущность логического вывода вообще. Эти высказывания, как отмечалось выше, Больцано часто называет словом «вывод». К числу их следует отнести все те содержательные описания свойств выводимости, которые рассматриваются в «Наукоучении». Из числа этих свойств Больцано выделяет главное, которому должен подчиняться любой логический вывод. Свойство это составляет самую суть отношения выводимости и должно лежать в основе любого доказательного вывода. Речь идет о своеобразном содержательном аналоге «дедукционной теоремы». «Если посылки А,В,С,... рассматриваются вместе с предложениями М,Ы,0,... и из этой совокупности выводимы ..., то мы можем сказать, что
предложения становятся истинными всякий раз, как
только истинными становятся все А,В,С,. и все М,Ы,0,... Мы можем, следовательно, утверждать гипотетическое суждение в качестве заключения из предложений А,В,С,...: если есть истинные М,Ы,0,..., то истинны и Каждая совокупность представлений, которая делает истинными (при замене переменных на постоянные. — Б.Ф.) все А,В,С,., делает истинным и предложение о том, что каждая совокупность представлений, которая делает
истинными все М,Ы,0,..., делает истинными и все Р,О,Я,. Таким образом, из любого вывода с п посылками можно образовать другой вывод с (п-1), (п-2) и даже с одной посылкой. Так, например, из посылок "А есть В" и "В есть С" выводимо заключение "А есть С". Но было бы справедливым также из одной посылки "А есть В" получить заключение ""Если "В есть С", то "А есть С"". И даже если вывод РО,К,... из совокупности А,В,С,., М,Ы,0,... был бы точным, то таковым был бы и другой» (т II, 397).
Воспользуемся теперь выразительными средствами языка современной логики для интерпретации, уточнения и окончательной формальной реконструкции дедуктивной теории Больцано.
Построение формальной системы Во будет опираться на пер-вопорядковую логику предикатов.
Исходный базис Во
А, в, с,... - индивидные или предметные константы;
X, у, z,... - индивидные или предметные переменные;
Рп, О", К1,... - п-местные предикаторные константы;
5, 51,., Т, Ть... - символы пропозициональных переменных;
У,3 - кванторные символы;
V - символ универсума рассуждений;
0 - символ пустого множества;
, &, V, =, # - символы пропозициональных связок;
— - символ отношения выводимости;
И, Л - символы значений: «истина», «ложь»;
=,^,>,с,е,п,и - символы математических отношений.
Определение терма:
1. Произвольная предметная (индивидная) константа есть терм.
2. Произвольная индивидная переменная есть терм.
3. Никаких иных термов нет.
Определение элементарной формулы:
1. Если Ф - п-местная предикаторная константа, а -термы (где п>О), то выражение Ф (^ . - элементарная формула.
2. Если ТФ - п-местная предикаторная константа, то выражение .Лп) - элементарная формула.
3. Если Фг и Ф] различные п-местные предикаторные константы, то выражения: (Фг=Ф]), ( Ф ( Фг >Ф]), (Фi пФД (Фг иФ]) - элементарные формулы.
4. Если Ф - п-местная предикаторная константа, а V - универсум (непустое множество) рассуждений, то выражения: (Ф е V),
(V е Ф), (Ф =V), (Ф cV), (Ф п V), (Ф и V) - элементарные формулы.
5. Произвольная пропозициональная переменная есть элементарная формула.
Определение формулы:
1. Элементарная формула есть формула.
2. Если А - формула, то ]А - формула.
3. Если А,В - формулы, то выражения: (А & В), (А vВ), (А 1В), (А = В) - формулы.
4. Если a - универсальная переменная, то выражения Va А и 3 a А - формулы.
Определение числовых кванторов:
1. 31 хР(х) = опр.3 хР(х) означает: существует не меньше, чем один х такой, что Р(х).
2. 31xP(x)= опр.] 3i x (P (x) & 3i y(P(y) & (y Ф x))) означает: существует не больше, чем один х такой, что Р(х).
3. 311 хР(х) = опр.31 х Р(х) & 31 х Р(х) означает: существует точно один х такой, что Р(х).
4. 3"„ хР(х) = опр.311 х (Р(х) & 3""1„_1 у (Р(у) & (у Ф х))) означает: существует точно n объектов х таких, что Р(х).
Выражение важнейших форм I-VI предложений стандартного вида в языке Во.
I - «А имеет в» = опр. V х(Р(х) i <2(х)).
II - «Ложно, что А имеет в» = опр. V х] (Р(х) i Q^)).
III - «Представление [нечто] (а + в + с +...) имеет предметность» = опр. 3х (Р(х) & Q(х) &.& Я(х)).
IV - «Представление о единственном представлении А имеет предметность = опр. 3S х Р(х).
V - «Представление о нескольких представлениях А имеет предметность» = опр. 31 х Р(х).
VI - «Представление об n представлениях А имеет предметность» = опр.3пп хР(х).
Анализ «правильных» правил вывода, полученных Больцано в разделе «О выводах», показывает, что некоторые из них оказываются такими, что могут быть использованы при обосновании правильности других (производных).
Выделяя в разделе «О выводах» те комбинации «важнейших» стандартных форм, которые могут играть роль основных по отно-
шению к другим комбинациям, мы предлагаем следующее их обобщенное выражение в формальной системе Во.
Основные правила вывода Во
Р1 (ср.: II, 401)
Уд(Ф(а) и (Ф(а) & Ф](а))
Уа(Ф(а) и (Ф](а) & Ф,(а))
Р2 (ср.: II, 412-419)
Уа(Ф(а) и(Ф/а) &...&Ф,(д))),Уа((Ф|(д) &...&№,))) и(Ф„,(а)&...&п Фп (а)) Уа(Ф) и(Фт+х(а) &...& Фп(а)))
Р3 (ср.: II, 399) Р4 (ср.: II, 428; 452)
Уа(Ф(а) и(Ф\(а) &...& Фт(а))) 3а (Ф/а) &...&Фт(а)) 3 а(Ф(а) &(Ф1 (а))&. &(Фт(а))) 3 а (Ф1 (а) &.& Фт-1 (а))
Р5 (ср.: II, 430)
3а Ф (а) &.& (Фг(а)) &.& Фт(а))_
У а (Ф (а) &.& (Фг(а) &...& Фт(а) и Ф,(а))
Р6 (ср.: II, 411; 416; 418; 440)
Уа((Ф1(а) иФm+\(а))...(Фm(а) и Фт+п(а))),3а(Ф 1(а)&.&Фт(а)) У а ((Ф^а) &...& Фт(а)) и (Ф т+^а) &...&Фт+п(а)))
Р7 (ср.: WL II, 398) У а( Ф (а) и (Ф (а))
Уа(Ф(а) иТТФг(а)) Р8 (ср.: WL II, 453)
У а (Ф(а) и Фх(а)&...& Ф1Л(а)&Ф1(а)& Ф+1 (а) &...& Фт(а))) У а (Ф(а) и (Ф1(а)&.& ФгЛ(а) & Ф^/а) &...& Фт(а)))
Р9 (ср.: WL II, 399) Р10 (ср.: WL II, 453)
Уа (Ф (а) и Фг(а)) Т3а (Ф (а) & Ф(а)), 3а Ф (а)
Т3 а (Ф (а) & Т Фг(а)) У а (Ф (а) и Т Ф(а))
Р11 (ср.: WL II, 406-407)
Уа(Фг(а) и Ф](а)), Уа(Ф](а) и Фг(а))_
Фг = Ф]
2 Двойная черта в правиле вывода означает возможность перехода как от формул, записанных над ней, к формулам, записанным под ней, так и наоборот.
Р11 (ср.: II, 406-407)
У а (Ф(а) з Ф/а)), У а (Ф/а) з Ф(а))
Ф~=Ф]
Р12 (ср.: II, 423)
Уа (Ф/а) з Ф](а)), У а 1 (Ф} (а) з Ф/а))
Фг < Ф]
Р13 (ср.: II, 459) З\ а(Ф1 (а) &...& Фт(а))
За (1 Ф1 (а) &.&1Фт(а))
Р14 (ср.: II, 460)
Уа((Ф )&. &Фт (а) з Ф „+))), З \ Ф „+1(0) З11а(Ф1(а) &...& Фт(а))
Р15 (ср.: WL II, 461)
З"па Ф (а), У а 1 (Ф (а) з Ф, (а))
У а (Ф (а) з 1 Ф , (а))
Р16 (ср.: WL II, 466)
Зпп а (Ф1 (а) &...& Фт+1 (а) & Ф„+1(а))Уа((Ф 1(а)&...& Ф„(а))зФ„+1(а))
ЗПпа(Ф1(а) &...& Фт(а))
Р17 (ср.: WL II, 128; 398) Р18 (ср.: WL II, 277)
ш а,
А .
В
1В
Нетрудно заметить, что первые десять основных правил вывода Р1-Р10 формальной системы В0 обобщают «промежуточный» формализм Б1 в виде правил вывода П1-П10, а правила П11 и П12 совпадают соответственно с правилами Р17 и Р18.
Определение вывода из допущений в Во
Пусть А1...Ап не содержащий повторений список формул. Тогда последовательность формул В1...Вт называется выводом из допущений А1...Ап, если каждая формула В, (г < т) либо принадлежит списку А1... Ап, либо получена из предшествующих формул по одному из основных правил Во и в правиле Р18 выражение А, есть одна из формул А1.Ап.
Будем считать, что в выводе В1...Вт из допущений Л1...Лп формула В ] (] < т) зависит от допущения А1 (I < п), если В] есть А1 или если В(г<]) зависит от Аг и В] получена из Вг (или из Вг и некоторой Вг1 в любом порядке) по одному из правил Р1-Р17.
Правило Р18, выражающее метод «приведения к абсурду», применяется следующим образом: если в ходе построения вывода из допущений А1...Ап в уже построенной его части, содержащей допущение А,, имеются формулы В и 1 В , из которых по крайней мере одна зависит от Аг, то построенную часть вывода можно продолжить, присоединив к ней в качестве следующей строки формулу 1 А,.
Определение ограниченного вывода
Последовательность формул В1...Вт называется ограниченным выводом из допущений А1.Ап, если она есть вывод из допущений, в котором правило Р18 применяется к формулам Аг(г < п), В и 1 В лишь при условии, что В или 1 В зависит от А,.
Определение заключения из посылок
Формула В называется заключением (следствием) из посылок А1...Ак, если можно построить такой ограниченный вывод из допущений А1...Ап (к < п), что в списке формул А1.Ап наряду с А1...Ак содержатся все формулы, отрицания которых включены в вывод как результат применения правила Р18, и В есть последняя формула этого ограниченного вывода.
Относительно предлагаемой формальной системы Во доказуема ее полнота и непротиворечивость.
Для доказательства полноты и непротиворечивости системы Во дадим интерпретацию ее основных элементов в алгебре множеств.
Ф,Ф1,...,Фт сопоставим Ф\Ф\,...,Ф'т - подмножества V.
а,аьа2,... сопоставим а ) \,а 2 - переменные с областью значений ф,ф 1,.,ф т,... 1 фл ф ь...,1 ф т, где 1 фг = V- фг то есть множество таких элементов V, которые не принадлежат Ф
(Ф1(а) &...& Ф т(а)) сопоставим Vп Ф, п...п Ф'т
(Ф(а) з Ф1(а)&...&Фт(а)) сопоставим 0 Ф V п Ф'с Ф, п...п
Ф т
За Ф (а) сопоставим Ф'Ф 0, У а Ф (а) сопоставим Ф' = V.
Предложенная интерпретация позволяет перевести основные правила Р1-Р16 формальной системы Во в форму алгебры множеств. Доказательства правильности переводов тривиальны. Покажем это на примере Р6.
(Fnфi с фm+o.-Vn фm с фm+n)((Vnф\п... пфm *0)
vn ф i п.п ф m) с (ф m+i п.п ф m+n)
В алгебре множеств известно, что Ф 1 п.п Ф 'm с Ф i (где 1< i < m). Тогда из Ф1 п...п Ф'm * 0 и 0 * Ф i с Ф 'm+n следует 0 * Ф1 п.пФm с Фm+n для всех i. Следовательно, 0 * Ф^п.п Фm с
Ф m+i п.п Ф m+n.
Интерпретируя 1 для основных правил Р17 и РП18 как пропозициональное отрицание в классическом исчислении высказываний, можем считать их доказуемыми в исчислении высказываний правилами вывода.
Проведенная интерпретация позволяет каждому правилу вывода в Во сопоставить вывод в алгебре множеств, предполагая классическое исчисление высказываний в качестве ее логической базы.
Как показатель непротиворечивости в алгебре множеств недоказуемо правило
Ф 1 П Ф 2 * 0
0 * Ф 1 с Ф 2 ' которому в Во соответствует правило: 3 а(Ф1 (а) & Ф2 (а)), V а (Ф1 (а) 1эФ2 (а))
Если недоказуемо первое (а это так!), то недоказуемо и второе.
В формальной системе Во могут быть адекватным образом представлены и доказаны в качестве производных 395 содержательных правил вывода, которые Больцано образует из комбинации важнейших форм I-VI предложений стандартного вида.
Количество правил вывода, которые Больцано сформулировал содержательным языком и проанализировал в разделе «О выводах», используя комбинации важнейших форм I-XIII предложений стандартного вида и их отрицаний, весьма велико. В связи с этим возникает естественный вопрос, почему для построения своей дедуктивной теории он не ограничился отношением логического следования, дедукционной теоремой и основными правилами вывода, которые легко можно выделить из 437 правил? Ответ очевидным образом связан с пониманием главной функции его логики
— «изображением и убедительным изложением содержания наук в собственных учебниках» (WL I, 7). Логика, понимаемая им как наукоучение или теория науки, должна способствовать достижению шести основных целей при изложении наук: легкому и ясному восприятию учений; созданию убежденности читателей в истинности учений; доказательности истин; быстрому нахождению нужных истин; созданию предпосылок для отыскания последних оснований учения; целесообразному употреблению учебника данной науки ^ IV, §§ 398; 401; 403; 406; 598). Логика, по мнению Больцано, должна выступать в качестве «фундамента нашего мышления в деле отыскания и познания последних оснований каждой отдельной науки»3 «Логика, по-моему, должна быть наукоучением, учением о том, как общая область известных людям истин должна целесообразным образом раскладываться на отдельные части или на отдельные науки в своих учебниках, обрабатываться и изображаться в них» (WL I, 21).
Из понимания функций логики как наукоучения можно естественным образом предположить, что дедуктивная теория должна выполнять прикладную функцию: способствовать правильному изложению наук в учебниках. Отсюда понятно, почему Больцано формулирует такое огромное количество правильных форм (правил) вывода, которыми можно воспользоваться непосредственно при изложении конкретного содержания той или иной науки. Приведение любых высказываний к единой форме «.имеет.» также можно рассматривать в качестве искусственного ограничения самой теории дедукции. Но в логике Больцано «важнейшие формы» способствуют строгости и единообразию изложения научного содержания знаний в учебниках и потому также оправданы его логикой как наукоучением.
3 Bolzano B. Was ist Philosophie? Wien, 1849. S. 19.
