Talk:Law of thought

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Philosophy (Rated Stub-class)
WikiProject icon This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.
Stub-Class article Stub  This article has been rated as Stub-Class on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 

Notes & Queries[edit]

Jon Awbrey 22:16, 18 January 2006 (UTC)

Formal logic is NOT "how we think"[edit]

Where does the following statement in the first paragraph come from?

"...which collectively prescribe how a rational mind must think. To break any of the laws of thought (for example, to contradict oneself) is to be irrational."

"Law of thought" is a misnomer, in the first place, because the 3 "laws" listed are just parts of an axiom-system (= set of Assumptions), and not valid as general "laws of human thinking", since it is easy to demonstrate, by example, natural language statements that violate "law of noncontradiction" and/or "law of excluded middle", such as: "This statement is false." We can clearly grasp the meaning of it, but still, it is neither true nor false.

So it should be made clear that these "laws of thought" are not that (much less "laws of rational minds"), but just an axiom-system of assumptions. 83.177.13.93 (talk) 16:16, 25 July 2008 (UTC)

Axiom systems are not necessarily related to anyone's mind. They are not laws of thought. They exist in a timeless, spaceless realm of being, much like Platonic Ideas or Forms. If there were no humans, axiom systems would still exist in their universe of pure logic. We don't create them in our thoughts. We discover them as something that already existed but had been concealed from our knowledge. To say that formal logic is "how we think" is to commit the unpardonable, unspeakable sin of psychologism.Lestrade (talk) 02:14, 27 July 2008 (UTC)Lestrade

To the user above, above: 'laws of thought' are not assumptions, nor are they to be interpreted as assumptions (or taken lightly for that matter). This is a poor misunderstanding of their purpose. The 'laws of thought' are indeed the axiomatic principles for a rational mind, and to not use them is to deny reality, and thus irrational, because they are based on nature, and reality. Existence vs. non-existence is the central point behind the law of non-contradiction, and the others follow suit. Either something exists, or it does not exist. To deny the laws, you would have to use them.

Also, the sentence "this statement is false" is riddled with fallacies. First, it's ambiguous, and sophistic. Second, there are no premises that demonstrate your conclusion, which not only begs the question, it also doesn't follow. Third, 'natural language' is not in itself contradicting, or sloppy, the user of it can be, though. The laws of thought are the basis for all rational thinking, and the article had it correct the first time -- as stated above, to deny the laws, you would have to use them, which is contradicting, concluding that the assertion/claim is necessarily false. Source: http://www.thelogician.net/5b_ruminate/5b_chapter_01.htm#3.%C2%A0%C2%A0%C2%A0%C2%A0%C2%A0%C2%A0%C2%A0%C2%A0_Paradoxical_Propositions

There is a wealth of information on that page, for the editor of this page, if you wish to add further information. I would suggest the editor add back the original assertion that they are indeed the axiomatic principles for rational thinking. In-fact, it's not even possible to not use them. 13:09, 5 January 2010 (UTC) —Preceding unsigned comment added by 209.105.184.250 (talk)

Heaven forbid that there should be a relation between laws of thought and psychology. That would be the most mortal of all sins. We are here talking about logic and logic alone, that is, mere abstract, disembodied forms. It must be intuitively obvious to any thinking person that thinking does not require a brain or mind in order to occur.Lestrade (talk) 14:47, 5 January 2010 (UTC)Lestrade

Sensible Titles[edit]

This article should be called "Laws of Thought," not "Law of Thought." The George Boole article should be called "Laws of Thought (Book)."Lestrade 19:22, 27 July 2006 (UTC)Lestrade

I renamed the article on Boole's book and I heartily agree with User:Lestrade's comment about the improper naming of this article. Academic philosophers speak of the laws of thought as a group. The term is standard. I think this page should be moved back to laws of thought. Perhaps this question should be put to a survey on this talk page. - WikiPedant 05:31, 7 August 2006 (UTC)

JA: No, in WP the use of singular is standard for a class of related things. Hence, law of thought. You can still have laws of thought redirect here, so no big problem. Boole's book title Laws of Thought needs no extra dab, since the plural Laws and the capitalized Thought already dab it, and this follows the rule of many similar cases in WP. Jon Awbrey 07:08, 7 August 2006 (UTC)

