Добавил:
ilirea@mail.ru Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Классики / Новая / Лейбниц / Сочинения. Т. 3

.pdf
Скачиваний:
51
Добавлен:
24.08.2018
Размер:
3.44 Mб
Скачать

Практическое приложение. Из этого доказательства мы научаемся следующему.

Если к тем же самым или совпадающим [терминам] добавляются какие-либо [другие] и получаются совпадающие [термины], то пусть даже те, которые добавляются, в обоих случаях будут не сообщающимися с теми, к которым они добавляются, сами они будут совпадать между собой (что и явствует из теор. XII). Если же один [из добавляемых] будет сообщающимся с тем тождественным, к которому добавляются тот и другой, а другой не будет, то несообщающийся будет в сообщающемся. Наконец, если они оба будут сообщающимися с тем, к которому добавляются, они будут как минимум сообщаться между собой (хотя, с другой стороны, отсюда не следует, что те 1термины], которые сообщаются с одним и тем же третьим,

сообщаются

между собой).

В

обозначениях: A -f- В оо

оо А + N.

Если

А

и В — несообщающиеся,

а также

А и N — несообщающиеся,

то

В оо N. Если А

и В

сообщающиеся,

тогда

как

А

и N — несообщающиеся,

то N будет в В. Наконец, если В сообщается с А и N

также сообщается с А, то В и N будут как минимум со-

общаться между

собой.

 

 

 

ОПЫТ АБСТРАКТНЫХ ДОКАЗАТЕЛЬСТВ

Определение1. Тождественные,илисовпадающие, [термины] суть те, каждый из которых можно всюду подставлять вместо другого с сохранением истинности. Например: «треугольник» и «трехсторонник», ибо во всех предложениях, доказываемых Евклидом относительно треугольника, можно с сохранением истинности [вместо термина

«треугольник»] подставлять

«трехсторонник», и

обратно.

А со В оснячает,

что

А и

 

 

 

 

 

 

 

 

В тождественны. Так

мы ска-

^.

 

^

 

зали бы о прямой XY и пря-

 

у*

 

 

^^

мой YX : YX оо XY, т. е. ска-

х^

 

 

 

 

 

^Y

 

 

 

 

 

зали бы, что кратчайшие пути

 

ч^

 

 

^f

движения от X к Y и от У к

 

^~—

 

 

 

 

 

 

 

 

 

 

 

Xсовпадают.

Определение 2. Различные [термины] суть те, которые

не тождественны или в которых подстановка иногда неосуществима. Таковы «круг» и «треугольник» или же «квадрат» (имеется в виду правильный, ибо так его всегда представляют геометры) и «разносторонний четырехугольник», так как не все то, что можно сказать о ромбе, можно сказать о квадрате.

А не оо В

означает,

что А и В

R

Y

s

x

являются различными, как, напри-

 

 

 

 

 

 

 

 

 

 

мер, прямые XY и RS.

 

 

 

 

 

 

Предлоэюение

1. Если

АооВ,тоиВооА.

Если

 

что-

либо будет тождественно другому, то и это другое будет

ему тождественно. Ибо так как А оо В (по условию), то (в силу опр. 1) в утверждении А оо В (истинном, по условию) можно подставлять В вместо А и А вместо В. Следовательно, будем иметь: В оо А.

Предложение 2. Если А не оо В, то и В не оо А. Если что-либо будет отлично от другого, то и это другое будет стлично от него.

Иначе будем иметь: В оо А. Следовательно (в силу доказанного выше), и А оо В, что противоречит условию.

Предложение 3. Если А оо В и В оо С, то и А оо С. Тождественные чему-то третьему, тождественны друг

21 Лейбниц, т. 3

641

другу. Ибо если в утверждении А оо В (истинном, по условию) С будет подставлено вместо В (в силу опр. 1, так как В оо С), то получится истинное предложение.

Королларий.

Если

А оо

В,

и В со С,

и С оо D, то

А оо D, и так

далее.

Ибо

А

оо В оо С,

следовательно,

Л оо С (согласно доказанному предложению). И опять же А оо С оо D, а значит (согласно доказанному), Л оо Z>.

Отсюда, если равными считать тождественные по величине, следует, что [величины], равные одной и той же третьей, равны между собой. Евклид при построении равностороннего треугольника берет каждую из сторон равной основанию, откуда следует, что они равны между собой. Если что-либо движется по кругу, достаточно показать, что пути, [проходимые какой-либо точкой] за два ближайших периода, или оборота, всегда совпадают,, чтобы заключить о том, что совпадают пути для любых периодов.

Предложение 4. Если А оо В и В не оо С, то и А не оо С. Если из двух [терминов], которые тождественны друг другу, один отличен от третьего, то и другой будет отличен от него же. Ибо если в предложении В не оо С (истинном, по условию) подставить А вместо В, то будет истинным (в силу опр. 1, так как А оо В) и предложение А не оо С.

