183 ideas
| 19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
| 12997 | Analysis is the art of finding the middle term [Leibniz] |
| 13009 | A reason is a known truth which leads to assent to some further truth [Leibniz] |
| 1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
| 1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
| 12963 | Opposing reason is opposing truth, since reason is a chain of truths [Leibniz] |
| 19360 | General principles, even if unconscious, are indispensable for thinking [Leibniz] |
| 12983 | A nominal definition is of the qualities, but the real definition is of the essential inner structure [Leibniz] |
| 8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
| 12982 | One essence can be expressed by several definitions [Leibniz] |
| 12976 | If our ideas of a thing are imperfect, the thing can have several unconnected definitions [Leibniz] |
| 12984 | Real definitions, unlike nominal definitions, display possibilities [Leibniz] |
| 4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
| 12980 | Genus and differentia might be swapped, and 'rational animal' become 'animable rational' [Leibniz] |
| 13000 | Truth is correspondence between mental propositions and what they are about [Leibniz] |
| 9535 | 'Contradictory' propositions always differ in truth-value [Lemmon] |
| 9509 | That proposition that both P and Q is their 'conjunction', written P∧Q [Lemmon] |
| 9511 | We write the conditional 'if P (antecedent) then Q (consequent)' as P→Q [Lemmon] |
| 9510 | That proposition that either P or Q is their 'disjunction', written P∨Q [Lemmon] |
| 9512 | We write the 'negation' of P (not-P) as ¬ [Lemmon] |
| 9513 | We write 'P if and only if Q' as P↔Q; it is also P iff Q, or (P→Q)∧(Q→P) [Lemmon] |
| 9514 | If A and B are 'interderivable' from one another we may write A -||- B [Lemmon] |
| 9508 | The sign |- may be read as 'therefore' [Lemmon] |
| 9516 | A 'well-formed formula' follows the rules for variables, ¬, →, ∧, ∨, and ↔ [Lemmon] |
| 9517 | The 'scope' of a connective is the connective, the linked formulae, and the brackets [Lemmon] |
| 9530 | A wff is 'contingent' if produces at least one T and at least one F [Lemmon] |
| 9532 | 'Subcontrary' propositions are never both false, so that A∨B is a tautology [Lemmon] |
| 9533 | A 'implies' B if B is true whenever A is true (so that A→B is tautologous) [Lemmon] |
| 9528 | A wff is a 'tautology' if all assignments to variables result in the value T [Lemmon] |
| 9518 | A 'theorem' is the conclusion of a provable sequent with zero assumptions [Lemmon] |
| 9519 | A 'substitution-instance' is a wff formed by consistent replacing variables with wffs [Lemmon] |
| 9529 | A wff is 'inconsistent' if all assignments to variables result in the value F [Lemmon] |
| 9531 | 'Contrary' propositions are never both true, so that ¬(A∧B) is a tautology [Lemmon] |
| 9534 | Two propositions are 'equivalent' if they mirror one another's truth-value [Lemmon] |
| 9401 | ∨E: Derive C from A∨B, if C can be derived both from A and from B [Lemmon] |
| 9396 | DN: Given A, we may derive ¬¬A [Lemmon] |
| 9393 | A: we may assume any proposition at any stage [Lemmon] |
| 9399 | ∧E: Given A∧B, we may derive either A or B separately [Lemmon] |
| 9398 | ∧I: Given A and B, we may derive A∧B [Lemmon] |
| 9397 | CP: Given a proof of B from A as assumption, we may derive A→B [Lemmon] |
| 9394 | MPP: Given A and A→B, we may derive B [Lemmon] |
| 9402 | RAA: If assuming A will prove B∧¬B, then derive ¬A [Lemmon] |
| 9395 | MTT: Given ¬B and A→B, we derive ¬A [Lemmon] |
| 9400 | ∨I: Given either A or B separately, we may derive A∨B [Lemmon] |
| 9521 | 'Modus tollendo ponens' (MTP) says ¬P, P ∨ Q |- Q [Lemmon] |
| 9522 | 'Modus ponendo tollens' (MPT) says P, ¬(P ∧ Q) |- ¬Q [Lemmon] |
| 9525 | We can change conditionals into negated conjunctions with P→Q -||- ¬(P ∧ ¬Q) [Lemmon] |
| 9524 | We can change conditionals into disjunctions with P→Q -||- ¬P ∨ Q [Lemmon] |
| 9523 | De Morgan's Laws make negated conjunctions/disjunctions into non-negated disjunctions/conjunctions [Lemmon] |
| 9527 | The Distributive Laws can rearrange a pair of conjunctions or disjunctions [Lemmon] |
| 9526 | We can change conjunctions into negated conditionals with P→Q -||- ¬(P → ¬Q) [Lemmon] |
| 9537 | Truth-tables are good for showing invalidity [Lemmon] |
| 9538 | A truth-table test is entirely mechanical, but this won't work for more complex logic [Lemmon] |
| 9536 | If any of the nine rules of propositional logic are applied to tautologies, the result is a tautology [Lemmon] |
| 9539 | Propositional logic is complete, since all of its tautologous sequents are derivable [Lemmon] |
| 13909 | Write '(∀x)(...)' to mean 'take any x: then...', and '(∃x)(...)' to mean 'there is an x such that....' [Lemmon] |
| 13902 | 'Gm' says m has property G, and 'Pmn' says m has relation P to n [Lemmon] |
| 13911 | The 'symbols' are bracket, connective, term, variable, predicate letter, reverse-E [Lemmon] |
| 13910 | Our notation uses 'predicate-letters' (for 'properties'), 'variables', 'proper names', 'connectives' and 'quantifiers' [Lemmon] |
| 13904 | Universal Elimination (UE) lets us infer that an object has F, from all things having F [Lemmon] |
| 13906 | With finite named objects, we can generalise with &-Intro, but otherwise we need ∀-Intro [Lemmon] |
| 13908 | UE all-to-one; UI one-to-all; EI arbitrary-to-one; EE proof-to-one [Lemmon] |
| 13901 | Predicate logic uses propositional connectives and variables, plus new introduction and elimination rules [Lemmon] |
| 13903 | Universal elimination if you start with the universal, introduction if you want to end with it [Lemmon] |
| 13905 | If there is a finite domain and all objects have names, complex conjunctions can replace universal quantifiers [Lemmon] |
| 13900 | 'Some Frenchmen are generous' is rendered by (∃x)(Fx→Gx), and not with the conditional → [Lemmon] |
| 13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
| 12992 | Logic teaches us how to order and connect our thoughts [Leibniz] |
| 9520 | The paradoxes of material implication are P |- Q → P, and ¬P |- P → Q [Lemmon] |
| 10056 | At bottom eternal truths are all conditional [Leibniz] |
| 4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
| 12974 | People who can't apply names usually don't understand the thing to which it applies [Leibniz] |
| 13002 | It is always good to reduce the number of axioms [Leibniz] |
| 13008 | Geometry, unlike sensation, lets us glimpse eternal truths and their necessity [Leibniz] |
| 12956 | Only whole numbers are multitudes of units [Leibniz] |
| 12937 | We shouldn't just accept Euclid's axioms, but try to demonstrate them [Leibniz] |
| 12932 | The idea of being must come from our own existence [Leibniz] |
| 12966 | Objects of ideas can be divided into abstract and concrete, and then further subdivided [Leibniz] |
| 12993 | Have five categories - substance, quantity, quality, action/passion, relation - and their combinations [Leibniz] |
| 12989 | Our true divisions of nature match reality, but are probably incomplete [Leibniz] |
| 12959 | We discern active power from our minds, so mind must be involved in all active powers [Leibniz] |
| 12967 | I use the word 'entelechy' for a power, to include endeavour, as well as mere aptitude [Leibniz] |
| 12965 | All occurrence in the depth of a substance is spontaneous 'action' [Leibniz] |
| 12999 | Substances are primary powers; their ways of being are the derivative powers [Leibniz] |
| 5056 | Material or immaterial substances cannot be conceived without their essential activity [Leibniz] |
| 12969 | The active powers which are not essential to the substance are the 'real qualities' [Leibniz] |
| 12941 | There cannot be power without action; the power is a disposition to act [Leibniz] |
| 12990 | Real (non-logical) abstract terms are either essences or accidents [Leibniz] |
| 12939 | Wholly uniform things like space and numbers are mere abstractions [Leibniz] |
| 12979 | The only way we can determine individuals is by keeping hold of them [Leibniz] |
| 12971 | If two individuals could be indistinguishable, there could be no principle of individuation [Leibniz] |
| 13098 | We use things to distinguish places and times, not vice versa [Leibniz] |
| 13075 | No two things are quite the same, so there must be an internal principle of distinction [Leibniz] |
| 12953 | Fluidity is basic, and we divide into bodies according to our needs [Leibniz] |
| 12943 | Individuality is in the bond substance gives between past and future [Leibniz] |
| 11855 | Substances cannot be bare, but have activity as their essence [Leibniz] |
| 12970 | We can imagine two bodies interpenetrating, as two rays of light seem to [Leibniz] |
| 12986 | The essence of baldness is vague and imperfect [Leibniz] |
| 13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
| 13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
| 12968 | A 'substratum' is just a metaphor for whatever supports several predicates [Leibniz] |
| 12931 | Particular truths are just instances of general truths [Leibniz] |
| 12811 | We can't know individuals, or determine their exact individuality [Leibniz] |
| 12981 | Essence is just the possibility of a thing [Leibniz] |
| 5057 | If you fully understand a subject and its qualities, you see how the second derive from the first [Leibniz] |
| 12987 | For some sorts, a member of it is necessarily a member [Leibniz] |
| 12884 | The same whole ceases to exist if a part is lost [Leibniz] |
| 12975 | We have a distinct idea of gold, to define it, but not a perfect idea, to understand it [Leibniz] |
| 12805 | If two people apply a single term to different resemblances, they refer to two different things [Leibniz] |
| 12806 | Locke needs many instances to show a natural kind, but why not a single instance? [Leibniz, by Jolley] |
| 12972 | Bodies, like Theseus's ship, are only the same in appearance, and never strictly the same [Leibniz] |
| 5055 | No two things are totally identical [Leibniz] |
| 12978 | A perfect idea of an object shows that the object is possible [Leibniz] |
| 17079 | Proofs of necessity come from the understanding, where they have their source [Leibniz] |
| 5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
| 12960 | We understand things when they are distinct, and we can derive necessities from them [Leibniz] |
| 12998 | Understanding grasps the agreements and disagreements of ideas [Leibniz] |
| 13006 | Certainty is where practical doubt is insane, or at least blameworthy [Leibniz] |
| 12996 | I know more than I think, since I know I think A then B then C [Leibniz] |
| 13003 | The Cogito doesn't prove existence, because 'I am thinking' already includes 'I am' [Leibniz] |
| 11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
| 21253 | Descartes needs to demonstrate how other people can attain his clear and distinct conceptions [Leibniz] |
| 12933 | Arithmetic and geometry are implicitly innate, awaiting revelation [Leibniz] |
| 12991 | Children learn language fast, with little instruction and few definitions [Leibniz] |
| 12929 | All of our thoughts come from within the soul, and not from the senses [Leibniz] |
| 12940 | What is left of the 'blank page' if you remove the ideas? [Leibniz] |
| 19358 | Colour and pain must express the nature of their stimuli, without exact resemblance [Leibniz] |
| 12948 | A pain doesn't resemble the movement of a pin, but it resembles the bodily movement pins cause [Leibniz] |
| 13005 | Truth arises among sensations from grounding reasons and from regularities [Leibniz] |
| 23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
| 4302 | You may experience a universal truth, but only reason can tell you that it is always true [Leibniz] |
| 12947 | We only believe in sensible things when reason helps the senses [Leibniz] |
| 12930 | The senses are confused, and necessities come from distinct intellectual ideas [Leibniz] |
| 13001 | Our sensation of green is a confused idea, like objects blurred by movement [Leibniz] |
| 16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
| 12949 | Light takes time to reach us, so objects we see may now not exist [Leibniz] |
| 16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
| 5053 | The instances confirming a general truth are never enough to establish its necessity [Leibniz] |
| 11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
| 3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
| 12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
| 12977 | We will only connect our various definitions of gold when we understand it more deeply [Leibniz] |
| 5054 | Animal thought is a shadow of reasoning, connecting sequences of images by imagination [Leibniz] |
| 12944 | It is a serious mistake to think that we are aware of all of our perceptions [Leibniz] |
| 12951 | Abstraction attends to the general, not the particular, and involves universal truths [Leibniz] |
| 19364 | Volition automatically endeavours to move towards what it sees as good (and away from bad) [Leibniz] |
| 12942 | Memory doesn't make identity; a man who relearned everything would still be the same man [Leibniz] |
| 12973 | We know our own identity by psychological continuity, even if there are some gaps [Leibniz] |
| 19368 | The will determines action, by what is seen as good, but it does not necessitate it [Leibniz] |
| 12935 | Every feeling is the perception of a truth [Leibniz] |
| 23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
| 12938 | An idea is an independent inner object, which expresses the qualities of things [Leibniz] |
| 12950 | We must distinguish images from exact defined ideas [Leibniz] |
| 12945 | Thoughts correspond to sensations, but ideas are independent of thoughts [Leibniz] |
| 19357 | The idea of green seems simple, but it must be compounded of the ideas of blue and yellow [Leibniz] |
| 12995 | The name 'gold' means what we know of gold, and also further facts about it which only others know [Leibniz] |
| 12807 | The word 'gold' means a hidden constitution known to experts, and not just its appearances [Leibniz] |
| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| 12946 | The idea of the will includes the understanding [Leibniz] |
| 12964 | If would be absurd not to disagree with someone's taste if it was a taste for poisons [Leibniz] |
| 6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
| 12958 | Love is pleasure in the perfection, well-being or happiness of its object [Leibniz] |
| 12957 | The good is the virtuous, the pleasing, or the useful [Leibniz] |
| 12962 | Pleasure is a sense of perfection [Leibniz] |
| 12934 | We can't want everyone to have more than their share, so a further standard is needed [Leibniz] |
| 12936 | There are natural rewards and punishments, like illness after over-indulgence [Leibniz] |
| 11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
| 3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
| 8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
| 12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
| 11856 | Qualities should be predictable from the nature of the subject [Leibniz] |
| 12994 | Gold has a real essence, unknown to us, which produces its properties [Leibniz] |
| 12808 | Part of our idea of gold is its real essence, which is not known to us in detail [Leibniz] |
| 12985 | Maybe motion is definable as 'change of place' [Leibniz] |
| 12952 | Space is an order among actual and possible things [Leibniz] |
| 12955 | If there were duration without change, we could never establish its length [Leibniz] |
| 12954 | God's essence is the source of possibilities, and his will the source of existents [Leibniz] |
| 12988 | The universe contains everything possible for its perfect harmony [Leibniz] |
| 1414 | A perfection is a simple quality, which is positive and absolute, and has no limit [Leibniz] |
| 21252 | Perfections must have overlapping parts if their incompatibility is to be proved [Leibniz] |
| 19328 | Without the principle of sufficient reason, God's existence could not be demonstrated [Leibniz] |
| 22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |
| 5058 | Animals have thought and sensation, and indestructible immaterial souls [Leibniz] |