On 23 Aug 2012, at 18:43, Stephen P. King wrote:

Hi Roger, By Existence I mean all that is necessarily possible.

`But necessary and possible are ultra fuzzy word. Aristotle invented`

`the modal logic to bring a bit of light, and, despite having been`

`mocked by logicians, modal logic appears naturally in computer science`

`and philosophy, through precise modal logic. So hat is your modal logic?`

`If you are using "necessary" in his alethic common sense, it means`

`through in all words, and possible means true in at least one world.`

`Then you are working implicitly in S5.`

So do you agree with If p is necessary then p is true If p is possible then it is necessary that p is possible if p is necessary then it is necessary that p is necessary if p is true then it is necessary that p is possible OK?

`usually we would write: []p for "p is necessary"; "<>p" for "p is`

`possible", "p" for "p is true", etc.`

`With S5, Kripke accessibility relation is trivial, all worlds access`

`to each other. S5 does not appear in the arithmetical`

`"hypostases" (machines points of view on arithmetic).`

By this definition mathematical points and theoretical domains"exist". Existence is property neutral, neither defining orexcluding what is or what is not. It is not a property.

`No where than in first order logic clearer that existence is not a`

`property. But at the meta level, you can reprsent it by "belonging to`

`a model", and of course such existence is always theory dependent.`

`Like the notion of nothing or everything, the notion of existence asks`

`you to be clear (axiomatically) about your "things".`

It is what the philosophers attempted to mean by a "property bearer"and could not escape the illusion of substance.

Here we agree.

It is Dasein but without the actuality, since this would contradictits neutrality. Both the actual and the possible "exist"... It isnot contingent on observation or measurement or knowledge.

That's 1004 talk, sorry. Bruno

On 8/23/2012 9:31 AM, Roger Clough wrote:Hi Stephen P. King It all depends on what you mean by existence. If by existence you mean dasein (actually being there), then mathematical points or theoetical domains do not exist. Roger Clough, rclo...@verizon.net 8/23/2012Leibniz would say, "If there's no God, we'd have to invent him soeverything could function."----- Receiving the following content ----- From: Stephen P. King Receiver: everything-list Time: 2012-08-22, 23:38:55 Subject: Re: Pratt theory On 8/22/2012 4:04 PM, Richard Ruquist wrote:Now this is interesting: "Points have necessary existence, allbeing present simultaneously in the physical object A.�15.States are possible, making a Chu space a kind of a Kripkestructure [Gup93]:�only one state at a time may be chosen from the menu X of燼lternatives.Seems that divine intervention may be an assumption. I wonder whodoes the choosing. May I suggest Godellian consciousness?Dear Richard,� No need for divine intervention! I am not sure what "Godellianconsciousness" is. Let me comment a bit more on this part ofPratt's idea. The choice mechanism that I have worked out uses atournament styled system. It basically asks the question: what isthe most consistent Boolean solution for the set of observersinvolved? It seems to follow the general outlines of pricing theoryand auction theory in� economics and has hints of Nash equilibria.This makes sense since it would be modeled by game theory. Myconjecture is that quantum entanglement allows for the connections(defined as bisimulations)� between monads to exploit EPR effectsto maximize the efficiency of the computations such that classicalsignaling is not needed (which gets around the "no windows" rule).This latter idea is still very much unbaked.-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon --You received this message because you are subscribed to the GoogleGroups "Everything List" group.To post to this group, send email to everything-l...@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.-- Onward! Stephen "Nature, to be commanded, must be obeyed." ~ Francis Bacon --You received this message because you are subscribed to the GoogleGroups "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.

http://iridia.ulb.ac.be/~marchal/ -- 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.