Combining Texts

All the ideas for 'Writing the Book of the World', 'works' and 'Intro to 2nd ed of Principia Mathematica'

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


108 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / b. Seventeenth century philosophy
Leibniz aims to give coherent rational support for empiricism [Leibniz, by Perkins]
1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is a science of the intelligible nature of being [Leibniz, by Cover/O'Leary-Hawthorne]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
Your metaphysics is 'cheating' if your ontology won't support the beliefs you accept [Sider]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Leibniz tried to combine mechanistic physics with scholastic metaphysics [Leibniz, by Pasnau]
Metaphysics is not about what exists or is true or essential; it is about the structure of reality [Sider]
Extreme doubts about metaphysics also threaten to undermine the science of unobservables [Sider]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
It seems unlikely that the way we speak will give insights into the universe [Sider]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Conceptual analysts trust particular intuitions much more than general ones [Sider]
2. Reason / A. Nature of Reason / 1. On Reason
Reason is the faculty for grasping apriori necessary truths [Leibniz, by Burge]
2. Reason / A. Nature of Reason / 4. Aims of Reason
For Leibniz rationality is based on non-contradiction and the principle of sufficient reason [Leibniz, by Benardete,JA]
2. Reason / B. Laws of Thought / 2. Sufficient Reason
Leibniz said the principle of sufficient reason is synthetic a priori, since its denial is not illogical [Leibniz, by Benardete,JA]
2. Reason / D. Definition / 13. Against Definition
It seems possible for a correct definition to be factually incorrect, as in defining 'contact' [Sider]
Philosophical concepts are rarely defined, and are not understood by means of definitions [Sider]
2. Reason / E. Argument / 6. Conclusive Proof
Leibniz is inclined to regard all truths as provable [Leibniz, by Frege]
3. Truth / A. Truth Problems / 3. Value of Truth
We don't care about plain truth, but truth in joint-carving terms [Sider]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
Orthodox truthmaker theories make entities fundamental, but that is poor for explanation [Sider]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider]
4. Formal Logic / G. Formal Mereology / 1. Mereology
'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider]
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
Which should be primitive in mereology - part, or overlap? [Sider]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
There is a real issue over what is the 'correct' logic [Sider]
'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic is good for mathematics and science, but less good for natural language [Sider]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / a. Units
Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / j. Infinite divisibility
The continuum is not divided like sand, but folded like paper [Leibniz, by Arthur,R]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / k. Infinitesimals
A tangent is a line connecting two points on a curve that are infinitely close together [Leibniz]
Nature uses the infinite everywhere [Leibniz]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
Supervenience is a modal connection [Sider]
7. Existence / C. Structure of Existence / 6. Fundamentals / b. Types of fundamental
Is fundamentality in whole propositions (and holistic), or in concepts (and atomic)? [Sider]
Tables and chairs have fundamental existence, but not fundamental natures [Sider]
7. Existence / C. Structure of Existence / 6. Fundamentals / c. Monads
Leibniz proposes monads, since there must be basic things, which are immaterial in order to have unity [Leibniz, by Jolley]
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Unlike things, stuff obeys unrestricted composition and mereological essentialism [Sider]
7. Existence / D. Theories of Reality / 9. States of Affairs
We must distinguish 'concrete' from 'abstract' and necessary states of affairs. [Sider]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
Accept the ontology of your best theory - and also that it carves nature at the joints [Sider]
8. Modes of Existence / A. Relations / 1. Nature of Relations
If relations can be reduced to, or supervene on, monadic properties of relata, they are not real [Leibniz, by Swoyer]
Relations aren't in any monad, so they are distributed, so they are not real [Leibniz]
8. Modes of Existence / B. Properties / 3. Types of Properties
A property is intrinsic if an object alone in the world can instantiate it [Sider]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Predicates can be 'sparse' if there is a universal, or if there is a natural property or relation [Sider]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
Forms have sensation and appetite, the latter being the ability to act on other bodies [Leibniz, by Garber]
The essence of a thing is its real possibilities [Leibniz, by Cover/O'Leary-Hawthorne]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Leibniz moved from individuation by whole entity to individuation by substantial form [Leibniz, by Garber]
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
The laws-of-the-series plays a haecceitist role [Leibniz, by Cover/O'Leary-Hawthorne]
9. Objects / B. Unity of Objects / 1. Unifying an Object / a. Intrinsic unification
Identity of a substance is the law of its persistence [Leibniz]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Leibniz bases pure primitive entities on conjunctions of qualitative properties [Leibniz, by Adams,RM]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Leibnizian substances add concept, law, force, form and soul [Leibniz, by Cover/O'Leary-Hawthorne]
Substances are essentially active [Leibniz, by Jolley]
9. Objects / C. Structure of Objects / 2. Hylomorphism / c. Form as causal
Leibniz strengthened hylomorphism by connecting it to force in physics [Leibniz, by Garber]
9. Objects / D. Essence of Objects / 9. Essence and Properties
Leibniz's view (that all properties are essential) is extreme essentialism, not its denial [Leibniz, by Mackie,P]
9. Objects / D. Essence of Objects / 15. Against Essentialism
Leibniz was not an essentialist [Leibniz, by Wiggins]
Essence (even if nonmodal) is not fundamental in metaphysics [Sider]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
Two eggs can't be identical, because the same truths can't apply to both of them [Leibniz]
9. Objects / F. Identity among Objects / 9. Sameness
Things are the same if one can be substituted for the other without loss of truth [Leibniz]
10. Modality / A. Necessity / 2. Nature of Necessity
Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking]
10. Modality / B. Possibility / 1. Possibility
How can things be incompatible, if all positive terms seem to be compatible? [Leibniz]
10. Modality / B. Possibility / 5. Contingency
A reason must be given why contingent beings should exist rather than not exist [Leibniz]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Humeans say that we decide what is necessary [Sider]
Modal terms in English are entirely contextual, with no modality outside the language [Sider]
10. Modality / C. Sources of Modality / 3. Necessity by Convention
If truths are necessary 'by convention', that seems to make them contingent [Sider]
Conventionalism doesn't seem to apply to examples of the necessary a posteriori [Sider]
10. Modality / C. Sources of Modality / 4. Necessity from Concepts
Humeans says mathematics and logic are necessary because that is how our concept of necessity works [Sider]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
The world does not contain necessity and possibility - merely how things are [Sider]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Leibniz narrows down God's options to one, by non-contradiction, sufficient reason, indiscernibles, compossibility [Leibniz, by Harré]
Each monad expresses all its compatible monads; a possible world is the resulting equivalence class [Leibniz, by Rumfitt]
Leibniz proposed possible worlds, because they might be evil, where God would not create evil things [Leibniz, by Stewart,M]
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
Leibniz has a counterpart view of de re counterfactuals [Leibniz, by Cover/O'Leary-Hawthorne]
11. Knowledge Aims / A. Knowledge / 2. Understanding
For Leibniz, divine understanding grasps every conceivable possibility [Leibniz, by Perkins]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / a. Idealism
Leibniz said dualism of mind and body is illusion, and there is only mind [Leibniz, by Martin/Barresi]
Leibniz is an idealist insofar as the basic components of his universe are all mental [Leibniz, by Jolley]
14. Science / B. Scientific Theories / 2. Aim of Science
A theory which doesn't fit nature is unexplanatory, even if it is true [Sider]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
If I used Ramsey sentences to eliminate fundamentality from my theory, that would be a real loss [Sider]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Problem predicates in induction don't reflect the structure of nature [Sider]
Two applications of 'grue' do not guarantee a similarity between two things [Sider]
14. Science / C. Induction / 6. Bayes's Theorem
Bayes produces weird results if the prior probabilities are bizarre [Sider]
14. Science / D. Explanation / 1. Explanation / a. Explanation
Explanations must cite generalisations [Sider]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
The essence of substance is the law of its changes, as in the series of numbers [Leibniz]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
If the ultimate explanation is a list of entities, no laws, patterns or mechanisms can be cited [Sider]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
Leibniz introduced the idea of degrees of consciousness, essential for his monads [Leibniz, by Perkins]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
Intentionality is too superficial to appear in the catalogue of ultimate physics [Sider]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
We think we are free because the causes of the will are unknown; determinism is a false problem [Leibniz]
17. Mind and Body / A. Mind-Body Dualism / 3. Panpsychism
Leibniz has a panpsychist view that physical points are spiritual [Leibniz, by Martin/Barresi]
17. Mind and Body / A. Mind-Body Dualism / 4. Occasionalism
Occasionalism give a false view of natural laws, miracles, and substances [Leibniz, by Jolley]
18. Thought / D. Concepts / 2. Origin of Concepts / a. Origin of concepts
Concepts are ordered, and show eternal possibilities, deriving from God [Leibniz, by Arthur,R]
19. Language / A. Nature of Meaning / 6. Meaning as Use
Prior to conventions, not all green things were green? [Sider]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Leibniz was the first modern to focus on sentence-sized units (where empiricists preferred word-size) [Leibniz, by Hart,WD]
19. Language / E. Analyticity / 2. Analytic Truths
Conventions are contingent and analytic truths are necessary, so that isn't their explanation [Sider]
19. Language / E. Analyticity / 4. Analytic/Synthetic Critique
Analyticity has lost its traditional role, which relied on truth by convention [Sider]
20. Action / B. Preliminaries of Action / 2. Willed Action / d. Weakness of will
Limited awareness leads to bad choices, and unconscious awareness makes us choose the bad [Leibniz, by Perkins]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
Leibniz identified beauty with intellectual perfection [Leibniz, by Gardner]
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / g. Moral responsibility
Humans are moral, and capable of reward and punishment, because of memory and self-consciousness [Leibniz, by Jolley]
25. Social Practice / D. Justice / 2. The Law / c. Natural law
Natural law theory is found in Aquinas, in Leibniz, and at the Nuremberg trials [Leibniz, by Jolley]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / g. Atomism
Leibniz rejected atoms, because they must be elastic, and hence have parts [Leibniz, by Garber]
Microscopes and the continuum suggest that matter is endlessly divisible [Leibniz]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / a. Early Modern matter
Leibniz struggled to reconcile bodies with a reality of purely soul-like entities [Jolley on Leibniz]
26. Natural Theory / A. Speculations on Nature / 7. Later Matter Theories / c. Matter as extension
Leibniz eventually said resistance, rather than extension, was the essence of body [Leibniz, by Pasnau]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
Leibniz wanted to explain motion and its laws by the nature of body [Leibniz, by Garber]
The law within something fixes its persistence, and accords with general laws of nature [Leibniz]
26. Natural Theory / D. Laws of Nature / 10. Closure of Physics
Leibniz had an unusual commitment to the causal completeness of physics [Leibniz, by Papineau]
26. Natural Theory / D. Laws of Nature / 11. Against Laws of Nature
The notion of law doesn't seem to enhance physical theories [Sider]
Many of the key theories of modern physics do not appear to be 'laws' [Sider]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
Leibniz uses 'force' to mean both activity and potential [Leibniz]
27. Natural Reality / C. Space / 4. Substantival Space
Space has real betweenness and congruence structure (though it is not the Euclidean concepts) [Sider]
27. Natural Reality / C. Space / 6. Space-Time
The central question in the philosophy of time is: How alike are time and space? [Sider]
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
The spotlight theorists accepts eternal time, but with a spotlight of the present moving across it [Sider]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
God's existence is either necessary or impossible [Leibniz, by Scruton]
28. God / C. Attitudes to God / 5. Atheism
Leibniz was closer than Spinoza to atheism [Leibniz, by Stewart,M]