> On 19 Sep 2018, at 03:44, Brent Meeker <meeke...@verizon.net> wrote: > > > > On 9/18/2018 4:05 AM, Bruno Marchal wrote: >>> >>> I don't think you know what you mean by "exist", I certainly don’t. >> >> >> I use “exists” as a quantifier in some theory. The axioms are given in all >> textbook of logic. > > But you need to connect that meaning to the very different meaning of exists > = "you can kick it and it kicks back”.
That is a bit unclear. To give precision, I use “Exist” in the sense of first order logic, and the different sense of “exist” emerges, or can be defined in the different modal logic imposed by Gödel II. So, the ontic existence = the usual number existence, or the “E” of first order arithmetic. Then you have the 8 variants of existence: [i]Ex[i]P(x) with [0]p = []p, [1]p = []p & p, [2]p = []p & <>t, etc. To be sure, for matter, you have still other nuances, as observation is “quantised” which means that we need the []<>p translation (it makes the experience repeatable, brought symmetry below the substitution level, and provide the quantum logics where we expected it by the thought experiences. Bruno > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to everything-list@googlegroups.com > <mailto:everything-list@googlegroups.com>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to everything-list@googlegroups.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
