44 ideas
17275 | Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K] |
4642 | No fact can be real and no proposition true unless there is a Sufficient Reason (even if we can't know it) [Leibniz] |
17282 | Truths need not always have their source in what exists [Fine,K] |
17283 | If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K] |
2115 | Everything in the universe is interconnected, so potentially a mind could know everything [Leibniz] |
8083 | Boole applied normal algebra to logic, aiming at an algebra of thought [Boole, by Devlin] |
7727 | Boole's notation can represent syllogisms and propositional arguments, but not both at once [Boole, by Weiner] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend] |
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
2111 | Falsehood involves a contradiction, and truth is contradictory of falsehood [Leibniz] |
22277 | Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter] |
17272 | 2+2=4 is necessary if it is snowing, but not true in virtue of the fact that it is snowing [Fine,K] |
17276 | If you say one thing causes another, that leaves open that the 'other' has its own distinct reality [Fine,K] |
17284 | An immediate ground is the next lower level, which gives the concept of a hierarchy [Fine,K] |
17285 | 'Strict' ground moves down the explanations, but 'weak' ground can move sideways [Fine,K] |
17288 | We learn grounding from what is grounded, not what does the grounding [Fine,K] |
17281 | If grounding is a relation it must be between entities of the same type, preferably between facts [Fine,K] |
17280 | Ground is best understood as a sentence operator, rather than a relation between predicates [Fine,K] |
17290 | Only metaphysical grounding must be explained by essence [Fine,K] |
17274 | Philosophical explanation is largely by ground (just as cause is used in science) [Fine,K] |
17278 | We can only explain how a reduction is possible if we accept the concept of ground [Fine,K] |
7644 | The monad idea incomprehensibly spiritualises matter, instead of materialising soul [La Mettrie on Leibniz] |
11857 | He replaced Aristotelian continuants with monads [Leibniz, by Wiggins] |
7843 | Is a drop of urine really an infinity of thinking monads? [Voltaire on Leibniz] |
12751 | It is unclear in 'Monadology' how extended bodies relate to mind-like monads. [Garber on Leibniz] |
19363 | Changes in a monad come from an internal principle, and the diversity within its substance [Leibniz] |
19352 | A 'monad' has basic perception and appetite; a 'soul' has distinct perception and memory [Leibniz] |
17287 | Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K] |
7931 | If a substance is just a thing that has properties, it seems to be a characterless non-entity [Leibniz, by Macdonald,C] |
17279 | Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K] |
17554 | There must be some internal difference between any two beings in nature [Leibniz] |
17273 | Each basic modality has its 'own' explanatory relation [Fine,K] |
17289 | Every necessary truth is grounded in the nature of something [Fine,K] |
2112 | Truths of reason are known by analysis, and are necessary; facts are contingent, and their opposites possible [Leibniz] |
9344 | Mathematical analysis ends in primitive principles, which cannot be and need not be demonstrated [Leibniz] |
2110 | We all expect the sun to rise tomorrow by experience, but astronomers expect it by reason [Leibniz] |
17291 | We explain by identity (what it is), or by truth (how things are) [Fine,K] |
17271 | Is there metaphysical explanation (as well as causal), involving a constitutive form of determination? [Fine,K] |
2109 | Increase a conscious machine to the size of a mill - you still won't see perceptions in it [Leibniz] |
19362 | We know the 'I' and its contents by abstraction from awareness of necessary truths [Leibniz] |
17277 | If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K] |
12707 | The true elements are atomic monads [Leibniz] |
2114 | This is the most perfect possible universe, in its combination of variety with order [Leibniz] |
2113 | God alone (the Necessary Being) has the privilege that He must exist if He is possible [Leibniz] |