Not signed in (Sign In)

Start a new discussion

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).
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeNov 8th 2021
    • (edited Nov 8th 2021)

    I do not quite understand the discussion under the axiom of extensionality. It says that one can do two variants (of course), one is that equality is taken as a primitive (predicate) and another that the axiom is taken as a definition of equality. Of course, this is in the idea so, but then the second version of the axiom is written unclear (and it is not quite a definition) and the discussion is also unclear. I see it this way: there is a propositional calculus and there is a propositional calculus with equality. “The same” is probably here just an informal way to refer to the equality of the propositional calculus with equality, that means a distinguished binary predicate which satisfies substitution axiom, transitivity, reflexivity and symmetry. In that calculus we just state the axiom (not a definition) that the equality can be rephrased via belongness relation. If we work in just a propositional calculus then we can define a relation which we may call equality but we can also call it blablabla. Then we have to state explicitly which properties, possibly weaker than required in the propositional calculus with equality hold for that relation (I am not quite sure how entry extensional relation solves this, in particular, should we now prove the substitution axiom for equality). Now, one should do that version precisely. In calculus with equality there is no space for two versions as far as I see: equality is given (distinguished) by the propositional calculus with equality, we can only characterize it.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)