Combining Texts

All the ideas for 'Truth (frags)', 'Symbolic Reasoning' and 'Truth-maker Realism: response to Gregory'

expand these ideas     |    start again     |     specify just one area for these texts


2 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation
Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null class is the class with all the non-existents as its members [MacColl, by Lackey]