Talk:Deductive reasoning

message: Where you say, using the example of "all ravens are black birds", I think that this is a little confusing, if you think about it--which I'm sure you're hoping your readers will--for what is the point of writing something that nobody thinks about)because surely the nominal part of the sentence black birds in the semantic interpreation that the author is trying to get across is that the color is important, that is the focus, is it not? The blackness of the bird, is it not? This is not correct please see logic page for better definition The thing that is confusing is that there is a category of bird that is called a black bird not talking about the color but focusing on a category or taxinomy of a particular bird which obviously was named such because it is black but that is not the point. You wouldn't say all ravens are red hens or even chickens because in fact hen is only the female variety but I hope you get what I mean. It is in fact, is it not?, redundant (redundant language use) to say bird at the end because surely all people know that a raven is a type/category/taxonomy of bird so I think that the examlple here should go all "ravens are black". I think this is more acurate and will prevent possible misunderstanding which we don't want surely. I hope you don't think I'm just being hopelessly pedantic but accuracy is, is it not by connotation pedantic?
--katobolic kivi
::—The preceding unsigned comment was added by 210.86.47.169 (talk • contribs) 21:31, April 27, 2004 (UTC).
It's only just occurred to me that perhaps the use of raven and blackbird is actually quite semantically similar is it not? That would or possibly could make the argument tautological, could it not? 
::—Preceding unsigned comment added by 210.54.229.216 (talk • contribs) 13:19, June 3, 2004 (UTC)
:I'm hoping to lift examples of logic and reasoning from the talk boards where the discussions demonstrate various types of logic. --DennisDaniels 19:29, 31 Aug 2004 (UTC)
replies: text: —Preceding unsigned comment added by 137.132.3.6 (talk • contribs) 19:25, December 16, 2005 (UTC)
The picture is above the desk. 
The desk is above the floor. 
Therefore the picture is above the floor. 
Actually, this example is deductively invalid. An analogous argument is: Bert is Alf's father, Alf is my father, therefore Bert is my father. But (as you may have figured out already) Bert is not my father, but my grandfather. The author of this example probably had an implicit premiss in mind, namely, 'that the relation 'A is above B' is a transitive relation'. The addition of this premiss would make the argument deductively valid.
Oranfry 23:48, 3 November 2006 (UTC)

text: Indeed the problem is, there is an implicit argument, namely: that the physical laws hold - or more precisely: that the relation 'is above' is the 'has a greater z-coordinate in a specific system governed by physical laws', which premiss is not explicitly stated. The analogy seems valid to me, as the argument is exactly the same, the only difference being the hidden premiss is not assumed. --CompuChip 21:47, 8 February 2007 (UTC)

text: I removed the example from the Valid section. I expanded the Invalid section with a modified version of Oranfry's example, if you don't mind. The structure of the argument is different from the first examples in the Invalid section though. Perhaps this section is now too large or inspecific? --CompuChip 11:21, 22 January 2007 (UTC)
thread_title:  Confusing example 

message: The section "Example" suddenly, without any warning, transition or anything, erupts into a table headed "Basic argument forms of the calculus". There has been no previous mention of any notion of calculus. In the table we find strange unexplained symbols, like → ∧ ⊢ ¬ ∨ ↔ . This is totally incomprehensible, except for people who don't need to read this article because they know this stuff already. From the point of view of logic, it is not clear why this formalization is given in preference over others. --LambiamTalk 20:26, 17 June 2006 (UTC)
replies: text: I totally agree! The mathmetical parts of this article are mystifying without knowledge of these symbols. Why a non-mathmatical article should rely so heavily upon formulas is unclear indeed. I think some more textual examples will make this article much better. Also note that alternating blue and green in a table makes for a very ugly sight which hurts the eye. Oliver Simon 23:12, 19 June 2006 (UTC)
thread_title:  Out of the blue 

