Материал: Аристотель. Собрание сочинений. Том 02

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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

 

 

 

Источник: https://studfile.net/preview/16527430/