Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: existential quantifier

Bottom of Page

1 to 6 of 6

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 2nd 2012
    • (edited Oct 2nd 2012)

    I have tried to brush-up existential quantifier a little more. But not really happy with it yet.

    • CommentRowNumber2.
    • CommentAuthorGuest
    • CommentTimeFeb 8th 2023

    added link to being.

    Also, existence redirects to this article, but the Wikipedia article on existence says that “existence” in the field of ontology is a synonym of being. Maybe existence should be redirected to being instead of this article.

    diff, v23, current

    • CommentRowNumber3.
    • CommentAuthorDavid_Corfield
    • CommentTimeFeb 8th 2023

    I doubt there’ll be many links “existence”. (Strangely a search with double brackets yielded every page.) But I agree it may as well be a redirect for being.

    Some connection to this page goes via Quine’s idea that “To be is to be a value of a bound variable”. Then one locates one’s “ontological commitments” by expressing the best theories of the world in predicate logic and reading off the kinds of thing quantified over.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 8th 2023
    • (edited Feb 8th 2023)

    If you want to be more ambitious in relating these entries, one could expand along the lines that

    ∃D=[D] −1≃* \exists D \;\;\;\;\; = \;\;\;\;\; [D]_{-1} \,\simeq\, \ast

    to be pronounced: “For a d:Dd \colon D to exist means for the class of all d:Dd \colon D to be.”

    or with more detail: “Asserting the existence of d:Dd \colon D is to assert that the class of all d:Dd \colon D is being-modal.”

  5. Added the definition of existential quantifier which uses the type of propositions to the type theory subsection of the definitions.

    diff, v24, current

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 25th 2024

    Fixed broken ICM proceedings link (the website changed, we might have a number of these!) and formatting

    diff, v29, current

1 to 6 of 6

  1.