Определение 3. «А находится в L» или «L содержит А»

есть то же самое, что «Множество вместе взятых [терминов ]t среди которых есть А% полагается совпадающим с L».

Определение 4. Все [термины], в которых содержится все содержащееся в L, вместе называются компонентами данного скомпонованного, или составленного, L.

В © N оо L означает, что В есть в L, или что L содержит В, и что В и N вместе составляют, или скомпоновывают, L. Аналогично в случае многих [терминов].

Определение 5. Субальтернантами я называю те [термины], один из которых содержится в другом, такие, как А и В, если либо В содержится в А, либо А содержится в В.

Определение 6. Раздельные [термины] — те, ни одил из которых не содержится в другом.

Аксиома 1. В © N оо N © В, т. е. данная транспозиция ничего пе меняет.

Постулат 1. Для любого данного [термина] можно найтп от него отличный их если угодно, раздельный^ т. е. такой2 что одип в другом не содержится.

Постулат 2. Любое множество [терминов], таких, как А, В, могут быть взяти вместе для составления одного [термина] А © В, или L.

Аксиома 2. А © А оо А. Если ничего нового не добавляется, то ничего нового и не получается; т. е. подобное повторение ничего не меняет. (Ибо хотя 4 монеты и другие 4 монеты дадут 8 монет, но совсем другое дело — 4 мопеты и те же самые 4 монеты, пересчитанные еще раз.)

Предложение 5. Если А есть в В и А оо С, то и С есть

вВ. Совпадающее с содержащимся есть содержащееся.

Ибо из предложения ч.А есть в В» (истинного, по условию) подстановкой С вместо А (в силу опр. 1 совпадающих, так как А оо С, по условию) получим: С есть в В.

Предложение 6. Если С есть в В и А оо В, то и С будет

вА. Что содержится в одном из совпадающих, то содержится и в другом. Ибо из предложения «С есть в В» подстановкой А вместо С (так как А оо С) получим: А есть в В (обращение предыдущего предложения) *.

Предложение 7. А есть в А. Одно и то же содержится в себе самом. Ибо А есть в А © А (в силу определения «содержащегося», т. е. опр. 3) и А © А оо А (в силу акс. 2). Следовательно (в силу предл. 6), А есть в А.

Предложение 8. А есть в В, если А оо В. Одно из совпадающих содержится в другом. Это явствует из предыдущего. Ибо А есть в А (в силу доказанного выше), т. е. (по условию) в В.

Предложение 9. Если А оо В, то А © С оо В © С. Если к тождественным [терминам] добавляются совпадающие, получаются совпадающие. Ибо, если в предложении А © С оо А © С (истинном само собой) вместо А в одном случае подставить В (по опр. 1), получится:

А © С оо В © С.

А — треугольник

|

 

В — трехсторонвик

[ совпадают

А © С—треугольник рав-

\

носторонний

совпа-

— трехсторонник

j дают

равносторонний

)

642

21»

Схолия. Данное предложение не допускает обращения,, и тем более — два нижеследующих; ниже (в проблеме,, которая излагается в предл. 23) будет указан способ подтверждения этого.

Предложение 10. Если А оо L и ВссМ, то А ф В оо оо L © М. Если к совпадающим добавляются совпадаю-

щие% получаются совпадающие. Ибо так как В оо М, то

(в силу

предшеств. предл.) А © В оо А © М, и подста-

новкой

L вместо

последнего А (поскольку А оо L, по

 

_

условию) получим: А ©Воо

Х©|Г^Ч

 

 

ooL©M.

 

 

_^

 

\

 

А — треугольник и L

^\

__\

трехсторонник

совпадают;

\ /^ в

"^

В — правильный и А/ — наи-

X

 

 

-JX

более емкий из изопериметри-

M /

ческих, имеющих равное чис-

 

ло сторон многосторонников,,

 

 

 

 

 

 

 

 

совпадают. Правильный тре-

 

 

 

 

угольник и наиболее

емкий

Тб)м

 

 

 

и з и з о п е Р и м е т Р И Т 1 е с к и х

трех-

 

 

 

 

сюронников совпадают.

Схолия. Это предложение не допускает обращения.

Ведь если было

бы

А ф В оо L ф М и А оо L,

отсюда

еще не следовало бы, что и В оо М. Тем более не допускает обращения следующее предложение.

Предложение 11. Если А оо L, В оо М и С оо N, то АфВфСооЬфМфМ. И так далее. Если предполагается сколь угодно много [терминов] и столько оке других [терминов], соответственно совпадающих с ними один кодному, тосоставленноеизпервыхсовпадаетссоставленным из последних. Ибо (в силу предшеств., так как А оо L и В оо М) имеем: А ф В оо L © М. Откуда, поскольку

Соо N, получим (также в силу предшеств.): А © В © С оо

ооL © М © N.

