The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Torkel Franzen argues
Replies: 25   Last Post: May 17, 2013 3:52 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 1,432
Registered: 6/4/07
Torkel Franzen argues
Posted: Apr 24, 2013 9:28 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Torkel Franzen argues that all the axioms of ZFC are manifestly true
the logic apparatus is truth preserving therefore all is good and the
system is consistent.

First of all if this is true the the anti-machinists such as Lucas or
Penrose are right because Franzen has just made an argument a machine
cannot do.

So the axioms are manifestly true and the rules are truth preserving.
The argument seems impeccable. What could possibly be wrong with it?
For example is it possible that the logical apparatus contributes some
spurious truths in addition to preserving them? This

(x)((x+3 < x) --> (x = x+4)) (1)

does not look manifestly true to me. Where did it come from? From the
axioms? At this point discussion with the indoctrinated people becomes
difficult. They just repeat that (1) is true under all
interpretations. They are not able to see the problem. In fact this
has nothing to do with any interpretations. The same problem occurs at
the propositional level:

(P & ~P) --> Q (2)

is notoriously counter-intuitive. It is called PARADOX of material
implication, and it motivated research into relevance logics. So don't
tell me that it is all based on manifest truth. In fact I have shown
in another thread!topic/sci.logic/lDJcgOg4vco
that the proof that the truths of first order arithmetic are not
recursively enumerable is NOT likely to hold if we use Strawson-like

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.