Chinese, Mandarin

Spanish

English

Hindi

Arabic

Portuguese

Bengali

Russian

Japanese

Punjabi

German

Javanese

Malay

Telugu

Vietnamese

Korean

French

Marathi

Tamil

Urdu

Turkish

Italian

Chinese, Yue / Cantonese

Thai

Gujarati

Chinese, Jin

Chinese, Min Nan

Persian, Dari

Persian, Western

Polish

Pashto

Kannada

Chinese, Xiang

Malayalam

Sundanese

Hausa

Odia

Burmese

Chinese, Hakka

Ukrainian

Bihari, Bhojpuri

Tagalog

Yoruba

Bihari, Maithili

Uzbek

Sindhi

Amharic

Fula

Romanian

Oromo

Igbo

Azerbaijani

Chinese, Gan

Dutch

Kurdish, Central

Kurdish, Northern

Kurdish, Southern

Malagasy

Lahnda, Saraiki

Nepali

Sinhalese

Chittagonian

Zhuang

Khmer

Turkmen

Assamese

Madurese

Somali

Marwari

Bihari, Magahi

Haryanvi

Hungarian

Chhattisgarhi

Greek, Modern

Chewa

Dakhini

Akan, Twi

Akan, Fante

Kazakh

Chinese, Min Bei

Sylheti

Zulu

Czech

Kinyarwanda

Marwari, Dhundhari

Haitian Creole

Chinese, Min Dong

Ilocano

Quechua

Kirundi

Swedish

Hmong

Shona

Uyghur

Hiligaynon

Mossi

Xhosa

Belarusian

Balochi

Philosophy

<OpenstaxParagraph>
	<OpenstaxTerm>Deductive</OpenstaxTerm> inferences, which are inferences arrived at through deduction (deductive reasoning), can guarantee truth because they focus on the structure of arguments. Here is an example:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		Either you can go to the movies tonight, or you can go to the party tomorrow.
	</OpenstaxLi>
	<OpenstaxLi>
		You cannot go to the movies tonight.
	</OpenstaxLi>
	<OpenstaxLi>
		So, you can go to the party tomorrow.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	This argument is good, and you probably knew it was good even without thinking too much about it. The argument uses “or,” which means that at least one of the two statements joined by the “or” must be true. If you find out that one of the two statements joined by “or” is false, you <OpenstaxEm>know</OpenstaxEm> that the other statement is true by using deduction. Notice that this inference works no matter what the statements are. Take a look at the structure of this form of reasoning:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		X or Y is true.
	</OpenstaxLi>
	<OpenstaxLi>
		X is not true.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore, Y is true.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	By replacing the statements with variables, we get to the <OpenstaxEm>form</OpenstaxEm> of the initial argument above. No matter what statements you replace X and Y with, if those statements are true, then the conclusion must be true as well. This common argument form is called a disjunctive syllogism.
</OpenstaxParagraph>
<OpenstaxH3>Valid Deductive Inferences</OpenstaxH3>
<OpenstaxParagraph>
	A good deductive inference is called a <OpenstaxTerm>valid inference</OpenstaxTerm>, meaning its structure guarantees the truth of its conclusion given the truth of the premises. Pay attention to this definition. The definition does not say that valid arguments <OpenstaxEm>have</OpenstaxEm> true conclusions. Validity is a property of the logical forms of arguments, and remember that logic and truth are distinct. The definition states that valid arguments have a form such that <OpenstaxEm>if</OpenstaxEm> the premises are true, then the conclusion must be true. You can test a deductive inference’s validity by testing whether the premises lead to the conclusion. If it is impossible for the conclusion to be false when the premises are assumed to be true, then the argument is valid.
</OpenstaxParagraph>
<OpenstaxParagraph>
	Deductive reasoning can use a number of valid argument structures:
