Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Аристотель. Собрание сочинений. Том 02.pdf
Скачиваний:
73
Добавлен:
10.01.2022
Размер:
13.84 Mб
Скачать

I Описывается особое состояние вещи, когда она является чистой потенцией в отношении противоположных привходянцзх свойств: —ι L (р или —ip) С=> Μ (ρ и -ηρ). ~ 83.

8 Когда-нибудь потенция перейдет в актуальность и в вепщ будет реализовано одно из противоположных привходяпщх свойств. См. прим. 7. — 83.

9 Реализация вещью ймепно данного привходящего свойства, но не противоположного ему не предопределена. Противополож­

ные привходящие свойства равновозможны: Μ (ρ и —ι ρ) r=> (Mp и

M —ι ρ). См. прим. 7, 8. — 83.

10

См. 12 а 10—25; 12 Ь 35—41. — 83.

II

См. прим. 7—9. — 84.

12

Символически: L (р либо —ι ρ). — 84.

Г л а в а о д и н н а д ц а т а я

1Символически: ρ ζ=> —|=ч р. — 86.

2Ср. 6 а 17—18; «Вторая аналитика», 73 b 21—22; «Топика», 153 а 35-36. — 86.

 

Г л а в а д в е н а д ц а т а я

1

Ср. «Метафизика», V, 11; «Физика», 260 b 17—19; 261 а

14. — 86.

2

«р» истинно тогда и только тогда, когда р. — 87.

 

Г л а в а п я т н а д ц а т а я

1

См. «Метафизика», V, 23. — 90.

ОБ ИСТОЛКОВАНИИ

Péri hermenëias. — Русское название этого трактата пред­ ставляет собой кальку с латинского его заголовка «De interpretatione», предложенного в «Этимологпях» средневекового энци­ клопедиста Исидора Севильского (VI—VII вв.). Оно лишь при­ близительно соответствует исходному греческому названию труда. Западноевропейские исследователи большей частью называют этот трактат «Герменевтикой».

В числе наиболее известных ранних комментаторов «Об ис­ толковании» следует упомянуть нссториапина из Эдессы Проба

(V в.

н. э.), Аммония

Гермия, его ученика Иоанна Филопона

(ум.

в 30-х гг. VI в.),

неоплатоника Стефана Александрийского

(VII в.). Перевод «Герменевтики» на сирийский язык, выполнен­ ный Пробой, является одним из самых ранних дошедших до нас текстов этого сочинения. Оригинал этого перевода хранится в Британском музее (см. А. Baumstark. Aristoteles bei den Syrern. Leipzig, 1900). Аммоний Гермий в своем комментарии соединяет принятие теории предложений Стагирита с критикой теории имен мегарика Диодора Крона (CA G IV, 5). Влияние Аммония чувствуется в комментариях Иоанна Филопона. Из всех много­ численных комментариев Стефана Александрийского к «Орга-

605

но«у* до нас дошел лишь его комментарий к «Герменевтике» <CAG XVIIÏ, 3).

В средние века и эпоху Возрождения «Об истолковании» комментировался многократно. Генетический источпик трактата «Краткий свод основ логики» Петра Испанского (XIII в.) усмат­ ривался некоторыми комментаторами (И. де Вердса, 1487) «мепно в содержании «Герменевтики«.

Грегор из Коница (XVI в.) справедливо возводил к «Герме­ невтике» логическое содержание схоластических трактатов «О рас­ пределении» π «О сипкатегорематпчеекпхтерминах» (см. С. Prantl. Geschichte der Logik im Abendlande. Bd. IV. Leipzig, 1870, S. 284). Грегор возводил к пей и схоластический трактат о суппозпциях (типах контекстуальных значений общих терминов). Как известно, трактаты о синкатегоремах подготавливали почву для становле­ ния теории логических союзов и кванторов, а трактаты о суппозициях лежали на линии развития, приведшей к оформлению логико-семиотических представлений, так что исходным пунктом »тик двух важиых учений мы с полным правом можем считать именно работу «Об истолковании».

