Homework #5 Solutions
Philosophy 12A
November 24, 2008
Page 158 #6
. ‘If Fermat was a French mathematician, then
he was famous.’ Our domain of discourse (
D
), predicates (
R
,
M
,
F
), and individual constant (
i.e.
, the proper name of the
individual person Fermat) (
f
) are:
M
_ : _ is a mathematician
R
_ : _ is French
F
_ : _ is famous
f
: Fermat
D
: people
In “Loglish,” we have ‘If
Rf
and
Mf
, then
Ff
’. In LMPL, this
becomes: ‘
(Rf
Mf)
→
Ff
’.
Page 158 #16
. ‘If no wealthy economist exists then no fa
mous mathematician exists.’ Our domain of discourse (
D
)
and predicates (
W
,
E
,
F
,
M
) are:
W
_ : _ is wealthy
E
_ : _ is an economist
F
_ : _ is famous
M
_ : _ is a mathematician
D
: people
In “Loglish,” we have ‘If there does not exist an
x
such that
both
Wx
and
Ex
, then there does not exist an
x
such that
both
Fx
and
Mx
’. In LMPL, this becomes the following:
‘
∼
(
∃
x)(Wx
Ex)
→ ∼
(
∃
x)(Fx
Mx)
’.
Page 165 #5
. ‘If it rains, only the killjoys will be happy.’
Our domain of discourse (
D
), predicates (
K
,
H
), and atomic
sentence letter (
R
) are as follows:
K
_ : _ is a killjoy
R
: ‘It rains.’
H
_ : _ is happy
D
: people
In “Loglish,” we have ‘If
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '08
 FITELSON
 Philosophy, Logic, Predicate logic, Firstorder logic, Ext

Click to edit the document details