World Meet Socrates!
As a programmer I was raised on a diet of "Hello World" programs to introduce me to different programming languages. Logic has its own Hello World example, the famous Socrates syllogism.
World Meet Socrates!
As a programmer I was raised on a diet of "Hello World" programs to introduce me to different programming languages. Logic has its own Hello World example, the famous Socrates syllogism:
- Socrates is a man.
- All men are mortal.
- Therefore Socrates is mortal.
The first two sentences are premises and the last one is the conclusion. If the terms (words) used are not ambiguous (could have more than one meaning) and the premises are true, and the argument is valid then the conclusion necessarily follows.
That is a simple logical argument. Since I will be discussing logic a lot on this site, I thought I would introduce it in the standard "Hello World"-ish format.