Интерес в эпоху Возрождения к тексту «Об истолковании», дававшему богатый простор для логико-грамматических изыска­ ний, был подчеркнут новым его переводом на латинский язык, который был предпринят итальянцем А гостино Нифо (1473 — 1538/45).

Влияние идей «Об истолковании» можно обнаружить в ло­ гико-грамматических текстах янсеипстов из Пор-Ройяля. В Но­ вое время был предприият ряд изданий трактата па живых нацио­ нальных языках.

Начиная со статьи G. Ε. Μ. Anscombe. Aristotle and the SeaBattle в журнале «Mind» (1956), а также / . Hintikka. The Onco and Future Sea Fight: Aristotle's Discussion of Future Contingents in «Do Interpretatione», IX в журнале «Philosophical Review» (19G4) развернулась оживленная дискуссия вокруг вопроса о соотношешш этого сочинения Аристотеля и новейших модальных логик. Обширная библиография этих споров дана в книге: / . Hintikka. Time and Necessity. Studies in Aristotle's Theory of Modality. Oxford, 1973. Ср. Г. X. фон Райт (фон Вригт). Детер­ минизм, истина и временной параметр. — «Философские науки», 1975, № 4, стр. 119. Во вступительной статье к настоящему тому сочинений Аристотеля данная проблематика обсуждается по существу.

