> On 31 May 2019, at 01:58, Bruce Kellett <[email protected]> wrote: > > On Fri, May 31, 2019 at 9:20 AM Jason Resch <[email protected] > <mailto:[email protected]>> wrote: > > Is existence an intrinsic property or a relative one? > > Existence isn't a property!
It is very wise to think so. Mathematical logic is almost entirely based on that idea. In logic “existence” is a disjunction applied to the domain of discourse. For example, to say that a natural number x having some property P exists means that the infinite disjunction P(0) v P(1) v P(2) v P(3) v P(4) v P(5) v P(6) v ... is true. This is a very useful idea which eliminates inessential essentialism. The unavoidable essentialism coming back with incompleteness is quite enough. Bruno > > Bruce > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/CAFxXSLRhJoH-Q7SrzZvGuHLFbqr8AnidPZO3LXfxpfv1aPfxhQ%40mail.gmail.com > > <https://groups.google.com/d/msgid/everything-list/CAFxXSLRhJoH-Q7SrzZvGuHLFbqr8AnidPZO3LXfxpfv1aPfxhQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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/F9176B5F-3F05-41B4-ADB2-823DEFF3244D%40ulb.ac.be.
