Farah Al Okar
Macroeconomics
Dr. Sanjay Modak
Term Paper 1
Question 3 (DRAFT)
The Philips curve was introduced in 1958 by William Philips, a New Zealand born economist, who did a
study of the correlation between unemployment and inflation. The Philips cur
The Case of the Amorous Students
You are one of the members of the Judicial Commission of Kleinschul College, a
small liberal arts college somewhere in the United States. Kleinschul College was
founded by a group of Baptist ministers in 1893 to provide a
A n s w e r s t o E x e r c i s e s i n V o l u m e I1
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
. . 7 5
. . 7 6
. . 7 9
. . 8 2
. . 8 7
. . 9 9
. 1 1 8
. . 1 3 2
.
1 0 . .
Chapter 9
152
Chapter
172
a) CidistdLlc?rtba
More on Truth Trees
for Predicate Logic
81. CONTRADICTIONS, LOGICAL TRUTH, LOGICAL
EQUNALENCE, AND CONSISTENCY
In this section we are going to see how to apply the truth tree method to
hs il
test predicate logic sentences for some familiar properties. Ti
Index
Ambiguity:
lexical, 54
in quantified sentences, 4850
structural, 5354
Ancestor, 207
Arbitrary names, 7476
Argument:
of a function, 147
of a predicate, 3
Basis step, 170, 171
for strong induction, 17374
Binding, 7
Boldface:
for names, 8, 15859
f
71. The Rule for Universal Owntifieation
Truth Trees for
Predicate Logic:
Fundamentals
71. THE RULE FOR UNIVERSAL QUANTIFICATION
You have already learned the truth tree method for sentence logic. And
now that you have a basic understanding of predicate
Contents
A Modem
Formal Logic
Primer
Volume
LI
PREFACE TO VOLUMES I AND 11: A Guide to the
Primer
PART I: PREDICATE LOGIC
1.
PREDICATE LOGIC: Syntax
11.
12.
Quantifiers and Variables
13.
2.
We Need More Logical Form
T he Sentences of Predicate Logic
1
41.
Transcription
41. RESTRICTED QUANTIFIERS
For three chapters now I have been merrily transcribing '(3x)' both as
'something' and 'someone', and I have been transcribing '(Vx)' both as
'everything' and 'everyone.' I justified this by saying that when
Predicate Logic
Semantics and Validity
21. INTERPRETATIONS
.
Recall that we used truth tables to give very precise definitions of the
meaning of '&','v' '', '3, nd 'BE'. We would like to do the same for the
a
meaning of quantifiers. But, as you will see
More on Natural
Deduction for Predicate
Logic
61. MULTIPLE QUANTIFICATION AND HARDER PROBLEMS
I n chapter 5 I wanted you to focus on understanding the basic rules for
quantifiers. So there I avoided the complications that arise when we have
sentences, su
A Modem
Formal Logic
Primer
Volume
II
Predicate Logic
Syntax
11. WE NEED M R L GC L FORM
OE O I A
In Volume I you gained a firm foundation in sentence logic. But there
must be more to logic, as you can see from the next examples. Consider
the following t
32. Quantifier Scope, Bound Variabks, and Free Variables
More about Quantifiers
3

49
Next, (5) says that everyone loves someone: Every person is such that
there is one person such that the first loves the second. In a world in
which (5) is true, each p
T ruth Trees for
Sentence Logic
what the rules are supposed to do. Our objective is to make line 1 true,
in all the minimally sufficient ways that this can be done. Because line 1
is a disjunction, we must do this by making each of the disjuncts true
alon
Truth Trees for
Sentence Logic
Fundamentals
81. PROVING VALIDITY WITH TRUTH T E S
RE
You know, from the exercises of chapter 4, that you can use truth tables
to check the validity of any argument of sentence logic. But such truth
table checks for validit
Natural Deduction
for Sentence Logic
We will pursue the obvious strategy of getting the conclusion by constructing a subderivation from the assumption of 'A' to 'B3C' as conclusion:
Derived Rules
and Derivations
without Premises
We have reduced our task t
Natural Deduction
for Sentence Logic
Strategies
61. CONSTRUCTING CORRECT DERIVATIONS
Knowing the rules for constructing derivations is one thing. Being able to
apply the rules successfully is another. There are no simple mechanical
guidelines to tell you

A Modem
Formal Logic
Primer
Volume
Basic Ideas and Tools
I.

Sentence Logic
11. LOGIC AS THE SCIENCE OF ARGUMENT
Adam is happy, or so I tell you. If you don't believe me, I try to convince
i
s
you with an argument: Adam just got an 'A' o n h logic exa
Logical Equivalence,
Logical Truths,
a nd Contradictions
3 1 LOGICAL EQUIVALENCE
.
I introduced logic as the science of arguments. But before turning to arguments, we need to extend and practice our understanding of logic's.
basic tools as I introduced t
Natural Deduction
for Sentence Logic
Fundamentals
51. THE IDEA OF NATURAL DEDUCTION
I n chapter 4 you learned that saying an argument is valid means that any
case which makes all of the argument's premises true also makes its conclusion true. And you lea
& I. valid*
Validity
and Conditionals
47
case 1
case 2
case 3
case 4
We know that cases 1 through 4 constitute all the ways in which any of
the sentences in the argument may turn out to be true or false. T i
hs
enables us to explain very exactly what we m
Transcrbtion between
English and Sentence
Logic
Z
21. TRANSCRIPTION VS. TRANSLATION
As we saw in chapter 1, for many English sentences we can find corresponding sentences of sentence logic. For example, if 'A' stands for the
sentence 'Adam loves Eve.' an
Contents
A Modern
Formal Logic
Primer
Volume
I
Sentence Logic
PREFACE TO VOLUMES I AND 11:
1.
A Guide to the
Primer
BASIC IDEAS AND TOOIS
.1
11.
Logic As the Science of Argument
12.
Sentences and Connectives
13.
T ruth Tables and the Meaning of '', '&
1. Indicate whether each is an argument. If yes, state the conclusion:
a. Savings and loan deregulation does not constitute getting the government out of
business decisions. All those deposits are insured by the gove
Chapter 5: Argument
reconstruction
The importance of the principle of
charity in argument reconstruction
When reconstructing an argument, try to formulate
the version of that is as strong as possible.
That is, find the strongest version of the argument
Homework 2 will be posted tonight
Test 1 scores will be available on Blackboard tonight
You can pick up Test 1 after class or (preferably) at
office hours on Wednesday
Chapter 5: Argument
reconstruction
Implicit premises
Specific implicit premises
Th
I forgot your tests, Im sorry! I will return them on
Friday in class.
Classwork will be Friday.
Homework 1 grades are up; solutions will be up
right after class, along with slides from this week.
Argument reconstruction
Shes a college professor. So, s
Announcements
Classwork on Friday
Homework 1 is due October 9
Test 1 is October 21
Office hours cancelled today: feel free to email me.
Review of categorical statements
We want to be able to evaluate the validity of
arguments that include categorical
Arguments
What is an argument?
An argument is a set of statements, but not just any
set of statements.
The statements in an argument must have a certain
relationship with one another.
The relevant relationship is between the premises of
an argument and
Chapter 5: Argument
reconstruction
From NYT, Sept. 2, 2013: which are arguments?
This is such a mess, largely of the President's making, so determined was he to
both appear to be tough while simultaneously avoiding the impetuous mistakes of
the past 12 ye