Я. (7. Царский и //. И. Стяжкин

На русский язык трактат «Об истолковапип» был переведен Э. Л. Радловым в 1891 г. При подготовке настоящего издания этот перевод был запово сверен и подвергнут значительной переработке.

 

Г л а в а п е р в а я

1

См. «Категории», 2—4; «Метафизика» IV, 4; «Поэтика»,

2Q

ggt

"2 «О'душе», 418 а 3-6; 424 а 17-24; 430 Ы ; 431 Ь 20-23,

29.93.

606

8 Истиппой или ложной может быть, строго говоря, только мысль, но, допуская вольность речи, можно говорить об истин­ ности или ложности звукосочетаний, являющихся знаками мыс­ лей. Ср. «Поэтика», 1456 а 36—37; «Метафизика», 1012 а 2—5; 1027 Ь 25—29; «Физика», 263 b 13—23; Платон. Софист, 259 е — 264 b ; Теэтет, 187 b — 190 а. — 93.

 

Г л а в а ч е т в е р т а я

1

См. 16 а 22-27. — 95.

а

См. 16 а 19, 27. — 95.

3

Это утверждение направлепо против Платона. См. «Кратил»,

387 d; 388 bed; 430 с; 433 b — 434 b. Ср. 16 а 26—29. — 95.

4

См. «Поэтика», 1456 b 11. — 95.

Г л а в а п я т а я

1А именно сложные предложения (см. 17 а 21—22), а также ©•ставные слова (имена); см. 16 а 22—26; 16 b 32—33. — 96.

2Имеются в виду служебные (синкатегорематичсскис) слова (в частности, союзы), посредством которых составляются слово­ сочетания и сложные предложения. Ср. «Поэтика», 1457 а 4—6. —

96. 3

См. «Метафизика» VII,

12;

VIII, 6. — 96.

4

Phasis употребляется

здесь

в смысле предиката самого

но себе. — 96.

 

Г л а в а ш е с т а я

1

См. «Метафизика»,

1011 b 26—27. — 96.

2

Противоречие определено как конъюнкция (р и -η р). — 97.

ь

А именно закон противоречия и закон исключенного

третьего. См. «Метафизика» IV, 3—7. — 97.

 

Г л а в а с е д ь м а я

1

Противоположны

друг

другу высказывания вида АаБ

и АеБ. — 97.

 

(«неопределенные», по терминоло-

2

Неквантифицнрованные

гпи Аристотеля) высказывания интерпретируются Стагпритом как частные высказывания, например высказывание «человек бел» — как «некоторый человек бел» и высказывание «человек не бел» — как «некоторый человек не бел». Ср. «Первая анали­ тика», 24 а 19—22; 26 а 28—30; см. прим. 11 к гл. 4 «Первой аналитики» I. Высказывания «некоторый человек бел» и «некото­ рый человек не бел» не противоположны друг другу в том смысле, яго они могут быть вместе истинными. Высказывания же «некото­ рый человек есть живое существо» и «некоторый человек не есть живое существо» противоположны, хотя и имеют форму частных высказываний, ибо противоположны их содержания, противо­ положно «выраженное в них». — 97,

607

8 Высказывание р противолежит по противоречию высказы­

ванию q тогда и только тогда,

когда ρ <=> —ι q. — 97.

4 «АаБ» противолежит по

противоречию «—ι АаБ», т. е.

«АоБ», а «АеБ» противолежит

по противоречию «AiB». — 97.

5 Высказывание ρ об общем противолежит по противополож­

ности высказыванию q об общем тогда и только тогда, когда q

есть

 

оппозиционное отрицание р, т. е. когда ρ <£=> =^ q. — 97,

 

0

«АаБ» противолежит по противоположности «АеБ»: AaB<z^

<=> =1 АеБ. — 98.

 

7

«АаБ» и «АеБ» не могут быть вместе истинными, ибо в обоих

высказываниях «А» сказывается о Б как об общем, однако «проти­ воположным образом» (23'Ь 6—7): к термину «Б» в высказывании

«АаБ» применено выражение «о каждом»,

а в

высказывании

«АеБ» — выражение

«ни об одном». — 98.

по

противоречию

8 Высказывание

АоБ, противолежащее

высказыванию АаБ, и высказывание AiB, противолежащее по противоречию высказыванию АеБ, могут быть вместе истинными. См. прим. 2. — 98.

9 Точнее: из противолежащих друг другу высказываний, одно из которых есть высказывание об общем как об общем, а

второе — высказывание,

противоречащее первому. — 98.

#

10 Если ρ <и> —ι q,

то либо ρ истинно и q ложно, либо ρ

ложно и q истинно. — 98.

u Ρ(а) истинно тогда и только тогда, когда —ι Ρ (а) ложпо. —

98.12 Точнее: противолежащее. — 98.

Гл а в а в о с ь м а я

λСм. 17 b 37—18 а 12. — 99.

Гл а в а д е в я т а я

1Настоящие и прошедшие события принадлежат к актуально сущему. Поэтому в отношении их справедлив вакон исключен­ ного третьего. — 99.

2Ибо «общее следует брать вообще, без ограничения во вре­

мени» (см. «Первая аналитика», 34 b 17—18). Ср. 16 а 18. — 99.

8

См. 17 b 26—29. — 99.

4

См. 17 b 7—8, 24—25. Если ρ есть высказывание об общем

не как об общем, то в отношении его справедливо соотношение: M (р и =Э р). — 99.

δ Т. е. с будущим единичным событием, рассматриваемым в аспекте настоящего как бытие его в возможности (см. паше пре­ дисловие): если «р» есть высказывание о будущем единичном и, стало быть, случайном событии, то в указанном аспекте вместе истинны «р» и «-η ρ» (аналогично высказыванию об общем не как об общем. См. прим. 4). — 99.

0 Если бы высказывания о будущих единичных событиях, рассматриваемых в аспекте настоящего как бытие их в возмож­ ности, подчинялись закону исключенного третьего, т. е. если бы уже в потенции одно из противоречащих событии такого рода было необходимым, а другое невозможным, то это означало бы, ято слабый закон исключенного третьего (р или —j p) эквивален-

608

тсн сильному: (L ρ или L —ι ρ) и, стало быть, не существуют собы­ тия, наступление которых ранповозможпо, т. е. события, для которых верно соотношение: (MFp и MF - ι ρ), и, значит, нет слу­ чайных (в частности, будущих единичных) событий. — 99.

7 Если справедлив сильный закон исключенного третьего (Lp или L —ι р) для всех ρ (в т. ч. для высказываний о будущих единичных событиях), то, если один говорит «Fp», a другой — «-η Fp», то один из них необходимо прав, а другой необходимо не прав. — 99.

• Предполагается, что бывают π иные случаи, т. е. случаи, не подобные случаям, когда и р, и -η ρ «не будут присущи в одно и то же время», и, стало быть, бывают случаи, когда и р, и —ι ρ присущи в одно и то же время. См. прим. 5. — 99.

9 Сильный закон исключенного третьего истолковывается

Аристотелем как утверждение, что все совершается по необхо­ димости. — 100.

10

(MFp и M-iFp) « -Ί (LFp или L -η Fp). — 100.

11

При условии, что справедлив сильный закон исключенного

третьего, не будет верным не только то, что вместе истинны Fp и —ι Fp, но и то, что они вместе ложны: (—j Fp и —|—ι Fp). Ср.

прнм.

10. — 100.

12

«ρ» истинно тогда и только тогда, когда р. — 100.

Здесь заканчивается извлечение следствий из допущения

верности сильного закона исключенного третьего. — 101.

14 Т. е. что не вечно актуально и, стало быть, случайно. —

101.15 Наступление неактуальных случайных событий равно-

возможно, т. е. они удовлетворяют соотношению (Мр π Μ —ι ρ),

в частности соотношению (MFp и M—iFp). Ср. прнм. 8. — 101.

10 Существование

случайных

событий — эмпирический

факт. — 101.

17См. прим. 5, 8, 15. — 101.

18Отрывок 19 а 23—27 следует понимать как единую фразу,

в которой утверждается следующее: если (р ==} Lp), то (L ρ

или L —ι ρ),

и если (—jp => L —)р), то (Lp или L -η ρ). Однако