</OpenstaxParagraph>
<OpenstaxParagraph>
	<OpenstaxU>Disjunctive Syllogism</OpenstaxU>:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		X or Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Not Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore X.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	<OpenstaxU>Modus Ponens</OpenstaxU>:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		If X, then Y.
	</OpenstaxLi>
	<OpenstaxLi>
		X.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore Y.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	<OpenstaxU>Modus Tollens</OpenstaxU>:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		If X, then Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Not Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore, not X.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	You saw the first form, disjunctive syllogism, in the previous example. The second form, modus ponens, uses a conditional, and if you think about necessary and sufficient conditions already discussed, then the validity of this inference becomes apparent. The conditional in premise 1 expresses that X is sufficient for Y. So if X is true, then Y must be true. And premise 2 states that X is true. So the conclusion (the truth of Y) necessarily follows. You can also use your knowledge of necessary and sufficient conditions to understand the last form, modus tollens. Remember, in a conditional, the consequent is the necessary condition. So Y is necessary for X. But premise 2 states that Y is <OpenstaxEm>not</OpenstaxEm> true. Because Y must be the case if X is the case, and we are told that Y is false, then we know that X is also false. These three examples are only a few of the numerous possible valid inferences.
</OpenstaxParagraph>
<OpenstaxH3>Invalid Deductive Inferences</OpenstaxH3>
<OpenstaxParagraph>
	A bad deductive inference is called an <OpenstaxTerm>invalid inference</OpenstaxTerm>. In invalid inferences, their structure does not guarantee the truth of the conclusion—that is to say, even if the premises are true, the conclusion <OpenstaxEm>may</OpenstaxEm> be false. This does not mean that the conclusion <OpenstaxEm>must</OpenstaxEm> be false, but that we simply cannot know whether the conclusion is true or false. Here is an example of an invalid inference:
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		If it snows more than three inches, the schools are mandated to close.
	</OpenstaxLi>
	<OpenstaxLi>
		The schools closed.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore, it snowed more than three inches.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	If the premises of this argument are true (and we assume they are), it may or may not have snowed more than three inches. Schools close for many reasons besides snow. Perhaps the school district experienced a power outage or a hurricane warning was issued for the area. Again, you can use your knowledge of necessary and sufficient conditions to understand why this form is invalid. Premise 2 claims that the necessary condition is the case. But the truth of the necessary condition does not guarantee that the sufficient condition is true. The conditional states that the closing of schools is guaranteed when it has snowed more than 3 inches, <OpenstaxEm>not</OpenstaxEm> that snow of more than 3 inches is guaranteed if the schools are closed.
</OpenstaxParagraph>
<OpenstaxParagraph>
	Invalid deductive inferences can also take general forms. Here are two common invalid inference forms:
</OpenstaxParagraph>
<OpenstaxParagraph>
	<OpenstaxU>Affirming the Consequent:</OpenstaxU>
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		If X, then Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore, X.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	<OpenstaxU>Denying the Antecedent:</OpenstaxU>
</OpenstaxParagraph>
<OpenstaxOl>
	<OpenstaxLi>
		If X, then Y.
	</OpenstaxLi>
	<OpenstaxLi>
		Not X.
	</OpenstaxLi>
	<OpenstaxLi>
		Therefore, not Y.
	</OpenstaxLi>
</OpenstaxOl>
<OpenstaxParagraph>
	You saw the first form, affirming the consequent, in the previous example concerning school closures. The fallacy is so called because the truth of the consequent (the necessary condition) is affirmed to infer the truth of the antecedent statement. The second form, denying the antecedent, occurs when the truth of the antecedent statement is denied to infer that the consequent is false. Your knowledge of sufficiency will help you understand why this inference is invalid. The truth of the antecedent (the sufficient condition) is only enough to know the truth of the consequent. But there may be more than one way for the consequent to be true, which means that the falsity of the sufficient condition does not guarantee that the consequent is false. Going back to an earlier example, that a creature is not a dog does not let you infer that it is not a mammal, even though being a dog is sufficient for being a mammal. Watch the video below for further examples of conditional reasoning. See if you can figure out which incorrect selection is structurally identical to affirming the consequent or denying the antecedent.
</OpenstaxParagraph>
<OpenstaxNote>
	<OpenstaxNoteTitle> Video </OpenstaxNoteTitle> <OpenstaxH3> The Wason Selection Task </OpenstaxH3>
	<OpenstaxIframe src="https://openstax.org/r/psychology-test" width="660" height="371.4" />
