88 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] |
16710 | Leibniz tried to combine mechanistic physics with scholastic metaphysics [Leibniz, by Pasnau] |
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] |
8627 | Leibniz is inclined to regard all truths as provable [Leibniz, by Frege] |
1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
8455 | Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein] |
8456 | Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein] |
1611 | Names can be converted to descriptions, and Russell showed how to eliminate those [Quine] |
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] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
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] |
1613 | Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine] |
1616 | Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine] |
1615 | Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine] |
1614 | Conceptualism holds that there are universals but they are mind-made [Quine] |
10241 | For Quine, there is only one way to exist [Quine, by Shapiro] |
4064 | The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane] |
19277 | Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale] |
7565 | Leibniz proposes monads, since there must be basic things, which are immaterial in order to have unity [Leibniz, by Jolley] |
12210 | Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine] |
8496 | What actually exists does not, of course, depend on language [Quine] |
1610 | To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine] |
8459 | Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein] |
8497 | An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine] |
16261 | If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine] |
7698 | If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine] |
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] |
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] |
1612 | Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine] |
15402 | There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine] |
4443 | Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong] |
8498 | Treating scattered sensations as single objects simplifies our understanding of experience [Quine] |
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] |
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] |
8856 | Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo] |
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] |
12443 | Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine] |
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] |
18209 | We can never translate our whole language of objects into phenomenalism [Quine] |
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] |
13092 | The essence of substance is the law of its changes, as in the series of numbers [Leibniz] |
19354 | Leibniz introduced the idea of degrees of consciousness, essential for his monads [Leibniz, by Perkins] |
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] |
13467 | Leibniz was the first modern to focus on sentence-sized units (where empiricists preferred word-size) [Leibniz, by Hart,WD] |
1619 | There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine] |
1609 | I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine] |
1617 | The word 'meaning' is only useful when talking about significance or about synonymy [Quine] |
19159 | Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson] |
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] |
15307 | Leibniz uses 'force' to mean both activity and potential [Leibniz] |
3889 | God's existence is either necessary or impossible [Leibniz, by Scruton] |
7842 | Leibniz was closer than Spinoza to atheism [Leibniz, by Stewart,M] |