Logificazione dell'intelligenza