Combining Texts

All the ideas for 'Paradoxes: Form and Predication', 'The Theory of Objects' and 'The Logical Syntax of Language'

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


9 ideas

4. Formal Logic / E. Nonclassical Logics / 6. Free Logic
So-called 'free logic' operates without existence assumptions [Meinong, by George/Van Evra]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
Each person is free to build their own logic, just by specifying a syntax [Carnap]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
There can be impossible and contradictory objects, if they can have properties [Meinong, by Friend]
9. Objects / A. Existence of Objects / 3. Objects in Thought
There are objects of which it is true that there are no such objects [Meinong]
Meinong says an object need not exist, but must only have properties [Meinong, by Friend]
9. Objects / A. Existence of Objects / 4. Impossible objects
Meinong said all objects of thought (even self-contradictions) have some sort of being [Meinong, by Lycan]
The objects of knowledge are far more numerous than objects which exist [Meinong]