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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/40b5fb59-3729-c882-7dbd-e57a6f4dfaaf%40verizon.net.