39 ideas
| 17275 | Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K] |
| 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] |
| 18951 | For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam] |
| 18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
| 18949 | The universal syllogism is now expressed as the transitivity of subclasses [Putnam] |
| 18952 | '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam] |
| 18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
| 18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
| 18956 | Asserting first-order validity implicitly involves second-order reference to classes [Putnam] |
| 17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
| 18962 | Unfashionably, I think logic has an empirical foundation [Putnam] |
| 18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
| 18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| 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] |
| 17287 | Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K] |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| 17279 | Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K] |
| 17273 | Each basic modality has its 'own' explanatory relation [Fine,K] |
| 17289 | Every necessary truth is grounded in the nature of something [Fine,K] |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| 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] |
| 17277 | If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K] |
| 20034 | Intentions must be mutually consistent, affirm appropriate means, and fit the agent's beliefs [Bratman, by Wilson/Schpall] |
| 20033 | Intentions are normative, requiring commitment and further plans [Bratman, by Wilson/Schpall] |
| 20026 | Intention is either the aim of an action, or a long-term constraint on what we can do [Bratman, by Wilson/Schpall] |
| 20032 | Bratman rejected reducing intentions to belief-desire, because they motivate, and have their own standards [Bratman, by Wilson/Schpall] |