Hi John,

`I was not thinking of truth in any absolute sense. I'm not even`

`sure what that concept means... I was just considering the definiteness`

`of the so-called truth value that one associates with Boolean logic, as`

`in it has a range {0,1). There are logics where this can vary over the`

`Reals!`

`My question is about "where" does arithmetical truth get coded`

`given that it cannot be defined in arithmetic itself? If we consider`

`Arithmetic to be the one and only ontological primitive, it seems to me`

`that we lose the ability to define the very meaningfulness of`

`arithmetic! This is a very different thing than coding one arithmetic`

`statement in another, as we have with Goedel numbering. What I am`

`pointing out is that if we are beign consisstent we have to drop the`

`presumption of an entity to whom a problem is defined, i.e. valuated.`

`This is the problem that I have with all forms of Platonism, they assume`

`something that they disallow: an entity to whom meaning is definite.`

`What distinguishes the Forms from each other at the level of the Forms?`

Onward! Stephen On 10/20/2011 10:18 PM, John Mikes wrote:

Dear Stephen,as long as we are not omniscient (good condition for impossibillity)there is no TRUTH. As Bruno formulates his reply:there is something like "mathematical truth" - but did you ask forsuch specififc definition?Now - about mathematical truth? new funamental inventions in math(even maybe in arithmetics Bruno?) may alter the ideas that wereconsidered as mathematical truth before those inventions. Example: thezero etc.It always depends on the context one looks at the problem FROM anddraws conclusion INTO.John MOn Sun, Oct 16, 2011 at 12:48 AM, Stephen P. King<stephe...@charter.net <mailto:stephe...@charter.net>> wrote:Hi, I ran across the following: http://en.wikipedia.org/wiki/Tarski%27s_indefinability_theorem *"Tarski's undefinability theorem*, stated and proved by Alfred Tarski <http://en.wikipedia.org/wiki/Alfred_Tarski> in 1936, is an important limitative result in mathematical logic <http://en.wikipedia.org/wiki/Mathematical_logic>, the foundations of mathematics <http://en.wikipedia.org/wiki/Foundations_of_mathematics>, and in formal semantics <http://en.wikipedia.org/wiki/Semantics>. Informally, the theorem states that /arithmetical truth cannot be defined in arithmetic/." Where then is it defined? Onward! Stephen--

-- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.