неверно (L ρ

или

L —ι ρ). Следовательно, неверны (ρ =>L ρ) и

(—1 ρ zr> L —ι ρ).

Так что существуют ρ такие, что (р и М—|р)

и(—|р и Мр). — 102.

иВ области актуально сущего справедлив строгий закон исключенного третьего L (ρ или —;р), в частности L (Fp или —\ Fp), но необщезначим сильный закон исключенного третьего (Lp или L -η ρ), в частности (L Fp или L —ι Fp): можно утверждать не­ обходимость нераздельно, но нельзя утверждать ее раздельно. —

102. 2)

Ср. прим. 7—9 к гл. 10 «Категорий», — 102.

21

Т. е. с потенциально сущим дело обстоит не так, как с

актуально сущим. — 102.

 

Г л а в а д е с я т а я

1

См. 16 а 30-32; 10 b 12-15; 16 а 19-21. - 102.

2

Поскольку эти четыре высказывания относятся к неопре­

деленным высказываниям (см. прим. 2 к гл. 7), то псе они могут быть вместе истинными. — 103.

20 Аристотель, т. 2 — 888

609

9 См. «Первая аналитика» I, 46, где Аристотель обсуждает следующий вопрос: равнозначны ли, например, сказуемые «есть справедливый» и «не есть несправедливый», а также «ие есть справедливый» и «есть несправедливый»? Аристотелевское реше­ ние этого вопроса таково: (1) если не зафиксирован «универсум рассуждения», го ответ отрицателен и справедливы лишь одно­ сторонние следования: «есть справедливый» влечет «не есть несправедливый», ч «есть несправедливый» влечет «не есть спра­ ведливый». Обратного же следования нет, ибо то, что ие есть несправедливое (справедливое), быть может, таково, что о нем бессмысленно говорить, что оно есть справедливое (несправедли­ вое). (2) Если же зафиксирован «универсум рассуждения», то «есть справедливый» и «не есть несправедливый» равнозначны,

а также равнозначны «не есть справедливый» и «есть несправедли­ вый». — 103.

4 Т. е. когда утверждение квалифицировано. — 103.

δ Т. е. не могут быть равнозначными. — 103.

6 В отличие от неопределенных

высказываний (см. прим. 2)

квалифицированные высказывания

образуют т. н. логический

квадрат, который для высказываний рассматриваемых видов выглядит так:

 

 

 

АаБ

АоБ

 

 

 

 

пе-АаБ

не-АоБ,

 

 

где диагонали изображаки отношение подчинения. — 103.

7

См. upiiM. 8 к гл. 7. — 104.

 

 

* Символически: (1) не АаБ =z> АеБ. (2)

