Talk:Law of identity

message: feel free to delete this line, but i think someone should know that quote literally gave me a seizure... Longcheeseconey (talk) 05:53, 2 January 2008 (UTC)
replies: text: I removed mention of Nichomachean Ethics.  I think it was a hoax. ←BenB4 19:32, 12 September 2007 (UTC)
thread_title: Old unsectioned comments

message: This article is completely unacceptable. For one thing it misrepresents Aristotle entirely. I don't know what the quoted passage is supposed to prove but it sure is not Aristotle's formulation of the identity principle. All he said was you cannot consistently assert the same thing about the same object in the same way and there is no mention here of that at all. Moreover he did not claim to invent it and no one claims that he invented it. This is simply the first overt mention of it. I'm not working on this article right now so I am not going to give you the ref. All I can say is, if you can't cook, either stay out of the kitchen or learn to cook. So get yourself a nice book on the metaphysics with a nice index telling you where the "first principle" is and settle down to a nice winter of learning metaphysics, which is nice. PS. If this is all we are going to say about the identity principle it probably can be merged with no problem; in fact, if we don't merge there will be a content fork.Dave (talk) 12:31, 17 November 2007 (UTC)
thread_title: Aristotelian Gobbledegook

message: I can't find anyone before Locke who ever mentioned a canonical "law of identity". Locke attests it. Leibniz attests it at the same time as Locke. Joseph Butler attests it, a generation after Locke. Before Locke? Nothing. None of the Medieval Scholastics knew anything about it. Aquinas doesn't mention it. William of Ockham doesn't mention it. I've been told that Francisco Suárez attributes something similar to an obscure student of Duns Scotus (Antonius Andreas), but nobody made a big deal out of it at the time, and there was as yet no "law of identity". Interestingly, Descartes mentions no law of identity either, which implies that it was not known as such until 1650-1700. --70.131.116.104 (talk) 21:38, 6 May 2008 (UTC)
thread_title:  Locke's law of identity? 

message: Should probably be moved to a separate page, since this page is about philosophy. --Nabeth (talk) 20:19, 16 March 2009 (UTC)
replies: text: Someone removed this entry about Kim Cameron related to lack on notability. Well, well, ..., I would not want to be nasty here, but before doing this kind of thing, you should first check, or be an expert in the domain (in that case, the expert would know!). Please use the talk page before removing content like this and defend your perspective. --Nabeth (talk) 16:00, 4 May 2009 (UTC)
replies: text:  Additional note: Kim Cameron's Laws of Identity relates to digital identity, and therefore main need to be put somewhere else if this page is only about Physolophy. --Nabeth (talk) 16:05, 4 May 2009 (UTC)

text:  Suggestion: Maybe a disambiguation page should be created to remove the confusion --Nabeth (talk) 16:11, 4 May 2009 (UTC)
replies: text:  Hi my question was about the notability of these 'laws'.  Can you provide some references please. Peter Damian (talk) 16:43, 4 May 2009 (UTC)
replies: text:  Dear Peter, Yes, I will provide some references. Yesterday I started to search for references, but did not have the time to have something good enough. Kim Cameron's Laws of Identity is indicated in a Blog entry: Kim Cameron. The Laws of Identity. Microsoft Whitepaper, May 2005. http://www.identityblog.com/stories/2004/12/09/thelaws.html . Althought a blog entry may not be considered as "good enough" for Wikipedia, it is being cited by a numerous academic publication. See for instance in Google scholar : http://scholar.google.com/scholar?q=%22laws+of+identity  --Nabeth (talk) 08:09, 5 May 2009 (UTC)
thread_title:  Kim Cameron's Laws of Identity 

message: i'm pretty sure this phrase is used incorrectly in the end of the first section - the phrase refers to knowing that if something is an exception, a rule must exist for it to be an exception to, not an exception to a rule somehow making the rule more valid. however, i can't write anything to replace that paragraph. it seems unnecessary, since it's not an exception in the first place - to use the same example, the designator "a bear" and the designator "to bear" are different, and so each term is only ever used to refer to one concept. that this (and the implicit presence of the article and particle) is clear through context, not language, is information that needs to be included, i think, to make it clear that the initial statement is not a general rule precluding homonyms. however, like i said, i don't know what to do to that paragraph to sort it out. i'm not absolutely sure what i've written above is correct, let alone in terms that are commonly known. 94.193.221.42 (talk) 17:41, 21 September 2010 (UTC)
thread_title:  Exception that proves the rule 

message: Since the biconditional is, in one form, the conjunction of two material implication operators, in which the antecedent implies the consequent and vice versa, isn't it redundant to use the biconditional operator when the conditional would suffice? "A if and only if A" is essentially "if A then A" and "if A then A" and hence, redundant, and so, should just be simplified to "if A then A." I will change it to this in the article, if anyone has any objections, please bring them here.
Xenfreak (talk) 18:44, 9 October 2011 (UTC)
thread_title:  redundancy by using the biconditional operator? 

message: Maybe the article should include the fact that the law of identity is a special case of the axiom of extensionality in modern mathematics.  — Preceding unsigned comment added by 188.104.185.150 (talk) 22:36, 19 June 2012 (UTC)
thread_title:  Axiom of extensionality 

