Combining Texts

All the ideas for 'Philosophy of Mathematics', 'The Theory of Objects' and 'The Structure of Empirical Knowledge'

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


18 ideas

2. Reason / D. Definition / 8. Impredicative Definition
Predicative definitions only refer to entities outside the defined collection [Horsten]
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 / J. Model Theory in Logic / 2. Isomorphisms
A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
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]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
A coherence theory of justification can combine with a correspondence theory of truth [Bonjour]
There will always be a vast number of equally coherent but rival systems [Bonjour]
Empirical coherence must attribute reliability to spontaneous experience [Bonjour]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
A well written novel cannot possibly match a real belief system for coherence [Bonjour]
The objection that a negated system is equally coherent assume that coherence is consistency [Bonjour]
A coherent system can be justified with initial beliefs lacking all credibility [Bonjour]
The best explanation of coherent observations is they are caused by and correspond to reality [Bonjour]
14. Science / A. Basis of Science / 5. Anomalies
Anomalies challenge the claim that the basic explanations are actually basic [Bonjour]