Dopo aver riconosciuto agli stoici l’introduzione dell’implicazione materiale, e a San Anselmo di aver utilizzato la legge del modus ponens per dimostrare Dio, analizziamo le macchine meccaniche di ...