message: In the section entitled "Popular misuses of the term" it says:
"There are deductively valid arguments that proceed from the particular to the general (Oscar is grouchy, therefore something is grouchy) and inductive arguments that proceed from the general to the particular (all Rice University students are smart, therefore this particular Rice University student is smart)."
Wouldn't that second example be correct?
ALL students are smart. Therefore ONE student (who is included in the previous ALL) is smart. I don't understand how you can disprove the conclusion without firstly disproving the hypothesis? Isn't that what inductive reasoning is?  —Preceding unsigned comment added by 71.30.162.234 (talk) 23:13, 24 September 2007 (UTC)
thread_title:  Invalid Example? 

message: Beyond the factual question of who discovered Neptune (see Neptune#Discovery), I have a concern about using gravitation as an example.  On the one hand, the discovery of Neptune is one of the greatest historical instances of deductive reasoning.  On the other hand, I believe Newton described his own discovery of the universal law of gravitation as a deduction.  There is a famous geometrical diagram, made by Newton, to show how he deduced his law of gravitation from Kepler's laws of planetary motion.  Kepler's laws would be a genuine induction.  Of course, many people hold up Newton's law of gravitation as an induction.  I think there is simply a lot of confusion on the matter--both semantic confusion about the terminology (people using multiple, conflicting terminologies) and substantive confusion about the historical facts.
Maybe the solution is simply to omit discussion of inductive reasoning here, since that's the only part that's questionable, and anyway, this article is about deductive reasoning, not inductive.  I would like to see a great, non-controversial example of a deduction that "cashes in" on an induction, though.
Ben Kovitz 23:22, 30 September 2007 (UTC)
replies: text: Newton wasn't using a modern dictionary. Definitions change. Anyway, I see your point about leaving inductive reasoning out, but every book I have which discusses one contrasts it to the other. If we don't go ahead and find a way to compare them clearly and logically, somebody else will come along later and insert a poor comparison. I think it's better to keep working on it to get it right now. Wryspy 17:54, 1 October 2007 (UTC)
replies: text:  I agree.  I'll go through my traditional logic books, percolate on a way to illustrate the concepts, and post another attempt, and then see what you and others think. Regarding Newton, I believe he actually did deduce his law of gravitation from Kepler's laws, by the ordinary meaning of "deduce". The facts of this case are not what people expect, I think. Perhaps Kepler's induction and Newton's deduction are the wonderful illustration we're looking for (though a bit esoteric and possibly WP:OR). --Ben Kovitz 19:04, 3 October 2007 (UTC)

text: Yes, indeed.  I've just fixed it.  Please take a look and see if you think the new version is right.  --Ben Kovitz 19:04, 3 October 2007 (UTC)
thread_title:  Gravitation to illustrate induction and deduction 

message: *At the top of the page it says: "Deductive reasoning, according to many dictionaries [1][2][3][4]" like its meaning is disputed or something. What's up with that? Jedibob5 (talk) 22:11, 7 January 2008 (UTC)
replies: text: Well, I don't think the definition there is precise and covers all deductive reasoning. You can deduce from general principles another general principle that isn't particular. Compare Reasoning#Deductive reasoning. I've merged the 4 citations into 1 to look less ridiculous, but it's better that it's cited than not I think. –Pomte 23:09, 7 January 2008 (UTC)
thread_title:  "According to many dictionaries"? 

message: * An example of deduction given in the article:
: "By thinking about phenomena such as how apples fall and how the planets move, Isaac Newton deduced his theory of gravity."
But this appears to be induction according to the definition given earlier in the article:
: "Inductive reasoning starts with a particular observation that is believed to be a demonstrative model for a truth or principal that is assumed to apply generally"
That is Newton used the specific example of the falling apple to induce the theory of gravity.
So shouldn't the line be corrected to:
: "By thinking about phenomena such as how apples fall and how the planets move, Isaac Newton induced his theory of gravity."  —Preceding unsigned comment added by 69.232.196.166 (talk) 19:13, 23 February 2008 (UTC)
replies: text: Yes, someone messed with that sentence. It originally said that Newton induced the theory of gravity and used that to deduce specific conclusions. Wryspy (talk) 04:29, 11 March 2008 (UTC)
thread_title:  "Inductive Reasoning Example of Apples and the Theory of Gravity" 

message: Holmes, although he often claimed otherwise, generally employed inductive reasoning.  Even the Holmes wikipage agrees.  —Preceding unsigned comment added by 144.53.251.2 (talk) 06:07, 26 May 2008 (UTC)
thread_title:  Sherlock Holmes and deductive reasoning 

message: :Alternative to deductive reasoning is inductive reasoning. The basic difference between the two can be summarized in the deductive dynamic of logically progressing from general evidence to a particular truth or conclusion; whereas with induction the logical dynamic is precisely the reverse.
The aforementioned statements include a clause masquerading as a sentence: "basic difference between the two can be summarized in the deductive dynamic of logically progressing from general evidence to a particular truth or conclusion."  Secondly, a semicolon is supposed to be used to attach two strings of words that are related but could independantly exist as sentences in their own right.  The string of words appearing after the semicolon: "whereas with induction the logical dynamic is precisely the reverse," could not be a sentence. DRosenbach (Talk | Contribs) 13:22, 29 May 2008 (UTC)
thread_title:  Grammar 

message: "Deductive reasoning is reasoning which uses deductive arguments to move from given statements (premises) to conclusions, which must be true if the premises are true."
Really?  The definition for "deductive reasoning" includes both the words "deductive" and "reasoning" in it?  Did Miss South Carolina write this?
Come on now, one of the first rules of writing a definition is to exclude the word (or a variation of the word) from the definition.  —Preceding unsigned comment added by 169.234.129.244 (talk) 20:35, 5 October 2008 (UTC)
replies: text: "Deductive reasoning" is defined using the term "deductive argument".  What's the problem? --Philogo 13:22, 20 January 2009 (UTC)

text: The problem, obviously, is that it does not definine the term "deductive" and instead presumes knowledge of it. Indeed, "deductive reasoning" is itself a tautology; the entry should be about "deduction" and define that term. One of those evil old print encyclopedias that Wikipedia truth-by-committee fans hate so much, the Columbia Encyclopedia, has an entry on "deduction" that defines it quickly and simply: "In logic, a form of inference such that the conclusion must be true if the premises are true." That is a good first sentence. In short, the problem is exactly as the first commenter explained and described, and as you ignored. As usual, Wikipedia is full of year-old errors nobody has corrected, and people of questionable capacity to see and correct them. I won't correct this one, either, because it would only get me blasted by some turf-war-loving ignoramus, which is all Wikipedia has really accomplished. 76.23.157.102 (talk) 17:41, 11 October 2009 (UTC)
thread_title:  Awful First Sentence 

message: I added the sentence "Induction is the formulation of scientific laws (based on accumulated experimental data, leading from the specific to the general) and deduction is the application of such laws in specific circumstances (applying the general to the specific)", which Philogo deleted because "not all inductive reasoning is scientific". But is it not true (and illuminating) if it were slightly modified. For example, leave out the science bit or specifically restrict it to science ("in science...")? Or was it so very wrong that it really needed to be removed completely? DirkvdM (talk) 19:21, 19 January 2009 (UTC)
replies: text: I think the sentence is entirly false and thefore detleted it.  Inductive Reasonng is not synonymous with the formulation of scientific laws (with or without the provisos).  Deduction is not synonoymous with the application of such laws with or without the provisos. --Philogo 13:27, 20 January 2009 (UTC)
replies: text: Ok then, forget the laws. Isn't it true that induction leads from the specific to the general (or concludes the general from the specific) and deduction applies the general to the specific? (Oh, and could you sign your posts, please?) DirkvdM (talk) 16:04, 6 February 2009 (UTC)
replies: text: On the neo-Peircian theory of knowledge formation --documented, albeit not altogether clearly, at abductive reasoning-- in terms of induction, abduction & inference, abductive inference comes closest to "the formulation of scientific laws (based on accumulated experimental data, leading from the specific to the general)".  For a clearerprimer to the neo-Peircean theory, the first few pages of O. Ray (2007). Automated Abduction in Scientific Discovery. Model-Based Reasoning in Science and Medicine, SICI 64:103-116. are pretty readable. --- Charles Stewart(talk) 20:58, 6 February 2009 (UTC)

text: No a deduction is not necessarily from the general to the specific.--Philogo (talk) 21:03, 6 February 2009 (UTC)
replies: text: Let us all keep in mind that he usage/meaning of the terms deduction and induction not only differs between the authors, but has changed considerably over the (2000) years. --Arno Matthias (talk) 12:06, 7 February 2009 (UTC)
replies: text: In that case the article should surely (a) set out the changes in usage/meaning over time or (b) make clear when using the term which author's/time's usage/meaning is being discussed or (c) discuss and explain just one usage/meaning making clear by citations what the usage/meaning is.  The problem doubtless arises in other subjects; perhaps the terms "force" "momentum" "weight" "mass" "gravity" etc have changed in Physics over time, but if I read a physics article on force and momentum &c. I would not expect it to use the terms in different usage/meaning without warning.  If the article vacilates willy-nilly between one usage/meaning and another the poor reader is unlikely to be able to follow or understand the article and will be none the wiser but more confused after reading it. I would suggest that, if this is not an article on the history of the term, it should set out and explain deductive reasoning in its current and received usage  using other terms as necessary in their current and received usage.  This is surely what we would expect from articles in other subjects: why should articles in this domain be more wooly and confused? --Philogo (talk) 12:54, 7 February 2009 (UTC)
replies: text: Yes, exactly!! I couldn't agree more. Students of philosophy: go! --Arno Matthias (talk) 13:56, 9 February 2009 (UTC)
replies: text: Was that directed to me? And do you mean 'go!' in a positive or negative sense? :) DirkvdM (talk) 08:15, 12 February 2009 (UTC)