Hello JA -- I can understand why you want to adhere closely to WP standards, but the fact is that the WP standards are more flexible and complex than you say. The guidelines do allow plural article names in cases just like this one, where the article is about the whole set of things (that is, the things considered as a collective) and where the collective term is itself standard usage. See Wikipedia:Naming_conventions_(plurals) which recognizes exceptions to the use of singular names, such as "articles on groups of specific things" (for example, articles on particular language families, such as Romance languages and Afro-Asiatic languages). See also Wikipedia_talk:Naming_conventions/archive5#SOME_article_titles_should_be_plural. Furthermore, the list of exemplary featured articles contains a number of plural titles, including Médecins Sans Frontières,€2 commemorative coins, Microsoft Data Access Components, Black Seminoles, Domestic AC power plugs and sockets, National parks of England and Wales, Three Laws of Robotics, The Beatles, The Supremes, The Temptations, The Waterboys, End times, Shakers, Olympic Games, Indian Railways. And specifically with respect to history and philosophy articles, the list of good articles includes Zeno's paradoxes, Khazars, and Knights Hospitaller. So there is (a) good reason, (b) allowance within the wiki guidelines, and (c) precedent for changing the name of this article back to Laws of thought. - WikiPedant 05:26, 8 August 2006 (UTC)

JA: Let's put aside the temptations to exploit proper namess that are plural, please. As a general rule, it just makes sense use the stem word, say, logic, as the main article title if there is any occasion at all to use the stem word in text, as the regular derivatives, say, logics, logical, logicality, etc. can all be linked without having to bother with redirects. Of course, law of thought is a special case, since the law is embedded in the phrase, but the criterion of convenience here is whether one ever finds occasion to use the singular term in text, amd one often does, since law of thought, like national park, is a class name, and is often used in the singular. Jon Awbrey 19:42, 8 August 2006 (UTC)

Leibniz's Assertion[edit]

Leibniz's assertion of the Identity of indiscernibles is not a law of thought. The article is mistaken by including Leibniz's assertion as one of the laws of thought.69.19.14.33 17:27, 3 August 2006 (UTC)Lestrade

I tend to agree, and the classic Aristotelian law of identity is missing. I addressed this (diplomatically) in my edit today. - WikiPedant 05:31, 7 August 2006 (UTC)

Problems[edit]

JA: I reverted the following addition to the lead because it lends itself a bit too easily to a purely psychological reading, whereas it needs to be made more clear that logical laws are normative principles.

The laws of thought are the traditional, fundamental rules which collectively define how a rational mind must think. To break any of the laws of thought (for example, to contradict oneself) is to be irrational.

JA: Given the proper explanation beforehand, though, it looks like it would be pretty easy to fix it. Jon Awbrey 13:42, 7 August 2006 (UTC)

Who was it that first judged that the laws of thought are not related in any way to dreaded psychology and its description of brains or minds and their acts of thinking? Was he the same man who claimed that the laws of thought are pure logical principles that would exist somewhere separately even if there were no humans who had thoughts running through their heads? 69.19.14.36 02:57, 6 January 2007 (UTC)Benighted—The preceding unsigned comment was added by 66.82.9.79 (talk) 04:41, 3 January 2007 (UTC).

Why are these called 'laws of thought' (over and above the fact that it is traditional to do so)? Does anyone seriously think that people actually cogitate in syllogisms, or that they use the formal calculi found in Principia Mathematica when they reason?

If logic were the science of what went on in people's heads, then logicians would busy themselves with brain scans, surveys, psychometric tests, and the like. They certainly would not bother with all those useless theorems and proofs.

Of course, this is not to endorse the opposite extreme rehearsed at the top of this page, that is, that the theorems and axioms of logic exist in a sort of quasi-Platonic realm.

Rosa Lichtenstein (talk) 12:13, 9 November 2009 (UTC)


Reply to Rosa Lichtenstein:

Hell yeah I do! If it’s worth the effort. I don’t use mathematical symbolism, since when you use descriptive identifiers, you can be much more efficient in processing things. But I use cold hard logic to reason, and can usually spot every logical failure my dialog partners’ use. (Even when I don’t go all the way myself.) I became this way, because I grew up with people that were infected by religious schizophrenia, and had to *properly* prove (for myself anyway) what was ultimately right. But I think, if you don’t use proper logic in your reasoning, you’re a retard and unworthy of vocalizing any arguments (since they wouldn’t actually be arguments). Of course, the ultimate problem is, that without a proper set of common paradigms, you would have to have such a long string of arguments, that they could go right down to explaining the beginning of the big bang. I can do that, nowadays, due to a deep understanding for physics, logic and psychology. But usually it’s just not worth it, since your parter wouldn’t even remotely be able to comprehend what it means. So in a way, you may still be right in that it’s not very common. ;) I guess(!) most people are just “cattle” anyway. — 88.77.154.76 (talk) 06:37, 8 December 2010 (UTC)

