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

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

2 Ибо, когда атрибут А контрарно акцпдептален по отно­ шению к роду Б, т. е. когда имеет место АатБ, пли, что то же самое, (АамБ и АемБ), но вместе с тем фактически выполняется для рода Б (что π зафиксировано в ассерторической посылке АаБ), тогда имеем (АаБ и АамБ и АемБ). Но эта конъюнкция равпозначна конъюнкции (АаБ и АемБ). Аристотель, стало быть, доказывает, что из посылок (АаБ, АемБ, BaLB) не следует заключение AaLB. — 136.

8 Учитывая, что в качестве посылок в действительности имеем (АоБ, АамБ, BaLB). - 136.

4 Эктетичсское доказательство DaLriiL: 1. Предположение: AaLB и Biß. 2. Эктезис: H s В и БаН. 3. AaLH (1, 2, BaL-

rbaraL). 4. AiLB (3). -

137.

£ Из посылок «ни

одно живое существо не движется» и

«нечто белое необходимо есть живое существо» не следует за­ ключение «иечто белое необходимо но движется». — 137.

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

1Подразумеваются силлогизмы с общими посылками, ибо посылки вида aoL но влекут аподиктического заключения (см. 31 а 15—17). — 137.

1 Подразумеваются CaLmestreLs и CesaLreL. Первый из них обсуждается в 30 b 20—40. О втором Аристотель не говорит

ничего, по всей видимости, потому, что его легко свести к отбра­

сываемому модусу CelaLreLnt (см. 30 а 32—33) посредством об­

ращения. — 137.

8

См. 30 а 32 - 33 . - 137.

4

А именно как ае (см. 30 b 20—21). — 138.

i

См. 30 b 33 -38 . — 138.

 

 

 

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

1 Доказательство DaraLptiL: 1. Предположение: АаВ и

BaLB.

2.

АаВ

(по предположению). 3. BiA (2, а-обращонио),

4. BaLB

и BiA

(1, 3).5.BiL A (4, DaLriiL). 6. AiLB (5, о б р а ­

щение). — 139.

 

 

2

Подразумевается: необходимо присуще. — 140',

8

См. 30 а 15-17. -

140.

4

См. 31 а 31—33; 31 а 24—30. — 140.

8

См. 30 а 35—37; 30 b 2—5. — 140.

6

Следует

читать:

частной и аподиктической. Ср. 32 а

4—5. — 141.

 

 

г См. 31 а 37 — b 10; 31 b 31 - 33 . — 141.

 

 

 

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

1

Ср. 25 а 37 -^ b 19. - 142.

2

Определена акцидентальная возможность как «не необхо­

димость и не невозможность».

При этом в зависимости ох того

21*

627

интерпретируется «не» как взятие контрадикторного (противо­ речащего) или оппозиционного (противоположного), получаются определения различных видов акцидснтальности. — 142.

* См. 25 а 38. — 142.

4 Т. е. контрадикторные им. — 142.

£ Под возможностью здесь подразумевается акцидептальвость (см. прим. 2) и, стало быть, под необходимостью — мо­ дальность, являющаяся дуалом акцвдетальности. Заметим, что контрадикторное отрицание контрадикторной акцидснтальности совпадает с ее контрадикторным дуалом, β оппозиционное отрипаннв контрарной (соответственно субконтрарной) акцидентальности совпадает с ее оппозиционным дуалом: «быть не возможным»

равнозначно «быть необходимым», т. е. «быть возможным» рав­

нозначно «быть не необходимым». — 142.

6 Имеется в гиду

взаимная превращаемость (см. прим. 2

к гл. 2). — 142.

 

7 Символически:

1. АатБ <=> АетБ. 2. Аа т Б=>Ао к Б .

3. AiKB <=> Аок Б. — 142.

9Символически: 4. АатБ => AiKB. 5. АетБ :=> AiKB.

6.АотБ =>Аок Б. В случае же контрадикторной акцидснталь­ ности справедливы следующие соотношения: 7. Аа^Б<з> Ао^Б.

8.АедБ » AiQB. — 142.

8 Доказательство

соотношения

2.

А а т Б = ^ А о к Б (см.

прим. 7): 1. Предположение: АатБ. 2. ^

АамБ (1, по определе­

нию). 3. =1 (AaLB

или

AeLB) (2, по оп ределони го). 4. =i AaLB

в =э AeLB (3). 5.

АемБ

и АамБ (4, по

определению). 6. АомБ

и AiMB (5, соподчинение и ам-подчипение). 7. Ао*Б (6, по оп­ ределению). — 148.