message: Seeing as the law of identity is fairly self-evident and all but universally-accepted by virtually every philosophy, linking to specific philosophical and/or religious belief systems like Objectivism seems a bit out of place to me.  If "law of identity" for some reason comes up frequently in Objectivist literature, it would make sense to link from there to here, but it doesn't make any sense to link from this page to Objectivism, nor does it make much sense to label this page as a part of WikiProject Objectivism.  People who visit this page first (rather than coming from Objectivism) are not likely looking for Ayn Rand's philosophical musings.
At the very least, if Ayn Rand contributed something meaningful to the theory behind the law of identity which is well-recognized outside of her religion, there should be a subsection describing her contributions.  Otherwise I don't see why the link to Objectivism belongs in this article, whether or not the concept is important to adherents.  Am I off-base in finding this odd? TricksterWolf (talk) 17:24, 30 September 2012 (UTC)
replies: text: The only links in the article are under "See also", which is normally used to link peripheral topics, so that seems OK (the law of identity is something Rand talked about frequently). But given the lack of article content about Objectivism, there does not seem any reason it should be tagged for WikiProject Objectivism. --RL0919 (talk) 03:25, 1 October 2012 (UTC)
replies: text: In the absence of any comments to the contrary, I'm going to go ahead and remove the project tag. --RL0919 (talk) 15:45, 3 October 2012 (UTC)
thread_title:  Is Objectivism relevant here? 

message: This article is in need of a pretty decent overhaul:
* Unlike what the note at the top claims, the article doesn't use any logical symbols at all. 
* The article doesn't mention the numerous ways to symbolize the law of identity (e.g. A=A, A→A, A↔A, etc.), nor does it mention that these various versions of the law turn out not to be exactly the same principle despite (ironically) having the same name.
* The article seems to rely a bit too much on the history of other people talking about the Law of Identity, and not enough on describing the axiom, outside of the introduction. Further, in the history it focuses too much on elevating the identity axiom as unquestionable, rather than simply showing the evolution of views about the law over history (lack of Eastern views on it too).
* It also lacks any mention of dissenting views, like those claiming there are some limitations to the axiom's applicability. For example, quasi-set theory and non-reflexive logic. Discussed by Schrodinger, Newton da Costa, Decio Krause, etc.
I think I'll try and make some alterations to the article soon, unless some of you feel there's good reason not to. MindForgedManacle (talk) 22:15, 28 January 2017 (UTC)
thread_title:  In Need of Revision 

message: Hello fellow Wikipedians,
I have just modified one external link on Law of identity. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20090207181106/http://www.philosophyprofessor.com/philosophies/contradiction-law.php to http://www.philosophyprofessor.com/philosophies/contradiction-law.php
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 16:11, 18 December 2017 (UTC)
thread_title:  External links modified 

message: What should it mean for the reader? --178.252.126.70 (talk) 15:41, 5 January 2019 (UTC)
replies: text: It is a subsection of the "See also" section, so see WP:See also for explanation. --RL0919 (talk) 15:45, 5 January 2019 (UTC)
replies: text: It's oversized and criteria for inclusion are undetermined. --178.252.126.70 (talk) 16:02, 5 January 2019 (UTC)

text: Also: "Editors should provide a brief annotation when a link's relevance is not immediately apparent". There's no person in the list whose inclusion is apparent (and "they discussed the topic" is not a good reason at all). --178.252.126.70 (talk) 16:06, 5 January 2019 (UTC)
replies: text: Much of the "three laws of thought" are a meme. Cake (talk) 11:26, 6 January 2019 (UTC)
thread_title:  People section 

message: The article gives no mention at all of any contrary opinions, which is really strange. There really ought to be some mention of dissenting views for any article on a philosophical doctrine, to avoid giving the impression that “everyone believes” that doctrine.
I think the most common argument against this law would be rooted in impermanence, as expressed in Eastern religions and by some Western thinkers such as Heraclitus and the process philosophers. Essentially the argument would say that “A=A” is wrong, because during the time it took you to say, read, or think the first “A” and the second “A”, whatever “A” is has unavoidably changed, to the point that it is no longer identical to its past self. Thus “A” can never refer to the same thing twice.
A more novel argument would be if “A” is something that changes by merely invoking it. For instance if “A” = “the number of times in my life I have thought of the letter A”, this would be a possible counterexample, though some might not consider such a concept allowable due to the inherent self-reference. 97.116.51.145 (talk) 23:52, 27 April 2020 (UTC)
thread_title:  Does anyone deny this? 

message: I'll leave it to those actively involved with this article to deal with, but the paragraph on Schrodinger logics is lifted verbatim (except for fixing a typo) from the abstract of this article: 
Michael Kinyon (talk) 17:46, 24 November 2020 (UTC)
thread_title: Schrodinger logic section is a cut-and-paste

message: I agree entirely with the comment fromm User:Rosa_Lichtenstein above concerning the importance of distinguishing between singular terms and propositions. As it stood the article confused the two. The law of identity states that every individual is identical with itself. It is about individuals. It has nothing to do with propositions or their meanings or with ambiguity. Logics that do not use the law of identity do not thereby commit equivocation. 
In first-order logic we can treat identity (equality) as a logical constant or as an interpretable predicate. If it is interpreted, then we may choose to dispense with the law of identity and use a non-normal model. There is more information on this in the article on First-order_logic#Equality_and_its_axioms  The law of identity is only a logical truth (tautology) in first order logic with identity. 
I have removed the stuff about equivocation, and rewritten the section about Schrödinger logic to make this clearer.  Dezaxa (talk) 18:05, 7 June 2021 (UTC)
thread_title:  Individuals and Propositions