text: There is an article philosophy of science which you should find of interest. --Philogo (talk) 23:48, 12 February 2009 (UTC)
thread_title: From the specific to the general and back again

message: Greetings,
I have rewritten the sentences in the opening paragraph. The opening sentences are much more lean and easy to follow.
A few comments:
1. I believe the phrase 'the truth of the conclusion' and 'the truth of the premises' is unnecessary clutter. Either something is true or not. Saying 'the truth of the conclusion' makes little sense. Instead, just say 'conclusion' or 'premise'.
2. Saying that 'an argument is said to be deductive' is also clutter. 'An argument is deductive' conveys the same message. Said to be by whom, anyway?
3. "Note, for example, that the conclusion of the following argument would have to be true if the premises were true, (even though they are, in fact, false)" This sentence is unabashedly horrible. It appears to make sense at first glance, until you read it again. I replaced it with, 'This is an example of a valid argument. The first    premise is impossible, yet the conclusion is still true.' I think that's what the original author meant, but if not please fix it.
4. "In logic, an argument is said to be deductive when the truth of the conclusion is purported to necessarily follow from or be a logical consequence of the truth of the premises and (consequently) its corresponding conditional is a necessary truth". 
Compare this with 
"In logic, an argument is deductive when its conclusion is a logical consequence of the premises."
A better Logician than I can see if any value has been lost in that sentence. I couldn't.
The rest of my changes are minor, mostly made to improve the flow and rhythm of the words.  —Preceding unsigned comment added by 118.210.6.70 (talk) 08:49, 10 March 2010 (UTC)
thread_title:  A few notes. 