AÎB:=Î>HO-AOB. —

104. ϋ

Символически: —ι Р(а) ^> не Р(а). — 104.

Верно:

10

Символически: (1) неверно: -η АаБ г^нс-АаБ.(2)

- | АаБ => АоБ. — 105.

не-Б<=ц>Ао

не-Б. (2)

не-Аа

11

Символически: (1) -η Аа

не-Б » Ае не-Б. —105.

 

 

 

12

См. 17 Ь 38—39. — 105.

 

 

 

 

 

Г л а в а о д и н н а д ц а т а я

 

* См. «Тоиика»

I, 10, 11. — 106.

опровержениях»,

2

См. «Тоиика»

VIII, 7; «О софистических

30, а также

175 Ь 39 — 176 а 18. - 106.

 

 

3

Пусть

вещи аа2, ..., ак

принадлежат к роду К, a Plf

Р2, ...» Рк суть свойства в К. (1) Если по меньшей мере одно из

Pii Рг> ···> Ρ к о с т ь привходящее

свойство

в классе К, то неверно,

что P^ad, Р22),

Рк к ) |=

ExlP^x)

и Ра(х) и ... и Рк(х)].

-

106.

См. ирим. 3. — (2) Если каждое из Plt Pa, ..•, Р к сказы­

4

вается о сути вещей из рода К, то

верно, что ΡΙ(ΒΣ), Р22),

 

Рк к ) |= Ax[PL(x)

и Р2(х) и

и

Р к (х)] . - J07 .

 

ь- См. прим. 3 и 4. — (3) Если каждое из высказываний Рх(а),

Ра(а

Рк(а) грамматически

правильно построенное высказы­

вание, то верно, что Р^а), Р2(а),

..., Рк(а) |—[РА(а) и Р2'а) и

и

Рк(а)], причем, для того чтобы результирующая конъюнкция была

610

непротиворечивой, необходимо, чтобы каждый конъюнкт был непротиворечивым высказыванием. — 107.

° В высказываниях вида «а есть Р» глагол «есть» не означает «существует». Поэтому из истинности высказывания «а есть Р» не следует ни то, что вещь а существует, ни то, что она не суще­ ствует. — 107.

Г л а в а д в е н а д ц а т а я

1См. прим. 3 к гл. 10. — 108.

2(1) Неверно: -η Мр С=> Μ—ι р. (2) Верно: -ηΜρ <=> Up. —

108.3 Существуют ρ такие, для которых верно (Мр и Μ—ιρ).

См. прим. 5, 8, 15, 16 к гл. 9. — 108.

4М(р и —ιρ) г=> (Мр и M —ι ρ). См. наше предисловие, а также прим. 5 к гл. 9 и прим. 7—9 к гл. 10 «Категорий». — 108.

5Поскольку в актуально сущем невыполнимо соотношение (р и —| р), но вместе с тем выполнимо соотношение (Мр и Μ—ιρ), очевидно, что M —ι ρ по есть отрицание высказывания Мр. См.

прим. 3. — 108.

0 Модальные понятия истолкованы как предикаты от ко­ пуды. — 109.

7 (Мр и M —ι ρ)=>(Μρ<=>Μ—ι р). Ср. «Первая аналитика»,

32 а 21-40.

-109.

 

 

8

См. 21 Ь 26—32, а также прим. 6. — 109.

9

Суммируем результаты, полученные в гл. 12:

модальность

отрицание

 

12.9Л

О

 

- 1 0

 

12.9.2

о

 

-по

 

12.9.3

α

- |

-πα

(21b 33—34)

12.9.4

О

-π Ο -η

12.9.5

D

n u n

(22a 5)

12.9.6

о - ι

- ί ο - ι

(22a 7—8). — 109,

Гл а в а т р и н а д ц а т а я

1«Следование» нужно здесь понимать как «эквивалентное следование». — 110.

2Для дальнейшего обсуждения выставлены следующие со­ отношения, каждое из которых отвечает некоторому интуитив­ ному смыслу, вкладываемому в соответствующее модальное слово:

13.2.1. О < = > п о

13.2.5. —| О <=> α —ι

