Extrait étudié : Que ce qui est soit, quand il est, et que ce qui n'est pas ne soit pas, quand il n'est pas, voilà qui est vraiment nécessaire. Mais cela ne veut pas dire que tout ce qui est doive nécessairement exister, et que tout ce qui n'est pas doive nécessairement ne pas exister; car ce n'est pas la même chose de dire que tout être, quand il est, est nécessairement, et de dire, d'une manière absolue, qu'il est nécessairement. Il en est de même pour tout ce qui n'est pas. - C'est la même distinction qui s'applique aux propositions contradictoires. Chaque chose, nécessairement, est ou n'est pas, sera ou ne sera pas, et cependant si on envisage séparément ces branches de l'alternative, on ne peut pas dire laquelle est nécessaire. Je prends un exemple. Nécessairement il y aura demain une bataille navale ou il n'y en aura pas; mais il n'est pas nécessaire qu'il y ait demain une bataille navale, pas plus qu'il n'est nécessaire qu'il n'y en ait pas. Mais qu'il y ait ou qu'il n'y ait pas demain une bataille navale, voilà qui est nécessaire. Et puisque les propositions sont vraies en tant qu'elles se conforment aux choses mêmes, il en résulte évidemment que si ces dernières se comportent d'une manière indéterminée et sont en puissance de contraires, il en sera nécessairement de même pour les propositions contradictoires correspondantes. C'est bien là ce qui se passe pour les êtres qui n'existent pas toujours ou qui ne sont pas toujours non-existants. Il faut alors nécessairement que l'une des deux propositions contradictoires soit vraie et l'autre fausse, mais ce n'est pas forcément celle-ci plutôt que celle-là : en fait, c'est n'importe laquelle, et, bien que l'une soit vraisemblablement plus vraie que l'autre, elle n'est pas pour le moment vraie ou fausse. Par suite, il n'est pas évidemment nécessaire que de deux propositions opposées entre elles comme l'affirmation ou la négation, l'une soit vraie, et l'autre, fausse. En effet, ce n'est pas à la façon des choses qui existent que se comportent celles qui, n'existant pas encore, sont seulement en puissance d'être ou de ne pas être, mais c'est de la façon que nous venons d'expliquer. Aristote