Combining Texts

All the ideas for 'The Courtier and the Heretic', 'Truth and Truthmakers' and 'Logicism and Ontological Commits. of Arithmetic'

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


42 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
All metaphysical discussion should be guided by a quest for truthmakers [Armstrong]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Truth-making can't be entailment, because truthmakers are portions of reality [Armstrong]
Armstrong says truthmakers necessitate their truth, where 'necessitate' is a primitive relation [Armstrong, by MacBride]
3. Truth / B. Truthmakers / 6. Making Negative Truths
Negative truths have as truthmakers all states of affairs relevant to the truth [Armstrong]
The nature of arctic animals is truthmaker for the absence of penguins there [Armstrong]
3. Truth / B. Truthmakers / 7. Making Modal Truths
In mathematics, truthmakers are possible instantiations of structures [Armstrong]
One truthmaker will do for a contingent truth and for its contradictory [Armstrong]
The truthmakers for possible unicorns are the elements in their combination [Armstrong]
What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong]
3. Truth / B. Truthmakers / 8. Making General Truths
Necessitating general truthmakers must also specify their limits [Armstrong]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Truth in a model is more tractable than the general notion of truth [Hodes]
Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
The set theory brackets { } assert that the member is a unit [Armstrong]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Classes have cardinalities, so their members must all be treated as units [Armstrong]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Logical atomism builds on the simple properties, but are they the only possible properties? [Armstrong]
7. Existence / D. Theories of Reality / 5. Naturalism
'Naturalism' says only the world of space-time exists [Armstrong]
7. Existence / D. Theories of Reality / 7. Fictionalism
Talk of mirror images is 'encoded fictions' about real facts [Hodes]
7. Existence / D. Theories of Reality / 9. States of Affairs
Truthmaking needs states of affairs, to unite particulars with tropes or universals. [Armstrong]
8. Modes of Existence / B. Properties / 2. Need for Properties
We need properties, as minimal truthmakers for the truths about objects [Armstrong]
8. Modes of Existence / B. Properties / 3. Types of Properties
The determinates of a determinable must be incompatible with each other [Armstrong]
Length is a 'determinable' property, and one mile is one its 'determinates' [Armstrong]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
If tropes are non-transferable, then they necessarily belong to their particular substance [Armstrong]
8. Modes of Existence / C. Powers and Dispositions / 5. Powers and Properties
Properties are not powers - they just have powers [Armstrong]
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
Powers must result in some non-powers, or there would only be potential without result [Armstrong]
How does the power of gravity know the distance it acts over? [Armstrong]
8. Modes of Existence / E. Nominalism / 5. Class Nominalism
The class of similar things is much too big a truthmaker for the feature of a particular [Armstrong]
9. Objects / F. Identity among Objects / 1. Concept of Identity
When entities contain entities, or overlap with them, there is 'partial' identity [Armstrong]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds don't fix necessities; intrinsic necessities imply the extension in worlds [Armstrong]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
General truths are a type of negative truth, saying there are no more ravens than black ones [Armstrong]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
For all being, there is a potential proposition which expresses its existence and nature [Armstrong]
A realm of abstract propositions is causally inert, so has no explanatory value [Armstrong]
24. Political Theory / D. Ideologies / 10. Theocracy
The politics of Leibniz was the reunification of Christianity [Stewart,M]
26. Natural Theory / C. Causation / 4. Naturalised causation
Negative causations supervene on positive causations plus their laws? [Armstrong]
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
The pure present moment is too brief to be experienced [Armstrong]