60 ideas
| 13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| 13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| 13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
| 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] |
| 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] |
| 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] |
| 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] |
| 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] |
| 13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 22518 | The actual must be possible, because it occurred [Aristotle] |
| 13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
| 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] |
| 13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| 16566 | Poetry is more philosophic than history, as it concerns universals, not particulars [Aristotle] |
| 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] |
| 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] |