Logica, scienze cognitive e intelligenza artificiale