Re: JSH: Logic and paradox

Vladimir Dergachev <volodya@xxxxxxxxxxxxxx> writes:

I never quite bought into the equality discussion in logic classes myself.
I do understand the issue, but I always thought of this as a matter of
choice in understanding mathematics.

Myself, I prefer to understand "=" as an equivalence relation in all cases,
and simply ask the question - which equivalence relation do we mean at this
time ?

I don't suppose it makes much practical difference, since working with
an equivalence relation R on X is more or less the same as working
with equality on X/R (restricting the notion of functions to
congruences as well). But I don't see any advantage to viewing
equality as a mere equivalence relation and *not* a proper identity.

And you are inviting confusion if you forget that when most people
discuss equality, they mean equality.
--
"Many argue that its programmers have turned out shoddy programs, but
[their] objective is to make profit, not superlative programs per
se. By the profit criterion, Microsoft has been one of the greatest
companies in the history of this country." -- ADTI defends Microsoft
.

Relevant Pages

  • Re: Rich Comparisons Gotcha
    ... From a formal mathematical point of view, equality /is/ an equivalence ... equivalence relation, then it ain't the equality relation, and that's ... I'm talking about domain in the sense of "a particular problem domain". ... The same happens with trees. ...
    (comp.lang.python)
  • Re: An uncountable countable set
    ... Han de Bruijn wrote: ... which is an Equivalence Relation, which in turn is a "generalization" ... that EQUALITY HAS NEVER BEEN DEFINED. ... Consider the equally spaced staircase from to, as the number of steps increases from 1 without bound. ...
    (sci.math)
  • Re: JSH: Logic and paradox
    ... Equality is an equivalence relation. ... No offence, but even in logic you need context, you can't just take notation ... the equality symbol. ...
    (sci.math)
  • Re: What is a proof, exactly?
    ... > the formalization of the list of theorems. ... That only the equality of sets may be considered relevant? ... If I have an equivalence relation ... becomes quite subtle now. ...
    (sci.math)
  • Re: JSH: Logic and paradox
    ... without unnecessary abuse of notation. ... If I believed that students really understand equality and can see ... Myself, I prefer to understand "=" as an equivalence relation in all cases, ...
    (sci.math)