There is a logical distinction between being the same and being equal
the verdict
SUPPORTED
the evidence backs this
refutedsupported
the weight of evidence
1 source for · 0 against
AS REPORTEDno primary record reached; this is what the reporting says
Retrieved reference materials distinguish between logical identity and mathematical equality, showing that being the same and being equal are treated as distinct logical and philosophical concepts.
# What is the difference between equality and logical identity?
Tags: logic, propositional-calculus, first-order-logic, predicate-logic, foundations
- Score: 7
- Views: 688
- Answers: 4
- Answered: yes
- Asked by: Robert (341 rep)
- Asked: 2020-01-30
- Edited: 2021-08-19
- Site: math
## Question
I'm reading the book Introduction to Logic and to the Methodology of the Deductive Sciences by Alfred Tarski and he states:
"In this book we consider the notion of equality among numbers always as a special case of the general concept of logical identity. One should add, however, that there have been mathematicians who —as opposed to the standpoint adopted here— did not identify the symbol "=" occurring in arithmetic with the symbol of logical identity; they did not consider equal numbers to be necessarily identical, and therefore looked upon the notion of equality among numbers as a specifically arithmetical concept."
So what is the difference between "=" and "logical identity"?
## Answers
### Answer by Mark S. (score: 4)
I expect that Tarski means by "logical identity" something close to "literally the same thing", which could be applied to numbers in arithmetic, sets in set theory