[FOM] Platonism and undecidability
Neil Tennant
neilt at mercutio.cohums.ohio-state.edu
Thu Nov 6 07:05:07 EST 2003
Harvey Friedman wrote (Mon Oct 27 23:26:39 EST 2003):
> I was proposing that it is hard to convince people that "every sentence
> has a determinate truth value" if truth values cannot be found, or if
> truth values are known to be non findable, or there is absolutely no
> evidence that truth values can be found, or there is no plan or idea for
> finding truth values, etc.
I want to focus on the part
it is hard to convince people that "every sentence
has a determinate truth value" if ...
truth values are known to be non findable
and then substitute "intuitionists" for "people" (if I may):
it is hard to convince intuitionists that "every sentence
has a determinate truth value" if ...
truth values are known to be non findable
At this point one has a problem. For an intuitionist, the claim
the truth-value of p is known to be non findable
is inconsistent, hence cannot play any role in making an *intuitionist*
reluctant to believe that every sentence has a determinate truth value.
Should I conclude that intuitionists are not people? :-)
Neil Tennant
___________________________________________________________________
Neil W. Tennant
Professor of Philosophy and Adjunct Professor of Cognitive Science
http://www.cohums.ohio-state.edu/philo/people/tennant.html
Please send snail mail to:
Department of Philosophy
230 North Oval
The Ohio State University
Columbus, OH 43210
Work telephone (614)292-1591
More information about the FOM
mailing list