15 ideas
11257 | The Pythagoreans were the first to offer definitions [Politis, by Politis] |
11235 | 'True of' is applicable to things, while 'true' is applicable to words [Politis] |
14970 | Normal system K has five axioms and rules [Cresswell] |
14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
11277 | Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
11248 | Necessary truths can be two-way relational, where essential truths are one-way or intrinsic [Politis] |
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |