О небе   ::   Аристотель

Это также ясно из предшествующего: средним между

и

является то, из чего не следует ни то, ни другое, а таково

и

, поскольку каждое из них способно в течение определенного времени и быть и не быть (я хочу сказать, что каждое из них способно в течение заданного по количеству времени быть и [в течение другого заданногопо количеству времени] не быть). Стало быть, все, что возникло или уничтожимо, должно быть средним.

Пусть А будет

, В –

, Г –

, А –

. Тогда Г необходимо должно быть средним между А и В, поскольку для них нет такого времени – ни в том, ни в другом направлении,– в которое А не было бы, а В было бы, тогда как для возникшего [такое время] необходимо должно иметься либо в действительности, либо в возможности, а для А и В – ни тем, ни другим образом. Следовательно, Г будет в течение заданного по количеству и определенного времени быть и в течение другого такого времени не быть. То же самое справедливо и для А. Следовательно, каждое из них и возникшее и уничтожимое. Следовательно, возникшее и уничтожимое следуют одно из другого.

То, что всегда есть, Возникшее

А Г

Уничтожимое То, что всегда не есть,

В

Тогда Е пусть будет

, Z –

, Н –

, в –

. Доказано, что Z и 9 следуют одно из другого. Но когда заданы такие условия, как эти, а именно [a] Z и Q следуют одно из другого, [б] Е и Z не присущи ни одному [субъекту] вместе, но любому по отдельности [в] и то же самое верно для Н и Q, тогда Е и Н также с необходимостью должны следовать одно из другого. В самом деле, допустим, что Е не следует из Н. Следовательно, будет следовать Z, ибо любому [субъекту присущи] либо Е, либо Z. Однако чему присуще Z, тому и в. Следовательно, в будет следовать из Н. Но, согласно исходным посылкам, это невозможно.