Предложение 12. Если В есть в L, то А ф В будет в А © L. Если одно и то же добавляется к содержимому и содержащему, полученное из первого содержится в полученном из второго. Ибо пусть L оо В © N (по определению «содержащегося»); тогда А © В есть в В © N ф А (в силу того же), т. е. в L © А.

В — равносторонний, L — правильный, А — четырехсторонник. «Равносторонний» содержится в «правильном»,) т. е. свойствен «правильному». Следовательно, «равносторонний четырехсторонник» содержится в «правильном

четырехстороннике»,

т. е. в

A©L

 

«совершенном

квадрате». YS

 

 

 

 

есть

в RX.

Следовательно,

 

 

Ч

RT © YS,

т. е.

RS,

есть в

 

 

Ч

RT © RX, или в RX.

 

 

 

 

 

Схолия. Это предложение

 

 

 

не

допускает

обращения,

\

 

 

ибо,

если

даже

А © В есть

 

 

в А ф L, отсюда не следует,

~~А~~\~ В~

/

что В есть в L.

 

 

'"*•

 

^

Предложение

13.

Если

 

 

L

L © В оо L, то В будет в L.

Если что-либо с добавлением другого не становится дру-

гим,

то добавленное в

нем

содержится. Ибо В есть в

L фВ

(по

определению

«содержащегося») и

L ф В оо L

(по условию); следовательно (в силу предл. 6), В есть в L.

RY®RXoo RX,

следова-

 

 

тельно, RY

входиг

в RX.

^-—;-

-~^

RY

входит

в RX,

следова-

 

ч

тельно ,RY © RX оо RX.

 

 

 

/

 

Пусть

L — параллело-

 

грамм

(любая сторона кото-

 

/

рого параллельна

некоторой

 

V в

 

другой стороне),

 

 

 

В — четырехсторонний.

B0L

 

«Четырехсторонний паралле-

 

 

 

лограмм» есть то

же самое,

 

 

что и «параллелограмм». Следовательно, «быть четырехсторонним» содержится в [понятии] «параллелограмм».

И обратно: «быть четырехсторонним» содержится в [понятии] «параллелограмм». Следовательно, «четырехсторонний параллелограмм» есть то же самое, что и «параллелограмм».

Предложение 14. Если В есть в L, то L ф В оо L. Субалътернанты ничего нового не компонуют, т. е. если что-либо содержится в другом, то, добавленное к этому другому, оно не дает ничего от него отличного. Обращение предыдущего предложения. Если В есть в L, то (по опре-

делению

«содержащегося») L оо В © Р.

Следовательно

силу

предл.

9),

ЬфВооВфРфВ, т.

е. (в силу

акс.

2) оо В ф Р,

что

(по условию) оо L.

 

Предложение 15. Если А есть в В и В есть в С, то и А есть в С. Содержимое содержимого есть содержимое содержащего. Ибо А есть в В (по условию^ следовательно^,

644

645

А © L оо В (по определению «содержащегося»). Подобным

образом так как В есть в С, то В © М оо С. Подстановкой

в данном утверждении А © L вместо В (они,

как мы по-

казали, совпадают) получим: А © L © М оо

С. Следова-

тельно

 

(по

определению

«содержащегося»), А есть в С.

 

 

 

 

 

 

 

 

 

 

 

 

 

Я77 есть

в RS,KRS-B RX,

Я

 

 

т

 

 

s

2е

следовательно, RT есть в ЛХ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

___/д

/

 

 

 

/А — четырехсторонник, 2? —

 

 

 

 

,/в

 

 

 

/

 

параллелограмм, С — прямо-

 

 

 

 

 

 

 

 

 

 

 

 

 

\ ^

 

 

 

 

 

^ - ^

 

 

угольник.

 

 

 

 

*•••'—

 

 

 

 

 

 

 

«Быть

четырехсторонни-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ком» содержится в [понятии]

параллелограмма, и «быть параллелограммом» содержится в [понятии] прямоугольника (т. е. фигуры, все углы которой прямые). Следовательно, «быть четырехсторонником» содержится в [понятии] «прямоугольник». Если же вместо понятий, которые рассматриваются сами по себе, мы берем индивидуумы, охватываемые данным понятием, то указанные выше [понятия] допускают инверсию, и можно считать А прямоугольником, В — параллелограммом, С — четырехсторонником 2. Ибо все прямоугольники находятся в числе параллелограммов, а все параллелограммы — в числе четырехсторонников. Следовательно, и все прямоугольники содержатся среди четырехсторонников. Таким же образом все люди содержатся и [числе] всех животных и все животные — в [числе] всех телесных субстанций; следовательно, и все люди содержатся в [числе] телесных субстанций. С другой стороны, наоборот, понятие телесной субстанции содержится в понятии животного п понятие животного — в понятии человека. Ведь «быть человеком» содержит в себе «быть животным».

Схолия. Указанное предложение не допускает обращения, и тем более — следующее.

Королларий. Если А ф N есть в В, то и N есть в В.

Ибо Лг есть в А © N (по определению «содержащегося»).

Предложение 16. Если А есть в В, и В есть в С, и С есть в D, то и А есть в D. И так далее. Содержимое содержащего, взятого из содержимого, есть содержимое содержащего. Ибо если А есть в В и В есть в С, то и А есть в С (в силу предшеств.). Откуда если С есть в D, то (опять же в силу предшеств.) и А будет в D.

Предложение 17. Если А есть в В и В есть в А, то А оо В. Те [термины]^ которые взаимно содержатся один

в другом, совпадают. Ибо если А есть в В, то А ® N оо В

(по определению «содержащегося»). Далее, В

есть

в А

{по условию); следовательно, А © N есть в А

силу

предл. 5). Поэтому (в силу короллария к предл. 15) и N