</OpenstaxNote>
<OpenstaxH3>Testing Deductive Inferences</OpenstaxH3>
<OpenstaxParagraph>
	Earlier it was explained that logical analysis involves assuming the premises of an argument are true and then determining whether the conclusion logically follows, given the truth of those premises. For deductive arguments, if you can come up with a scenario where the premises are true but the conclusion is false, you have proven that the argument is invalid. An instance of a deductive argument where the premises are all true but the conclusion false is called a <OpenstaxTerm>counterexample</OpenstaxTerm>. As with counterexamples to statements, counterexamples to arguments are simply instances that <OpenstaxEm>run counter to</OpenstaxEm> the argument. Counterexamples to statements show that the statement is false, while counterexamples to deductive arguments show that the argument is invalid. Complete the exercise below to get a better understanding of coming up with counterexamples to prove invalidity.
</OpenstaxParagraph>
<OpenstaxNote>
	<OpenstaxNoteTitle> Think Like a Philosopher </OpenstaxNoteTitle> 
	<OpenstaxParagraph>
		Using the sample arguments given, come up with a counterexample to prove that the argument is invalid. A counterexample is a scenario in which the premises are true but the conclusion is false. Solutions are provided below.
	</OpenstaxParagraph>
	<OpenstaxParagraph>
		Argument 1:
	</OpenstaxParagraph>
	<OpenstaxOl>
		<OpenstaxLi>
			If an animal is a dog, then it is a mammal.
		</OpenstaxLi>
		<OpenstaxLi>
			Charlie is not a dog.
		</OpenstaxLi>
		<OpenstaxLi>
			Therefore, Charlie is not a mammal.
		</OpenstaxLi>
	</OpenstaxOl>
	<OpenstaxParagraph>
		Argument 2:
	</OpenstaxParagraph>
	<OpenstaxOl>
		<OpenstaxLi>
			All desserts are sweet foods.
		</OpenstaxLi>
		<OpenstaxLi>
			Some sweet foods are low fat.
		</OpenstaxLi>
		<OpenstaxLi>
			So all desserts are low fat.
		</OpenstaxLi>
	</OpenstaxOl>
	<OpenstaxParagraph>
		Argument 3:
	</OpenstaxParagraph>
	<OpenstaxOl>
		<OpenstaxLi>
			If Jad doesn’t finish his homework on time, he won’t go to the party.
		</OpenstaxLi>
		<OpenstaxLi>
			Jad doesn’t go to the party.
		</OpenstaxLi>
		<OpenstaxLi>
			Jad didn’t finish his homework on time.
		</OpenstaxLi>
	</OpenstaxOl>
	<OpenstaxParagraph>
		When you have completed your work on the three arguments, check your answers against the solutions below.
	</OpenstaxParagraph>
	<OpenstaxParagraph>
		Solution 1: Invalid. If you imagine that Charlie is a cat (or other animal that is not a dog but is a mammal), then both the premises are true, while the conclusion is false. Charlie is not a dog, but Charlie <OpenstaxEm>is</OpenstaxEm> a mammal.
	</OpenstaxParagraph>
	<OpenstaxParagraph>
		Solution 2: Invalid. Buttercream cake is a counterexample. Buttercream cake is a dessert and is sweet, which shows that not all desserts are low fat.
	</OpenstaxParagraph>
	<OpenstaxParagraph>
		Solution3: Invalid. Assuming the first two premises are true, you can still imagine that Jad is too tired after finishing his homework and decides not to go to the party, thus making the conclusion false.
	</OpenstaxParagraph>
</OpenstaxNote>

5.4.1 Deductive Reasoning

1 Introduction to Philosophy

1.1 What Is Philosophy?

1.1.1 Historical Origins of Philosophy

1.1.2 How It All Hangs Together

1.2 How Do Philosophers Arrive at Truth?

1.2.1 Sources of Evidence

1.2.2 Logic

1.2.3 Conceptual Analysis

1.2.4 Trade-offs