Reply to 88.77.154.76 etc.:

Thanks for those thoughts, during the expression of which, by the way, you did not use even so much as one syllogism or a single wff from Principia, but you will note that I in fact said this:

"Does anyone seriously think that people actually cogitate in syllogisms, or that they use the formal calculi found in Principia Mathematica when they reason?"

I did not speculate whether or not there were maverick individuals on the planet who might at least claim they think in syllogisms (a remarkably useless and inefficient way to think, anyway) or the calculii of Principia (but I retain a healthy scepticism that you actually think using symbols like this: ~[(P→Q)v(P→R)↔(P→(QvR))], or this ~[~(Ex)(Fx&~Gx)↔(x)(Fx→Gx)]), but whether "people" do this, i.e., the majority of the population. And if they don't, then logic can't express 'laws of thought', otherwise we'd all be at it, and we'd have been doing it for thousands of years before Russell and/or Aristotle were thought of.

But, and more importantly, even if everyone on the planet thought in syllogisms etc., that would still not make logic the study of the 'laws of thought' -- as I also pointed out:

"If logic were the science of what went on in people's heads (or the study of the 'laws of thought' -- added comment), then logicians would busy themselves with brain scans, surveys, psychometric tests, and the like. They certainly would not bother with all those useless theorems and proofs."

My comments still stand, therefore.

Rosa Lichtenstein (talk) 18:48, 1 June 2012 (UTC)


The article tells us that Aristotle accepted the so-called 'Law of Identity'. But, what later came to be known as the 'Law of Identity' is absent from Aristotle's work.

The quotation from the Metaphysics does not support the conclusion that he accepted this 'law'. If anything, it shows he was dissmissive of it -- that is, if he was referring to it in the first place!

Rosa Lichtenstein (talk) 00:33, 26 November 2010 (UTC)


A large part of the problem is that we are not sure what we mean by the ambiguous word "thought." Does "thought" mean any brain activity or any mental activity? Does thought mean "unspoken language"? If all thought is discursively related to words, then it is related to grammar and what can be said. This would include the laws of identity, contradiction, excluded middle, sufficient reason, etc. In this way, all thought is connected to verbal judgments, propositions, and Kantian Categories. If all thought, however, is intuitively related to imagination, willing, emotion, sensation, etc., then it may not be related to those laws. We can then ask, with Rosa Lichtenstein, "Does anyone seriously think that people actually cogitate in syllogisms, or that they use the formal calculi found in Principia Mathematica when they reason?" She assumes here that all thought is equivalent to cogitation and reasoning.Lestrade (talk) 03:33, 26 November 2010 (UTC)Lestrade

Thank you for those comments Lestrade, and you are quite right to point out that how we interpret this question does depend on what we mean by 'thought'. But, my general point still stands, for even if you are right about the other things you say (but, I am sceptical even of that -- however, we can put that to one side for now), logicians would surely throw away their definitions, proofs and rules of inference, and conduct surveys about how people actually think, or, how they actually use words/language (to put this in the way you chose to frame this question). Logic would then become a sub-branch of Psycholinguistics.

But, this isn't correct:

"She assumes here that all thought is equivalent to cogitation and reasoning."

I was in fact addressing a traditional view of 'thought' associated with this view of logic. It is undeniable that psychologism dominated the interpretation of logic until quite recently, and this view (that logic is the study of the 'laws of thought') dates back to this outmoded conception of 'thought' and its relation to logic.

This article simply re-inforces that misguided view.

Rosa Lichtenstein (talk) 19:02, 1 June 2012 (UTC)


This interesting blog attempts to trace the history of the Law of Identity. Apparently, the Law was discovered in the Middle Ages. BlueMist (talk) 20:01, 17 October 2011 (UTC)

Unfortunately, that blog is run by a self-confessed Nazi! Rosa Lichtenstein (talk) 18:52, 1 June 2012 (UTC)

Do you think that the history of the Law of Identity would be different coming from a self-confessed communist? BlueMist (talk) 20:38, 3 June 2012 (UTC)

Yes, if anything it would probably be worse -- and I say that as a Marxist! Rosa Lichtenstein (talk) 21:03, 3 June 2012 (UTC)


