Note that the logical operators that were obtained in Definition 9 get their
standard meaning.
We can now define the notion of entailment.
Definition 11 Let Γ ∪ {φ} be a set of sentences. Γ (standardly) entails φ,
Γ =s φ, iff, for each model M, and each assignment a for M, VM (φ, a) = 1,
if VM (γ, a) = 1 for all γ ∈ Γ.
It will be useful to have a typographical convention which helps us distinguish
between variables of various types. The following table gives an overview of
the symbols we shall typically use for variables of a fixed type. For variables
whose type is not fixed, we shall continue to use ξ and ζ .
Type |
Variables |
e |
x,y,z,v |
e → t |
X |
s |
i,j |
s × s |
r |
s × s → t |
X,Y |
5 Nonlogical Axioms
There are two kinds of constraints we wish to impose on our models. First,
we want our domain Ds to behave as a set of states. Second, we want De to
behave as the natural numbers.
Starting with the second requirement, we impose the (second order) Peano
Axioms, which for the sake of completeness we shall list here. We refer to
the conjunction of these axioms as PA2 .
-∃x. S(x) = 0
∀x ∀y. S(x) = S(y) → x = y
∀x. x + 0 = x
∀x ∀y. x + S(y) = S(x + y)
∀x. x × 0 = 0
∀x ∀y. x × S(y) = (x × y) + x
∀X ((X (0) ∧∀x(X(x) → X (S(x)))) →∀xX(x))
12
More intriguing information
1. The name is absent2. Innovation in commercialization of pelagic fish: the example of "Srdela Snack" Franchise
3. The Integration Order of Vector Autoregressive Processes
4. Howard Gardner : the myth of Multiple Intelligences
5. The name is absent
6. The name is absent
7. Reconsidering the value of pupil attitudes to studying post-16: a caution for Paul Croll
8. The name is absent
9. Influence of Mucilage Viscosity On The Globule Structure And Stability Of Certain Starch Emulsions
10. Connectionism, Analogicity and Mental Content