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.
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.
