[FOM] Wittgenstein?

[Neil Tennant]

What do you mean by "p is true in PA"?:

1) PA|-p and (since PA proves only truths) p is true; or
2) PA|-p and p is (i.e. happens to be) true; or
3) p is in the language of PA and is true...?

___________________________________________________________________
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