Many books and articles use this as a standard example of logic:
The question is: where did this example come from?
Some people think it comes from Aristotle, but Aristotle did not say anything like this example. Aristotle created the field of logic, because he was the first person to study and write about logic independent of any particular argument, so it is true that he discussed this form of argument. But there is no evidence that Aristotle wrote this particular example. Just look at Aristotle Organon And Other Works by Aristotle (translated under the editorship of W.D. Ross), which includes the six books collectively called the Organon as well as Rhetoric. Aristotle mentions Socrates often, as well as the terms mortal and immortal, but he never uses them exactly this way.
The earliest document I can find with this specific example is from 1843, specifically A System of logic: Ratiocinative and Inductive, Presenting a Connected View of the Principles of Evidence and the Methods of Scientific Investigation by John Stuart Mill, 1843, Book II Chapter 3 page 245.
You can verifiy this via Logic Museum or the Internet Archive.
If you find an earlier example, please let me know.
As I already noted, Aristotle created the field of logic, because he was the first person to study and write about logic independent of any particular argument. You can see many of his works in Aristotle Organon And Other Works by Aristotle (translated under the editorship of W.D. Ross). But nothing exactly like this is said.
On 2016-05-25 Mauro ALLEGRANZA reported on the Philosophy Stack Exchange that Sextus Empiricus (c. 160 - c. 210 CE) made a somewhat similar statement in Outlines of Scepticism (Pyrrhōneioi hypotypōseis), Book II, 164 (I need to verify this):
The Love of Wisdom: An Introduction to Philosophy for Theologians by Andrew Davison (2013) page 48 discusses Aristotle’s works, and says that “Perhaps the most famous example is the following” with this example. However, note that its wording does not imply that Aristotle directly said this example.
"How Aristotle Created the Computer" by Chris Dixon (The Atlantic, 2017-03-20) says, "Aristotle’s central observation was that arguments were valid or not based on their logical structure, independent of the non-logical words involved. The most famous argument schema he discussed is known as the syllogism..." followed by that statement. This text could be easily interpreted as claiming that Aristotle actually used this example, but it doesn't exactly say that either. It's true that Aristotle emphasized logical structure, and if that was the intent it's correct.
Feel free to see my home page at https://dwheeler.com. You may also want to look at my paper Why OSS/FS? Look at the Numbers! and my book on how to develop secure programs.
(C) Copyright 2015 David A. Wheeler. Released under Creative Commons Attribution-ShareAlike version 3.0 or later (CC-BY-SA-3.0+).