80 ideas
1695 | Without extensive examination firm statements are hard, but studying the difficulties is profitable [Aristotle] |
14721 | Metaphysical enquiry can survive if its conclusions are tentative [Sider] |
8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
1698 | Both sides of contraries need not exist (as health without sickness, white without black) [Aristotle] |
1697 | The contrary of good is bad, but the contrary of bad is either good or another evil [Aristotle] |
11034 | The differentiae of genera which are different are themselves different in kind [Aristotle] |
18367 | A true existence statement has its truth caused by the existence of the thing [Aristotle] |
8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
11033 | Predications of predicates are predications of their subjects [Aristotle] |
8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
11044 | One is prior to two, because its existence is implied by two [Aristotle] |
11042 | Parts of a line join at a point, so it is continuous [Aristotle] |
11041 | Some quantities are discrete, like number, and others continuous, like lines, time and space [Aristotle] |
11286 | Primary being must be more than mere indeterminate ultimate subject of predication [Politis on Aristotle] |
1700 | There are six kinds of change: generation, destruction, increase, diminution, alteration, change of place [Aristotle] |
14760 | Four-dimensionalism sees things and processes as belonging in the same category [Sider] |
1699 | A thing is prior to another if it implies its existence [Aristotle] |
18366 | Of interdependent things, the prior one causes the other's existence [Aristotle] |
8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
3311 | The categories (substance, quality, quantity, relation, action, passion, place, time) peter out inconsequentially [Benardete,JA on Aristotle] |
11035 | There are ten basic categories for thinking about things [Aristotle] |
13121 | Substance,Quantity,Quality,Relation,Place,Time,Being-in-a-position,Having,Doing,Being affected [Aristotle, by Westerhoff] |
16116 | Aristotle derived categories as answers to basic questions about nature, size, quality, location etc. [Aristotle, by Gill,ML] |
21345 | Aristotle said relations are not substances, so (if they exist) they must be accidents [Aristotle, by Heil] |
16155 | Aristotle promoted the importance of properties and objects (rather than general and particular) [Aristotle, by Frede,M] |
11032 | Some things said 'of' a subject are not 'in' the subject [Aristotle] |
11038 | We call them secondary 'substances' because they reveal the primary substances [Aristotle] |
14194 | Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider] |
16739 | Four species of quality: states, capacities, affects, and forms [Aristotle, by Pasnau] |
11037 | Colour must be in an individual body, or it is not embodied [Aristotle] |
16154 | Aristotle gave up his earlier notion of individuals, because it relied on universals [Aristotle, by Frede,M] |
12351 | Genus and species are substances, because only they reveal the primary substance [Aristotle, by Wedin] |
14745 | If sortal terms fix the kind and the persistence conditions, we need to know what kinds there are [Sider] |
1694 | Substances have no opposites, and don't come in degrees (including if the substance is a man) [Aristotle] |
16091 | Is primary substance just an ultimate subject, or some aspect of a complex body? [Aristotle, by Gill,ML] |
11280 | Primary being is 'that which lies under', or 'particular substance' [Aristotle, by Politis] |
11040 | A single substance can receive contrary properties [Aristotle] |
16140 | Secondary substances do have subjects, so they are not ultimate in the ontology [Aristotle, by Frede,M] |
10965 | In earlier Aristotle the substances were particulars, not kinds [Aristotle, by Lawson-Tancred] |
11036 | A 'primary' substance is in each subject, with species or genera as 'secondary' substances [Aristotle] |
8287 | Earlier Aristotle had objects as primary substances, but later he switched to substantial form [Aristotle, by Lowe] |
12350 | Things are called 'substances' because they are subjects for everything else [Aristotle] |
14740 | If Tib is all of Tibbles bar her tail, when Tibbles loses her tail, two different things become one [Sider] |
14752 | Artists 'create' statues because they are essentially statues, and so lack identity with the lump of clay [Sider] |
14743 | The stage view of objects is best for dealing with coincident entities [Sider] |
8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
14747 | 'Composition as identity' says that an object just is the objects which compose it [Sider] |
11039 | A primary substance reveals a 'this', which is an individual unit [Aristotle] |
12361 | Primary substances are ontological in 'Categories', and explanatory in 'Metaphysics' [Aristotle, by Wedin] |
14757 | Mereological essentialism says an object's parts are necessary for its existence [Sider] |
14727 | Three-dimensionalists assert 'enduring', being wholly present at each moment, and deny 'temporal parts' [Sider] |
14738 | Some might say that its inconsistency with time travel is a reason to favour three-dimensionalism [Sider] |
14726 | Four-dimensionalists assert 'temporal parts', 'perduring', and being spread out over time [Sider] |
14728 | 4D says intrinsic change is difference between successive parts [Sider] |
14729 | 4D says each spatiotemporal object must have a temporal part at every moment at which it exists [Sider] |
14730 | Temporal parts exist, but are not prior building blocks for objects [Sider] |
14731 | Temporal parts are instantaneous [Sider] |
14758 | How can an instantaneous stage believe anything, if beliefs take time? [Sider] |
14762 | Four-dimensionalism says temporal parts are caused (through laws of motion) by previous temporal parts [Sider] |
14741 | The ship undergoes 'asymmetric' fission, where one candidate is seen as stronger [Sider] |
3315 | Aristotle denigrates the category of relation, but for modern absolutists self-relation is basic [Benardete,JA on Aristotle] |
14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
14763 | Counterparts rest on similarity, so there are many such relations in different contexts [Sider] |
12349 | Only what can be said of many things is a predicable [Aristotle, by Wedin] |
11837 | Some predicates signify qualification of a substance, others the substance itself [Aristotle] |
11043 | It is not possible for fire to be cold or snow black [Aristotle] |
14725 | Maybe motion is a dynamical quantity intrinsic to a thing at a particular time [Sider] |
1696 | Change goes from possession to loss (as in baldness), but not the other way round [Aristotle] |
14735 | Space is 3D and lacks a direction; time seems connected to causation [Sider] |
14722 | Between presentism and eternalism is the 'growing block' view - the past is real, the future is not [Sider] |
14756 | For Presentists there must always be a temporal vantage point for any description [Sider] |
14724 | Presentists must deny truths about multiple times [Sider] |
14723 | Talk using tenses can be eliminated, by reducing it to indexical connections for an utterance [Sider] |
14736 | The B-theory is adequate, except that it omits to say which time is present [Sider] |
14734 | The B-series involves eternalism, and the reduction of tense [Sider] |