Combining Texts

All the ideas for 'fragments/reports', 'Truthmakers and Converse Barcan Formula' and 'The Advancement of Learning'

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


49 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is the best knowledge, because it is the simplest [Bacon]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon]
1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon]
Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon]
2. Reason / A. Nature of Reason / 1. On Reason
Parmenides was much more cautious about accepting ideas than his predecessors [Simplicius on Parmenides]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
The truthmaker principle requires some specific named thing to make the difference [Williamson]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Truthmaker is incompatible with modal semantics of varying domains [Williamson]
The converse Barcan formula will not allow contingent truths to have truthmakers [Williamson]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
If metaphysical possibility is not a contingent matter, then S5 seems to suit it best [Williamson]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If the domain of propositional quantification is constant, the Barcan formulas hold [Williamson]
Converse Barcan: could something fail to meet a condition, if everything meets that condition? [Williamson]
5. Theory of Logic / G. Quantification / 1. Quantification
Not all quantification is either objectual or substitutional [Williamson]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances [Williamson]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
Not all quantification is objectual or substitutional [Williamson]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
No necessity could produce Being either later or earlier, so it must exist absolutely or not at all [Parmenides]
Being must be eternal and uncreated, and hence it is timeless [Parmenides]
Being is not divisible, since it is all alike [Parmenides]
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
There is no such thing as nothing [Parmenides]
The realm of necessary non-existence cannot be explored, because it is unknowable [Parmenides]
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
Parmenides at least saw Being as the same as Nous, and separate from the sensed realm [Parmenides, by Plotinus]
7. Existence / B. Change in Existence / 1. Nature of Change
All our concepts of change and permanence are just names, not the truth [Parmenides]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
If 'fact' is a noun, can we name the fact that dogs bark 'Mary'? [Williamson]
9. Objects / E. Objects over Time / 1. Objects over Time
Something must be unchanging to make recognition and knowledge possible [Aristotle on Parmenides]
10. Modality / A. Necessity / 5. Metaphysical Necessity
The first way of enquiry involves necessary existence [Parmenides]
10. Modality / A. Necessity / 8. Transcendental Necessity
Necessity sets limits on being, in order to give it identity [Parmenides]
10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects
Our ability to count objects across possibilities favours the Barcan formulas [Williamson]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
Thinking implies existence, because thinking depends on it [Parmenides]
12. Knowledge Sources / B. Perception / 1. Perception
Parmenides treats perception and intellectual activity as the same [Theophrastus on Parmenides]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Only reason can prove the truth of facts [Parmenides]
12. Knowledge Sources / D. Empiricism / 1. Empiricism
We don't assume there is no land, because we can only see sea [Bacon]
14. Science / A. Basis of Science / 3. Experiment
Science moves up and down between inventions of causes, and experiments [Bacon]
14. Science / B. Scientific Theories / 5. Commensurability
Many different theories will fit the observed facts [Bacon]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
People love (unfortunately) extreme generality, rather than particular knowledge [Bacon]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / c. Purpose denied
Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
There could be movement within one thing, as there is within water [Aristotle on Parmenides]
The one can't be divisible, because if it was it could be infinitely divided down to nothing [Parmenides, by Simplicius]
Defenders of the One say motion needs the void - but that is not part of Being [Parmenides, by Aristotle]
The one is without any kind of motion [Parmenides]
Reason sees reality as one, the senses see it as many [Aristotle on Parmenides]
Reality is symmetrical and balanced, like a sphere, with no reason to be greater one way rather than another [Parmenides]
People who say that the cosmos is one forget that they must explain movement [Aristotle on Parmenides]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / f. Ancient elements
He taught that there are two elements, fire the maker, and earth the matter [Parmenides, by Diog. Laertius]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
Essences are part of first philosophy, but as part of nature, not part of logic [Bacon]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
It is feeble-minded to look for explanations of everything being at rest [Aristotle on Parmenides]
27. Natural Reality / C. Space / 1. Void
The void can't exist, and without the void there can't be movement or separation [Parmenides, by Aristotle]
27. Natural Reality / D. Time / 3. Parts of Time / a. Beginning of time
What could have triggered the beginning [of time and being]? [Parmenides]
27. Natural Reality / E. Cosmology / 1. Cosmology
He was the first to discover the identity of the Morning and Evening Stars [Parmenides, by Diog. Laertius]
He was the first person to say the earth is spherical [Parmenides, by Diog. Laertius]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
A thing can't be the only necessary existent, because its singleton set would be as well [Williamson]