- •Категории
- •Об истолковании
- •Первая аналитика
- •Книга первая
- •Книга вторая
- •Вторая аналитика
- •Книга первая
- •Книга вторая
- •Топика
- •Книга первая
- •Книга вторая
- •Книга третья
- •Книга четвертая
- •Книга пятая
- •Книга шестая
- •Книга седьмая
- •Книга восьмая
- •О софистических опровержениях
- •Категории
- •Об истолковании
- •Первая и вторая аналитики
- •Первая аналитика
- •Вторая аналитика
- •Топика
- •О софистических опровержениях
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. |
1Ί |
Здесь заканчивается извлечение следствий из допущения |
верности сильного закона исключенного третьего. — 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 |
Пусть |
вещи а1У а2, ..., ак |
принадлежат к роду К, a Plf |
Р2, ...» Рк суть свойства в К. (1) Если по меньшей мере одно из
Pii Рг> ···> Ρ к о с т ь привходящее |
свойство |
в классе К, то неверно, |
||||
что P^ad, Р2(а2), |
Рк (ак ) |= |
ExlP^x) |
и Ра(х) и ... и Рк(х)]. |
- |
||
106. |
См. ирим. 3. — (2) Если каждое из Plt Pa, ..•, Р к сказы |
|||||
4 |
||||||
вается о сути вещей из рода К, то |
верно, что ΡΙ(ΒΣ), Р2(а2), |
|
||||
Рк (ак ) |= 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