While we are at it, what can this possibly mean?

"The law of identity states that an object is the same as itself: A ≡ A."

If "A" is an object, or the name of an object, then the equivalence sign "≡" is surely misplaced. While Socrates might or might not be identical with himself, there is no way he is truth-functionally equivalent to himself, since he isn't a proposition, statement or indicative sentence. "Socrates if and only if Socrates" is unvarnished nonsense.

And this can't be correct, either:

"The law of non-contradiction and the law of excluded middle are not separate laws per se, but correlates of the law of identity. That is to say, they are two interdependent and complementary principles that inhere naturally (implicitly) within the law of identity, as its essential nature."

The Law of Identity (LOI) and the other two 'laws' are in no way linked, as the above suggests.

The problem is that if the LOI concerns the identity of objects, or their names (depending on how we read it), that is, if the "A"s used in the article are the names of objects, or stand for objects, then the LOI can't be connected with the 'Law of Non-contradiction' [LOC] or the 'Law of Excluded Middle' [LEM]. That is because the "A"s used in the article in relation to the LOC and the LEM stand for propositions, statements or predicables, not objects or their names.

And this reasoning is defective too:

"In other words, the proposition, “A is A and A is not ~A” (law of identity) intellectually partitions a universe of discourse (the domain of all things)into exactly two subsets, A and ~A, and thus gives rise to a dichotomy. As with all dichotomies, A and ~A must then be 'mutually exclusive' and 'jointly exhaustive' with respect to that universe of discourse. In other words, 'no one thing can simultaneously be a member of both A and ~A' (law of non-contradiction), whilst 'every single thing must be a member of either A or ~A' (law of excluded middle)."

If the negative particle attaches to singular terms, so that it is interpreted as an operator mapping singular terms onto 'negative' singular terms (whatever they are!), then it can't also be a sentential operator mapping a sentence or proposition onto its negation, which it has to be in relation to the LEM and the LOC.

In the above the sign "~" slides effortlessly between the following roles: an operator on names (or objects!), an operator on ill-defined classes (so that it seems to resemble a class exclusion operator), and a sentential modifier.

This is a dodge Hegel also tried to pull in his badly mis-named books on 'logic' -- meaning that his 'dialectic' can only be kick started by the use of sloppy semantics/syntax like this.

