Keith Buhler
Department of Philosophy
University of Kentucky
keith.buhler@uky.edu
http://www.keithbuhler.com
NB: This presentation is a mash-up of original material, and material from Peter Kreeft and others. Sources are noted at the end.

The ancient philosophers defined Man as the “rational animal.” To be human is (among other things) to reason, to give reasons for believing things to be true. We can see common forms, or structures, in all human reasoning, no matter what the contents, or objects, that we reason about. Logic studies those structures.
The fundamental structure of all reasoning is the movement of the mind from premises to a conclusion. The conclusion is what you are trying to prove to be true; the premises are the reasons or evidence for the truth of the conclusion.
The two basic kinds of reasoning are inductive and deductive. Inductive reasoning reasons from particular premises (e.g. “I’ m mortal” and “You’re mortal” and “He’s mortal” and “She’s mortal”), usually to a more general or universal conclusion (e.g. “All men are mortal”).
Deductive reasoning reasons from at least one general, or universal premise (e.g. “All men are mortal”) usually to a more particular conclusion (e.g. “I am mortal”). Inductive reasoning yields only probability, not certainty. (It is not certain that all men are mortal merely on the basis that four men, or 4 million, are.) Deductive reasoning, when correct, yields certainty. (It is certain that if all men are mortal, and if I am a man, then I am mortal.)
A deductive argument succeeds in proving its conclusion to be true if and only if three conditions are met. These are the three check points of any deductive argument.
(1) First, all the terms must be clear and unambiguous. If a term is ambiguous, it should be defined, to make it clear. Otherwise, the two parties to the argument may think they are talking about the same thing when they are not.
(2) Second, all the premises must be true. You can (seem to) “prove” anything from false premises: e.g. “All Martians are infallible, and I am a Martian, therefore I am infallible.”
(3) Third, the argument must be logically valid. That is, the conclusion must necessarily follow from the premises, so that if ‘the premises are true, then the conclusion must be true.
(1) A “term” in logic is the subject or the predicate of a proposition (a declarative sentence). Terms are either clear or unclear. Terms cannot be either true or false. E.g. “mortal” is neither true nor false. The proposition “All men are mortal” is true, and the proposition “Some men are not mortal” is false.
(2) Propositions are declarative sentences. They are either true or false.
“True,” in commonsense usage, means “corresponding to reality,” and “false” means the opposite. There is no one simple and infallible way of telling whether any proposition is true or false.
(3 ) There is, however, a fairly simple and truly infallible way of telling whether an argument is valid or invalid: the laws of logic, which you will learn in this book.
A deductive argument is logically valid if its conclusion necessarily follows from its premises, invalid if it does not. There are various forms of argument, and each form has its own inherent rules for validity.
All the rules for each form of argument are natural to that form of argument and to the human mind. If at any point in this book you think that any of its logical laws contradict what you already implicitly know by innate common sense, please stop and check; for you must be misunderstanding either the laws of logic or what you think common sense tells you, for logic does nothing more than make explicit the rules everyone knows innately by common sense. Arguments are made up of propositions (premises and a conclusion), and propositions are made up of terms (subject and predicate). Terms are either clear or unclear.
Propositions (whether premises or the conclusion) are either true or false. Arguments are either logically valid or invalid. Only terms can be clear or unclear; only propositions can be true or false; only arguments can be logically valid or invalid. So the three questions you should habitually ask of yourself when writing or speaking, and of others when you are reading or listening to them, are:
(1) Are the terms all clear and unambiguous?
(2) Are the premises all true?
(3) Is the reasoning all logically valid?
If the answer to all three of these questions is Yes, then the conclusion of the argument must be true. So in order to disagree with any conclusion, you must show that there is either (1) an ambiguous term, or (2) a false premise, or (3) a logical fallacy in the argument such that the conclusion does not necessarily follow from the premises. (You will soon learn the rules for judging that.) If you cannot do any of these three things, then honesty demands that you admit that the conclusion has been proved to be true. (All this applies to deductive arguments only; inductive arguments do not claim certainty.)

