Do you prefer a white house or a brick house?

Recent: Vancouver

Recent by Chucky Saint Red. My place in Maple Ridge.

LANGER, SUSANNE K (1953)(1967) An Introduction to Symbolic Logic, Dover Publications, New York.

Key symbols

≡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

Do you prefer a white house or a brick house?

On page 166:

According to philosopher, Langer:

The four propositions for our system (see my most recent entries) may be written in statements in regard to specific classes. (166).

W = White houses
B = Brick houses

W x B ⊨ 0 (166).

White houses x (times) brick houses entails null class.

'Null' class means that means 'all its members' equals none at all. This null class could be 'No wives of King Arthur'. (123).

W x -B ⊨ 0 (166).

White houses x minus brick houses entails null class.

-W x B ⊨ 0 (166).

Minus white houses x brick houses entails null class.

-W x -B ⊨ 0 (166).

Minus white houses x minus brick houses entails null class.

Langer explains that W (white houses) and B (brick houses) overlap (W x B ⊨ 0), yet neither is entirely included in the other. (166). In other words, there can be white brick houses, although these would be rare compared to red brick houses.

Neither class is entirely included in the other as we have the use of - minus. (166). The universe class is not exhausted even when both -W and -B are used to ⊨ 0. In other words, a house may be white and not brick (wood). A house may be brick, but not white (red).

St. Mark's Anglican Church: 'Fruit' is accurate, textually.