13.2.2. O ö n ü

13.2.6.

n

O ö

o

13.2.3. О -η <=> —ι • —ι

13.2.7. - ι

0

~Ι »

Ü

13.2.4. Ο π ο π ο π

13.2.8. ~ι

0

<=> ο -η.110.

20*

611

 

 

 

3 Соотношение 13.2. (см. прим. 2) вынуждает к признанию следующих модальностей отрицаниями друг друга:

модальность

отрицание

13.3.1

- 1 0

0

13.3.2

- ί ο

0

13.3.3

- ] D

G - i

13.3.4

-ι 0-1

0 ^

13.3.5

-по-л

0 - 1

13.3.6

- I D " !

α

Эти соотношения, за исключением 3.3. и 3.6., согласованы

ссоотношениями 12.9. (см. прим. 9 к гл. 12), причем соотношения

3.3.и 3.6., очевидно, эквивалентны и являются следствиями также эквивалентных соотношений 13.2.2. и 13.2.3. при условии, что принимается соотношение 13.2.7. (или какое-либо соотноше­ ние, эквивалентное последнему, например: О —] <=> ~~ι • ) .

Соотношение (—ι D ρ С=} Ή Π —ι ρ), являющееся следствием соотношений 13.2.2. и 13.2.3., эквивалентно соотношению (О —ι ρ С=> О р), являющемуся следствием соотношения (О ρ и О —ι р) (ср. прим. 7 к гл. 12), выражающего суть случайных событий (см. прим. 15 к гл. 9).

Аристотель, с одной стороны, полагает, что соотношения 12.9. безусловно верны. С другой стороны, он пытается оправдать интуицию, лежащую в основе соотношений 2.2. и 2.3. и, стало быть, соотношений 3.3. и 3.6. Эту трудность Аристотель преодо­

левает путем различения двух видов возможности,

обсуждал

ее в виде задачи определения отрицания необходимости

и вопроса

об общезначимости соотношения (D ρ ζ=$ Ο ρ). — НО.

 

4 «Но в обратном порядке», ибо, в то время как в выражении

13.2.1. отрицание стоит перед словом «невозможно», в выражении 13.2.6. оно стоит перед словом «возможно», причем «следует но противоречию» означает «есть отрицание». — 110.

5 Отбрасывается 3.3. и тем самым 3.6. — 110.

β

Принимается: D

—ι ρ =^ —ι D p. — 110.

7

Неверно: op => D

p. Однако верны: (1) op C ^ Π —ι ρ, (2

ο - i p

<=> D p. — 111.

 

*См. 22 Ь4—5. — 111.

9

В отрывке 22 а 38 — b 10 противопоставлены, с одиой

стороны, возможность и невозможность, а с другой — необходн мость и невозможность, причем возможность и невозможность противолежат друг другу но противоречию (т. е. являются кон­ традикторными отрицаниями друг друга), и поэтому в выраже­ ниях 13.2.1. и 13.2.6. отрицание сгопт перед модальными словами (см. прим. 4), а необходимость и невозможность противолежат друг другу по противоположности (т. е. являются оппозицион­ ными отрицаниями друг друга), и поэтому в выражениях 7.(1). и 7.(2). отрицание стоит перед высказываниями (см. прим. 7). —

111. 10 Дело в том, что если из необходимости следует возможность, то неверно, что возможность есть отрицание необходимости. Таким образом, найдено интуитивно приемлемое соотношение, которое тем не менее несовместимо с соотношением 13.2.2. — 711. k Закон исключенного третьего влечет следующий закон логики высказываний: ~Ί (ρ zzz) q) zzz> ζ=$ Ή q). Аристотель

612