message: Advanced by René Descartes?  The syllogism given is in the classic form taught by Aristotle.  Shouldn't Aristotle be given credit?  —Preceding unsigned comment added by Emdrgreg (talk • contribs) 15:44, 21 October 2010 (UTC)
replies: text: Any number of people "advanced" deductive reasoning, with all repect to Descartes. Suggest del sentencePhilogo (talk) 21:45, 30 November 2010 (UTC)
thread_title:  René Descartes? 

message: In the section Law of detachment
#If angle A>90°, then A is an obtuse angle.
#The measurement of angle A is 65°.
#A is not an obtuse angle.
We can't, using only (1), deduce (3) from (2).The author of the section confused "if-then" with "if and only if".  —Preceding unsigned comment added by 81.192.238.155 (talk) 20:13, 22 January 2011 (UTC)
thread_title:  False deduction 

message: I'm teaching myself mathematics and logic these days, and when reading the article, I saw the following erroneous sentence in the article's intro:
"In inductive reasoning, the conclusion is reached by generalizing or extrapolating from, i.e., there is epistemic uncertainty."
Extrapolating from what? I would like to take a crack at fixing this error, but seeing as I am a beginner in the field, I thought I would notify someone with experience rather than just taking a guess and risk using the wrong phrasing or whatever.
Obhave (talk) 16:18, 29 January 2016 (UTC)
thread_title:  I've found a mistake in the article, but I don't yet have the knowledge needed to fix it 

