Combining Texts

All the ideas for 'Logological Fragments II', 'Forget the 'correspondence theory of truth'' and 'On the General Idea of Proof Theory'

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

10 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / c. Philosophy as generalisation
19588 The highest aim of philosophy is to combine all philosophies into a unity [Novalis]
19598 Philosophy relies on our whole system of learning, and can thus never be complete [Novalis]
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / d. Philosophy as puzzles
19586 Philosophers feed on problems, hoping they are digestible, and spiced with paradox [Novalis]
1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
19587 Philosophy aims to produce a priori an absolute and artistic world system [Novalis]
3. Truth / A. Truth Problems / 5. Truth Bearers
10845 To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
10847 Truthmakers are about existential grounding, not about truth [Lewis]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
10846 Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
19597 Logic (the theory of relations) should be applied to mathematics [Novalis]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13827 Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
13826 Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]