1. Cetum est enim et sensu constat, aliqua moveri in hoc mundo.
2. Omne autem quod movetur, ab alio movetur.
3. Nihil enim movetur, nisi secundum quod est in potentia ad illud ad quod movetur:
4. movet autem aliquid secundum quod est actu.
5. Movere enim nihil aliud est quam educere aliquid de potentia in actum,
6. de potentia autem non potest aliquid reduci in actum, nisi per aliquod ens in actu.
7. Non autem est possibile ut idem sit simul in actu et potentia secundum idem...
8. Impossibile est ergo quod, secundum idem et eodem modo, aliquid sit movens et motum, vel quod moveat seipsum
9. omne ergo quod movetur, oportet ab alio moveri.
10. Si ergo id a quo movetur, moveatur, oportet et ipsum ab alio moveri; et illud ab alio.
11. Hic autem non est procedere in infinitum:
12. quia sic non esset aliquod primum movens;
13. et per consequens nec aliquod aliud movens,
14. quia moventia secunda non movent nisi per hoc quo sunt mota a primo movente.
15. Ergo necesse est devenire ad aliquod primum movens, quod a nullo movetur;
16. et hoc omnes intelligunt Deum.

1. "AC(x,y)" - "x is in actu with respect to y";
2. "D(x)" - "x is God";
3. "def" - "definition";
4. "emp" - "empirical sentence";
5. "M(x)" - "x is primum movens";
6. "MAD(x,y,z)" - "x is moved by y with respect to z";
7. "ont" - "ontological sentence";
8. "PO(x,y)" - "x is in potentia with respect to y";
9. "R_* < Inf" - "created by R-row is unlimited";
10. "mi(x)" - "x is in movement"

(I) I's sure and empirically evident that there moves something in the world;
(II) Everythig which moves, is moved by something other;
(X) If, however, it moves something other, then it is in movement; so it must be moved by something other;
(XI) Neverthless there isn't any possibility here to go to the infinity;
(XV) It is necessary to reach the first moving, which is not moved by something other;
(XVI) The first moving is known as God

Mariusz Grygianiec

Mariusz Grygianiec - Institute of Philosophy, Warsaw University, POLAND.

mariuszg@gazeta.pl