есть в А. Следовательно, так же (в силу предл. 14) А оо

со А © ./V,

или А

со В.

 

 

 

 

 

RT, N; RS, A; SRQRT,B.

 

 

 

 

«Быть

трехсторонником»

 

\

содержится в [понятии] «тре-

/

 

 

i

угольник», а «быть треуголь-

 

 

 

ником» содержится в [поня-

 

 

 

тии] «трехсторонник». Сле-

 

 

 

довательно, «треугольник» и

"**«*.

•-"'

«трехсторонник»

совпадают.

 

А

 

Так же «быть всезнающим» совпадает с «быть всемогущим».

Предложение 18. Если А есть в L и В есть в L, то и

А© В будет в L. То, что составлено из двух [терминов]? содержащихся в одном и том же, также содержится в нем.

Ибо, так как А есть в L (по условию), можно положить

Аф М со L (по определению «содержащегося»). Подобным образом, так как В есть в L, можно положить В ©

©N со L. Объединением указанных [положений] получим (в силу предл. 10) A@MQ>B@NooL@L. Следовательно (в силу акс. 2), А © М © В © N со L.

Поэтому

(по определению «содержащегося») А © В

есть

в L.

 

 

 

 

 

 

 

 

 

 

 

 

RYS есть

в RX.

 

 

 

 

 

^—~~ L

- ^ ч

YST есть в RX.

 

/

 

 

 

 

 

\

 

 

Следовательно,

RT

есть Rt

 

 

 

X.

 

 

§

1

Зх

 

 

 

 

 

А —равноугольный, В — рав-

--

 

 

^.**

 

 

носторонний, A Q) В — рав-

 

 

А ©в

 

 

 

 

ноугольный равносторонний*

 

 

 

 

 

 

 

 

или правильный,

L — квадрат.

«Равноугольный» содер-

жится в «квадрате». «Равносторонний» содержится в «квадрате». Следовательно, «правильный» содержится в «квадрате».

Предложение 19. Если А есть в L, и В есть в L, и С есть в L, то А © В © С будет в L. И так далее. Т. е. вообще, в чем содержатся отдельные [термины], в том содержится и составленное из них. Ибо А © В будет в L

(в силу предшеств.). Кроме того2 и С есть в L (по усло-

Ш

647

вию). Следовательно (опять же в силу предшеств.), А 0 0 В 0 С есть в L.

Схолия. Очевидно, что указанные два предложения и им подобные допускают обращение. Ибо если А 0 В оо оо L3, то ясно, что, по определению «содержащихся», Л есть в L и В есть в L. Так же, если А 0 В 0 С сю L, ясно, что А есть в L, В есть в L и С есть в L. Равным образом, что А 0 В есть в L, А 0 С есть в L и 5 0 С есть в L. И так далее.

Предложение 20. Если А есть в М и В есть в N, то А 0 В будет в М ф N. Если предшествующий [термин] содержится в последующем и другой предшествующий в другом последующем, то составленное из двух предшествующих содержится в составленном из двух последующих.

Ибо А есть в М (по условию) и М есть в М 0 N (по определению «содержащегося»). Следовательно (в силу предл. 15), А есть в М 0 N. Подобным образом поскольку

В есть в N, а N есть в М 0 N, то

В будет в М 0 N.

Далее, если А есть в М 0 N и В есть в М 0 N, то (в силу

иредл. 18) и

Л © 5 будет

в М 0 N.

 

 

 

 

 

 

 

RT есть в ДУ, и 57" есть

 

M©N

в SX. Следовательно, RT 0

 

,-•

 

 

-.^

© ST, т. е. RY, есть в ДУ ©

 

 

/\

 

 

 

„_Х

© SF, т. е. есть в RY 4 .

 

 

 

 

 

 

Пусть Л будет четырехсто-

/

 

 

 

 

ронний, В — равноугольный,,

 

 

 

X

А © В — прямоугольный.

 

 

 

 

 

 

 

 

 

 

 

