Combining Texts

All the ideas for 'Necessary Existents', 'works' and 'Symbolic Reasoning'

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


3 ideas

4. Formal Logic / E. Nonclassical Logics / 5. Relevant Logic
A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend]
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]
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]