message: What status has the proof by exhaustion in regards with deductive reasoning? Can it be included to deductive reasoning like mathematical induction?--5.2.200.163 (talk) 16:31, 23 January 2018 (UTC)
thread_title:  Status of proof by exhaustion 

message: The article states: "An argument is “valid” if it is impossible for its premises to be true while its conclusion is false. In other words, the conclusion must be true if the premises are true."
Here is an argument that follows this rule:
Premise 1: Socrates is a man
Premise 2: All men are mortal
Conclusion: I am king of the world.
The premises are true, therefore the conclusion must be true.
The conclusion is false, therefore it is impossible for the premises to be true.
I think something must be missing here, such as, the conclusion needs to follow logically from the premises? Or What? Help me out here...
Quinet (talk) 19:46, 17 February 2022 (UTC)
thread_title:  Something is missing 

message: rightly deleted a false example in the section 'law of syllogism' in this edit. In fact, the whole section is problematic:
#The described inference is more usually known by the name hypothetical syllogism, which we have an article on
#It is not from term logic: in term logic the shared form (usually denoted by a schematic letter) is a term and not a proposition.
#No source is given for the term 'law of syllogism'. While the term exists (cf. an Ngram graph of it against the roughly 20x more common 'hypothetical syllogism'), I can't find a definition of it in a reliable source, although it is used as a synonym for HS in a number of recent poor quality web sources.
I'll change this section to refer to HS and eliminate the reference to term logic. — Charles Stewart (talk) 07:07, 5 April 2022 (UTC)
replies: text: Hi  and thanks for taking a closer look at the terminology and the relation to term logic. The term "law of syllogism" is used sometimes but, as you pointed out, the term "hypothetical syllogism" is the more common label. I'm not sure if it's a good idea to remove the animal example. I'm not a particular fan of this specific example but it might be a good idea to have some concrete example besides the general form of the argument, as do the other subsections. Phlsph7 (talk) 11:09, 5 April 2022 (UTC)

text: *The example was not a good stand-alone example for this article: the propositions are not independent, rather they talk of "the animal" and involve an anaphora. If you tried to formalise the inference, you'd have nontrivial decisions to make. The example looks like an effort to miscast Syllogism#Barbara as an instance of HS, which it really isn't, since the syllogism depends on the premises being universals. I'm all for having an example here, but it needs to be obviously an instance of HS. — Charles Stewart (talk) 13:07, 5 April 2022 (UTC)
replies: text: I get your point. I've added another example which avoids the problem you mentioned. Phlsph7 (talk) 15:52, 5 April 2022 (UTC)
thread_title:  Law of syllogism 

message: Surely, since this article is about deductive reasoning in formal logic, explaining it as only a mental process is not fully comprehensive? Editmakerer (talk) 04:46, 2 May 2024 (UTC)
replies: text: Thanks for pointing this out, I removed the term "mental" from the lead sentence and focused the initial discussion more on logic. The article is mainly but not exclusively about formal logic since psychology also studies deductive reasoning from a different perspective. Phlsph7 (talk) 07:38, 3 May 2024 (UTC)
thread_title:  Lead sentence