имеет в виду, по всей видимости, такое доказательство: 1. q или ~! q. 2. (р=> q) или (р=> "Ί q). 3. ~1(р i=> q) :=> (p=> ™1 q).

— 777.

12 Символически: 1. Допущение: ~~i (Π ρ => Ο ρ). 2. D

ρ =>

ζ ^ π ο ρ (1, согласно логике высказываний. См. прпм.

И).

3. D ρ -==$ op (2, 13.2.6.). 4. D ρ => О ρ (1—3, приведение к неле­ пости). — 111.

13 Доказывается несовместимость соотношений (D ρ τ=$ Ο ρ) и (о ρ <=> ~~l D ρ) (см. прим. 10). Символически: 1. Допущение: D ρ => О р. 2. О ρ <=> "I op (13.2.1.). 3. D p:=> ~i op (1, 2). 4. Допущение: Ο ρ <=> ~~i D p. 5. "Ί op<=>^ D ρ (2, 4). 6. D p=>

zz> ~i

D ρ (3, 5. Нелепость). — 111.

14

То, что «могущее быть» допускает «пе немогущее быть», —

это очевидно (см. соотношение 13.2.1.). Что касается того, что «могущее быть» допускает «не необходимо быть», заметим, что Аристотель в «Первой аналитике» (32 а 18—20) определяет возможное в собственном смысле как «не немогущее и не необхо­ димое», т. е. как «могущее быть и могущее не быть» (см. прим. 3,

а также прим. 2 к гл. 12.). — 111.

 

 

 

 

 

15

Если истинно «""1 ор», то ложно «D Ή ρ», π если истинно

«ι D

ρ», то ложно «D р». — 777.

 

 

 

 

 

16

К отрывку 22 b 17—21: (1) ложность соотношения (О ρ =î>

3=>D ~~l p) очевпдпа (ср. соотношение

13.2.5.).

(2)

Ложность

соотношения (О ρ zz> D ρ) доказывается

в предположении

вер­

ности соотношения (О ρ и ό "Ί р): 1. Допущение: О ρ и

О Ή

р.

2. О ρ <=> о ~Ί ρ (1, см. прим. 7 к гл. 12). 3. 1<>Р <=>

' 0

' ρ

(2). 4. "ΙΟ Ρ С=> D - ι ρ (13.2.5.). 5. "ΊΟ

~> Ρ <=> •

~» Ρ (3, 4).

6. "Π ο ρ <=> D ρ (5). 7 . 1(0Ρ => Up)

(6). -

111.

 

 

 

17Символически: (Dp или D~~ι ρ) => ~~ι (~lop и ~Όρ), т. е. (Dp или D ip)=> —'(OP " O^P). Ср. прим. 14. — 111.

18Поскольку отбрасываются соотношения (1) Op C=>Dp (см. прпм. 16), (2) 0 р С=>~^ Dp (см. прим. 13) и (3)0Р <=> D ~*lp (см. прим. 16), «остается, таким образом, сказать, что» (4)0р С=> C=>~~iD -ip. -111.

19А именно Dp :=> ~~О ~~~1 ρ (и тем самым отбрасывается 13.3.6.). — 777.

20Из соотношении 13.2.5. и 13.2.6. вытекает, что «не необхо­

димо не быть» противоречит «иемогущему быть». — 777.

21 (1) "~i(Dp =>—ΙΟΡ). ( 2 ) - 4 D p = > О"1?)- Следовательно,

верно (3)

D p = > 0 p . — 111.

22 В

предположении справедливости соотношения (Dp :=>

=> О р) доказывается необщезначимость соотношения ( О Ρ и 0 ""IP)'

1. Допущение: О Ρ и О

' Р- 2· ОрС^О- 'Р (1)· 3. Dp ~> Ор

(предположение). 4. Dpir^O- ' Ρ (3,2.) в противоречии с 21. (2).

(см. прим. 21). — 112.

 

О ' р), ибо «необхо­

23

Не для каждого ρ справедливо (Ори

димо

сущее

имеется в действительности»

(23 а 21—22). — 112.

24

Ср. прим. 5 к гл. 9. — 112.

 

26

Вводится понятие могущего, удовлетворяющего условию

(р=>

Op).

-U2.

 

 

26

Вводится понятие могущего, удовлетворяющего условию

(О Ρ π 0~1ρ). -112.

1065 Мб . — 112.

27

См. «Метафизика»,

28

Для

обоих видов

могущего справедливо соотношение

13 . 2 . 1 . - 772 .

613