Combining Texts

All the ideas for 'fragments/reports', 'Truth and Truthmakers' and 'Elements of Geometry'

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


48 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
All metaphysical discussion should be guided by a quest for truthmakers [Armstrong]
2. Reason / E. Argument / 6. Conclusive Proof
Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege]
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]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / c. Derivations rules of PC
If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon]
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]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
A unit is that according to which each existing thing is said to be one [Euclid]
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 / 5. The Infinite / a. The Infinite
Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
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 / 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 / C. Sources of Modality / 5. Modality from Actuality
Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
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]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
26. Natural Theory / C. Causation / 4. Naturalised causation
Negative causations supervene on positive causations plus their laws? [Armstrong]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
27. Natural Reality / D. Time / 3. Parts of Time / e. Present moment
The pure present moment is too brief to be experienced [Armstrong]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]