View Single Post
Nov19-11, 02:41 PM
Logic is in this sense part of the structure of language, it is our rules governing propositions. As they don't refer to anything outside of language, it need not be verified. A good illustration of this is the fact that we would be perfectly fine operating with a different type of logic.
All you are pointing out here is that logic is pure syntax, and has been scrubbed clean of semantics. Which is what I said.
But the OP was about the development of logic. Which was what I was addressing.