Abstraction



next up previous
Next: Additional Concepts Up: Functions and Relations Previous: Concretion

Abstraction

As described in chapter 4, the semantic value of the term (lambda ( ... []) ) is the set of lists associated with the function that maps every list of objects ``matching'' the variable list to the value of when the variables in the variable list are assigned to the objects in the list. We can capture this meaning with the following axiom schema.

(= (lambda ( ... []) ) (setofall (listof ... [] ) (= )))

The semantic value of the term (kappa ( ... []) ) is the set of lists associated with the relation that holds of every list of objects ``matching'' the variable list for which the sentence is satisfied. We can capture this meaning with the following axiom schema.

(= (kappa ( ... []) ) (setofall (listof ... []) )))



Vishal I. Sikka
Wed Dec 7 13:23:42 PST 1994