1.3 Socrates as a Paradigmatic Historical Philosopher

1.3.1 “The Life Which Is Unexamined Is Not Worth Living”

1.3.2 Human Wisdom Is Worth Little or Nothing

1.3.3 The Importance of Doing No Harm

1.4 An Overview of Contemporary Philosophy

1.4.1 What Can You Do with a Philosophy Major?

1.4.2 An Overview of Your Philosophy Textbook

2 Critical Thinking, Research, Reading, and Writing

2.1 The Brain Is an Inference Machine

2.1.1 The Brain’s Adaptive Ability to Plan Ahead

2.1.2 The Evolutionary Advantage of Shortcuts

2.2 Overcoming Cognitive Biases and Engaging in Critical Reflection

2.2.1 Critical Reflection and Metacognition

2.2.2 Cognitive Biases

2.3 Developing Good Habits of Mind

2.3.1 Strive for Objectivity

2.3.2 Adopt Epistemic Humility

2.4 Gathering Information, Evaluating Sources, and Understanding Evidence

2.4.1 Start with a Strong Foundation

2.4.2 The SIFT Method (Four Moves for Student Fact Checkers)

2.5 Reading Philosophy

2.5.1 Prepare to Read

2.5.2 Engaging with Philosophical Texts

2.5.3 Pre-reading

2.5.4 First Read

2.5.5 Close Read

2.6 Writing Philosophy Papers

2.6.1 Identify Claims

2.6.2 Collect Evidence and Build Your Case

2.6.3 Organize Your Paper

3 The Early History of Philosophy around the World

3.1 Indigenous Philosophy

3.1.1 Challenges in Researching Indigenous Philosophy

3.1.2 Indigenous African Philosophy

3.1.3 Indigenous North American Philosophical Thought

3.1.4 Mesoamerican Philosophy

3.2 Classical Indian Philosophy

3.2.1 The Vedic Tradition

3.2.2 Classical Indian Darshanas

3.3 Classical Chinese Philosophy

3.3.1 Early Chinese Philosophical Thought prior to Confucius

3.3.2 Confucianism

3.3.3 Daoism

3.3.4 Mohism

4 The Emergence of Classical Philosophy

4.1 Historiography and the History of Philosophy

4.1.1 Presentist Approach

4.1.2 Contextualist Approach

4.1.3 Hermeneutic Approach

4.2 Classical Philosophy

4.2.1 Egyptian Origins of Classical Philosophy

4.2.2 Ancient Greek Philosophy

4.2.3 The Presocratics

4.2.4 Socrates and Plato

4.2.5 Aristotle

4.2.6 Epicureans

4.2.7 Roman Philosophy

4.3 Jewish, Christian, and Islamic Philosophy

4.3.1 Defining Jewish, Christian, and Islamic Philosophy

4.3.2 Early Jewish Philosophy

4.3.3 Early Christian Philosophy

4.3.4 Islamic Philosophy

4.3.5 Late Medieval Philosophy in Christian Europe

4.3.6 Jewish Philosophers in the Christian and Islamic Worlds

4.3.7 The Rise of Reason in the Early Modern Era

5 Logic and Reasoning

5.1 Philosophical Methods for Discovering Truth

5.1.1 Dialectics and Philosophical Argumentation

5.1.2 The Use of Reason to Discover Truth

5.1.3 Testing Hypotheses

5.1.4 Laws of Logic

5.1.5 Normativity in Logic

5.2 Logical Statements

5.2.1 Conditionals

5.2.2 Universal Statements

5.3 Arguments

5.3.1 Getting to the Premises

5.3.2 The Difference between Truth and Logic

5.4 Types of Inferences

5.4.2 Inductive Inferences

5.4.3 Abductive Reasoning

5.5 Informal Fallacies

5.5.1 Fallacies of Relevance

5.5.2 Fallacies of Weak Induction

5.5.3 Fallacies of Unwarranted Assumption

5.5.4 Fallacies of Diversion

6 Metaphysics

6.1 Substance

6.1.1 Fundamentality: The One and the Many

6.1.2 Ontological Perspectives on Substance