Professional Documents
Culture Documents
One of the fails of Russell’s theory is when the problem we are trying to
solve has multiple forms e.g. the statement “I think the lecturer is
good” according to Russell’s theory this phrase would mean that there
is only one good lecturer which is wrong because there are a lot of
lecturers in the world, luckily the quantifier domain restriction solves
this issue.
In conclusion, the nature and logic of definite descriptions continues to
be another controversy among philosophers and linguistics.
One point rule
The one point rule is useful in dealing with existential quantifiers. It
states that if you have an existential quantified statement and part of it
pins down an exact value for the quantified variable then you can
remove the quantification and replace the variable with the value
wherever that variable appears in the rest of the statement.
Informally the rule says that if we are able to find at least one value in
the domain of a variable for which the statement is true, then we could
as well eliminate the quantified statement, substitute the value in place
of the variable in the predicate and make it into a proposition.
Example
Consider the statement
“There exists an integer n which is even”
This is represented as;
∃n : Z • n mod 2=0
The first conjunct checks that the term is member of the right set; it is
usually easy to discharge that check. Then, you are left with just the
part of the predicate in which the substitution has been made i.e. 8
mod 2 = 0
The one point rule is majorly applied in the proving of conclusions
involving the use of interface laws.
e.g.
Given the following statements
∀ n: Z • n + 1 > 0 → n ≥ 0
∀ n: Z • n ≥ 0 → n > 0
∃ n: Z • n > 3
In this set of statements, we start with the existential statement and
apply the one point rule by trying to find a value that satisfies this
statement. Let us choose n = 4. Since 4 > 3, we could eliminate the
existential statement and use 4 in place of n in the other statements.
The first statement now becomes 4 + 1 > 0 ⇒ 4 ≥ 0. using hypothesis
syllogism on the first and second statement we arrive at a statement 4
+ 1 > 0.