Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Part C: Valid or Invalid?
*1. A B ~AvB .'.A>B
T F T/F F Valid
V
2. F G H F>(G<>H), ~F'~H .'.~G
F T F T T F Invalid
3. M N ~M ~N v ~M
T/F F T FF T Valid
V
*4. A B C Av(BC) .'.(AB)v(A'C]
F T T T F Invalid
5. P Q R P>~(QR), P'R .~Q
T/F T T T FT Valid
Valid
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Exercise 8.1
Part C
1.
1. H ~B
2. D B
3. H ~D
4. ~B 1, 3, MP
5. ~D 2, 4, MT
3.
1. (F E) ~D
2. S D
3. E S
4. F E 3, Add
5. ~D 1, 4, MP
6. S 2, 5, DS
5.
1. (A E) F
2. E
3. F (D ~C)
4. A ~C
5. A E 2, 4, Conj
6. F 1, 5, MP
7. D ~C 3, 6, MP
8. ~C 7, Simp
7.
1.
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
1.2 Part b odds
1. If the solution turns blue litmus paper red, then the solution contains acid.
The solution turns blue litmus paper red. So, the solution contains acid.
Your answer of `MP: modus ponens' is correct!
2. Lewis is a famous author, only if h
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
7.1 Part B all
1. (A B C)
Your answer of `Not a WFF' is correct!
2. (~B)
Your answer of `Not a WFF' is correct!
3. (~(C) F)
Your answer of `Not a WFF' is correct!
4. (E (~F G)
Your answer of `Not a WFF' is correct!
5. ~(H J) (K L)
Your answer of `Not a WF
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Part B evens
2. An argument is a set of statements where some of the statements, called
the premises, are intended to support another, called the conclusion.
Your answer of `True' is correct!
4. Logic is the study of methods for evaluating whether the pre
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
7.2 A odds
1. A C
Your answer of `False' is correct!
2. ~A
Your answer of `False' is correct!
3. D B
Your answer of `True' is correct!
4. C D
Your answer of `True' is correct!
5. C D
Your answer of `False' is correct!
6. ~C D
Your answer of `False' is cor
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
A Short History of Western Civilization
7
The Age of Discovery and Conquest 13501700
Europeans Explore the Globe
example, approached the kings of Portugal,
France, and England before gaining the
patronage of Isabella of Spain for his grand
undertaking.
T
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Discussion for Liberal Arts
Topics
Freedom
 How can you become free? What restrain your freedom? From what do you want to be
liberated?
 What kind of education do you think will help you become free?
Reality vs. Ideal
 What kind of education do you nee
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
A Short History of Western Civilization
Overview
The Early Modern Era 13501550
What Do We Mean by Early Modern?
Three great movementsthe Renaissance, the Age of Exploration and the Reformation
served to advance Europe into the early modern age. What are
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
A Short History of Western Civilization
16
The Great War: World War I 19141918
sense of optimism and a belief in progress.
Of course, the Belle Epoque was a term
coined, no doubt, by people of the upper
classes. It was not a beautiful age for the
majorit
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
A Short History of Western Civilization
1
The Ancient Greeks:
Founders of Western Civilization 200030 B.C.
Early Greek History;
the Mycenaeans, the Dark Ages
(20001100 B.C.)
Mycenaean in acknowledgment of this
kingdoms wealth and power. These early
Gree
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
1
CHAPTER
Historys Story
N
ow can never take place again. Each moment is surrendered to the past,
to be forgotten or to be remembered. In our personal lives, we treasure or
bury memories on our own. Our larger society, however, entrusts historians with pr
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Exercise 8.5, Part A: 1, 5, 9, 12, 17, 23, 24
1. 1. A B ~(A ~B) 2. A ~B Assume 3. A 2, Simp 4. B 1, 3, MP 5. ~B 2, Simp
6. B ~B 4, 5, Conj 7. ~(A ~B ) 36, RAA
5. 1. (M L) M M 2. ~M Assume 3. ~M L 2, Add 4. M L 3, MI 5. M 1, 4,
MP 6. M ~M 2, 5, Conj 7. M 2
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
Exercise 8.3, Part C: 2, 9, 15, 20, 23, 24
2. 1. ~B C 2. ~B C 3. (~B C) (C ~B) 1, ME 4. ~B C 3, Simp 5. C 4, 2, MP
9. 1. P P 2. Q ~P ~Q 3. P 1, Re 4. ~P 3, DN 5. ~Q 2, 4, MT
*10. 1. ~R 2. (R S) T T 3. (~R S) T 2, Ml 4. ~R S 1, Add 5. T 3, 4, MP
15. 1. ~N
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
20141280 Woobin Bae
Assignment week 4
Lecture 41: introduction to deductive logic
In this video lecture, I learned about some rules for evaluating the
successive arguments. First of this video started with what is a deductive
argument. A deductive argume
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
CHAPTER 6
Categorical Logic: Syllogisms
The starred items are also contained in the Answer Key in the back of The Power of Logic.
Exercise 6.1
Part A: Standard Form
*1.
1. All novels are books.
2. Some works of art are books.
So, 3. Some works of art are
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #12 (Spring 2016)
Reductio ad Absurdum
1.
Reductio ad Absurdum (RAA)
A. Logical basis of RAA: if an assumed statement yields an obviously absurd result,
that statement cant be true.
B. RAA makes u
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #1 (Spring 2016)
Arguments
1. What is Logic?
A. Logic is the study of general principles or rules that govern good reasoning.
B. The subject matter of logic is called an argument. Hence, the notio
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #3 (Spring 2016)
Arguments
1. Two Kinds of Arguments
A. There are two fundamental types of arguments, deductive and inductive. The
difference between them is how strong the inferential claim is ta
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #7 (Spring 2016)
Symbolization
Symbolizing English Arguments
1. Our strategy
A. Step One: Represent argument forms using a symbolic notation.
B. Step Two: Apply rigorous tests to determine the val
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #4 (Spring 2016)
Validity
1. Validity: the criterion used to evaluate the inferential claim of deductive arguments
A. Valid Argument: a deductive argument in which it is impossible for the premise
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #8 (Spring 2016)
Truth Tables
Truth Functional Connectives
1. Truth function
A. We say the five logical connectives:
~
are truth functional because the truth value of a compound statement is a fun
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #2 (Spring 2016)
Arguments
1. What is an Argument?
A. Breakdown of the definition
i. A group of statements
ii. Composed of premises and conclusion
iii. The premises are supposed to support the con
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #9 (Spring 2016)
Truth Tables
Using Abbreviated TTs for Checking Validity
1. Problem of Full TT Method
A. In using full TT, we need to check 2n rows to check the validity of an argument
containing
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #10 (Spring 2016)
Proofs
1. Proofs:
A. Were going to develop a technique by which we can prove that a given argument is
valid.
B. This method requires bunch of rules. (8 implicational rules, 10 eq
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
AHS261: Contemporary Philosophy (Huiyuhl Yi) 1
Study Guide #6 (Spring 2016)
Diagramming Argument
1. Diagramming Arguments
A. Since we often encounter sufficiently complex arguments, it is useful to be able to
pictorially represent an argument.
B. Procedur
Ulsan National Institute of Science and Technology
Contemporary Pholosophy
AHS 261

Spring 2016
replacing the old system that had restricted trade
with certain areas to specific traders. The act also
required that all goods be carried in English ships,
enabling merchants, as Christopher Hill writes,
to buy English and colonial exports cheap and
sell