> On 7 May 2020, at 23:14, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 5/7/2020 10:00 AM, Bruno Marchal wrote: >> Existing is when the proposition “ExP(x)” is true in some reality. For >> example Ex(prime(x)) is true in the structure/model (N, 0, s, +, x). > > "In some reality" completely drains "reality" of all meaning. It simply > means some set of assertions that is not self-contradictory.
You are right. That follows from the completeness theorem. A (reasonable) theory is consistent iff it has a model (a reality which satisfies all the theorems). Now no machine can prove the existence of a reality satisfying all its belief, that is why we use terms like God, or “No-Name” or “Reality” with a big “R”. That sort of reality is no more model theory, but is theology, and the first theorem in Mechanist theologies is that we cannot define it, nor invoke it in arguments. Here I was just using “reality” for “model”, as “model” when used by physicists means what logicians call “theories”. So now I can deduce that by “it exist”, you refer to some metaphysical reality. You need to say which one to be precise. I suspect you mean the physical reality, but that early what is questioned when we assume mechanism, where the metaphysical reality is only (a part) of the arithmetical truth. 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]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/40b5fb59-3729-c882-7dbd-e57a6f4dfaaf%40verizon.net. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CE2F9F6A-94B6-442F-B60B-6562A2C506E1%40ulb.ac.be.