The first thing and most fundamental thing to understand about logic is the structure of proofs. What are the moving parts, the heart and soul of a proof? The answer? Premises and a conclusion.
Every argument has two basic parts: the premises and the conclusion.
The conclusion is the truth claim. (For example: “Obama is the 44th president” can be a conclusion.) Premises are statements that, if true, support or prove your conclusion. (For example, statements that support the claim above might be: “Obama won the presidential election” and “there were 43 U.S. Presidents before 2004.”)
The conclusion is the whole point of the argument. Always ask yourself, “What am I being asked to believe?” That is the conclusion of the argument. Everything else is a premise.
Both premises and conclusions are expressed in words. Human words can do many things: they can praise, sing, blame, declare, persuade and so on. The importance of words for arguing well is that they express concepts.
Concepts are the basic units of rational thought. Where do we get our concepts?
Concept-acquisition is an interesting process. People disagree about how it works. A basic version is that the mind acquires concepts by a process called “apprehension”. Here’s a description from from Peter Kreeft:
“Simple apprehension” is a technical term. It means basically “conceiving,” “understanding,” or “comprehending” one object of thought, one concept, such as ‘mortal’ or ‘man’ or ‘triangle’ or ‘triangle with unequal angles.’ Animals apparently cannot perform this act of understanding; if they can, they do not express it in words. Computers certainly cannot do this; a computer no more understands what you program into it than a library building understands the information in the books you put into it.
The two basic kinds of concept in logic are “subjects” and “predicates.” Subjects are what the proposition is about (“Obama”) and predicates are anything being claimed about the subject (“is the 44th president”).
Most terms (especially important ones) need definition. State the definition of your key terms (not all of them, just the crucial ones). Don’t cite the dictionary — the dictionary records how people use words (even incorrectly), not how they ought to be used correctly. Explain how you are using the term, and move on.
Propositions put two concepts in a particular relation. Propositions either affirm or deny. “Fido is a dog” affirms that Fido is a particular kind of thing, a canine kind. “Fido is not a dog” denies that Fido is a canine thing. The two concepts being put into a relation are “Fido” and “dog”.
Making a proposition also called “judgement” or the activity of “Judging”. In the context of logic, “judging” does not mean evaluating but simply affirming or denying.
True premises are propositions we already know to be true or that we are reasonably confident are true. True beliefs originate from five main sources: experience, memory, testimony, authority, and reason.
Some truths are self-evident foundations of thinking. For example, the classical “laws of thought”:
A argument or proof is composed of premises (propositions which are themselves composed of terms) that prove a conclusion (a proposition that one hopes is true).
What is the “support” or “proof” relationship between premises and conclusions? That is the mysterious move we call inference. This is moving from the known to the unknown.
An argument where the premises necessarily entail the conclusion is called valid.
Validity, in the technical sense, is not the same as truth. Some true arguments are invalid, and some false arguments are valid. For example, “all penguins have feathers; my dog has fur, therefore Greenland is an island” consists of all true statements, but the inference is invalid. Likewise, “If my grandmother is a duck, then she can fly. My grandmother is a duck. Therefore, she can fly,” is a valid inference, but the argument is false since the second premise is false (obviously).
But if an inference is valid, then it is impossible for the premises to be true and the conclusion false.
In sum, a bad argument may have one or more of three properties: unclear terms, false premises, or an invalid inference. A good argument has three properties: clear terms, true premises, and a valid inference.
Example:
A few common, valid, good argument forms are:
‘All X are Y.’ All human beings will die.
All Z are X,’ Socrates is a human being.
therefore all Z are Y.’ Therefore, Socrates will die.
(Called “Barbara”)
‘No X are Y, all Z are X, No pigs can fly. Babe is a pig. therefore no Z are Y.’ Therefore Babe cannot fly. (Called “Celarent”)
If X then Y. If it rained today, then the game was cancelled.
X. It rained today.
Therefore Y.’ Therefore, the game was cancelled.
(Called “Modus Ponens”)
‘If X then Y. If a global nuclear war has occurred, then the world would be a wasteland. Not Y. The world is not a wasteland. Therefore not X.’ So a global nuclear war has not occurred. (“Called “Modus Tollens”)
The terms are unclear. A premise is false. The conclusion is assumed in the premises. Something has gone wrong.

There are about 216 different informal fallacies. We can categorize them into about four major groups. Fallacies of Relevance, Fallacies of Presumption, and Fallacies of Ambiguity, and Fallacies of Faulty Inference.
There are many other fallacies. But begin to recognize and avoid these. For a larger list of awesome fallacies, read here.

(Logic does not deal with interrogative sentences (questions, like “What time is it?”), imperative sentences (commands or requests, like “Pass the mustard, please”), exclamatory sentences (like “Oh! Wow! What a hit!”), or performative sentences (like “I dub thee knight”), but only with declarative sentences, sentences that claim to state a truth.) Non-declarative sentences are not propositions.
The difference between logic and language is (1) that languages are man-made artifices and therefore (2) there are many languages that are different in place and time, while (1) logic is not made but discovered, and (2) there is only one logic.
There is no “Chinese logic” or “American logic,” no “19th century logic” or “20th century logic,” or even “masculine logic” or “feminine logic,” – just logic. (What is often called “feminine logic” is intuition rather than logic: a formidable and invaluable power of the mind but not teachable by textbooks.) Like mathematics, logic is objective, universal, and unchangeable in its basic laws or principles. But the forms in which these unchangeable laws of logic are expressed are linguistic forms, and these forms are changing and varied.
A term has no structural parts. It is a basic unit of meaning, like the number one in math or like an atom in the old atomic theory (when they believed atoms were unsplittable and had no parts).
A proposition has two structural parts: the subject term and the predicate term. The subject term is what you ‘re talking about. The predicate term is what you say about the subject. The word “subject” and “predicate” mean the same thing in logic as in grammar.
An argument has two structural parts: the premises and the conclusion. The premises are the propositions that are assumed. They are the reasons or evidence for the conclusion. The conclusion is the proposition that you are trying to prove.
Logic is the science of arguments. An argument is a proof composed of premises (that support the conclusion) and a conclusion. Arguments are composed of words. Good arguments have clearly defined words, true premises, and a valid inference to the conclusion. Fallacies are bad arguments. A good argument necessarily entails the conclusion; a good argument is the most scientific form of rational proof.
For two hilarious essays on how NOT to argue:
And for my Sources: