175 ideas
| 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] |
| 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] |
| 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] |
| 12980 | Genus and differentia might be swapped, and 'rational animal' become 'animable rational' [Leibniz] |
| 9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
| 13000 | Truth is correspondence between mental propositions and what they are about [Leibniz] |
| 10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
| 11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
| 11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
| 11011 | Same say there are positive, negative and neuter free logics [Read] |
| 11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
| 12992 | Logic teaches us how to order and connect our thoughts [Leibniz] |
| 10986 | Not all validity is captured in first-order logic [Read] |
| 9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
| 10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
| 11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
| 10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
| 10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
| 10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
| 10056 | At bottom eternal truths are all conditional [Leibniz] |
| 10973 | A theory is logically closed, which means infinite premisses [Read] |
| 12974 | People who can't apply names usually don't understand the thing to which it applies [Leibniz] |
| 11007 | Quantifiers are second-order predicates [Read] |
| 10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
| 10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
| 10988 | Any first-order theory of sets is inadequate [Read] |
| 13002 | It is always good to reduce the number of axioms [Leibniz] |
| 10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
| 10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
| 10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
| 10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
| 11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
| 13008 | Geometry, unlike sensation, lets us glimpse eternal truths and their necessity [Leibniz] |
| 9896 | A prime number is one which is measured by a unit alone [Dummett] |
| 18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
| 12956 | Only whole numbers are multitudes of units [Leibniz] |
| 9895 | A number is a multitude composed of units [Dummett] |
| 9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
| 11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
| 12937 | We shouldn't just accept Euclid's axioms, but try to demonstrate them [Leibniz] |
| 10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
| 10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
| 10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
| 9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
| 9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
| 9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
| 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] |
| 9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
| 9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
| 11016 | Would a language without vagueness be usable at all? [Read] |
| 11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
| 11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
| 11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
| 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] |
| 9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
| 12990 | Real (non-logical) abstract terms are either essences or accidents [Leibniz] |
| 9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
| 12939 | Wholly uniform things like space and numbers are mere abstractions [Leibniz] |
| 9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
| 9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
| 9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
| 9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
| 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] |
| 10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
| 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] |
| 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] |
| 9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
| 9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
| 5055 | No two things are totally identical [Leibniz] |
| 11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
| 10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
| 10989 | The standard view of conditionals is that they are truth-functional [Read] |
| 11017 | Some people even claim that conditionals do not express propositions [Read] |
| 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] |
| 10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
| 10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
| 10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
| 10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
| 11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
| 12998 | Understanding grasps the agreements and disagreements of ideas [Leibniz] |
| 12960 | We understand things when they are distinct, and we can derive necessities from them [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] |
| 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] |
| 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] |
| 12949 | Light takes time to reach us, so objects we see may now not exist [Leibniz] |
| 5053 | The instances confirming a general truth are never enough to establish its necessity [Leibniz] |
| 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] |
| 10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
| 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] |
| 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] |
| 9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
| 9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
| 9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
| 9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
| 9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
| 9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
| 11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
| 9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
| 10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
| 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] |
| 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] |
| 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] |
| 18257 | Why should the limit of measurement be points, not intervals? [Dummett] |
| 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] |
| 5058 | Animals have thought and sensation, and indestructible immaterial souls [Leibniz] |