Nella logica aristotelica, il processo di prova della validità di una proposizione mediante la sua deduzione da un’altra verità più generale. Tale deduzione è compiuta dal pensiero dianoetico e ha per fondamentale strumento il sillogismo. L’inizio dell’a. non può essere fatto risalire all’infinito, nell’esigenza di provare le premesse di ogni singola deduzione: Aristotele pone quindi all’origine le premesse immediate, ‘principi’ dell’a., che debbono essere percepite senz’altro come vere dalla conoscenza noetica dell’intelletto.