A Very Basic Guide To Truth-Functional Logic
I'm using my old logic book, Introduction to Logic, by Kegley and Kegley as a guide.
Introduction
Logic is the study of how to reason. More importantly, it is the study of how to reason correctly. Logic helps clarify our arguments by using correct principles and methods to distinguish good arguments from bad arguments, or good reasoning from bad reasoning. Logic, then, gives us the foundation needed to properly construct an argument.
Logic is also concerned with justification, i.e., how we justify our conclusions. We use premises to state our justifications (reasons or evidence) in support of a conclusion. Why is this important? It is important if we want to be rational, i.e., we want to know the reasons behind our conclusions or beliefs.
If we have a solid logical foundation for our conclusions, then we are more likely to stand up to counter-claims. If we do not have strong foundational support for our arguments, then we are less likely to stand up to counter-claims.
Good arguments are not based on what I happen to feel or think, i.e., they are not subjective, no more than mathematics is subjective. There are objective guidelines that determine how a good argument should be constructed, just as there are guidelines that determine how to do algebra.
Logic, then, is a tool, but a very important tool in determining the relationship between good reasons and proper conclusions.
Introduction
Logic is the study of how to reason. More importantly, it is the study of how to reason correctly. Logic helps clarify our arguments by using correct principles and methods to distinguish good arguments from bad arguments, or good reasoning from bad reasoning. Logic, then, gives us the foundation needed to properly construct an argument.
Logic is also concerned with justification, i.e., how we justify our conclusions. We use premises to state our justifications (reasons or evidence) in support of a conclusion. Why is this important? It is important if we want to be rational, i.e., we want to know the reasons behind our conclusions or beliefs.
If we have a solid logical foundation for our conclusions, then we are more likely to stand up to counter-claims. If we do not have strong foundational support for our arguments, then we are less likely to stand up to counter-claims.
Good arguments are not based on what I happen to feel or think, i.e., they are not subjective, no more than mathematics is subjective. There are objective guidelines that determine how a good argument should be constructed, just as there are guidelines that determine how to do algebra.
Logic, then, is a tool, but a very important tool in determining the relationship between good reasons and proper conclusions.
Comments (70)
It is important to understand that logic is not concerned with the thinking process. Thinking processes themselves are the subject of psychology. Psychology studies how people think; whereas, logic is concerned with how people should think, if they want to think rationally.
What is an argument? An argument is a set of statements or propositions, in which one, called the conclusion is supposed to follow from the premises or the evidence. The act of drawing a conclusion based on the evidence is called the act of inferring, or the act of formulating an inference. Therefore, argumentation is discourse (communicating by writing or talking etc) containing inference. It should never be confused with the popular notion of the term argument meaning dispute (to argue vehemently; wrangle or quarrel - it is not shouting and fighting - it is not egotistical).
Logic is concerned with what is being asserted (to maintain or defend), not with emotional content or attitudes. It is irrelevant how you feel about the argument in question, or how you feel about the person giving the argument. For instance, if I say "William is lying" or "Jackie is ignorant" I am expressing attitudes about people. Hence, it is important to distinguish between attitudes and factual assertions. If I say, "Abraham Lincoln was the sixteenth president of the United States," we can ask if this statement or proposition is true or false. It is a cognitive (of or pertaining to the mental processes of perception, memory, judgment, and reasoning, as contrasted with emotional processes.) use of language, and as such, it expresses a belief. When someone expresses a belief we often want to know what reasons or evidence they have to support that belief. Attitudes (For instance," I don't believe what he/she is saying, because he/she is an idiot," or you reject him/her because of their color, religion, or political affiliation.) often just express positive, negative, or neutral evaluations toward someone or something.
Statements, propositions, and sentences
Since logic is concerned with assertions that are justified, logic therefore deals with statements and propositions. I will use the terms statement and proposition interchangeably, since their meaning is nearly the same.
A statement or proposition is a claim that something is or is not the case. For example, "George Washington was the first president of the United States" asserts that something is the case, whereas the proposition "Abraham Lincoln was not the second president of the United States" denies that something is the case. When these kinds of statements are made, we can specifically ask about their truth or falsity. Furthermore, we can ask what grounds or reasons one has for making the assertion.
Keep in mind that statements or propositions are all sentences. However, not all sentences are statements or propositions. Consider the following examples:
1. Who was the third president of the United States?
2. Will you please be seated.
3. Keep quiet!
Each of these are sentences, but none of them assert that something is or is not the case.
In a very rudimentary sense (practical or pragmatic way), one can think of logic this way: Being reasonable requires one to treat like cases likely; different cases differently. That simple axiom is used all the time in everydayness. Yet it is ignored or misused much of the time.
That's not much of an axiom. If you're saying that X=X and X is not Y, then yes, but you're not saying much. Logic covers a wider spectrum of propositions/statements.
No $hit Sherlock; your OP said basic logic. LOL
Arguments
An argument uses one or more statements to support a conclusion. The conclusion is supposed to follow from, or be justified by the other statements. These statements are called evidence, reasons, grounds, or premises. So, every argument is made up of two parts - the premises and the conclusion.
For example, I enjoyed the first three movies that Harrison Ford starred in, therefore, I will probably enjoy his fourth movie.
I did well in algebra, geometry, and trigonometry; therefore, I will probably do well in calculus.
These two examples are called inductive reasoning, I will talk more about these kinds of arguments later.
There is the Law of Identity, which states that A is A or anything is itself.
Logical Analysis
To properly analyze an argument the argument must be stated clearly and precisely. One must be able to identify the data used to support the conclusion; and if you do not understand the data that supports the argument, then it is generally considered unwise to criticize it. However, one must not only understand the argument - one must also be able to identify the structure of the argument. In later posts we shall come to see that the structure of an argument is what makes it valid. Hence, structure and validity go hand-in-hand.
Although arguments can be very complex, they can all be put into two basic forms.
1) This is true, therefore, that is true.
2) This is true, because this is true.
Premises (evidence, grounds, reasons), therefore, conclusion.
Because Bob went to the dance last night with his girlfriend, [thus] Mary, who is Bob's girlfriend, went to the dance also.
I saw a black bird on the first house I passed on Washington street, and on the second, third, fourth, and fifth house, [so] the sixth house will also have a black bird on it.
Keep in mind that arguments given by people in our daily lives are rarely so easy to follow. They tend to be very complex pieces of discourse that are presented with any number of irrelevant pieces of information.
Good writing will provide you with clues that let you know that an argument is present. For instance, words like because, for, since, in view of, etc., indicate that what follows is probably a premise; and words like therefore, so, thus, it follows that, and hence, etc., are words that indicate that what follows is a conclusion.
When analyzing arguments one must also be able to tell the difference between a causal explanation, which seeks to answer the question why, and arguments, which seek to establish the truth of the conclusion based on the evidence.
The following explanatory statements are in the form 'S because R:'
The man fell off the cliff, because his rope broke.
The litmus paper turned red, because it was put into acid.
The ice on the sidewalk melted because of the salt.
None of these are considered arguments, because they merely offer explanations. However, that is not to say that we could not put them into argument form. For example...
If litmus paper is put into acid, then it will turn red.
The litmus paper was put into acid.
Therefore, it turned red.
In these instances, we took an explanation and put them into an argument form.
Again, we gave causal explanations intended to show a causal connection between events. So, rather than asserting a logical connection between statements, we are offered a non-argument in the form of 'S because T.' The intention of an argument is to establish the truth of S, and the truth is established by citing evidence. If S is true, then T is true.
Why is this important? It is important because we want to be able to distinguish non-arguments from arguments. How do we know when an argument is present? We know because the purpose is to try to establish the truth of other statements. Explanations are given to answer the question why. Again though, keep in mind that even explanations can be asserted in argument form as we saw above in the litmus example.
Ok. I am subscribed, thanks! Good stuff!! Also, please share your thoughts on the exceptions to the law of excluded middle/bivalence; modus tollens, a priori, a posteriori, synthetic a priori, self-referential paradox, and other kinds of truth's using the logic of language, etc..
Too, you could consider making it pragmatic or lucid enough for the layperson (relevant to epistemology/ontology and/or the human condition). For instance, you can draw parallels and/or exceptions to abstract knowledge, as found in some forms of logic, and everydayness.
Just a few more thoughts...
Here are five steps to help you analyze an argument.
1) First find the conclusion, that is, what is the point of what is being claimed.
2) Once you have located the conclusion, then locate the supporting data - the reasons or evidence given in support of the conclusion.
3) Next rule out repetitious statements and emotional content.
4) If there are missing pieces of evidence, then supply what is needed to make the argument a good one. Ask yourself what additional evidence is needed for support. You may also need to ask yourself - what must be assumed in order for the conclusion to follow.
5) Finally, you may also what to look for additional arguments within the context of the main argument. That is, there may be smaller arguments within the larger context of the statements.
Sam!
Can you think of example where people willfully do not want to think rationally? Are there any benefits to not thinking rationally?
Consider philosophical phenomenology. For example. If Martha loves Johnny, but Johnny is not logically a good choice for Martha, should she marry Johnny? Logically, what can Johnny change to make Martha convinced that he's a rational or reasonable choice?
It seems that we can assert that something is the case in each of these examples:
1. That the person doesn't know who the third president of the United States is.
2. That the person wants us to be seated.
3. That the person wants us to keep quiet.
The point is that the question "Who is the third president of the United States?" is not a true or false statement/proposition. It doesn't make sense to say it's true or false. All you're doing is drawing an inference based on the question. That inference, may be true or false, but you're changing the sentence in order to do that.
I'd just be changing the scribbles, not the meaning.
Demands and requests are asserting your intentions. Saying "Please be seated" and "Keep quiet" is just shorthand for, "I would be pleased if you would be seated" and "I want you to keep quiet".
Does "Who is the third president of the United States?" and "I don't know who the third president of the United States is." mean the same thing, just different scribbles?
Dimensions of Language
Since logic is concerned with both communication and understanding it will be important to sort through some of the functions of language. This will enable us to focus on the actual argument being presented; and it will help us to seek clarity and precision.
Formal analysis of an argument is not an easy task, since arguments in everyday life are rarely put in a form that is easy to analyze. However, if we want to think rationally we need to be able to think clearly about what we intend to say; and once we know what we intend to say, then we can concentrate on saying it well.
Keep in mind that language can also be used to persuade without concern for rational arguments. We see this all the time. Sometimes people will appeal to opinions, prejudices, and emotions without concern for rationality.
Remember some of the distinctions that I have already pointed out about sentences, and the different ways in which they can be used. Not all sentences make statements. For instance,
1. Is your name John?
2. Stand there!
3. Please don't do that.
These interrogative (sentences that ask a question) or horatory (sentences that exhort or encourage) sentences are not the kind of sentences we will be concerned with. We will be concentrating on statements or propositions that are declarative. For example, "The moon is approximately 240,000 miles from earth", or "It is snowing." What sets these sentences apart from the ones listed above is that you can properly ask about their truth or falsity.
Hence, logic again is concerned with statements or propositions, and thus with sentences that assert or deny something.
Language is very flexible, and in spite of the fact that language has many functions it can probably be classified under five general categories. The philosopher Ludwig Wittgenstein identified many of the uses of language in the Philosophical Investigations. The following are some examples:
Giving orders, and obeying them.
Describing the appearance of an object, or giving its measurements.
Constructing an object from a description (a drawing).
Reporting an event.
Speculating about an event.
Forming and testing a hypothesis.
Presenting the results of an experiment in tables and diagrams.
Making up a story; and reading it.
Play-acting.
Singing catches.
Guessing riddles.
Making a joke; telling it.
Solving a problem in practical arithmetic.
Translating from one language into another.
The five general categories of language are the following:
1) Cognitive (Informative) Function.
Language is used to convey information. As the following statements demonstrate.
"There are two desks in my room."
"The Japanese bombed Pearl Harbor on December 7th, 1941."
"Triangles have three sides."
(That triangles have three sides is also an example of an analytic statement. An analytic statement is one in which concept of the predicate is included in the concept of the subject.)
"Bachelors are unmarried men."
"All bodies are extended in space."
"All wives are female."
The one characteristic of these statements is that they can be spoken of as either true or false, i.e., they declare that something is or is not the case. That is not to say that other criteria cannot be applied to statements of information, since one can also ask if the statement is significant or not, or one can ask if it is useful or not.
Logic is not concerned with establishing truth or falsity. Logic simply asks if the conclusion follows from the truth of the premises. Another way to put it is that logic is concerned with the internal relationship between or amongst propositions.
2) Expressive
In these examples language is used to express feelings or emotions.
"I am having a great time at the beach."
"The portrait is beautiful."
"You idiot."
The important point here is that these statements express a feeling, emotion, or an attitude. These phrases are also considered evaluative, i.e., they reveal a positive or negative judgment by the speaker.
3) Evocative or Directive
Language is also used to arouse feelings, emotions, attitudes, and certain kinds of responses or actions in others. Examples of these kinds of statements are as follows:
"Duck!"
"Attention!"
"Please wash your hands before eating."
"Brush your teeth three times a day."
"John Doe for president."
These statements are a bit different from the ones I gave earlier, in that they are designed to produce an effect or an action from two perspectives: First, the purpose or purposes of the user of the sentences, and two, the effect the user of language wishes to have or not have ( Introduction to Logic, Kegley and Kegley, p. 34).
It is important in the study of logic to distinguish between informative statements and evocative statements. After all logic is concerned with what is being asserted, not with how it is being asserted. As Spock might say, emotional appeals are irrelevant.
Now I am not saying that we should eliminate all emotion from our language, but only that we should be careful when formulating an argument that we do not include appeals to emotion, and that we stay away from personal attacks.
4) The Evaluative Use of Language
The complexity of the language used to make 'value judgments' is mind-boggling. The contexts of such language includes just about every context imaginable. As you can imagine there is still much disagreement over how to characterize such language. In this brief introduction I cannot even begin to do justice to this use of language, so I will only make a few remarks.
As you probably already know evaluative language makes judgments of what is of value, i.e., what is good, just, and beautiful. All you have to do is to look at some of the arguments on the internet, and you will see the wide variety of views in relation to ethics, religion, politics, language, etc. Some people believe that value judgments are subjective, while others believe they are objective, and still others hold some middle ground. Some examples are as follows:
"Knowledge is good in and of itself."
"Trump is stupid."
"This is a good book."
"This song is beautiful."
"The Iraq war is just."
5) Finally, the Ethical and Aesthetic (pertaining to a sense of beauty, or having a love of beauty) use of language.
This use of this kind of language raises very important questions about how to interpret statements like, "Torture is wrong." Is it merely expressive, which translates into something such as, "I do not like torture" or "Torture - yuck!" Can it be that these statements are simply directive in nature - for example, "Do not torture!" And finally maybe statements like "Torture is wrong" are assertive-type statements that require us to give good reasons for accepting them.
These are very controversial topics, and will not be settled in my short musings.
https://www.thriftbooks.com/w/introduction-to-logic_jacquelyn-ann-k-kegley_charles-william-kegley/2627456/item/2242315/?mkwid=%7cdc&pcrid=395840866446&pkw=&pmt=&slid=&plc=&pgrid=83212263032&ptaid=pla-439650351594&gclid=CjwKCAjwnIr1BRAWEiwA6GpwNVPQBkzwqUEAh8VRv7zy1SrcrnRWQ5SsxUCsrNwIFoyhPzE8pHi4HhoCv8MQAvD_BwE#isbn=0675083583&idiq=2242315
Logical vs Non-logical Material
One of the problems in analyzing many arguments is separating the logical material from the non-logical material. Keeping in mind that logic is concerned with the informative side of language, i.e., with what is being asserted. You need to be able to distinguish between the emotive content and factual assertions; and to be able to translate emotive content into neutral content. Consider the following two propositions:
1) "Trump is a liar!"
2) "Trump was mistaken."
The first statement is likely to be from someone with a negative attitude, while the second one might be from someone with a more positive attitude. We are not concerned with the attitudes of people. We are more concerned with the factual content. Expressions of attitude indicate a positive, negative, or neutral evaluation of someone or something. As we said earlier in the discussion we want to focus on the cognitive use of language as opposed to the evaluative use.
You should get some practice reading articles and picking out and separating propositions into the five general categories that we have discussed.
I will conclude this section with the three basic kinds of disagreements.
There are disagreements in attitude, in belief, and verbal disagreements.
Ones attitude has more to do with one's state of mind or feeling about an event or fact, and less to do with what is claimed or asserted.
Disagreements about beliefs, on the other hand, are arguments over the supposed facts. These can be classified in two ways. First, the disagreement can be a real disagreement, in that there is a logical inconsistency in one of the arguments. Second, there can be an apparent disagreement, i.e., both arguments are consistent, which means the arguments can be resolved, at least in theory.
Finally, there can be a verbal disagreement. That is to say, the people arguing are using words or phrases with different meanings.
There are two kinds of arguments in logic, deductive and inductive arguments. We will first discuss deductive arguments.
Deductive Arguments
A good deductive argument must be
(1) valid
(2) sound
(3) cogent
As I mentioned already, validity is a quality of good deductive arguments. Validity means that the form of the argument forces you to the conclusion. The correct form is crucial. Therefore, if the evidence is accurate, then the conclusion must follow. Note the following forms:
Premise 1: All X are Y.
Premise 2: b is an X.
Conclusion: Hence, b is a Y.
An argument of this form will lead you to a conclusion that is true provided the evidence, which is in the form of premises, are true. The following is an argument using the above form.
Premise (1) All cats are animals.
Premise (2) Morris the Cat is a cat.
Conclusion: Hence, Morris the Cat is an animal.
The following are more examples of valid deductive argument forms.
Modus Ponens: If X, then Y.
----------------------X.
----------------------Therefore, Y.
The following is an argument using this form:
Premise (1) If George is human, then George is a person.
Premise (2) George is a human.
Conclusion: Hence, George is a person.
Modus Tollens: If X, then Y.
-------------------- ~Y.
---------------------Hence, ~X.
Example:
Premise (1) If Harry is a cat, then Harry is an animal.
Premise (2) Harry is not an animal.
Conclusion: Hence, Harry is not a cat.
There are other deductive forms. For instance,
Hypothetical Syllogism: If X, then Y.
---------------------------------If Y, then Z.
---------------------------------Hence, if X, then Z.
Transposition: If X, then Y.
--------------------Hence, if not Y, then not X.
So, again, validity has to do with the structure or the form of the argument
The next criteria of a good deductive argument is soundness, which means that the argument is valid, plus the premises are true. The following argument is valid and sound.
Modus Ponens:
If I think, then I exist.
I do think.
Hence, I exist.
The next argument is valid, but not sound.
Modus Ponens:
Premise (1) If humans are dogs, then dogs are humans.
Premise (2) Humans are dogs.
Conclusion: Hence, dogs are humans.
This is a valid argument, but is it sound? No. It is not sound, because the premises are not true.
Our third criterion is cogency.
Now there are going to be some that disagree with this criterion. However, I believe it is very important.
Cogency means that the premise's of a deductive argument are known to be true by the person to whom the argument is given. What this means is that not only is the argument sound, but the premises are known to be true. There are proofs, i.e. deductive arguments that are sound; however, you don't know they are sound, because you don't know if the premises are true. The following is an example:
"The base of a souffle is a roux.
This salmon dish is a souffle.
Hence, the base of this salmon dish is a roux.
(Dr. Byron Bitar)"
Therefore, in order for a proof to work for you, you have to know the premises are true. If you do not know the premises are true, it will not convince you, even if the argument's conclusion is true.
It seems like you're taking about the meaning of true and false.
Something that is the case would be considered the truth.
Just because it is considered that a question doesnt assert something is the case doesn't mean that there isnt a case that can't be asserted by someone asking a question. I have shown that it does - that you can still use the question as a premise for determining truth - that the person is ignorant of something.
Before I go any further, I should give some of the symbols used in logic, and their meanings. I don't want to assume that everyone knows the symbols. I'm going to use the symbols used in the Principia Mathematica. However, Hilbert's symbols are probably used more often by mathematicians.
Negation (not) ~
Conjunction (and) ·
Disjunction (or) ?
Material Implication (if, then) ?
Material Equivalence (if and only if) ?
Therefore ?
Why are symbols used? Logicians probably wanted a language that was free (as free as possible) from the abiguity, vagueness, and some of the defects of language. It was also a way for logicians to demonstrate the logical structures of statements/propositions.
To designate statements abstractly we will be using p and q as markers, i.e., p and q mark the position of statements. Next, we need symbols for truth-functional connectives, which I gave above. For example, "We will be buying a home and we will be buying a car next week." The individual statements are:
We will be buying a home. (We symbolize the first statement using p.)
We will be buying a car next week. (We symbolize the second part of the statement using q. If there were more statements involved, we would continue using r, s, t, etc.
The truth-functor: and
The statement form: p and q
It's symbolized using the symbol for and. p · q
I remember starting a thread in the old forum regarding the status of questions in logic, specifically whether questions are propositions or not.
I vaguely recall saying that questions can be rephrased as propositions. For instance, take your question: Who is the third president of the United States?
The question can be rewritten, with no loss of meaning, in my opinion, as:
P = (George Washington was the third president of USA) v (John Adams was the third president of USA) v (Thomas Jefferson was the third president of USA) v....(Donald Trump was the third president of USA)
where "v" = the logical OR connective
:chin:
Quoting TheMadFool
Looks like it. Anyway, kudos to you for starting this thread. It's a good place to brush up on my logic. I hope others feel the same way. Good luck. :smile:
Continuing with symbolization...
What is a statement-form? A statement-form is a proposition that consists of logical symbols (? · ?? ~) and statement variables (p, q, r, etc.). For example,
p · (q ? r), which can be derived from the statement "If William is a liar, then either he is stupid or he is crazy."
Any substitution instance of a statement-form is any statement with that form. For example, the substitution instance of ~ p would stand in for any statement with the form "It is not the case that George Washington was our 4th president." Statement forms (~ p) are not intrinsically true or false, only substitution instances are true or false. In other words, only where ~ p represents a particular statement, is it said to be true or false.
Truth-Tables
Truth-tables allow us to determine the truth-values of a particular statement given certain input values. For example, if we allow the letter p to serve as a marker for a given statement, and let the letter T stand for its truth-value true, and the letter F for the truth-value false, we can then show that any simple statement has two possible truth-values.
The following is an example:
p
---
T
F
Any compound statement p and q has only four possible sets of truth-values. The following is an example:
p-----q
_____
T-----T
F-----T
T-----F
F-----F
If we used truth-functors that involved three different statements, then we would need three statement-variables (p, q, and r). In the above example using two statement-variables it required four lines. If we used three variables it would involve eight lines. The following is another example:
p-----q-----r
_________
T-----T-----T
T-----T-----F
T-----F-----T
T-----F-----F
F-----T-----T
F-----T-----F
F-----F-----T
F-----F-----F
As you can see this can be quite cumbersome, because a table with one variable has 2^1= 2 lines; a table with two variables has 2^2 = 4 lines; a table with three variables has 2^3 = 8 lines; and so on.
Continuing with truth-tables
Negation
The · symbol that is used as a sentence connective is a kind of operator, that is, it can operate on two separate sentences to produce a third compound sentence A · B. For instance, the operator "It is well known that" operates on the following sentence "Abraham Lincoln was the sixteenth president of the United States" to construct the compound sentence "It is well known that Abraham Lincoln was the sixteenth president of the United States".
The tilde symbol ~ that is used to symbolize negations is an operator of this kind, i.e., it can generate a new sentence out of just one starting sentence. The negation operator is the only one that does this in standard sentential logic. All (or almost all) others including "It is well known that" are non-truth-functional operators.
Negation is one of the easiest truth-functional operators to learn, because it only operates on individual sentences. The operation of the negation symbol is straight forward, because if you negate a true sentence, you get a false sentence, and if you negate a false sentence, you get a true one.
We negate sentences in English in a variety of ways. Examples are given in the following sentences:
1) "Eleven is not even."
2) "Eleven is uneven."
3) "It is not the case that eleven is even."
4) "It is false that eleven is even."
5) "Eleven is odd."
The above five examples were taken from Kegley and Kegley's Introduction to Logic p. 226.
Finally, let us use the following truth-table to define the truth-functor negation:
The statement "The earth has one moon" has two possible truth-values, and the statement "It is not the case that the earth has one moon" has two possible truth-values. Hence, letting p stand in for each of the aforementioned statements we get the following truth-table:
p------- ~p
_______
T---------F
F---------T
There can also be statements that involve more than one negation. Consider - "It is false that it is not the case that Abraham Lincoln is not tall." Let p represent "Abraham Lincoln is tall" and we will construct the following truth-table.
p--------- ~p---------- ~~p---------- ~~~p
____________________________
T-----------F--------------T----------------F
F-----------T--------------F----------------T
It is best when using the negation symbol to express it by the statement, "It is not the case that," which reverses the truth-value of the statement. While it is true that the ~ symbol is equivalent to most English uses of the word not, it doesn't always convey the correct meaning. In logic, ~ always means contradictory. However, there are uses of the word not in English that do not convey a contradiction. For example, "Some males do not smoke pot" does not contradict the statement that some males do smoke pot. In other words, both statements can be true, so the not in this case doesn't involve a contradiction.
Conjunction
When two sentences are joined together by the truth-functor and, they are called conjuncts; and compound sentences formed by the truth-functor and are called conjunctions. An example of a simple conjunction is "Wittgenstein was a philosopher, and he was also an engineer"; and since we are using the truth-functor symbol · this sentence would be symbolized in the following way:
Using p to refer to "Wittgenstein was a philosopher", and q to refer to "He was also an engineer" - the sentence would be symbolized p · q.
There are a number of ways to express a conjunction in English.
1) "Mathew stays but Jane leaves."
2) "Mathew stays, however Jane leaves."
3) "Mathew stays, moreover Jane leaves."
4) "Mathew stays although Jane leaves."
5) "Mathew stays yet Jane leaves."
6) "Mathew stays even though Jane leaves."
The previous six examples taken from Kegley and Kegley's book, Introduction to Logic, p. 228.
In order for someone to commit himself to the truth of a conjunctive statement, that person would have to accept that both p and q are true. Otherwise, the conjunctive statement is false. This is clearly seen in the following truth-table:
p--------q--------p · q
_______________
T--------T----------T
F--------T----------F
T--------F----------F
F--------F----------F
As can be seen in this truth-table a conjunctive statement is only true if both of its component statements are true. So, what this means is that if we are committed to the truth of p, and committed to the truth of q, then we are committed to the truth of p · q. The argument p · q is therefore valid for the conjunctive form.
p
q
__
Therefore, p · q.
Later you will come to know this as one of the rules of inference known as conjunction.
Disjunction
We will now consider a statement joined by the truth-functor symbol v. When two statements are connected by the truth-functor or it is called a disjunction. Each component statement is called a disjunct. An instance of a disjunction is: "Either Plato was a philosopher, or he was a physician." This disjunctive sentence is symbolized as:
p v q
When we state a disjunct we are putting forth two possibilities. These two possibilities have two senses - one is called inclusive, and the other is called exclusive. The inclusive sense is when we are admitting the possibility that each of the disjuncts may be true. The inclusive sense is represented by the following truth-table:
p--------q--------p v q
_______________
T--------T----------T
T--------F----------T
F--------T----------T
F--------F----------F
As we can observe by this truth-table the only case in which the inclusive disjunction is false is when both disjuncts are false.
As for the exclusive sense of the disjunction, this is a case where we may want to rule out both disjuncts as true. As in the following example:
George is in France, or George is in Italy.
This is clearly an exclusive sense, because George cannot be in both places at once. The exclusive sense says either p is true or q is true, but not both. However, this sense is not used in truth-functional logic, although, the two senses share a common trait, that is, that at least one of the disjuncts must be true (Kegley and Kegley, Introduction to Logic, p. 232).
Given the definition of a disjunctive statement, that it is false only when both disjuncts are false, and true in each of the other three alternatives, we get the following two valid disjunctive argument forms:
p v q
~p
____
Therefore, q.
p v q
~q
____
Therefore, p.
These are called disjunctive argument forms, and they are another one of the rules of inference that you will learn later.
There is an interesting case of the disjunction involving a negative, which can be written in two ways. The first is ~(p v q), and the second is (~p · ~q) - these are equivalent forms, and can be seen as such in the following truth-tables.
p--------q--------p v q-------- ~(p v q)
_________________________
T--------T----------T----------------F
F--------T----------T----------------F
T--------F----------T----------------F
F--------F----------F----------------T
p--------q-------- ~p-------- ~q-------- ~p · ~q
________________________________
T--------T----------F-----------F-------------F
T--------T----------T-----------F-------------F
T--------F----------F-----------T-------------F
F--------F----------T-----------T-------------T
Conditional Statements and Material Implications
A conditional statement is a statement that is composed of two component statements joined by the truth-functor if...then (?). These statements can also be referred to as hypothetical statements or material implications. Speaking of implication keep in mind that the English word implies more than one meaning, and these meanings can be conveyed using the connective if...then. Statements using the aforementioned connective can imply a logical, causal, definitional, or decisional relationship.
The component statements that make up the conditional are called the antecedent and the consequent. The antecedent precedes then, and the consequent follows then in the conditional. A simple conditional statement that implies a logical relationship is the following:
If John is a philosopher, then John is a thinker.
p = John is a philosopher.
q = John is a thinker.
p ? q
The connective if...then is defined using truth-tables in the following way: If a substitution instance of p or any other variable is true, and a substitution instance of q or any other variable is false, then the substitution instance of p ? q is false. For all other substitution instances of p and q, the statement form p ? q is true. This can be clearly seen in the example that follows:
p--------q------------p ? q
___________________
T--------T---------------T
T--------F---------------F
F--------T---------------T
F--------F---------------T
Therefore, the preceding truth-table says that it is never the case that p can be true and q false, which is to say, that it denies the conjunction of its antecedent with the negation of its consequent.
Conditional statements are unlike conjunction and disjunction in that the order of the statements in a conditional make a difference when constructing truth-tables. This can be clearly seen in the following instance:
If the car runs out of gas, then the car will stop running.
If the car stops running, then the car runs out of gas.
What falsifies each of these statements is different, i.e., in the first statement p ? q, when p is true and q is false we get a false statement, but if we reverse the p and q, as in q ? p, we get a false statement when p is false and q is true. Hence, the truth-tables will look like the following:
p ------- q ------------ p ? q ------------ q ? p
_________________________________
T---------T ---------------- T ----------------T
T -------- F ---------------- F ---------------T
F -------- T ---------------- T ----------------F
F -------- F ---------------- T ----------------T
If you look at the main connectives in each of the conditionals you can see that what falsifies one does not falsify the other.
Remember that in a conditional statement the antecedent implies the consequent, which means that if the antecedent is true, then the consequent is true. However, this is hypothetical, and as such, the conditional statement does not tell us anything about the truth of its component statements; it is only saying that IF the antecedent is true, the consequent is true.
There are more complicated issues when it comes to conditional statements. For instance, "If John or Mary go to the movies, then Mary or John will go to the movies", is a logical relationship. However, in the statement "If John goes to the movies, then Mary will go to the movies," is a factual relationship.
The most important way in which conditional statements differ, has to do with their truth-functionality, that is, most conditionals uttered in out daily lives are not as straightforward. Consider the following:
"If the Red Sox beat Pittsburgh, then the Red Sox will win the World Series" - symbolized R ? W. Now let us suppose that someone places a bet that this conditional is true. We know that if the Red Sox beat Pittsburgh, and yet the Red Sox fail to win the World Series, then obviously R is true and W is false, and the person fails to win the bet. On the other hand, if the Red Sox beat Pittsburgh, and they also win the World Series, then the statement is true and the person wins the bet. Now let us look at this in a standard truth-table where the two results are represented.
R ------- W -------------R ? W
_____________________
T -------- T -----------------T
T -------- F -----------------F
F -------- T
F -------- F
A problem arises if the Red Sox fail to beat Pittsburgh, because then it is not clear what to say about this conditional as it relates to the last two results. However, we cannot simply leave the last two results blank even though it would be odd to call the statement true, it would definitely not be false. Hence, when faced with a choice (for our purposes) we will construct our truth-tables so that all statements with false antecedents are true.
A conditional statement, as currently defined, provides us with a minimal common meaning for uses of the "if... then" statement, which once again means that the consequent cannot be false if the antecedent is true. So the point is, that since this is a minimal condition for the meaning of a conditional statement, it only partially satisfies the uses of the "if...then" statement in English, just as the disjunction only partially fulfills all the meanings of or in English.
Finally, it should be noted that there are other more powerful forms of logic that are better equipped to handle these kinds of problems. However, it is a good idea to get a good handle on sentential logic first before going on to master other forms of logic (like quantification theory).
I have not completely analyzed conditional statements and material implications. If you want a more complete analysis, you'll have to do some research. This thread is a guide, nothing more.
There is much that can be accomplished using the ? symbol. For instance, using the definition of the ? symbol we can get the valid argument form known as Modus Ponens.
Modus Ponens
p ? q
p
_____
?(Therefore), q
How do we know that this necessarily follows? Because using our truth-tables we know that any instance where the antecedent is true, the consequent is true. Hence, using Modus Ponens, we have constructed a valid argument form. Keep in mind the differences between validity and soundness, which we discussed earlier.
Another valid argument form that follows from the definition of the symbol ? is called Modus Tollens, i.e., if we deny the consequent, we can conclude the denial of the antecedent.
Modus Tollens
p ? q
~q
_____
? ~p
There are two corresponding fallacies that are derived from the Modus Ponens and Modus Tollens. First, the valid form...
Modus Ponens
____________
p ? q
p
_____
? q
"If we have desegregation we will have some busing.
We have desegregation.
______________________________________
Therefore, we will have some busing(Kegley and Kegley, p. 240)."
The invalid form is the following:
p ? q
q
_____
? p
If we have desegregation we will have some busing.
We have some busing
__________________________________
Therefore, we have desegregation.
The above invalid form commits the fallacy of affirming the consequent. We know this because the definition of a conditional for our purposes, states that we cannot have false consequent when the antecedent is true. We can see this in line two the following truth-table.
_______________________________________________________
The fallacy that corresponds to Modus Tollens is the fallacy of denying the antecedent. Let us first look at the valid form...
Modus Tollens
____________
p ? q
~q
______
? ~p
"If the paper burns, there is sufficient oxygen present.
There is not sufficient oxygen present.
__________________________________________
Therefore, the paper does not burn (Kegley and Kegley, p. 240)."
This is obviously a valid form, however, if we deny the antecedent, then we commit the fallacy of denying the antecedent.
Fallacious Form
_____________
p ? q
~p
______
? ~q
If the paper burns, there is sufficient oxygen present.
The paper does not burn.
__________________________________________
Therefore, there is not sufficient oxygen.
We can obviously see that this could be false, because it is certainly possible that oxygen is present and the paper still will not burn. Maybe the paper is wet, or maybe there is not enough oxygen.
Biconditionals
Two statements are materially equivalent if they have the same truth-values. The symbol ? is the symbol we are using in this thread to stand for material equivalence. Thus, if we say that "Two times two equals four, if and only if, four times one equals four," then the two statements are materially equivalent, since both have the same truth-value.
Material Equivalence
p ? q
Truth-table
Given the definition of material equivalence - that two statements are materially equivalent if and only if they have the same truth-values - we can see this is so by looking at line one and line four.
These compound statements are more commonly referred to as material biconditionals or just biconditionals, because they are equivalent to material conditionals. For example, the material biconditional "Two times two equals four, if and only if, four times one equals four" in symbolic form looks like this, p ? q; and it is equivalent to the two-directional conditional "If two times two equals four, then four times one equals four, and if four times one equals four, then two times two equals four," which is symbolized as, (p ? q) · (q ? p).
Remember that the material biconditional only captures the minimal truth-functionality of the English biconditional. There is no connection implied by the component statements. It only states that they both have the same truth-value.
Tautologies, Contradictions, and Contingent Sentences
Before going on we will examine the differences between tautologies, contradictions, and contingent sentences.
First, a tautology is a statement form that is true under all possible interpretations of its variables; or another way of saying it is that a sentence is tautological if and only if there is no interpretation of the sentence which produces a false truth-value. Keep in mind that it is under the main connective that one looks to find the appropriate truth-value. Here are some examples:
1)
2)
3)
In the above three examples we are using brackets around the main connective to ONLY illustrate our point. And the point is, that in each of these truth-tables under the main connective we have all Ts, that is to say, all substitution instances are true. Therefore, given our definition of a tautology each of the above examples are tautological.
There are a couple of feature that we need to be aware of when thinking about tautologies. First, tautologies tell us nothing about the world, i.e., they are noninformative. For instance, if I say "Either it is snowing, or it is not snowing"- this statement is necessarily true, but it tells us nothing about the whether.
Second, we can determine the truth-value of a tautology a priori, which simply means, that we can know the truth of the statement quite apart from the evidence.
A statement whose truth is logically impossible is called contradictory; or a statement is a contradiction if and only if there is no line of the truth table that shows a truth-value of true. The following statement forms are contradictory, and can be seen as such by their truth-tables:
Note the line of truth-values under the bracketed main connective.
Any statement such as "Triangles have three sides and triangles do not have three sides" is contradictory in virtue of its form, p · ~p.
We have discussed statement forms that have all true truth-values (tautologies), and statement forms that have all false truth-values (contradictions). We will now complete this section with a definition of contingent statement forms.
The first two statement forms had either all true truth-values, or all false truth-values. And as you would expect the final statement form has a mixture of both true and false truth-values. It is considered a contingent statement because its truth-values are not dependent upon logic alone, but are contingent upon some state-of-affairs. For instance, the statement "The glass is sitting on my desk, or it is not sitting on my desk" is contingent upon things other than the form of the statement. The following is an example of a contingent statement form, and its corresponding truth-table:
Note that under the bracketed main connective there is a mixture of true and false truth-values, which means that the statement form is contingent.
[B]Rules of Inference[/B]
While it is true that truth-tables are very good at testing the validity of truth-functional arguments, they tend to be a bit cumbersome; especially if you have four or more variables (remember that truth columns grow exponentially at a rate of 2^n).
It is much easier to deduce validity using deduction, i.e., you use deductive argument forms that have already been shown to be valid to perform a sequence of elementary arguments which will then confirm the main conclusion. “The elementary arguments, in essence, are a set of rules, called [I]transformation rules[/I], for they specify which truth-functional statement forms may be inferred from which others. The transformation rules are then subdivided into [I]inference[/I] rules and [I]substitution[/I] rules. Systems made up such sets of rules are called [I]natural deduction systems[/I]. The selection of the rules in these systems is relatively arbitrary; any set will do so long as it is complete (Kegley and Kegley, [I]Introduction to Logic[/I], p. 271).”
Rules of Inference
1) Modus Ponens (MP):
p ? q
p
_____
? q
2) Modus Tollens (MT):
p ? q
~q
______
? ~p
3) Disjunctive Syllogism (DS):
p v q
~p
____
? q
p v q
~q
____
? p
4) Hypothetical Syllogism (HS):
p ? q
q ? r
______
? p ? r
5) Simplification (Simp):
p · q
_____
? p
p · q
_____
? q
6) Conjunction (Conj):
p
q
__
? p · q
7) Addition (Add):
p
__
? p v r
8) Constructive Dilemma (CD):
(p ? q) · (r ? s)
p ? r
______
? q v s
You can use these inference rules on entire lines only. Never use them on parts of a line. For example, do not use simplification in the following way: (p · q) ? r to get p ? r
Also these inference rules are used in one direction only. For example, you can work your way from p · q to p using simplification, but not from p to p · q.
You want to memorize the rules of inference.
_______________________________________________
If it were settled for you,, you'd be able to answer these questions. True wisdom comes in questioning everything - in never being settled until all posdible questions have been asked and answered. It seems to me that you are just covering your ears and closing your eyes and screaming,"lalalalala, I can't hear you!"
It seems that lately, a lot of threads on this forum are started as a means to proselytize, not to engage people in any meaningful debate or to learn from others. What a shame.
I don't know where you get the idea that "true wisdom comes in questioning everything," I don't agree with that either. As I said earlier, this thread is just a guide for people. If you think it's an important point, then start a thread and debate the issue with those who want to debate. I'm not going to debate the issue.
"The only true wisdom is in knowing that you know nothing." - Socrates
Deductive Methods
When analyzing arguments you want to look for forms that correspond to valid rules of inference. For example, consider the following argument form:
Premise 1. [p v (~q ? r)] ? [~s v (r · t)]
Premise 2. ~ [~s v (r · t)]
Conclusion: ~ [p v (~q ? r)]
First, just because the argument has a large number of variables don’t let that intimidate you. Second, you want to keep the conclusion in mind, since this is where you are heading. Next you want to take note of the major connective in the first premise, which is ?, it has the form p ? q. Now notice that the second premise is a negation, and it has the form ~q. At this point if you have memorized the eight rules of inference you should be able to see where this is leading.
So let’s break premise one down so that we can see how it corresponds with p ? q.
Premise 1. [p v (~q ? r)] ? [~s v (r · t)]
p = [p v (~q ? r)]
then comes the major connective ?
q = [~s v (r · t)]
So premise one has the form p ? q.
Now let’s look at premise two.
~ [~s v (r · t)]
Premise two is the denial of q in the argument form p ? q, so it has the form ~ q.
We now have
p ? q
~q
You should now be able to see that the example above matches the rule of inference called Modus Tollens. Premise two denies the consequent. If you kept your eye on the conclusion Modus Tollens is the obvious choice.
The conclusion is ~[p v (~q ? r)], which is the denial of p.
Therefore, the argument form
Premise 1. [p v (~q ? r)] --> [~s v (r · t)]
Premise 2. ~ [~s v (r · t)]
Conclusion: ~ [p v (~q ? r)]
is the same as
Modus Tollens
p ? q
~q
______
? ~p
We have now figured out a simple proof using one of the rules of inference.
[B]Rules of Replacement[/B]
You need to memorize these rules of replacement along with the rules of inference.
1) [I]Absorption[/I]
(p ? q) ? p ? (p · q)
2) [I]Double Negation[/I]
p ? ~~p
3) [I]De Morgan’s Theorems[/I]
~(p v q) ? (~p · ~q)
~(p · q) ? (~p v ~q)
4) [I]Commutation[/I]
(p v q) ? (q v p)
(p · q) ? (q · p)
5) [I]Association[/I]
[(p v q) v r] ? [p v (q v r)]
[p · q · r] ? [p · (q · r)]
6) [I]Distribution[/I]
[p v (q · r)] ? [(p v q) · (p v r)]
[p · (q v r)] ? [(p · q) v (p · r)]
7) [I]Transposition or Contraposition[/I]
(p ? q) ? (~q ? ~p)
8) [I]Material Implication[/I]
(p ? q) ? (~p v q)
9) [I]Material Equivalence[/I]
(p ? q) ? [(p ? q) · (q ? p)]
(p ? q) ? [(p · q) v (~p · ~q)]
10) [I]Exportation[/I]
[(p · q) ? r] ? [p ? (q ? r)]
11) [I]Tautology[/I]
p ? (p v p)
p ? (p · p)
“It should be noted that the eight Inference Rules and the eleven Rules of Replacement constitute a [I]complete[/I] system of truth-functional logic in the sense that the construction of a formal proof of validity for [I]any[/I] valid truth-functional argument is possible. However, some of the rules are redundant. Thus, for example, [I]Modus Tollens[/I] is redundant because every instance in which [I]Modus Tollens[/I] is used, the Principle of [I]Transposition[/I] and [I]Modus Ponens[/I] can function equally well. [I]Disjunctive Syllogism[/I] could also be replaced. But these two argument forms are easy to grasp and the use of all nineteen rules makes proofs considerably easier (Kegley and Kegley, Introduction to Logic, p. 280 and 281).”
There is an important difference between the Rules of Replacement and the Rules of Inference. The Rules of Inference can only be used on entire lines of a proof. So, in a proof, X can be inferred from X · Y, if X · Y make up the entire line. You cannot infer X from W ? (X · Y) using Simplification. When using the Rules of Replacement this is not the case, because logically equivalent expressions can replace other logical equivalent expressions even if they do not constitute a whole line in a proof.
You're going to need more information than what I've given you here to learn to use these correctly. You should find a book with exercises, and one that explains the Rules of Replacement more thoroughly. Hopefully, this will give you somewhat of a guide to know what to study. I also would recommend studying the categorical syllogism. There are videos on Youtube that will explain much of this in detail.
Enthymemes
Enthymemes are arguments in which a premise or premises are left out. Sometimes even the conclusion is left out - it is supposedly understood.
Enthymemes are quite ubiquitous in discourse, so it is important to familiarize yourself with them. They are used because the premise or conclusion is understood, and stating them would be to state the obvious. However, sometimes people will leave out part of an argument, because to state the premise or conclusion would obviously make the argument false. So to avoid criticism sometimes people will purposely leave a premise or a conclusion unstated. I know it is hard to believe that people actually do this.
You need practice to get good at solving enthymemes. Understanding these concepts is one thing, but actually solving the problems is quite another. Do not assume that because you understand what I am writing that you automatically can solve the problems. Logic is like math you need practice. Without it you will not be able to reason well.
The Three Laws of Logic (Sometimes referred to as the Three Laws of Thought)
1) The Law of Identity:
a. A is A or Anything is itself.
b. If a proposition is true, then it is true, which means that every proposition of the form p ? p is true. Therefore, it is a tautology.
2) The Law of Excluded Middle:
a. Anything is either A or not A.
b. Any proposition is either true or false, i.e., it makes the claim that every proposition of the form p v ~p is true. Therefore, it is a tautology.
3) The Law of Contradiction:
a. Nothing can be both A and not A.
b. No proposition can be both true and false, i.e., it makes the claim that every proposition of the form p · ~p is false, and in this case contradictory.
There are criticisms of these three laws. For example, one such criticism against the law of identity is that the world is constantly changing. Hence, things are never the same from second to second. However, there is a confusion in this kind of thinking, viz., there is a difference between logical identity and physical identity. If someone states that "X has changed," then that requires that X's identity remain the same throughout a series of changes, or it would not be possible to say that X changed. There is obviously constant change going on in the world, but that does not negate identity. Moreover, there remains constancy of the referent throughout our discourse, i.e., identity in our meanings. So, when we talk of a tree, we mean a tree, and not some other object.
There are obviously other criticisms.
Which rule of inference corresponds with the following argument forms? Do your homework!
1)
[(A ? B) · C] v (D · S)
~ (D · S)
_____________________
? [(A ? B) · C]
2)
(p · q)
__________
? (p · q) v (r ? s)
3)
(r ? s)
(s ? t)
________
? (r ? t)
4)
[(A · B) ? (C · D)]
[(P v R) · (Q v T)]
__________________
? [(A & B) ? (C· D)] · [(P v R) · (Q v T)]
5)
[(D ? E) ? (A v B)] · (P ? C)
(D ? E) v P
____________________________
? (A v B) v C
The following are proofs of validity for particular argument forms. You should be able to find the justification, i.e., the rule of inference for each statement that is not a premise. These examples are taken from Kegley and Kegley, Introduction to Logic, p. 276.
First argument:
1. A ? B
2. B ? C
3. A ? ~D
4. ~C / ? ~D
5. A ? C
6. ~A
7. ~D
So, in the first argument, which is contained in lines 1-4, you want to find the justification used in lines 5,6, and 7.
Second argument:
1. M ? N
2. N ? O
3. P ? Q
4. M v P/? O v Q
5. M ? O
6. (M ? O) · (P ? Q)
7. O v Q
If you want answers to any of these exercises just send a message to my inbox.
Construct proofs for the arguments that follow. These arguments were taken from Kegley and Kegley, Introduction to Logic, pp. 277 - 278).
1. If God is loving, then if he condemns sinners to eternal damnation, God is unjust. He is not unjust. Therefore, he does not condemn sinners to damnation. (Use G, S, and U for letters in your symbolized argument.)
2. If Jane gets an A in logic, then she will not have to give up the scholarship. But if Jane does not get an A in logic, then she will stay in the Honors Club if and only if she will not have to give up the scholarship. But if either Jane will not be an A student or she will not stay in the Honors Club, then it is not the case that she will not have to give up the scholarship. Either Jane will not be an A student or she will not stay in the Honors Club. Therefore, she will stay in the Honors Club if and only if she will not have to give up the scholarship. (Use the following letters: L, S, H, and A)
It's best when constructing a formal proof to find the general form of the argument, and not let the complexity of the proof confuse you. Next, you want to look for propositions that occur in the premises, but not in the conclusion. Propositions that do not occur in the conclusion may be extraneous to the conclusion. Third, it's best to break down compound statements into their various parts, because it's much easier to work with singular statements.
Now let us consider an example:
1)
[A · (B v C)] ? [(D v E) ? (F ? G)]
~[(D v E) ? (F ? G)]
? ~[A · (B v C)]
If we look at the first premise [A · (B v C)] ? [(D v E) ? (F ? G)] we see that even though it has seven letters it has the form p ? q. And if we look at the second premise ~[(D v E) ? (F ? G)] it is simply a negation of the consequent of the first premise, so it has the form ~q. Hence, the argument form is a substitution instance of the rule of inference known as Modus Tollens (reviewed in post 20).
p = [A · (B v C)]
q = [(D v E) ? (F ? G)]
Note the main connective between p and q in the first premise. This gives you a clue to which rule of inference to be looking for.
Modus Tollens (MT)
p ? q
~q
_____
? ~p
Fallacies:
There are two kinds of fallacies, formal and informal. Formal fallacies are associated with deductive argument forms, i.e, they are invalid forms of deductive arguments. In other words, whether a deductive argument is valid or not is partly what determines if it is fallacious or not. The reason that validity only partly determines whether a deductive argument is fallacious, is that the idea of a fallacy is much broader in scope than validity. So, although invalidity is enough to determine that a deductive argument is formally fallacious, it is not the sole criteria by which we determine if the argument is fallacious. Remember that formal fallacies are just a subset of all fallacies.
We know that Modus Ponens and Modus Tollens are valid deductive forms.
Modus Ponens:
p ? q
p
? q
An invalid form of this argument is known as affirming the consequent:
p ? q
q
? p
Thus, this invalid form is what makes it fallacious. Another example of an invalid form is seen using Modus Tollens.
Modus Tollens:
p ? q
~q
? ~p
The following is an invalid form, called denying the antecedent:
p ? q
~ p
? ~q
Again, any invalid form of a deductive argument is considered a formal fallacy.
We have already talked about how invalid formal arguments are fallacious. We also mentioned that fallacies go beyond the scope of validity, i.e., a deductive argument can be valid and still be fallacious. How? First, if the premises used in a valid formal argument are contradictory, then validity would be useless in establishing the truth of the conclusion. So, based on the fallacy of inconsistency the argument would fail.
The second way a valid argument can be fallacious has to do with a case of begging the question. This means that the conclusion is simply a restatement of what is already assumed in the premises. You are not proving anything, if you are repeating your premises in the conclusion.
The point is that validity is a formal property of deductive arguments, and that it alone does not guarantee that the formal argument is not fallacious. Moreover, these two examples, are examples of informal fallacies. Informal fallacies involve considerations other than validity.
Fallacies continued...
We have already discussed some fallacies that can take place in valid deductive forms, but there are many other kinds of fallacies that fall under general types. For example, there are fallacies of irrelevance, i.e., fallacies that are not relevant to the conclusion of the argument. Instances of such fallacies would include the following:
Appeal to Force: Accept the conclusion or else.
Appeal to Pity: This is an appeal to emotion.
Appeal to the People: It is an appeal to prejudice and majority opinions.
Against the Man: It directs the argument against the person giving the argument, rather than the argument itself.
Appeal to Authority: It is an appeal to an authority, viz., when the authority is not an expert in the field.
Irrelevant Conclusion: It is when the premises are not relevant to the conclusion, and in fact, may support a completely different conclusion.
Red Herring: This is used to steer the argument away from the main thrust of the argument.
From Ignorance: This fallacy draws a conclusion based on the absence of evidence. In other words, it assumes falsely that because there is no proof, then this proves something either true or false.
I will add to the list of fallacies as I go along, since there are literally hundreds of fallacies. However, next I will be saying something about inductive reasoning.
Inductive Reasoning:
Inductive arguments do not guarantee the conclusion, as do deductive arguments. If a deductive argument is sound (i.e., it is valid and the premises are true), then the conclusion follows with logical necessity. That is to say, if the premises are true and the deductive argument is valid, then the conclusion must be true. However, an inductive argument does not guarantee the truth of the conclusion, i.e., it goes beyond the evidence given in the argument to make a new assertion of knowledge. Since inductive arguments advance beyond the evidence to make new claims, the claims, or the conclusions can only be probable. So, it is in this sense that inductive arguments amplify what is contained in the evidence, or the premises. Thus, instead of speaking of inductive arguments as true or false, we say that they are strong or weak based on the strength of the evidence.
Good inductive arguments must include the following:
1) number
2) variety
3) scope of the conclusion
4) truth of the premises
5) cogency
Number refers to the cases cited in the premises, the greater the number the stronger the conclusion. High numbers do not necessitate the conclusion. High numbers only make it more probable that the conclusion follows. For example, compare two witnesses seeing Mary shoot John, as opposed to five witnesses seeing the same event. All things being equal, the latter is stronger than the former.
Variety refers to the variety of cases cited in the premises, i.e., the greater the variety, the stronger the conclusion. For instance, if we have five witnesses see Mary shoot John from one vantage point, i.e., all standing in the same place, it is not as strong as having five witnesses see the same shooting from five different vantage points.
Scope of the conclusion refers to how much your conclusion claims. The more the conclusion claims, the weaker the argument, the less the conclusion claims the stronger the argument. So, the more conservative your conclusion, the stronger the argument.
Truth of the premises obviously means that the supporting evidence must be true. Note that this is also true of deductive arguments. It goes without saying that if your evidence is not true, then the argument is suspect, to say the least.
Finally, cogency, viz., the argument's premises are known to be true by those to whom the argument is given. Any argument will be strengthened if the people to whom the argument is given know or agree that the premises are true.
Fallacies Continued...
Fallacies of Neglected Aspect:
1) Hasty Generalization: One reaches a conclusion based on very little evidence (insufficient statistics), or one reaches a conclusion based on an atypical sampling (biased statistics).
2) False Cause: assuming something is the cause of X when it is not, or if it is the cause, it is only one of the causes.
3) Accident: one ignores an exception to a generalization. A generalization becomes true by excluding counter-examples or counter-evidence (no true Scotsman or the self-sealing argument).
4) Black and Whtie: one commits this fallacy when one accepts false alternatives. In other words, one reduces the alternatives to either X or Y, not allowing the possibility of other outcomes.
5) The Beard: One assumes that because it is difficult to draw a distinction, that no line or distinction can be made.