li> Доказательство соотношения 3. AiK B<z^AoK B (см· прим. 7): 1. Предположение: А*КБ. 2. =| А1ДБ (1, по определе­

нию). 3. =\ (Аг*Б или AoLB) (2,

по определению), 4.

=ц AiLB

и =\ AoLB (3). 5. АомБ в AiMB

^4, по определению).

6. Аок Б

(5, по определению). — 143.

 

 

* См. 25 b 21—24. - 143.

 

 

12 См. 25 b 14—15. Ср. «Об истолковании», 23 а 6—26. —

143.13 Способ 1. Мр =>-η Lp «=>M —ι ρ). Способ 2. Тр => (Мр и

М=1р). — 143.

л См. 43 b 32—36; «Вторая аналитика», 75Ь 33—36; 87 b 19—27, 96 а 8—19. — 143.

*?• «А присуще тому, чему присуще Б» означает «А присуще всем Б», ибо «X s Б => X s А, для всех X» означает «Б s А». Подразумеваемое применение квантора общности по всем «тому, чему», т. е. по всем X, сформулировано явно несколько ниже (33 а 3—5): «чему... присуще Б, тому А... присуще» означает то же самое, что «не упущено ничего из того, что... подчинено Б». Мы опустили в сопоставляемых выражениях модальные слова, птобы подчеркнуть важность рассматриваемой равнозначности для силлогистических посылок любого вида. — Аристотель вно­ сит в выражения вида «А присущи тому, чему присуще Б» мо­ дальные слова двумя способами: (1) «А возможно присуще тому,

628

чему присуще Б» и (2) «А возможно присуще тому, чему воз­ можно присуще Б». —144.

16 Аристотель постулирует, что посылки вида «А возможно присуще тому, чему присуще Б» ассерторичны и, значит, экви­ валентны посылкам вида «А присуще всему Б», но посылки вида «А возможно присуще тому, чему возможно присуще Б» равнозначны посылкам вида «А возможно присуще всем Б». См. прим. 15. — 144.

Г л а в а ч е т ы р н а д ц а т а я

1 См. 32 b 25—32, а также прим. 15 к гл. 13. — 144,

2Ибо из посылок вида ае в первой фигуре ничего не сле­ дует силлогистически. См. 26 а 2—4. — 144,

3Т. е. заменить БетВ посылкой БатВ. См. 32 а 29 — Ы . —

144. 4

Как в 32 b 38-40. - 144.

4

См.

32

а 34. — 144.

8

В противоречии с 33 а 27—34. «Совершенный», по всей

видимости, позднейшая вставка. — 145.

7

См.

32

а 18—20 и прим. 2 к гл. 13. — 145.

8Т. е. очевидно из определения выражения «быть возможно присущим всем». См. прим. 7. — 145.

9Т. е. заменить Бо*В посылкой BiKB. См. прим. 10 к гл. 13. — 145.

10Как в 33 а 24. — 145.

11Т. е. как посылки вида ат ет дают то же самое заключе­

ние, что и посылки вида ат ат . См. 33 а 5—12. —145.

12

Рассматривается случай: A s Б и А ч£ Б и В = Б — Α.—.

145. i 3

См. 32

а 29—32 Ы , а также прим. 3 и 9. — 145.

14

См.

32

а 19. — 146.

»

См.

32

b 38 - 33 a l . - 146.

16См. 33 а 12-17. - 146.

17См. 32 а 18-20. — 146.

18Т. е. различие между акциденталыюстью и возможно­ стью. — 146.

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

 

1 См. 32 а 18-20. -

146.

 

 

* Т. е. когда большая посылка ассерторична, а меньшая

проблематична. — 147.

 

«А» и

«Б» т- пропо­

3 L (А => Б) => (MA => МБ), где

зициональные буквы. Ср. «Метафизика»,

1047 b 14—30. — 147.

4 (1) UA=>-iMFA.

(2) MAz^MFA, где

«F» — оператор

будущего времени. — 147.

 

так и логическое при­

ъ. Допускается как онтологическое,

менение модальных понятий, причем в последнем случае и к вы­ сказываниям (de dicto), и к копуле, а в первом — и к событиям, и к вещам (do re). — 147.

8 L (A zz> Б) :=> (LA z=> LB). - 148.

629

 

7

Т. е. не несовместимое с данной посылкой. «Нечто ложное»

не означает здесь «нечто фактически ложное». — 148.

димо

8

Неявно предполагается строгое следование: «Б необхо­

 

есть, когда есть

А». Ср. 34 а 5—7. — 148.

 

9

См. 34 а 5 - 1 5 .

— 148.

10

Символически:

1. Предположение: MA и L(A rr> Б).

