What about the second part of the question. Has there been an equivalent of noneuclidean geometry in Aristotelian logic? Is the law of identity kin to euclidean axioms? Thanks for the help though, this is a complex field and its easy to think you've got a handle on things when you dont.