тсн сильному: (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 |
непротиворечивой, необходимо, чтобы каждый конъюнкт был непротиворечивым высказыванием. — 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 |
|
|
|