2. L (А=>Б) ^î> (ΜΑιζ^ΜΒ) (очевидное утверждение). 3. МА~> => МБ (1, 2). 4. МБ (1, 3). 5. Допущение: UB. 6. МБ (4). 7. UB в МБ (5, 6). 8. -η UB. — 148.

11 Предполагается верность соотношения: «Если А присуще

всем Б, то А возможно присуще всем Б», т. е. ρ ζζ> Μρ. —- 148.

12

См. 34 а 3 6 - 3 7 .

—149.

13

См. 33

а 7—8. — 150.

14

См. 34

а 34 — b 2. — 150.

10

См. 34 b 19—35 а 2. — 150.

16

Т. е. пи одному

В. — 150.

17

См. 34 а 34 — b 2; 34 b 19-35 а 2; 35 а 3-10; 35 а И —

20. — 150.

18См. 33 b 33—40. — 151.

19Как в 35 а 3—20. — 151.

20См. 33 а 34 — b 14. — 151.

 

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

1

Как в гл. 15. — 152.

2

Как в 33 b 30—31; 34 b 27—28. — 152.

8

Как в 34 а 34 — b 2. - 152.

4

Ср. 32 а 29 — b 1. —153.

* Как в 35 а 3—11. — 153.

6

Как ь 35 b 38 - 36 а 2; 36 а 17-25. — 154.

 

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

1

См. 33 b 29-30;

34 b 27 - 31 . — 155.

2

См. 25 b 17; 32 а 29—32 Ы , а также прим. 12 к гл. 3. —

755, 3

См. 32 а 18—20,

28, 36; 33 b 17. — 156.

4

Подразумевается «всем Д». — 156.

* См. 32 а 18—20. — 156.

 

Г л а в а в о с е м н а д ц а т а я

1

Как в 37 b 3 - 1 0 . — 158.

2

См. 34 b 19 - 31 .

—158.

8

Как в 37 b 24-28. — 158.

4

Ссылка на примеры ив 37 b 36—38. — 158.

? Как в 37 b 24-28. — 158.

β

Как в 37 b 32—33. — 159. ·

 

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

1

См. 37 а 8—9 и прим. 3 к гл. 17. — 160.

2

См. 30 b 18-40. — 160.

630

8

Кэк в 32 a 29 — b 1; 36 а 7—17. — 160.

4

В 38 b 19—20 посредством построеппя контрпримера, —

161.

 

δ Как в 38 а 30 — b 5. — 161.

6

Как в 38 b 13-23. — 161.

*

Как в 38 b 25-27. — 161.

8

Ссылка па примеры из 38 а 30 — b 5. — 161.

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

1Как в 38 а 13-16. — 162.

2Как в 33 b 29—33, т. е. как в соответствующих комбина­

циях

посылок во второй фигуре. — 162.

28 b 5 — 29 а 6. —·

 

3

Т. е. в ассерторических посылках:

162. 4

Как в 39 а 23-28,

36-38. — 162.

 

 

 

 

Г л а в а д в а д ц а т ь п е р в а я

 

1

В гл. 20 при проблематичности обеих посылок или при

проблематичности одной и ассерторичности

второй. — 163.

 

2

В 33 b 25 - 31 .

—163.

 

 

3

Как в 39 а 26—28. — 163.

 

 

4

См. 30

а 17 - 23 . -

164.

 

 

I См. 39 b 2 - 6 . — 164.

 

 

 

 

Г л а в а д в а д ц а т ь в т о р а я

 

1

См. 36

а 40 -

b 2. — 164.

 

 

* См. 36

а 39 — b 2. — 165.

 

3См. 36 а 34—39. — 165.

4См. 32 а 29 — Ы . — 165.

&См. 40 а 35-38. — 166.

Г л а в а д в а д ц а т ь т р е т ь я

* См. 29 b 1—25. — 166.

*

См. гл. 4 - 6 . -

167.

3

См. «Начала Евклида» X, 5 (а также коммент. 10, стр. 367),

лемма 27, и VII, 22 и 27. —168.

4

Если н Р(Х) ^

ρ и ь Р(А), то Η ρ, где «ρ» — перво­

начально принятое, «Р(Х) = } р» — предположение, а «Р(А)» — результат подстановки «А» вместо «X» в «Р(Х)». Ср. 45 b 15—19; 67 а 21; 69 а 24—29; «Вторая аналитика», 71 а 29, а также Пла­ тон. Мепон, 86 е —87 с. — 168.

Г л а в а д в а д ц а т ь ч е т в е р т а я

1См. «Начала Евклида», коммент. 23 к кн. III, стр. 345—

346.— 169.

2Т. е, по меньшей мере при одной общей посылке, «=· 169»

631

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