> On 19 Sep 2018, at 23:14, Brent Meeker <[email protected]> wrote: > > > > On 9/19/2018 1:40 AM, Bruno Marchal wrote: >> >>> On 19 Sep 2018, at 03:44, Brent Meeker <[email protected] >>> <mailto:[email protected]>> 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. > > What's unclear about you can kick it and it kicks back? That's the kind of > definition that can be ostensive (although not via email). > >> >> 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. > > What's "etc" mean?
The eight hypostases: [0]p = p (truth) [1]p = []p (provable intelligible) [2]p (true intelligible) [3]p = []p & p (soul, knowability, first person) [4]p = []p & <>t (provable intelligible matter, observable) [5]p = []p & <>t (true intelligible matter, observable) [6]p = []p & <>t & p (provable sensible matter) [7]p = []p & <>t & p (true sensible matter). For more see any of may paper on this (most are),or ask any question. There are many other, the quantum logics (given by [4] … [7]- are graded into []^m p & <>^n p (with n bigger than m, they all gives a quantum logic). > >> >> 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. > > Yes, I understand quantifiers. But you are quantifying over a domain of > numbers, so "exists" only means there is a number that satisfies some > predicate. Yes. But they get different meaning for a subject/machine through the mode used, but indeed, even such existence are number existence, but unknowingly for the subject. It is true that []p <-> p, but no machine can know that for itself. That would lead to the 1p-3p confusion. Bruno > > Brent > >> >> 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 [email protected] >>> <mailto:[email protected]>. >>> To post to this group, send email to [email protected] >>> <mailto:[email protected]>. >>> 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 [email protected] >> <mailto:[email protected]>. >> To post to this group, send email to [email protected] >> <mailto:[email protected]>. >> 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 [email protected] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
