The consistent theories that assert their own inconsistency.
I was directed to https://en.wikipedia.org/wiki/Self-verifying_theories … when I brought up that objection but I haven't looked into details
-
-
it's powerful enough to talk about its provability, but not enough to do diagonalization and liar sentence
-
"ordinary sense" for me meant theories of syntax with such basic expressivity as used in diagonalization.
-
and that's how I know that you don't know very much logic
-
1. There's no need to be an ass. 2.
@RadishHarmers's remarks don't even indicate a lack of knowledge of logic.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.