286 ideas
13876 | The syntactic category is primary, and the ontological category is derivative [Frege, by Wright,C] |
12997 | Analysis is the art of finding the middle term [Leibniz] |
8415 | Never lose sight of the distinction between concept and object [Frege] |
9841 | Frege was the first to give linguistic answers to non-linguistic questions [Frege, by Dummett] |
9840 | Frege initiated linguistic philosophy, studying number through the sense of sentences [Frege, by Dummett] |
15948 | Frege developed formal systems to avoid unnoticed assumptions [Frege, by Lavine] |
13009 | A reason is a known truth which leads to assent to some further truth [Leibniz] |
10804 | Thoughts have a natural order, to which human thinking is drawn [Frege, by Yablo] |
9832 | Frege sees no 'intersubjective' category, between objective and subjective [Dummett on Frege] |
8414 | Keep the psychological and subjective separate from the logical and objective [Frege] |
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] |
9844 | Originally Frege liked contextual definitions, but later preferred them fully explicit [Frege, by Dummett] |
9822 | Nothing should be defined in terms of that to which it is conceptually prior [Frege, by Dummett] |
17495 | Proof aims to remove doubts, but also to show the interdependence of truths [Frege] |
8632 | You can't transfer external properties unchanged to apply to ideas [Frege] |
13881 | We need to grasp not number-objects, but the states of affairs which make number statements true [Frege, by Wright,C] |
13000 | Truth is correspondence between mental propositions and what they are about [Leibniz] |
9154 | Frege agreed with Euclid that the axioms of logic and mathematics are known through self-evidence [Frege, by Burge] |
9157 | The null set is only defensible if it is the extension of an empty concept [Frege, by Burge] |
9835 | It is because a concept can be empty that there is such a thing as the empty class [Frege, by Dummett] |
9854 | We can introduce new objects, as equivalence classes of objects already known [Frege, by Dummett] |
9883 | Frege introduced the standard device, of defining logical objects with equivalence classes [Frege, by Dummett] |
18104 | Frege, unlike Russell, has infinite individuals because numbers are individuals [Frege, by Bostock] |
9834 | A class is, for Frege, the extension of a concept [Frege, by Dummett] |
12992 | Logic teaches us how to order and connect our thoughts [Leibniz] |
10056 | At bottom eternal truths are all conditional [Leibniz] |
8645 | Convert "Jupiter has four moons" into "the number of Jupiter's moons is four" [Frege] |
16891 | Despite Gödel, Frege's epistemic ordering of all the truths is still plausible [Frege, by Burge] |
16906 | The primitive simples of arithmetic are the essence, determining the subject, and its boundaries [Frege, by Jeshion] |
12974 | People who can't apply names usually don't understand the thing to which it applies [Leibniz] |
14236 | Each horse doesn't fall under the concept 'horse that draws the carriage', because all four are needed [Oliver/Smiley on Frege] |
22294 | We can show that a concept is consistent by producing something which falls under it [Frege] |
13002 | It is always good to reduce the number of axioms [Leibniz] |
17624 | To understand axioms you must grasp their logical power and priority [Frege, by Burge] |
13008 | Geometry, unlike sensation, lets us glimpse eternal truths and their necessity [Leibniz] |
8640 | We cannot define numbers from the idea of a series, because numbers must precede that [Frege] |
9838 | Treating 0 as a number avoids antinomies involving treating 'nobody' as a person [Frege, by Dummett] |
9564 | For Frege 'concept' and 'extension' are primitive, but 'zero' and 'successor' are defined [Frege, by Chihara] |
10551 | If objects exist because they fall under a concept, 0 is the object under which no objects fall [Frege, by Dummett] |
8653 | Nought is the number belonging to the concept 'not identical with itself' [Frege] |
8636 | We can say 'a and b are F' if F is 'wise', but not if it is 'one' [Frege] |
8654 | One is the Number which belongs to the concept "identical with 0" [Frege] |
12956 | Only whole numbers are multitudes of units [Leibniz] |
8641 | You can abstract concepts from the moon, but the number one is not among them [Frege] |
9989 | Units can be equal without being identical [Tait on Frege] |
17429 | Frege says only concepts which isolate and avoid arbitrary division can give units [Frege, by Koslicki] |
17427 | Frege's 'isolation' could be absence of overlap, or drawing conceptual boundaries [Frege, by Koslicki] |
17437 | Non-arbitrary division means that what falls under the concept cannot be divided into more of the same [Frege, by Koslicki] |
17438 | Our concepts decide what is countable, as in seeing the leaves of the tree, or the foliage [Frege, by Koslicki] |
17426 | A concept creating a unit must isolate and unify what falls under it [Frege] |
17428 | Frege says counting is determining what number belongs to a given concept [Frege, by Koslicki] |
15916 | Frege's one-to-one correspondence replaces well-ordering, because infinities can't be counted [Frege, by Lavine] |
10034 | The number of natural numbers is not a natural number [Frege, by George/Velleman] |
12937 | We shouldn't just accept Euclid's axioms, but try to demonstrate them [Leibniz] |
16883 | Arithmetical statements can't be axioms, because they are provable [Frege, by Burge] |
17460 | A statement of number contains a predication about a concept [Frege] |
16890 | Frege's problem is explaining the particularity of numbers by general laws [Frege, by Burge] |
8630 | Individual numbers are best derived from the number one, and increase by one [Frege] |
11029 | 'Exactly ten gallons' may not mean ten things instantiate 'gallon' [Rumfitt on Frege] |
10013 | Numerical statements have first-order logical form, so must refer to objects [Frege, by Hodes] |
18181 | The Number for F is the extension of 'equal to F' (or maybe just F itself) [Frege] |
18103 | Numbers are objects because they partake in identity statements [Frege, by Bostock] |
10625 | Frege had a motive to treat numbers as objects, but not a justification [Hale/Wright on Frege] |
13871 | Frege claims that numbers are objects, as opposed to them being Fregean concepts [Frege, by Wright,C] |
13872 | Numbers are second-level, ascribing properties to concepts rather than to objects [Frege, by Wright,C] |
9816 | For Frege, successor was a relation, not a function [Frege, by Dummett] |
9953 | Numbers are more than just 'second-level concepts', since existence is also one [Frege, by George/Velleman] |
9954 | "Number of x's such that ..x.." is a functional expression, yielding a name when completed [Frege, by George/Velleman] |
10139 | Frege gives an incoherent account of extensions resulting from abstraction [Fine,K on Frege] |
10028 | For Frege the number of F's is a collection of first-level concepts [Frege, by George/Velleman] |
17636 | A cardinal number may be defined as a class of similar classes [Frege, by Russell] |
10029 | Numbers need to be objects, to define the extension of the concept of each successor to n [Frege, by George/Velleman] |
9973 | The number of F's is the extension of the second level concept 'is equipollent with F' [Frege, by Tait] |
16500 | Frege showed that numbers attach to concepts, not to objects [Frege, by Wiggins] |
9990 | Frege replaced Cantor's sets as the objects of equinumerosity attributions with concepts [Frege, by Tait] |
7738 | Zero is defined using 'is not self-identical', and one by using the concept of zero [Frege, by Weiner] |
23456 | Frege said logical predication implies classes, which are arithmetical objects [Frege, by Morris,M] |
13887 | Frege started with contextual definition, but then switched to explicit extensional definition [Frege, by Wright,C] |
13897 | Each number, except 0, is the number of the concept of all of its predecessors [Frege, by Wright,C] |
9856 | Frege's account of cardinals fails in modern set theory, so they are now defined differently [Dummett on Frege] |
9902 | Frege's incorrect view is that a number is an equivalence class [Benacerraf on Frege] |
17814 | The natural number n is the set of n-membered sets [Frege, by Yourgrau] |
17819 | A set doesn't have a fixed number, because the elements can be seen in different ways [Yourgrau on Frege] |
17820 | If you can subdivide objects many ways for counting, you can do that to set-elements too [Yourgrau on Frege] |
9956 | 'The number of Fs' is the extension (a collection of first-level concepts) of the concept 'equinumerous with F' [Frege, by George/Velleman] |
13527 | Frege's cardinals (equivalences of one-one correspondences) is not permissible in ZFC [Frege, by Wolf,RS] |
22292 | Hume's Principle fails to implicitly define numbers, because of the Julius Caesar [Frege, by Potter] |
17442 | Frege thinks number is fundamentally bound up with one-one correspondence [Frege, by Heck] |
11030 | The words 'There are exactly Julius Caesar moons of Mars' are gibberish [Rumfitt on Frege] |
10030 | 'Julius Caesar' isn't a number because numbers inherit properties of 0 and successor [Frege, by George/Velleman] |
8690 | From within logic, how can we tell whether an arbitrary object like Julius Caesar is a number? [Frege, by Friend] |
10219 | Frege said 2 is the extension of all pairs (so Julius Caesar isn't 2, because he's not an extension) [Frege, by Shapiro] |
13889 | Fregean numbers are numbers, and not 'Caesar', because they correlate 1-1 [Frege, by Wright,C] |
18142 | One-one correlations imply normal arithmetic, but don't explain our concept of a number [Frege, by Bostock] |
9046 | Our definition will not tell us whether or not Julius Caesar is a number [Frege] |
16896 | If numbers can be derived from logic, then set theory is superfluous [Frege, by Burge] |
8639 | If numbers are supposed to be patterns, each number can have many patterns [Frege] |
13874 | Numbers seem to be objects because they exactly fit the inference patterns for identities [Frege] |
13875 | Frege's platonism proposes that objects are what singular terms refer to [Frege, by Wright,C] |
7731 | How can numbers be external (one pair of boots is two boots), or subjective (and so relative)? [Frege, by Weiner] |
7737 | Identities refer to objects, so numbers must be objects [Frege, by Weiner] |
8635 | Numbers are not physical, and not ideas - they are objective and non-sensible [Frege] |
8652 | Numbers are objects, because they can take the definite article, and can't be plurals [Frege] |
17816 | Frege's logicism aimed at removing the reliance of arithmetic on intuition [Frege, by Yourgrau] |
8633 | There is no physical difference between two boots and one pair of boots [Frege] |
9951 | It appears that numbers are adjectives, but they don't apply to a single object [Frege, by George/Velleman] |
9952 | Numerical adjectives are of the same second-level type as the existential quantifier [Frege, by George/Velleman] |
11031 | 'Jupiter has many moons' won't read as 'The number of Jupiter's moons equals the number many' [Rumfitt on Frege] |
8637 | The number 'one' can't be a property, if any object can be viewed as one or not one [Frege] |
9999 | For science, we can translate adjectival numbers into noun form [Frege] |
7739 | Arithmetic is analytic [Frege, by Weiner] |
9945 | Logicism shows that no empirical truths are needed to justify arithmetic [Frege, by George/Velleman] |
8782 | Frege offered a Platonist version of logicism, committed to cardinal and real numbers [Frege, by Hale/Wright] |
13608 | Mathematics has no special axioms of its own, but follows from principles of logic (with definitions) [Frege, by Bostock] |
16905 | Arithmetic must be based on logic, because of its total generality [Frege, by Jeshion] |
5658 | Numbers are definable in terms of mapping items which fall under concepts [Frege, by Scruton] |
8655 | Arithmetic is analytic and a priori, and thus it is part of logic [Frege] |
10831 | Frege only managed to prove that arithmetic was analytic with a logic that included set-theory [Quine on Frege] |
13864 | Frege's platonism and logicism are in conflict, if logic must dictates an infinity of objects [Wright,C on Frege] |
10033 | Why should the existence of pure logic entail the existence of objects? [George/Velleman on Frege] |
10010 | Frege's belief in logicism and in numerical objects seem uncomfortable together [Hodes on Frege] |
9631 | Formalism fails to recognise types of symbols, and also meta-games [Frege, by Brown,JR] |
9875 | Frege was completing Bolzano's work, of expelling intuition from number theory and analysis [Frege, by Dummett] |
8642 | Abstraction from things produces concepts, and numbers are in the concepts [Frege] |
8621 | Mental states are irrelevant to mathematics, because they are vague and fluctuating [Frege] |
8643 | Affirmation of existence is just denial of zero [Frege] |
12932 | The idea of being must come from our own existence [Leibniz] |
8911 | If abstracta are non-mental, quarks are abstracta, and yet chess and God's thoughts are mental [Rosen on Frege] |
8634 | The equator is imaginary, but not fictitious; thought is needed to recognise it [Frege] |
17443 | Many of us find Frege's claim that truths depend on one another an obscure idea [Heck on Frege] |
17445 | Parallelism is intuitive, so it is more fundamental than sameness of direction [Frege, by Heck] |
12966 | Objects of ideas can be divided into abstract and concrete, and then further subdivided [Leibniz] |
10539 | Frege refers to 'concrete' objects, but they are no different in principle from abstract ones [Frege, by Dummett] |
17431 | Vagueness is incomplete definition [Frege, by Koslicki] |
13879 | For Frege, ontological questions are to be settled by reference to syntactic structures [Frege, by Wright,C] |
10642 | Second-order quantifiers are committed to concepts, as first-order commits to objects [Frege, by Linnebo] |
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] |
10032 | 'Ancestral' relations are derived by iterating back from a given relation [Frege, by George/Velleman] |
10606 | Frege treats properties as a kind of function, and maybe a property is its characteristic function [Frege, by Smith,P] |
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] |
8647 | Not all objects are spatial; 4 can still be an object, despite lacking spatial co-ordinates [Frege] |
12939 | Wholly uniform things like space and numbers are mere abstractions [Leibniz] |
10309 | Frege says singular terms denote objects, numerals are singular terms, so numbers exist [Frege, by Hale] |
10550 | Frege establishes abstract objects independently from concrete ones, by falling under a concept [Frege, by Dummett] |
8785 | For Frege, objects just are what singular terms refer to [Frege, by Hale/Wright] |
10278 | Without concepts we would not have any objects [Frege, by Shapiro] |
12979 | The only way we can determine individuals is by keeping hold of them [Leibniz] |
17432 | Frege's universe comes already divided into objects [Frege, by Koslicki] |
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] |
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] |
16022 | The idea of a criterion of identity was introduced by Frege [Frege, by Noonan] |
11100 | Frege's algorithm of identity is the law of putting equals for equals [Frege, by Quine] |
12153 | Geach denies Frege's view, that 'being the same F' splits into being the same and being F [Perry on Frege] |
9853 | Identity between objects is not a consequence of identity, but part of what 'identity' means [Frege, by Dummett] |
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] |
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] |
17623 | To understand a thought you must understand its logical structure [Frege, by Burge] |
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] |
9158 | For Frege a priori knowledge derives from general principles, so numbers can't be primitive [Frege] |
21253 | Descartes needs to demonstrate how other people can attain his clear and distinct conceptions [Leibniz] |
8657 | Mathematicians just accept self-evidence, whether it is logical or intuitive [Frege] |
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] |
9352 | An a priori truth is one derived from general laws which do not require proof [Frege] |
16889 | A truth is a priori if it can be proved entirely from general unproven laws [Frege] |
2514 | Frege tried to explain synthetic a priori truths by expanding the concept of analyticity [Frege, by Katz] |
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] |
16900 | Intuitions cannot be communicated [Frege, by Burge] |
16903 | Justifications show the ordering of truths, and the foundation is what is self-evident [Frege, by Jeshion] |
12949 | Light takes time to reach us, so objects we see may now not exist [Leibniz] |
8624 | Induction is merely psychological, with a principle that it can actually establish laws [Frege] |
8626 | In science one observation can create high probability, while a thousand might prove nothing [Frege] |
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] |
8648 | Ideas are not spatial, and don't have distances between them [Frege] |
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] |
5952 | Rather than being the whole soul, maybe I am its chief part? [Plutarch] |
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] |
5951 | If atoms have no qualities, they cannot possibly produce a mind [Plutarch] |
8620 | Thought is the same everywhere, and the laws of thought do not vary [Frege] |
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] |
9870 | Early Frege takes the extensions of concepts for granted [Frege, by Dummett] |
13878 | Concepts are, precisely, the references of predicates [Frege, by Wright,C] |
7736 | A concept is a non-psychological one-place function asserting something of an object [Frege, by Weiner] |
17430 | Fregean concepts have precise boundaries and universal applicability [Frege, by Koslicki] |
8622 | Psychological accounts of concepts are subjective, and ultimately destroy truth [Frege] |
8651 | A concept is a possible predicate of a singular judgement [Frege] |
9846 | Defining 'direction' by parallelism doesn't tell you whether direction is a line [Dummett on Frege] |
9976 | Frege accepts abstraction to the concept of all sets equipollent to a given one [Tait on Frege] |
10803 | Frege himself abstracts away from tone and color [Yablo on Frege] |
9988 | If we abstract 'from' two cats, the units are not black or white, or cats [Tait on Frege] |
9855 | Frege's logical abstaction identifies a common feature as the maximal set of equivalent objects [Frege, by Dummett] |
10802 | Frege's 'parallel' and 'direction' don't have the same content, as we grasp 'parallel' first [Yablo on Frege] |
10525 | Frege put the idea of abstraction on a rigorous footing [Frege, by Fine,K] |
10526 | Fregean abstraction creates concepts which are equivalences between initial items [Frege, by Fine,K] |
10556 | We create new abstract concepts by carving up the content in a different way [Frege] |
9882 | You can't simultaneously fix the truth-conditions of a sentence and the domain of its variables [Dummett on Frege] |
9881 | From basing 'parallel' on identity of direction, Frege got all abstractions from identity statements [Frege, by Dummett] |
8646 | Words in isolation seem to have ideas as meanings, but words have meaning in propositions [Frege] |
7732 | Never ask for the meaning of a word in isolation, but only in the context of a proposition [Frege] |
9370 | A statement is analytic if substitution of synonyms can make it a logical truth [Frege, by Boghossian] |
8743 | Frege considered analyticity to be an epistemic concept [Frege, by Shapiro] |
20295 | All analytic truths can become logical truths, by substituting definitions or synonyms [Frege, by Rey] |
2515 | Frege fails to give a concept of analyticity, so he fails to explain synthetic a priori truth that way [Katz on Frege] |
20796 | Action needs an affinity for a presentation, and an impulse toward the affinity [Plutarch] |
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] |
5948 | The good life involves social participation, loyalty, temperance and honesty [Plutarch] |
12936 | There are natural rewards and punishments, like illness after over-indulgence [Leibniz] |
8619 | To learn something, you must know that you don't know [Frege] |
5950 | If only atoms exist, how do qualities arise when the atoms come together? [Plutarch] |
8656 | The laws of number are not laws of nature, but are laws of the laws of nature [Frege] |
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] |
22286 | Existence is not a first-level concept (of God), but a second-level property of concepts [Frege, by Potter] |
8644 | Because existence is a property of concepts the ontological argument for God fails [Frege] |
5955 | No one will ever find a city that lacks religious practices [Plutarch] |
5058 | Animals have thought and sensation, and indestructible immaterial souls [Leibniz] |