Пусть М будет параллело-

 

 

 

 

 

 

граммом,

N — правильным,

 

 

 

 

 

 

а М 0 N — квадратом. Тог-

 

AC+JB

 

 

 

да «четырехсторонний» содер-

 

 

 

 

 

 

жится в

«параллелограмме»,

а «равноугольный» содержится в «правильном». Следовательно, «прямоугольный» (т. е. «четырехсторонний равноугольный») содержится в «правильном параллелограмме», или «квадрате».

Схолия. Это предложение не допускает обращения. И пусть даже А будет в М, а также А © В в М © N, отсюда вовсе не следует, что В есть в N, ибо может случиться, что как А, так и В будут в М или же что нечто такое, что будет в В, будет в М, а остальное — в N. По той же причине тем более не допускает обращения следующее и подобные ему предложения.

Предложение 21. Если А есть в Мх и В есть в Nru С

есть в Р, то А © В © С будет в М © N © Р. И так далее. Составленное из содержимых содержится в составленном из содержащих. Ибо так как А есть в М и В есть в N, то (в силу предшеств.) А © В будет в М © N. 11 далее, С есть в Р, следовательно (также в силу предшеств.), А © В © С есть в М © N © Р.

Предложение 22. К двум данным раздельным [терминам] А и В найти третий, отличный от них, С, такой, чтобы он вместе с ними составил субальтернанты Л © С

и В © С. Т. е. такой, что, пусть даже А и В один в другом не содержатся, все же один из А @ С и В 0 С будет содержаться в другом.

Решение. Если мы хотим, чтобы Л © С содержалось в данном В © С, и при этом допускаем, что А не будет в В, тогда это можно представить следующим образом. Берем (в силу постулата 1) некоторое D, любое, но такое, чтобы оно не содержалось в данном Л, и (в силу постулата 2) получаем Л ©/) оо С. Полеченное будет искомым.

Ибо Л © С о о Л © Л ©

 

 

 

^

 

 

© Db (по построению) оо Л 0

 

 

^ ^ в © с

 

© D (в силу акс. 2). Подоб-

/'

.

 

Ч\

 

 

 

 

 

 

ным образом В © С оо В ©

/ / ' А © с ~^Х

\

© Л ф D (по

построению).

//

 

\

 

 

Далее, Л ©) D

есть в В ©

 

 

 

 

 

 

 

0 Л ©Z? (в силу опр.З). Сле-

 

 

 

 

 

 

/

довательно, Л © С есть в

\ о

 

А /

в

В © С. Что требовалось по-

N ^—_.^-'"

 

 

лучить.

 

 

°

 

 

 

 

 

SY и YX — раздельны. Пусть RS © SY оо YR, SY ©

© YR пусть будет в XY © УЛ. Пусть Л

— равносторон-

ний, В — параллелограмм,/) — равноугольный, С — равносторонний равноугольный, или правильный. Отсюда ясно, что, хотя «равносторонний» и «параллелограмм» будут раздельны (так что одно в другом не содержится),, все же «правильный равносторонний» содержится в «правильном параллелограмме», т. е. в «квадрате». Но вы скажете, что подобная конструкция не во всех случаях достижима. Если, например, Л будет трехсторонний, а В — четырехсторонний, то нельзя будет найти такое понятие, в которое одновременно входили бы и Л, и В, а поэтому нельзя получить такое В © С, в которое входило бы Л © С, ибо Л и В несовместимы. На это я отвечу, что наша общая конструкция покоится на постулате 2, в силу которого любой 1термин] может быть скомпонован с лю-

С48

бым [термином]. Так, Бог, душа, тело, точка, теплота составляют агрегат из этих пяти вещей. И таким же путем могут быть скомпонованы трехстороннее и четырехстороннее. Тем самым проблема разрешается. В таком случае берется некоторое D, такое, чтобы оно не содержалось в «трехстороннем», например «круг». А © D будет «трехсторонним и круглым», что обозначается через С. Далее, С © А будет не чем иным, как опять-таки «трехсторонним и круглым». Тем более оно будет содержаться

вС © В, т. е. в «трехстороннем, круглом и четырехстороннем». Но если бы кто-нибудь захотел применить указанное общее исчисление произвольных композиций к специальному виду составления [композиции], например если бы кто-то пожелал, чтобы трехсторонним, круг а четырехсторонник не только составили один агрегат, но чтобы в то ?ке самое время каждое нз этих понятий было

водном и том же субъекте, тогда он должен был бы установить, совместимы ли они. Так, неподвижные расходящиеся прямые могут одновременно браться именно для составления одного агрегата, но не для составления одного континуума.

Предложение 23. Для двух данных раздельных [терминов] А и В найти третий, отличный от них, Св.

Решение. Берется (в силу постулата 2), что С оо А ©

©В, и получается искомое решение. Ибо, поскольку А

