67 ideas
13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
18390 | All metaphysical discussion should be guided by a quest for truthmakers [Armstrong] |
18467 | Truth-making can't be entailment, because truthmakers are portions of reality [Armstrong] |
18468 | Armstrong says truthmakers necessitate their truth, where 'necessitate' is a primitive relation [Armstrong, by MacBride] |
18377 | Negative truths have as truthmakers all states of affairs relevant to the truth [Armstrong] |
18382 | The nature of arctic animals is truthmaker for the absence of penguins there [Armstrong] |
18394 | In mathematics, truthmakers are possible instantiations of structures [Armstrong] |
18384 | One truthmaker will do for a contingent truth and for its contradictory [Armstrong] |
18387 | The truthmakers for possible unicorns are the elements in their combination [Armstrong] |
18386 | What is the truthmaker for 'it is possible that there could have been nothing'? [Armstrong] |
18381 | Necessitating general truthmakers must also specify their limits [Armstrong] |
13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
18396 | The set theory brackets { } assert that the member is a unit [Armstrong] |
18393 | For 'there is a class with no members' we don't need the null set as truthmaker [Armstrong] |
13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
18392 | Classes have cardinalities, so their members must all be treated as units [Armstrong] |
18385 | Logical atomism builds on the simple properties, but are they the only possible properties? [Armstrong] |
18391 | 'Naturalism' says only the world of space-time exists [Armstrong] |
18374 | Truthmaking needs states of affairs, to unite particulars with tropes or universals. [Armstrong] |
13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
18372 | We need properties, as minimal truthmakers for the truths about objects [Armstrong] |
18379 | The determinates of a determinable must be incompatible with each other [Armstrong] |
18378 | Length is a 'determinable' property, and one mile is one its 'determinates' [Armstrong] |
13587 | There is no property of 'fragility', as things are each fragile in a distinctive way [Ellis] |
13577 | Typical 'categorical' properties are spatio-temporal, such as shape [Ellis] |
9436 | The property of 'being an electron' is not of anything, and only electrons could have it [Ellis] |
13582 | 'Being a methane molecule' is not a property - it is just a predicate [Ellis] |
18373 | If tropes are non-transferable, then they necessarily belong to their particular substance [Armstrong] |
13580 | Causal powers must necessarily act the way they do [Ellis] |
13598 | Causal powers are often directional (e.g. centripetal, centrifugal, circulatory) [Ellis] |
13568 | Basic powers may not be explained by structure, if at the bottom level there is no structure [Ellis] |
13586 | Maybe dispositions can be explained by intrinsic properties or structures [Ellis] |
18400 | Properties are not powers - they just have powers [Armstrong] |
13585 | The most fundamental properties of nature (mass, charge, spin ...) all seem to be dispositions [Ellis] |
13596 | A causal power is a disposition to produce forces [Ellis] |
13599 | Powers are dispositions of the essences of kinds that involve them in causation [Ellis] |
18397 | Powers must result in some non-powers, or there would only be potential without result [Armstrong] |
18399 | How does the power of gravity know the distance it acts over? [Armstrong] |
13572 | There are 'substantive' (objects of some kind), 'dynamic' (events of some kind) and 'property' universals [Ellis] |
13573 | Universals are all types of natural kind [Ellis] |
18371 | The class of similar things is much too big a truthmaker for the feature of a particular [Armstrong] |
13571 | Scientific essentialism doesn't really need Kripkean individual essences [Ellis] |
13578 | The old idea that identity depends on essence and behaviour is rejected by the empiricists [Ellis] |
18389 | When entities contain entities, or overlap with them, there is 'partial' identity [Armstrong] |
13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
18388 | Possible worlds don't fix necessities; intrinsic necessities imply the extension in worlds [Armstrong] |
13607 | If events are unconnected, then induction cannot be solved [Ellis] |
13597 | Good explanations unify [Ellis] |
13601 | Explanations of particular events are not essentialist, as they don't reveal essential structures [Ellis] |
13569 | To give essentialist explanations there have to be natural kinds [Ellis] |
18375 | General truths are a type of negative truth, saying there are no more ravens than black ones [Armstrong] |
13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
18368 | For all being, there is a potential proposition which expresses its existence and nature [Armstrong] |
18370 | A realm of abstract propositions is causally inert, so has no explanatory value [Armstrong] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |
13583 | There might be uninstantiated natural kinds, such as transuranic elements which have never occurred [Ellis] |
13574 | Natural kinds are distinguished by resting on essences [Ellis] |
13575 | If there are borderline cases between natural kinds, that makes them superficial [Ellis] |
18380 | Negative causations supervene on positive causations plus their laws? [Armstrong] |
13595 | Laws don't exist in the world; they are true of the world [Ellis] |
13566 | A proton must have its causal role, because without it it wouldn't be a proton [Ellis] |
13579 | What is most distinctive of scientific essentialism is regarding processes as natural kinds [Ellis] |
13581 | Scientific essentialism is more concerned with explanation than with identity (Locke, not Kripke) [Ellis] |
13594 | The ontological fundamentals are dispositions, and also categorical (spatio-temporal and structural) properties [Ellis] |
13603 | A primary aim of science is to show the limits of the possible [Ellis] |
18401 | The pure present moment is too brief to be experienced [Armstrong] |