53 ideas
| 12274 | Begin examination with basics, and subdivide till you can go no further [Aristotle] |
| 4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
| 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] |
| 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] |
| 4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
| 4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
| 4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
| 4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
| 4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
| 4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
| 4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
| 4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
| 4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
| 11261 | Puzzles arise when reasoning seems equal on both sides [Aristotle] |
| 12273 | Unit is the starting point of number [Aristotle] |
| 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] |
| 12280 | Genus gives the essence better than the differentiae do [Aristotle] |
| 13269 | In the case of a house the parts can exist without the whole, so parts are not the whole [Aristotle] |
| 12284 | Everything that is has one single essence [Aristotle] |
| 12262 | An 'idion' belongs uniquely to a thing, but is not part of its essence [Aristotle] |
| 12290 | Destruction is dissolution of essence [Aristotle] |
| 12286 | If two things are the same, they must have the same source and origin [Aristotle] |
| 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] |
| 18383 | Plantinga says there is just this world, with possibilities expressed in propositions [Plantinga, by Armstrong] |
| 11891 | Possibilities for an individual can only refer to that individual, in some possible world [Plantinga, by Mackie,P] |
| 4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
| 4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
| 4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
| 4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
| 4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
| 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] |
| 4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
| 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] |
| 12265 | All water is the same, because of a certain similarity [Aristotle] |
| 20704 | A possible world contains a being of maximal greatness - which is existence in all worlds [Plantinga, by Davies,B] |
| 12278 | 'Being' and 'oneness' are predicated of everything which exists [Aristotle] |