You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Newberry

['Member']Joined: March 11, 2022 at 17:29Last active: May 27, 2022 at 19:482 discussions3 comments

Discussions (2)

Reflection schema

March 26, 2022 at 01:10 23 comments Logic & Philosophy of Mathematics

Comments

In: Reflection schema  — view comment
Recursive definitions also look circular, but they are not. I am pretty sure this can be done. I was told something to the effect that it was a fixed ...
May 29, 2022 at 19:28
In: Reflection schema  — view comment
Well, “(Ex)Prf_T(x, ?F?) --> F” says that if there exists a proof of F then F is the case. This is neither an axiom nor a theorem of PA. This may seem...
May 29, 2022 at 19:28
In: Kurt Gödel, Fallacy Of False Dichotomy & Trivalent Logic  — view comment
You are right. I have written papers about this. Here is one. http://arxiv.org/abs/1510.04393
March 22, 2022 at 16:35
⇧