#
Since one's own reasoning is a basically set of rules of inference operating on a set of axiomatic beliefs, can one reliably prove one's own reasoning to be logically consistent from within one's own reasoning? Might not such reasoning itself be inconsistent? If our own reasoning were inconsistent, might not the logical consistency (validity) of such "proofs" as those of Godel's Incompleteness Theorems, be merely a mirage? How could we ever hope to prove otherwise? How could we ever trust our own "perception" of "implication" or even of "self-contradiction"?

Read another response by Peter Smith

Read another response about Logic, Mathematics