иВ раздельны (по условию), т. е. (по опр. 6) одно в другом не содержится, постольку (в силу предл. 13) не может быть С оо А или С оо В. Поэтому все эти три [термина] являются различными, как того и требует задача. Далее,,

А©СооА©А©В (по построению), т. е. (в силу акс. 2) оо А © В. Следовательно, А © С оо А © В. Что и требовалось получить.

Предложение 24. Найти множество различных [терминов], таких, что каждый отличен от всех других, сколько бы их ни было взято, и таких, чтобы из них нельзя было составить нового [термина], т. е. [термина], отличного от любого [из них].

Решение. Берется сколь угодно много любых [терминов], отличных друг от друга: А, В, С, D (в силу постулата 1), и из них (в силу постулата 2) образуются А © © В оо М, М © С оо N, N © D оо Р. Я утверждаю, чго

А, В, М, N, Р и будут искомыми. Ибо (по построению) из Л и В получим М, и, далее, А или В есть в М, и М — в N1 и N — в Р. Следовательно (в силу иредл. 1(5), любой

650

из предшествующих будет в любом из последующих. Далее, если два каких-либо термина [из них] скомпоновать друг с другом, то ничего нового не получится. Ибо, если скомпоновать одно и то же с самим собой, ничего нового не образуется: L © L оо L (в силу акс. 2). Если же скомпоновать разные [термины], то — предшествующий с последующим, а следовательно, содержимый с содержащим, как L © N, но L © N оо N (в силу предл. 14). Если же скомпоновать три [термина], так что L © N © Р, то скомпонуется пара L © N с одним [термином] Р. Но пара [терминов] L © N сама по себе не составляет ничего нового, ведь один из них, как уже показано, есть последующий N. Поэтому компоновать пару [терминов] L © N с одним [термином] Р — это то же самое, что компоновать N с Р, что, как мы показали, ничего нового не составляет. Следовательно, пара вместе с одним, т. е. тройка [терминов], ничего нового не составляет. И так далее для всего множества. Что и требовалось доказать.

Схолия. Достаточно взять [термины], которые последовательно содержатся один в другом, такие, как М, N, Р и т. д., и действительно будем иметь в результате, если положить в нашем построении А оо «ничто», что В оо М. Однако данное решение представляется более общим, хотя такого рода проблемы могут решаться еще и другими способами. Но чтобы выявить все их возможные решения, т. е. доказать, что нет никаких иных возможных способов, понадобилось бы много других предположений, нуждающихся в предварительном доказательстве. Так, например, чтобы пять вещей А, В, С, D, Е не могли составить ничего нового, они должны удовлетворять только следующим способам организации. Во-первых, если А есть ViB,BbC,CbDvkDRE; во-вторых, если А © В оо С и С есть в D, a D в Е; в-третьих, если А © В оо С, А есть BDBB©DOOE. К этому третьему способу относятся указанные выше пять понятий: «равноугольное» А, «равностороннее» В, «правильное» С, «прямоугольное» D и «квадратное» Е. Из них нельзя составить ничего нового, такого, что уже не совпадало бы с каким-либо из них. Ибо «равноугольное равностороннее» совпадает с «правильным» и «равноугольное» содержится в «прямоугольном»^ а «равностороннее прямоугольное» совпадает с «квадратным». Отсюда «правильное равноугольное» есть то же самое, что «правильное», а также «правильное равностороннее»х а «равноугольное прямоугольное» есть «нрямо-

651

угольное», «правильное же прямоугольное» есть «квадратное».

Схолия к определениям 3, 4, 5, 6. Мы говорим, что понятие рода содержится в понятии вида, индивиды вида — среди индивидов рода, часть — в целом и даже что неделимое содержится в континууме, как точка в линии, хотя точка и не будет частью линии. Таким образом,, понятие состояния, т. е. предиката, содержится в понятии субъекта. II это положение распространяется на весь универсум. Мы говорим также, что содержащиеся содержатся в том, в чем они находятся. И в данном случае при таком общем представлении неважно, каким образом те, что содержатся, относятся друг к другу или к содержащему их. Поэтому наши доказательства относятся и к тем [терминам],, которые составляют нечто распределенное, как все виды вместе составляют род. Далее, все содержащиеся, которых достаточпо для составления содержащего, т. е. такие, в число которых входят все, входящие в содержащее, называются составляющими данное содержащее. Например, говорят, что А © В составляет L, если А, /?„ L обозначают прямые RS, YX и RX, так как RS © YX оо оо RX. Таким же образом RS © SX оо RX. А такие части, которые комплектуют целое, я обычно называю «коинтегрантными», особенно если они не имеют никаких общих частей, так что могут быть названы «сочленами»,, как RS и RX, Отсюда ясно, что одно и то же может быть составлено многими способами, если те [термины], из которых оно составляется, будут сами составными. И далее, если они могут разлагаться до бесконечности, то и вариантов композиции будет бесконечно много. Поэтому синтез и анализ целиком зависят от указанных здесь оснований. Далее, если те [термины], которые содержатся в чем-то, будут однородны с тем, в чем они содержатся, они будут называться «частями», а содержащее их будет называться «целым». Если же имеются две какие-либо части, такие, что может найтись нечто TpeTbet имеющее общую часть с одной из них и общую часть с другой,, тогда то, что из них составляется, есть континуум. Отсюда ясно, как одно рассуждение постепенно возникает из другого. Далее, я называю «субальтернантами» те [термины], один из которых содержится в другом, как, например, вид в роде, прямая RS в прямой RX. «Раздельными» я называю те, которые не таковы, как, например, прямые RS и YXX два вида одного а того же родаг металл благо-

652

родный и неблагородный. К раздельным относятся также и члены различных делений одного и того же целого, которые имеют нечто общее; например, если делить «металл» на «благородный» и «неблагородный» и, кроме того, на «растворимый» и «нерастворимый» в крепкой водке, будет яспо, что «металл, нерастворимый в крепкой водке» и «металл благородный» суть два раздельных [термина]. Имеем же мы металл благородный, т. е. сохраняющий свой блеск в тигле и все же растворимый в крепкой водке, — такой, как серебро; и наоборот, имеем металл неблагородный и нерастворимый в крепкой водке, такой, как олово.

Схолия к аксиомам 1 и 2. Поскольку общее знаковое искусство (speciosa generalis) есть не что иное, как репрезентация и истолкование комбинаций с помощью знаков

иоперирование с ними, и поскольку изобретаемые законы комбинирования бывают разными, постольку возникают

иразличные способы вычисления. В данном же случав нет никакого смысла принимать во внимание различие^ которое состоит единственно в изменении порядка, и для; нас АВ есть то же самое, что и ВА. Далее, в данном случае не имеет никакого смысла повторение, т. е. для нас АА есть то же самое, что и А. Поэтому настоящее исчисление может быть приложено всюду, где выполняются указанные законы. Но очевидно, что они выполняются в случав составления абсолютных понятий, где не имеет смысла ни порядок, ни повторение. Так, сказать: «теплое и светлое» — то же самое, что сказать: «светлое и теплое», а говорить вместе с поэтами: «жаркий огонь» или «белое молоко» — это значит говорить плеоназмы. И «белое молоко» есть не что иное, как «молоко», а «разумный человек» или «разумное животное, которое разумно» есть не что иное, как «разумное животное». То же самое происходит,, когда некоторые определенные вещи полагаются содержащимися среди [тех же] вещей. Ибо реальное прибавление того же самого является бесполезным повторением. Когда говорят, что двойка и двойка дают четверку, последняя двойка должна отличаться от первой. Если бы она была той же самой, ничего нового не получилось бы и случилось бы так, как если бы, шутки ради, я пожелал из трех яиц сделать шесть, пересчитав сначала три яйца, затем,, съев одно из них, — оставшиеся два и, наконец, съев еще одно, — оставшееся одно. Однако в исчислении чисел и величин А, В или иные знаки не обозначают определен,-

653

ную вещь, а [обозначают] любую вещь с одним и тем же числом конгруэнтных частей. Ведь любые два фута обозначаются через 2 (если единицей, или мерой, будет фут), откуда 2 + 2 дает нечто новое — 4, и 3, взятое 3 раза( дает нечто новое — 9. Ибо предполагается, что всегда оперируют различным (хотя и той же самой величины). Иное дело, когда вещь присутствует в других вещах, например когда речь идет о линиях. Пусть движущийся предмет описывает прямую RY © YX оо RYX или же Р © В оо L движением от R к X. Положим, далее, что тот же [предмет] возвращается от X обратно к Y и там останавливается. Хотя он непременно дважды опишет [прямую] YX, или В, не произойдет ничего другого в сравнении с тем, если бы он описал YX однажды. Так что L © В будет тем же, что и L, т. е. Р © В © В; или же RY © YX © XY будет тем же самым, что и RY © YX. Очень важно быть осторожным при оценке величины и движения тех [вещей], которые порождаются из величины и движения порождающих или описывающих [вещей], ибо следует остерегаться, как бы при описании одна вещь не выбрала своей траекторией след другой и часть описывающего не заступила место другой [части]; или же следует отделить его, чтобы не полагалось еще раз то же самое. Отсюда также ясно, что компоненты, согласно понятию, которое мы здесь используем, могут из своих величин составить величину,, большую, чем величина той вещи, которую они составляют. Поэтому есть большая разница в составлении вещей и величин. Например, если бы у целой прямой L, или RXt имелись части А, или RS, и В, или YX, каждая из которых была бы больше половины данной RX (как если бы RX была величиной 5 футов, RS — 4 фута, a YX — 3 фута), то было бы очевидно, что величины частей составили бы величину 7 футов, большую, чем величина целой [прямой]; и все же данные прямые RS и YX не составляют ничего другого, кроме RX, т. е. RS @ YX оо RX. Вот почему это реальное прибавление я обозначаю через ©, тогда как прибавление величин обозначается через +. Наконец, если реальное прибавление касается многого, то, раз речь идет о вещах, действительно порождаемых, имеется какой-то порядок [порождения], ибо прежде закладывается фундамент, а потом строится здание. В мысленном же образовании вещей получается одно и то же, какой бы из ингредиентов мы ни рассматривали прежде других, хотя бы один способ рассмотрения и был полезнее другого. Значитг

в данном случае порядок не изменяет порождаемой вещи. В свое время потребуется обратиться к порядку. В дан-

ном же случае RY © YS © SX есть то

же самое, что

YS © RY © SX.

 

К предложению 24. Схолия. Если RS

и YS различны

и, более того, разделены, так что ни одно из них не будет в другом, то RS © YX oo RX, a RS © RX будет тем жо самым, что YX ф RX. Ведь во всех случаях составляется в понятиях прямая RX. Пусть А будет параллелограмм» В — равноугольник (которые суть раздельные), а С будет А © 5, т. е. прямоугольник. Тогда «прямоугольный па-

раллелограмм»

будет

тем же

B 0 C

самым, что и «равноугольный

прямоугольник»: и то и дру-

 

гое есть не что иное, как «пря-

 

моугольник». Вообще, пусть

 

будет Мевий — А, Титий —

 

В, пара, составленная из них

 

двоих, — С.

Тогда

Мевий

 

будет вместе с этой парой тем

 

же, чем будет Титий с этой

 

парой, ибо в обоих случаях

 

ничего иного,

кроме

данной

 

пары, не производится. Может иметь место и другое решение, которое более изящно, но и более специально: если бы А и В имели нечто общее, и это общее было бы дано, и было бы дано также то, что каждое из них имеет собственный признак (proprium). Итак, пусть собственным признаком данного А будет М, а собственным признаком данного В будет N и пусть М © N oo D, общее же им обоим будет Р. Тогда я утверждаю, что А © D будет оо В © D.

Ибо поскольку АооР®МшВооР@Ы, io A ® D оо оо Р © М © Nx и также B@DooP®M@N.

654

ПРИМЕЧАНИЯ

УКАЗАТЕЛИ

ПРИМЕЧАНИЯ

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

Если не говорить о прижизненных публикациях и отдельных работах, изданных Р. Э. Распе, издание этих произведений на языках оригинала началось лишь во второй половине XVIII в. Мы имеем в виду издание Л. Дютана: «G. G. Leibnitii opera omnia, nunc primam collecta in classes distributa prae fatigonibus et indicibus exornata, studio Ludovici Dutens». V. I—VI. Genovae, 1768 (в дальнейших ссылках — Дютан, первая (римская) цифра указывает том, доследующие (арабские) — страницы тома). Из публикуемых нами работ в издание Дютана вошли только часть переписки и прижизненные публикации. Основная масса предлагаемых вниманию читателя произведений Лейбница впервые была опубликована только в XIX и начале XX в. Часть из них издана И. Эрдманом: «Godofredi Guiiielmi opera philosophica quae extant latina gallica germanica omnia». Berolini, 1840 (в дальнейших ссылках — Эрдман, цифры указывают страницы издания). Другая часть опубликована К. Герхардтом: «Die philosophischen Schriften von Gottfried Wilhelm Leibniz». Bd. I—VII. Berlin, 1875—1890 (в дальнейших ссылках — Герхардт, первая (римская) цифра указывает том, последующие (арабские) — страницы). В издание Эрдмана вошли и сочинения, опубликованные Дютаном, а в издание Герхардта — произведения, опубликованные как Дютаном, так и Эрдманом. Наконец, в начале нашего столетия Л. Кутюра выпустил солидный том ранее не издававшихся логических работ Лейбница: «Opuscules et fragments inedits de Leibniz. Extraits des manuscrits de la Bibliotheque royale de Hanovre par Louis Couturat». Paris, 1903 (в дальнейших ссылках — Кутюра, цифры указывают страницы тома).

Что касается переводов сочинений Лейбница на другие языки, то опыт таких изданий невелик. Существует издание переводов на немецкий язык под редакцией Э. Кассирера: «G. W. Leibniz. Hauptschriften zur Grundlegung der Philosophie ubersetzt von Dr. A. Buchenau. Durchgesehn und mit Einleitungen und Erlauterungen hrsg. von Ernst Cassirer». Bd. I — II . Leipzig, 1904—1906. В это издание вошла только небольшая часть работ, публикуемых в настоящем томе. Были изданы избранные логические сочинения Лейбница на немецком языке в переводе Ф. Шмидта: «Gottfried

659

Соседние файлы в папке Лейбниц