Tilted Forum Project Discussion Community - View Single Post

cliche · 07-30-2003, 02:16 PM

CSFlim the jump is because you've made the proof from axioms only: ie the proof is valid in all possible worlds because it does not refer to facts about the world itself. Therefore, if it holds in one (which personally, I reckon it does not) it would hold in all - ie necessary.

asaris I like your objection to my horse. Perhaps I need to define something like: A unicorn (OK, probably not really a unicorn any more) is the most foo horse, where foo is a property denoting having-horn-ness and existence

(seriously)
We're basically saying it works for any property where 'existence' increases that property in some way. So we can define ourselves any number of arbitrary properties which include existence in some way, and prove that something exists with that property... ?

07-30-2003, 02:16 PM	#30 (permalink)
cliche Rookie Location: Oxford, UK	CSFlim the jump is because you've made the proof from axioms only: ie the proof is valid in all possible worlds because it does not refer to facts about the world itself. Therefore, if it holds in one (which personally, I reckon it does not) it would hold in all - ie necessary. asaris I like your objection to my horse. Perhaps I need to define something like: A unicorn (OK, probably not really a unicorn any more) is the most foo horse, where foo is a property denoting having-horn-ness and existence (seriously) We're basically saying it works for any property where 'existence' increases that property in some way. So we can define ourselves any number of arbitrary properties which include existence in some way, and prove that something exists with that property... ? __________________ I can't understand why people are frightened of new ideas. I'm frightened of the old ones. -- John Cage (1912 - 1992) Last edited by cliche; 07-30-2003 at 02:18 PM..