113 ideas
19359 | Leibniz aims to give coherent rational support for empiricism [Leibniz, by Perkins] |
13086 | Metaphysics is a science of the intelligible nature of being [Leibniz, by Cover/O'Leary-Hawthorne] |
15010 | Your metaphysics is 'cheating' if your ontology won't support the beliefs you accept [Sider] |
16710 | Leibniz tried to combine mechanistic physics with scholastic metaphysics [Leibniz, by Pasnau] |
14977 | Metaphysics is not about what exists or is true or essential; it is about the structure of reality [Sider] |
14994 | Extreme doubts about metaphysics also threaten to undermine the science of unobservables [Sider] |
15003 | It seems unlikely that the way we speak will give insights into the universe [Sider] |
14986 | Conceptual analysts trust particular intuitions much more than general ones [Sider] |
16897 | Reason is the faculty for grasping apriori necessary truths [Leibniz, by Burge] |
3346 | For Leibniz rationality is based on non-contradiction and the principle of sufficient reason [Leibniz, by Benardete,JA] |
3347 | Leibniz said the principle of sufficient reason is synthetic a priori, since its denial is not illogical [Leibniz, by Benardete,JA] |
15015 | It seems possible for a correct definition to be factually incorrect, as in defining 'contact' [Sider] |
14981 | Philosophical concepts are rarely defined, and are not understood by means of definitions [Sider] |
8627 | Leibniz is inclined to regard all truths as provable [Leibniz, by Frege] |
14992 | We don't care about plain truth, but truth in joint-carving terms [Sider] |
15012 | Orthodox truthmaker theories make entities fundamental, but that is poor for explanation [Sider] |
15023 | The Barcan schema implies if X might have fathered something, there is something X might have fathered [Sider] |
15004 | 'Gunk' is an object in which proper parts all endlessly have further proper parts [Sider] |
14984 | Which should be primitive in mereology - part, or overlap? [Sider] |
14980 | There is a real issue over what is the 'correct' logic [Sider] |
15000 | 'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider] |
15020 | Classical logic is good for mathematics and science, but less good for natural language [Sider] |
15029 | Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider] |
15019 | Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider] |
15001 | 'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider] |
9147 | Number cannot be defined as addition of ones, since that needs the number; it is a single act of abstraction [Fine,K on Leibniz] |
19375 | The continuum is not divided like sand, but folded like paper [Leibniz, by Arthur,R] |
18080 | A tangent is a line connecting two points on a curve that are infinitely close together [Leibniz] |
18081 | Nature uses the infinite everywhere [Leibniz] |
15017 | Supervenience is a modal connection [Sider] |
15008 | Is fundamentality in whole propositions (and holistic), or in concepts (and atomic)? [Sider] |
15013 | Tables and chairs have fundamental existence, but not fundamental natures [Sider] |
7565 | Leibniz proposes monads, since there must be basic things, which are immaterial in order to have unity [Leibniz, by Jolley] |
15014 | Unlike things, stuff obeys unrestricted composition and mereological essentialism [Sider] |
15009 | We must distinguish 'concrete' from 'abstract' and necessary states of affairs. [Sider] |
14983 | Accept the ontology of your best theory - and also that it carves nature at the joints [Sider] |
10419 | If relations can be reduced to, or supervene on, monadic properties of relata, they are not real [Leibniz, by Swoyer] |
13078 | Relations aren't in any monad, so they are distributed, so they are not real [Leibniz] |
14978 | A property is intrinsic if an object alone in the world can instantiate it [Sider] |
14995 | Predicates can be 'sparse' if there is a universal, or if there is a natural property or relation [Sider] |
12713 | Forms have sensation and appetite, the latter being the ability to act on other bodies [Leibniz, by Garber] |
13087 | The essence of a thing is its real possibilities [Leibniz, by Cover/O'Leary-Hawthorne] |
12701 | Leibniz moved from individuation by whole entity to individuation by substantial form [Leibniz, by Garber] |
13105 | The laws-of-the-series plays a haecceitist role [Leibniz, by Cover/O'Leary-Hawthorne] |
16513 | Identity of a substance is the law of its persistence [Leibniz] |
12035 | Leibniz bases pure primitive entities on conjunctions of qualitative properties [Leibniz, by Adams,RM] |
13091 | Leibnizian substances add concept, law, force, form and soul [Leibniz, by Cover/O'Leary-Hawthorne] |
7561 | Substances are essentially active [Leibniz, by Jolley] |
12715 | Leibniz strengthened hylomorphism by connecting it to force in physics [Leibniz, by Garber] |
11878 | Leibniz's view (that all properties are essential) is extreme essentialism, not its denial [Leibniz, by Mackie,P] |
11862 | Leibniz was not an essentialist [Leibniz, by Wiggins] |
15026 | Essence (even if nonmodal) is not fundamental in metaphysics [Sider] |
16504 | Two eggs can't be identical, because the same truths can't apply to both of them [Leibniz] |
8650 | Things are the same if one can be substituted for the other without loss of truth [Leibniz] |
13828 | Necessary truths are those provable from identities by pure logic in finite steps [Leibniz, by Hacking] |
13084 | How can things be incompatible, if all positive terms seem to be compatible? [Leibniz] |
4307 | A reason must be given why contingent beings should exist rather than not exist [Leibniz] |
15030 | Humeans say that we decide what is necessary [Sider] |
15031 | Modal terms in English are entirely contextual, with no modality outside the language [Sider] |
15027 | If truths are necessary 'by convention', that seems to make them contingent [Sider] |
15028 | Conventionalism doesn't seem to apply to examples of the necessary a posteriori [Sider] |
15033 | Humeans says mathematics and logic are necessary because that is how our concept of necessity works [Sider] |
15025 | The world does not contain necessity and possibility - merely how things are [Sider] |
15883 | Leibniz narrows down God's options to one, by non-contradiction, sufficient reason, indiscernibles, compossibility [Leibniz, by Harré] |
18822 | Each monad expresses all its compatible monads; a possible world is the resulting equivalence class [Leibniz, by Rumfitt] |
7837 | Leibniz proposed possible worlds, because they might be evil, where God would not create evil things [Leibniz, by Stewart,M] |
13080 | Leibniz has a counterpart view of de re counterfactuals [Leibniz, by Cover/O'Leary-Hawthorne] |
19332 | For Leibniz, divine understanding grasps every conceivable possibility [Leibniz, by Perkins] |
5509 | Leibniz said dualism of mind and body is illusion, and there is only mind [Leibniz, by Martin/Barresi] |
7568 | Leibniz is an idealist insofar as the basic components of his universe are all mental [Leibniz, by Jolley] |
14988 | A theory which doesn't fit nature is unexplanatory, even if it is true [Sider] |
14982 | If I used Ramsey sentences to eliminate fundamentality from my theory, that would be a real loss [Sider] |
14989 | Problem predicates in induction don't reflect the structure of nature [Sider] |
14997 | Two applications of 'grue' do not guarantee a similarity between two things [Sider] |
14990 | Bayes produces weird results if the prior probabilities are bizarre [Sider] |
15005 | Explanations must cite generalisations [Sider] |
13092 | The essence of substance is the law of its changes, as in the series of numbers [Leibniz] |
15011 | If the ultimate explanation is a list of entities, no laws, patterns or mechanisms can be cited [Sider] |
19354 | Leibniz introduced the idea of degrees of consciousness, essential for his monads [Leibniz, by Perkins] |
15018 | Intentionality is too superficial to appear in the catalogue of ultimate physics [Sider] |
5673 | If we have a pain, we are strongly aware of the bodily self [Cassam] |
5670 | Knowledge of thoughts covers both their existence and their contents [Cassam] |
5671 | Outer senses are as important as introspection in the acquisition of self-knowledge [Cassam] |
5672 | Is there a mode of self-awareness that isn't perception, and could it give self-knowledge? [Cassam] |
5675 | Neither self-consciousness nor self-reference require self-knowledge [Cassam] |
5674 | We can't introspect ourselves as objects, because that would involve possible error [Cassam] |
7841 | We think we are free because the causes of the will are unknown; determinism is a false problem [Leibniz] |
5510 | Leibniz has a panpsychist view that physical points are spiritual [Leibniz, by Martin/Barresi] |
7564 | Occasionalism give a false view of natural laws, miracles, and substances [Leibniz, by Jolley] |
19372 | Concepts are ordered, and show eternal possibilities, deriving from God [Leibniz, by Arthur,R] |
14999 | Prior to conventions, not all green things were green? [Sider] |
13467 | Leibniz was the first modern to focus on sentence-sized units (where empiricists preferred word-size) [Leibniz, by Hart,WD] |
14998 | Conventions are contingent and analytic truths are necessary, so that isn't their explanation [Sider] |
15016 | Analyticity has lost its traditional role, which relied on truth by convention [Sider] |
19365 | Limited awareness leads to bad choices, and unconscious awareness makes us choose the bad [Leibniz, by Perkins] |
8110 | Leibniz identified beauty with intellectual perfection [Leibniz, by Gardner] |
7569 | Humans are moral, and capable of reward and punishment, because of memory and self-consciousness [Leibniz, by Jolley] |
7574 | Natural law theory is found in Aquinas, in Leibniz, and at the Nuremberg trials [Leibniz, by Jolley] |
12728 | Leibniz rejected atoms, because they must be elastic, and hence have parts [Leibniz, by Garber] |
19374 | Microscopes and the continuum suggest that matter is endlessly divisible [Leibniz] |
7560 | Leibniz struggled to reconcile bodies with a reality of purely soul-like entities [Jolley on Leibniz] |
16683 | Leibniz eventually said resistance, rather than extension, was the essence of body [Leibniz, by Pasnau] |
12725 | Leibniz wanted to explain motion and its laws by the nature of body [Leibniz, by Garber] |
16507 | The law within something fixes its persistence, and accords with general laws of nature [Leibniz] |
7859 | Leibniz had an unusual commitment to the causal completeness of physics [Leibniz, by Papineau] |
14985 | The notion of law doesn't seem to enhance physical theories [Sider] |
14987 | Many of the key theories of modern physics do not appear to be 'laws' [Sider] |
15307 | Leibniz uses 'force' to mean both activity and potential [Leibniz] |
14991 | Space has real betweenness and congruence structure (though it is not the Euclidean concepts) [Sider] |
15021 | The central question in the philosophy of time is: How alike are time and space? [Sider] |
15024 | The spotlight theorists accepts eternal time, but with a spotlight of the present moving across it [Sider] |
3889 | God's existence is either necessary or impossible [Leibniz, by Scruton] |
7842 | Leibniz was closer than Spinoza to atheism [Leibniz, by Stewart,M] |