61 ideas
| 12274 | Begin examination with basics, and subdivide till you can go no further [Aristotle] |
| 12260 | Dialectic starts from generally accepted opinions [Aristotle] |
| 12291 | There can't be one definition of two things, or two definitions of the same thing [Aristotle] |
| 12292 | Definitions are easily destroyed, since they can contain very many assertions [Aristotle] |
| 12283 | In definitions the first term to be assigned ought to be the genus [Aristotle] |
| 12272 | We describe the essence of a particular thing by means of its differentiae [Aristotle] |
| 12279 | The differentia indicate the qualities, but not the essence [Aristotle] |
| 12289 | The genera and the differentiae are part of the essence [Aristotle] |
| 12249 | 'Animal' is a genus and 'rational' is a specific difference [Oderberg] |
| 12242 | Definition distinguishes one kind from another, and individuation picks out members of the kind [Oderberg] |
| 12261 | Differentia are generic, and belong with genus [Aristotle] |
| 12263 | 'Genus' is part of the essence shared among several things [Aristotle] |
| 12285 | The definition is peculiar to one thing, not common to many [Aristotle] |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |
| 12238 | The Aristotelian view is that numbers depend on (and are abstracted from) other things [Oderberg] |
| 12273 | Unit is the starting point of number [Aristotle] |
| 12254 | Being is substantial/accidental, complete/incomplete, necessary/contingent, possible, relative, intrinsic.. [Oderberg] |
| 12267 | There are ten categories: essence, quantity, quality, relation, place, time, position, state, activity, passivity [Aristotle] |
| 12282 | An individual property has to exist (in past, present or future) [Aristotle] |
| 12264 | An 'accident' is something which may possibly either belong or not belong to a thing [Aristotle] |
| 12253 | If tropes are in space and time, in what sense are they abstract? [Oderberg] |
| 12256 | We need to distinguish the essential from the non-essential powers [Oderberg] |
| 12280 | Genus gives the essence better than the differentiae do [Aristotle] |
| 12252 | Empiricists gave up 'substance', as unknowable substratum, or reducible to a bundle [Oderberg] |
| 13269 | In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle] |
| 12241 | Essences are real, about being, knowable, definable and classifiable [Oderberg, by PG] |
| 12244 | Nominalism is consistent with individual but not with universal essences [Oderberg] |
| 12284 | Everything that is has one single essence [Aristotle] |
| 12240 | Essentialism is the main account of the unity of objects [Oderberg] |
| 12262 | An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle] |
| 12247 | Essence is not explanatory but constitutive [Oderberg] |
| 12258 | Properties are not part of an essence, but they flow from it [Oderberg] |
| 12257 | Could we replace essence with collections of powers? [Oderberg] |
| 12290 | Destruction is dissolution of essence [Aristotle] |
| 12286 | If two things are the same, they must have the same source and origin [Aristotle] |
| 12236 | Leibniz's Law is an essentialist truth [Oderberg] |
| 12266 | 'Same' is mainly for names or definitions, but also for propria, and for accidents [Aristotle] |
| 12287 | Two identical things have the same accidents, they are the same; if the accidents differ, they're different [Aristotle] |
| 12288 | Numerical sameness and generic sameness are not the same [Aristotle] |
| 12259 | Reasoning is when some results follow necessarily from certain claims [Aristotle] |
| 12250 | Bodies have act and potency, the latter explaining new kinds of existence [Oderberg] |
| 12234 | Realism about possible worlds is circular, since it needs a criterion of 'possible' [Oderberg] |
| 12235 | Necessity of identity seems trivial, because it leaves out the real essence [Oderberg] |
| 12237 | Rigid designation has at least three essentialist presuppositions [Oderberg] |
| 12271 | Induction is the progress from particulars to universals [Aristotle] |
| 12293 | We say 'so in cases of this kind', but how do you decide what is 'of this kind'? [Aristotle] |
| 12276 | Justice and self-control are better than courage, because they are always useful [Aristotle] |
| 12277 | Friendship is preferable to money, since its excess is preferable [Aristotle] |
| 12275 | We value friendship just for its own sake [Aristotle] |
| 12281 | Man is intrinsically a civilized animal [Aristotle] |
| 12245 | Essence is the source of a thing's characteristic behaviour [Oderberg] |
| 12246 | What makes Parmenidean reality a One rather than a Many? [Oderberg] |
| 12265 | All water is the same, because of a certain similarity [Aristotle] |
| 12239 | The real essentialist is not merely a scientist [Oderberg] |
| 12243 | The reductionism found in scientific essentialism is mistaken [Oderberg] |
| 12278 | 'Being' and 'oneness' are predicated of everything which exists [Aristotle] |