On Sat, 11 Dec 2010, Donal McEvoy wrote:
To these points and questions, might be added:- Eric's post raises the question of what was always there, from when the universe began say, and what ÿÿemergedÿÿ. Was the ÿÿtriangleÿÿ, the mathematical perfect ÿÿtriangleÿÿ and not some physical approximation to it, there when the universe began? Was maths? Was logic? We might accept that what is true logically, and mathematically, was true from the beginning of the actual world (in some sense) and did not become true by virtue of something happening after the beginning; this is especially the case with 'logical truth' if we accept the view that a 'logical truth' must be true in all possible worlds. But does this show logical and mathematical 'truth' existed from the beginning or merely that these truths are atemporal or ahistorical, standing outside the universe of space and time? Does it help to say propositions expressing these 'truths' did not exist from the beginning but nevertheless these 'truths' existed from the beginning? A universe devoid of the sequence of natural numbers is not a universe in which the proposition ÿÿ2 + 2 = 4ÿÿ can exist or have any actuality or instantiation as a proposition. Can we admit that even in a universe in which '2 + 2 = 4' does not exist as a proposition it would still be true(and as what?)? Can we admit therefore that something (a proposition?) may be already true even though it does not yet exist (as a proposition?)? Or do we incline to the view that, if it would be true in any given universe, it must exist (in some sense) as a truth in any given universe? When we produced the sequence of natural numbers (or, say, the 'triangle' as a mathematical entity) were we inventing, or were we discovering something that, in some sense, was waiting to be discovered? If the latter, what is the sense in which natural numbers (and triangles) existed prior to their discovery?
THE SAME SENSE IN WHICH QUARKS WERE AROUND BEFORE YOU GOT TO KNOW THEM just better