FOM: 'Logical parsimony' of intuitionistic mathematics

Neil Tennant neilt at
Wed Feb 11 08:57:59 EST 1998

Torkel says that "intuitionistically we have to distinguish" among


(P a primitive recursive predicate, the quantifiers ranging over N),
"without having a single example of a P for which we can prove
(intuitionistically) one but not all of the three statements.

Wouldn't thi s situation simply tell us more about arithmetic than
about logic? What about other theories besides arithmetic? And isn't
the situation (w.r.t. the first and third sentences at least) the
reason why some intuitionists would be happy with Markov's principle?

This is not so much a rebuttal as a request for information from any
foundationalist intuitionists out there (if they can disentangle themselves
from the aliens' antennae...)

Neil Tennant

More information about the FOM mailing list