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] |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
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] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
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] |
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] |
7357 | People who control others with fluent language often end up being hated [Kongzi (Confucius)] |
7358 | All men prefer outward appearance to true excellence [Kongzi (Confucius)] |
7362 | Humans are similar, but social conventions drive us apart (sages and idiots being the exceptions) [Kongzi (Confucius)] |
7360 | Do not do to others what you would not desire yourself [Kongzi (Confucius)] |
7359 | Excess and deficiency are equally at fault [Kongzi (Confucius)] |
7363 | The virtues of the best people are humility, maganimity, sincerity, diligence, and graciousness [Kongzi (Confucius)] |
7361 | Men of the highest calibre avoid political life completely [Kongzi (Confucius)] |
23393 | Confucianism assumes that all good developments have happened, and there is only one Way [Norden on Kongzi (Confucius)] |