Maróth Miklós

Az arabok mint a görög tudományok örökösei

I. Arisztotelész és az axiomatikus tudományok

1. ábra

A modell kidolgozásának eredete az a fölismerés, hogy a magyarázó okok láncolatán nem lehet végtelenségig visszafelé haladni, hanem valahol meg kell tudni állni. Arisztotelész filozófiájának ez a fontos tétele itt olyan igazságokat jelent, amelyek bizonyítás nélkül azonnal látható módon igazak, más szóval evidensek.

Arisztotelész axiómája

Szókratész görög
Szókratész halandó
minden görög halandó

axiómák

Az arisztotelészi szillogizmus

minden görög (b) halandó (c)
Szókratész (a) görög (b)
-------------------------------
Szókratész (a) halandó (c)