Are first principles or the axioms of logic (such as identity, non-contradiction

Are first principles or the axioms of logic (such as identity, non-contradiction

Are first principles or the axioms of logic (such as identity, non-contradiction) provable? If not, then isn't just an intuitive assumption that they are true? Is it possible for example, to prove that a 4-sided triangle or a married bachelor cannot exist? Or must we stop at the point where we say "No, it is a contradiction" and end there with only the assumption that contradictions are the "end point" of our needing to support their non-existence or impossibility?

Read another response by Stephen Maitzen, William Rapaport
Read another response about Logic
Print