Return to Article Details On the Unfinished and Uncertain Paths of Logic