Five minute walk from Chucky, fifteen from mine & also Buff's. |
Miracle on 224th Street: The Revenge of Chucky v. The Cousin's Buff
Walking downtown to my fine Indian barber, she has several business neighbours celebrating Christmas in Maple Ridge.
Yet another Canadian-American, Christmas on 224th Street, classic. Of course in the fictional world it will be in America.
The Universe of Classes
LANGER, SUSANNE K (1953)(1967) An Introduction to Symbolic Logic, Dover Publications, New York.
≡df = Equivalence by definition
: = Equal (s)
ε = Epsilon and means is
⊃ = Is the same as
⊨ is Entails
˜ = Not
∃ = There exists
∃! = There exists
∴ = Therefore
· = Therefore
< = Is included
v = a logical inclusive disjunction (disjunction is the relationship between two distinct alternatives).
x = variable
· = Conjunction meaning And
0= Null class
The Universe of Classes
Previously we documented a system of houses (157), as example of K=interpreted as houses and a dyadic. (157)
'When a relation-symbol stands in a construct, the number of terms grouped with it reveals the degree of the relation. But when it is not actually used, but merely spoken of, it is sometimes convenient to have some way of denoting its degree. This may be done by adding a numerical subscript; for example, "kd2" means that "killing" is dyadic (a pair), "bt3" that "between" is triadic.' (55).
In such a dyadic system, all the elements have to expressible in terms of two elements. (157). There is a fixed element that relates to an element on the other end of the pole, so to speak. (157).
Every class is therefore relative to some given element. (157).
The defining form of the class must be in dyad (157) such as with Langer's example of K nt2. These are the houses north of a stated element.
Langer explains that if the elements had begun with a triadic (group of three not two as in dyadic relation), such as using the term 'between', then two fixed elements would have been used to generate a class. (157). The class between a and b or the class of terms not between a and b.
Using dyadic:
K=interpreted as houses
nt=interpreted as north of...
K= (a, b, c... =nt2)
a, b, c... are houses north of x within this deductive system and universe of discourse.
My example:
C=interpreted as Cities
a= Prince George
b= Prince Rupert
c= Yellowknife
C= (a, b, c...=nt2)
a, b, c... are cities north of x=Vancouver within this deductive system and universe of discourse.
This serves as a logical means of categorization.
If this is legitimate, this is a pretty sad attempt to bring in attenders. |
No comments:
Post a Comment