In tandem with this, these "A"s also slide between several distinct roles -- one minute "A" is an object (or its name), the next it's a class (or its name), then it's a proposition, sentence, or statement (depending on one's philosophical logic).

From sloppy semantics and syntax like this nothing but confusion can follow.

Or, maybe not; as Bertrand Russell remarked: "The worse a man's logic, the more interesting the results to which it gives rise".

The article needs to be completely re-written, or deleted.

Rosa Lichtenstein (talk) 14:24, 2 June 2012 (UTC)

You are raising interesting points for discussion that can't adequately be addressed in the context of Wikipedia. Try posting at one of the mathematical logic or philosophy forums. BlueMist (talk) 20:38, 3 June 2012 (UTC)

I disagree; WIkipedia should not be promoting such sloppy logic. This is one of the first places novices look for advice and information. Filling their heads with defective semantics and syntax is no way to educate them.

And I have rehearsed these ideas elsewhere, and in more detail at my site:

http://anti-dialectics.co.uk/page%2008_03.htm

Rosa Lichtenstein (talk) 21:13, 3 June 2012 (UTC)


Lacking the core thing![edit]

The article lacks the single most important thing it could contain: An explanation for why exacly these and no others are the rules that be. Instead they are presented as unquestioned, and even unquestionable. Adding “long tradition” as a filler term typical for things that nobody actually thinks about (which usually are bullshit) does not make it better.
88.77.154.76 (talk) 06:26, 8 December 2010 (UTC)

You are trying to apply the Principle of Sufficient Reason, which is the Fourth Law of Thought, to the Laws of Thought. This is circular.Lestrade (talk) 17:30, 21 March 2011 (UTC)Lestrade

Plainly, any explanation is going to have to be non-contradictory, use terms that maintain their identity throughout that explanation, and is either correct or not. In which case, anything that counts as an explanation will have to take these 'laws' (but I prefer to call them rules of language) for granted.

On the other hand, anyone who attacks these rules is going to find it impossible to explain themselves without also implicitly accepting/using/applying these rules, thus nullifying their attack. [This was, essentially, Aristotle's defence, even if he worded it differently.]

Rosa Lichtenstein (talk) 15:17, 17 June 2012 (UTC)

2nd & 3rd corollaries of the first??[edit]

So the rationale section of the article seems to be implying that the second and third laws are corollaries of the first. The article doesn't actually use the word 'corollary' though; it leaves the reader confused as to weather the second and third laws can be inferred from the first or not.

I think this needs clearing up. I'm not sure exactly what the edit should be, so I'm hoping an expert in the area can help out.

Nicholias Samuels 2058 4 June 2012 — Preceding unsigned comment added by 123.243.95.179 (talk) 11:00, 4 June 2012 (UTC)

Well, as I have shown above, the 'Law of Non-contradiction' [LOC] and the 'Law of Excluded Middle' [LEM] cannot be derived from the 'Law of Identity', and neither are they corollaries.

However, by De Morgan's Laws, it is easy to inter-derive the LOC and the LEM (if we also allow ¬¬p ↔ p):

(1) ¬(p & ¬p) ↔ ¬p v ¬¬p

(2) ¬p v ¬¬p ↔ ¬p v p

(3) Ergo: ¬(p & ¬p) ↔ p v ¬p


Rosa Lichtenstein (talk) 14:55, 4 June 2012 (UTC)

Agreed; the example given regarding the "+" symbol is nonsensical. The article seems to indicate that there can't be ambiguity in symbols? Sometimes, in maths, a "." is used to denote multiplication - so I fail to see what on Earth the author(s) point is. They then go on to say that 7 is 7; yes, that's true. But it's the same as simply invoking a number (deflationary theory).

I fail to see how the two latter "laws" are derived from the "law of identity" (which is actually simply called the axiom of equality, pertaining to the Peano Axioms). It does not follow that A = A implies that the "universe is partitioned into two subsets of A and ~A." This is just baffling. All the axiom of equality denotes is that a thing is itself a time t -- and I'm quite happy that this is linguistically self-evident...but why's it even a "law" ?

Not to mention that the Copenhagen interpretation of quantum mechanics, viz. Schrödinger's cat (or the double slit theory, etc) obliterates the latter two "laws." If the response to this is to simply move the goalposts and argue that "a thing is either in a superposition of states or it isn't" , that's frankly amusing and demonstrates the lack of utility in these "laws."

The entirety of this article needs to be scrapped if these concepts keep being spouted off as "absolutely true." Did I miss that memo in philosophy that anything can be considered as such? — Preceding unsigned comment added by 122.108.142.185 (talk) 16:33, 16 July 2013 (UTC)

Quantum mechanics has in fact no implications for the 'Law of Excluded Middle' [LEM] or the 'Law of Non-Contradiction' [LOC], since if it is unclear what scientists are proposing (or putting forward for logicians to consider), then what they have to say can't be put into propositional form. Since the LEM and the LOC deal only with propositions, and since scientists have yet to propose something clear (or refrain from equivocating), these 'laws' remain unscathed.

Rosa Lichtenstein (talk) 11:42, 19 August 2013 (UTC)

Rational or Logical ?[edit]

The article begins by asserting: 'The laws of thought are fundamental axiomatic rules upon which rational discourse itself is based.'

As a mere layperson who has no wish to get into an edit-war against actual or alleged experts, I am reluctant to correct what nevertheless seems to me to be a common abuse of language in that statement (which seems acceptable in everyday speech but arguably not in an encyclopedia article about logic), namely the use of the word 'rational' when one means 'logical'.

For instance self-delusion through wishful thinking is illogical, in that it violates rules of logic, but it may well be perfectly 'rational' if it fulfils the person's rational desire to remain happy or to become happier, or even it doesn't but if the person mistakenly thinks that it will, or hopes that it might, or whatever. Discourse intended to achieve such a rational objective is then arguably 'rational discourse', no matter how much it violates rules of logic. Much the same can probably also often be said of much discourse in pursuit of a rational motive to deceive others (which arguably means something like almost half of all discourses in almost any debate on almost any subject).

I may eventually amend the text myself (if I remember), but first I'd prefer to wait and see if somebody with more expertise than me can amend it better. Tlhslobus (talk) 13:22, 11 October 2012 (UTC)

Need for some mention of Fuzzy Logic and/or of the real world[edit]

The article begins by asserting: 'The laws of thought are fundamental axiomatic rules upon which rational discourse itself is based.'

It seems to me that it should be prominently stated that the real world arguably doesn't work like that, and that a whole branch of computer science called Fuzzy Logic has been created in a partial attempt to deal with this problem. In computing, Fuzzy Logic uses Truth values between 0 and 1 to reflect this, in effect saying statements can be 'truish' (or, for instance, '87% true and 13% false') and 'falsish' and 'in-betweeenish' as well as 'true' and 'false'. For example 'that thing is big' can be true relative to some things and false relative to other things. And 'I am tlhslobus' is true in some senses, and false in other senses (because tlhslobus is obviously only a pen-name). 'There's no such person as Santa Claus' seems true until you consider that there's one in every major department store in the run-up to Christmas, let alone how many might 'exist' in dreams and/or might exist in any parallel subuniverses that the universe may contain if it is in fact a Multiverse. 'This chair is solid' - well, yes, I'm sitting on it, but it's basically almost nothing but empty space from the perspective of the zillions of neutrinos passing through it every second (at least if science is to be believed). And so on ad infinitum.

I may eventually try to amend the text myself (if I remember), but first I'd prefer to wait and see if somebody with more expertise than me can amend it better. Tlhslobus (talk) 13:22, 11 October 2012 (UTC)

---

If that chair is 'mostly empty space', then why don't you fall through it? An appeal to 'forces' (or particles that 'carry forces') would be to no avail, since, if you are to make sense of their capacity to resist motion, you are going to have to use words that depend on everyday notions of solidity, undermining the point you wish to make.

Furthermore, what are those 'items' that aren't empty space made of? Energy? But that can't resist motion, either. So, where does solidity come from? It can't be from 'forces', for the above reasons.

In other words, we have no good reason to give up our ordinary ideas of solidity. They underpin science and so cannot be challenged by any scientific theory, no matter how successful it might be, without that theory undermining itself.

[For anyone interested, this debate has been continued over at my 'talk' page -- link below.]

http://en.wikipedia.org/wiki/User_talk:Rosa_Lichtenstein#Talk:Laws_of_thought

Rosa Lichtenstein (talk) 03:43, 8 November 2012 (UTC)

about the "The Three Classical Laws" section; and the quality of this page in general[edit]

This section is overly opinionated (non-neutral) and lacking references to back up it claims. It seems, furthermore, to be the product of own research by a user with IP 24.137.101.129 who made several edits to this page in March. Although that user's comments may have improved parts of the page, too much of what has been inserted seems to reflect that person's opinions and research, and much of the page needs to be rewritten in a more neutral tone. The "The Three Classical Laws" is the worst in this sense (i.e. by Wikipedia standards), but I also have my doubts about (the neutrality of) the section "Contemporary developments". Lajib (talk) 00:56, 9 May 2013 (UTC)

Convoluted quote without clarification[edit]

The Third Law of Rational Thought is given as a direct quote that reads incredibly poorly in English, strewn with double negatives and run-ons. I imagine this amounts to a bad translation of a valid idea. Either way, cleaning that bit up would be beneficial. — Preceding unsigned comment added by 128.111.23.221 (talk) 22:12, 20 August 2013 (UTC)

Rationale needs to be re-written.[edit]

The writer seems to deem it necessary to describe that symbols hold meanings. More specifically using the statement of "2+2=4" to convey that one requires knowledge that the addition operation has the meaning that it does. For such information to be relevant the section should conclude that the origins of predicate or first-order logic was driven by notation used to not only describe but to demonstrate consistency in relationships between statements primarily in the context of arguments. This statement is also not related to material implication since they are not synonymous and the only similarity is that they are functions.

Furthermore, considering the statement "The law of non-contradiction and the law of excluded middle are not exactly separate laws; rather, they are correlates of the law of identity." They are not 'correlates' of the law of identity. The axiom A is A is provable from its negation assuming A implies A, see Contradiction. Also, saying that they are or are not separate laws is irrelevant. Their identity is proven through the material implication of axioms and therefore, being separate laws is false since they are defined as such. We are not speculating about the way things are defined, especially in such an manner.

"Furthermore, we cannot think conceptually without making use of some form of language (symbolic communication), for thinking conceptually entails the manipulation and amalgamation of simpler concepts in order to form more complex concepts" Further describing the need for symbols. This could even be the start of the article.


I believe that what is discussed here is of both obvious and irrelevant components. The title suggests origin rather than explanation and needs to take a more chronologically historical stance. — Preceding unsigned comment added by Lethalattraction (talkcontribs) 10:11, 7 July 2014 (UTC)