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?
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.
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.
For more options, visit 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.
For more options, visit 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.
