[sourcery]

Epistemological Constructivism

Introduction to Pancritical Rationalism

I am a Radical Constructivist and a pan-critical rationalist. So of course I think your argument is invalid on its face.

But let me present yet another argument against the dualist thesis:

Godels 1931 paper, "On formally undecidable propostions of Principia Mathematica and related systems" is a formal mathematical proof. Therefore, it is a sequence of statements within a formal axiomatic system known as mathematical logic. Mathematical logic is isomorphic to a formal system that conforms to the Peano axioms. Therefore, one of the following statements must be true with respect to Godel's proof:

1. Godel's Proof represents an existence proof that a formal system subject to Godel's Incompleteness Theorem is competent to prove Godel's Incompleteness Theorem. If so, then the materialists are correct and the dualists are wrong (with respect to the proposition that a human mind is necessarily superior to any Turing machine).
2. Godel's Proof is not a valid proof. If so, then this whole discussion is meaningless.
3. Godel's Proof is actually informal (i.e., it is not a formal proof). Therefore, it is not necessarily the case that it is in a formal system that is itself subject to the Incompleteness Theorem. If so, it is also not necessarily the case that the "proof" is valid: only formal proofs have "unassailable" validity (actually, even formal proofs are only valid in the absolute sense if the formal system to which they belong is also valid in the absolute sense). I assert that either Godel's proof is formal, or else it is not a proof.
4. Godel's Proof is in a formal system that is not subject to the Incompleteness Theorem. I assert this is false, because Godel's Proof is itself based on arithmetic (e.g., the proof relies on a bidirectional isomorphic mapping of metamathematical statements into arithmetic formulae), and arithmetic is the nominal subject of the Incompleteness Theorem!

The Laws of Form

[The_Reader_David]

I will have to consider further the content of your most recent reply. (Though since you are a radical constructivist, we may just be talking at cross purposes, since I am a mathematical Platonist, abeit one with a perference for constructive or intuitionistc proofs when these are available.)

After retiring last night, however, I realized that there is a gap in the argumentation presented in the review article:

|-A implies |-B(A) is an unwarranted assumption. In particular if there were a sound formal system which captured your computational ability, but contained a logical equivalent of ZFC, you would provide a model of |- axiom of choice & |- B(axiom of choice). (I assume here you are of the school of contructivism which rejects AC. If not, substitute Brouwer, the original intuitionist,for yourself.) Belief does not necessarily follow from the existence of a non-subjectively-experienced "axiom" or formally proved statement--a hypothesized formal system which captures your computational power need not be made of propositions and rules of inference supporting a semantics you would consciously accept.