83 ideas
12926 | Wisdom is the science of happiness [Leibniz] |
Full Idea: Wisdom is the science of happiness. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1690.03.23) | |
A reaction: That probably comes down to common sense, or Aristotle's 'phronesis'. I take wisdom to involve understanding, as well as the quest for happiness. |
12903 | Wise people have fewer acts of will, because such acts are linked together [Leibniz] |
Full Idea: The wiser one is, the fewer separate acts of will one has and the more one's views and acts of will are comprehensive and linked together. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.04.12) | |
A reaction: [letter to Landgrave, about Arnauld] It is unusual to find a philosopher who actually tries to analyse the nature of wisdom, instead of just paying lipservice to it. I take Leibniz to be entirely right here. He equates wisdom with rational behaviour. |
12914 | Metaphysics is geometrical, resting on non-contradiction and sufficient reason [Leibniz] |
Full Idea: I claim to give metaphysics geometric demonstrations, assuming only the principle of contradiction (or else all reasoning becomes futile), and that nothing exists without a reason, or that every truth has an a priori proof, from the concept of terms. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 XI) | |
A reaction: For the last bit, see Idea 12910. This idea is the kind of huge optimism about metaphysic which got it a bad name after Kant, and in modern times. I'm optimistic about metaphysics, but certainly not about 'geometrical demonstrations' of it. |
18835 | Logic doesn't have a metaphysical basis, but nor can logic give rise to the metaphysics [Rumfitt] |
Full Idea: There is surely no metaphysical basis for logic, but equally there is no logical basis for metaphysics, if that implies that we can settle the choice of logic in advance of settling any seriously contested metaphysical-cum-semantic issues. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.5) | |
A reaction: Is this aimed at Tim Williamson's book on treating modal logic as metaphysics? I agree with the general idea that logic won't deliver a metaphysics. I might want to defend a good metaphysics giving rise to a good logic. |
12915 | Definitions can only be real if the item is possible [Leibniz] |
Full Idea: Definitions to my mind are real, when one knows that the thing defined is possible; otherwise they are only nominal, and one must not rely on them. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 XI) | |
A reaction: It is interesting that things do not have to actual to have real definitions. For Leibniz, what is possible will exist in the mind of God. For me what is possible will exist in the potentialities of the powers of what is actual. |
19333 | A truth is just a proposition in which the predicate is contained within the subject [Leibniz] |
Full Idea: In every true affirmative proposition, necessary or contingent, universal or particular, the concept of the predicate is in a sense included in that of the subject; the predicate is present in the subject; or else I do not know what truth is. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14) | |
A reaction: Why did he qualify this with "in a sense"? This is referred to as the 'concept containment theory of truth'. This is an odd view of the subject. If the truth is 'Peter fell down stairs', we don't usually think the concept of Peter contains such things. |
12910 | The predicate is in the subject of a true proposition [Leibniz] |
Full Idea: In a true proposition the concept of the predicate is always present in the subject. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: This sounds very like the Kantian notion of an analytic truth, but Leibniz is applying it to all truths. So Socrates must contain the predicate of running as part of his nature (or essence?), if 'Socrates runs' is to be true. |
18819 | The idea that there are unrecognised truths is basic to our concept of truth [Rumfitt] |
Full Idea: The realist principle that a statement may be true even though no one is able to recognise its truth is so deeply embedded in our ordinary conception of truth that any account that flouts it is liable to engender confusion. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 5.1) |
18826 | 'True at a possibility' means necessarily true if what is said had obtained [Rumfitt] |
Full Idea: A statement is 'true at a possibility' if, necessarily, things would have been as the statement (actually) says they are, had the possibility obtained. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.6) | |
A reaction: This is deliberately vague about what a 'possibility' is, but it is intended to be more than a property instantiation, and less than a possible world. |
18803 | Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt] |
Full Idea: The classical semantics of natural language propositions says 1) valid arguments preserve truth, 2) no statement is both true and false, 3) each statement is either true or false, 4) the familiar truth tables. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
18814 | 'Absolute necessity' would have to rest on S5 [Rumfitt] |
Full Idea: If there is such a notion as 'absolute necessity', its logic is surely S5. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
A reaction: There are plenty of people (mainly in the strict empiricist tradition) who don't believe in 'absolute' necessity. |
18798 | It is the second-order part of intuitionistic logic which actually negates some classical theorems [Rumfitt] |
Full Idea: Although intuitionistic propositional and first-order logics are sub-systems of the corresponding classical systems, intuitionistic second-order logic affirms the negations of some classical theorems. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
18799 | Intuitionists can accept Double Negation Elimination for decidable propositions [Rumfitt] |
Full Idea: Double Negation Elimination is a rule of inference which the classicist accepts without restriction, but which the intuitionist accepts only for decidable propositions. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
A reaction: This cures me of my simplistic understanding that intuitionists just reject the rules about double negation. |
18830 | Most set theorists doubt bivalence for the Continuum Hypothesis, but still use classical logic [Rumfitt] |
Full Idea: Many set theorists doubt if the Generalised Continuum Hypothesis must be either true or false; certainly, its bivalence is far from obvious. All the same, almost all set theorists use classical logic in their proofs. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.2) | |
A reaction: His point is that classical logic is usually taken to rest on bivalence. He offers the set theorists a helping hand, by defending classical logic without resorting to bivalence. |
18843 | The iterated conception of set requires continual increase in axiom strength [Rumfitt] |
Full Idea: We are doomed to postulate an infinite sequence of successively stronger axiom systems as we try to spell out what is involved in iterating the power set operation 'as far as possible'. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.3) | |
A reaction: [W.W. Tait is behind this idea] The problem with set theory, then, especially as a foundation of mathematics, is that it doesn't just expand, but has to keep reinventing itself. The 'large cardinal axioms' are what is referred to. |
18836 | A set may well not consist of its members; the empty set, for example, is a problem [Rumfitt] |
Full Idea: There seem strong grounds for rejecting the thesis that a set consists of its members. For one thing, the empty set is a perpetual embarrassment for the thesis. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.4) | |
A reaction: Rumfitt also says that if 'red' has an extension, then membership of that set must be vague. Extensional sets are precise because their objects are decided in advance, but intensional (or logical) sets, decided by a predicate, can be vague. |
18837 | A set can be determinate, because of its concept, and still have vague membership [Rumfitt] |
Full Idea: Vagueness in respect of membership is consistent with determinacy of the set's identity, so long as a set's identity is taken to consist, not in its having such-and-such members, but in its being the extension of the concept A. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.4) | |
A reaction: To be determinate, it must be presumed that there is some test which will decide what falls under the concept. The rule can say 'if it is vague, reject it' or 'if it is vague, accept it'. Without one of those, how could the set have a clear identity? |
18845 | If the totality of sets is not well-defined, there must be doubt about the Power Set Axiom [Rumfitt] |
Full Idea: Someone who is sympathetic to the thesis that the totality of sets is not well-defined ought to concede that we have no reason to think that the Power Set Axiom is true. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6) | |
A reaction: The point is that it is only this Axiom which generates the vast and expanding totality. In principle it is hard, though, to see what is intrinsically wrong with the operation of taking the power set of a set. Hence 'limitation of size'? |
18815 | Logic is higher-order laws which can expand the range of any sort of deduction [Rumfitt] |
Full Idea: On the conception of logic recommended here, logical laws are higher-order laws that can be applied to expand the range of any deductive principles. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
A reaction: You need the concept of a 'deductive principle' to get this going, but I take it that might be directly known, rather than derived from a law. |
18805 | Classical logic rules cannot be proved, but various lines of attack can be repelled [Rumfitt] |
Full Idea: There is not the slightest prospect of proving that the rules of classical logic are sound. ….All that the defender of classical logic can do is scrutinize particular attacks and try to repel them. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
A reaction: This is the agenda for Rumfitt's book. |
18804 | The case for classical logic rests on its rules, much more than on the Principle of Bivalence [Rumfitt] |
Full Idea: I think it is a strategic mistake to rest the case for classical logic on the Principle of Bivalence: the soundness of the classical logic rules is far more compelling than the truth of Bivalence. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
A reaction: The 'rules' to which he is referring are those of 'natural deduction', which make very few assumptions, and are intended to be intuitively appealing. |
18827 | If truth-tables specify the connectives, classical logic must rely on Bivalence [Rumfitt] |
Full Idea: If we specify the senses of the connectives by way of the standard truth-tables, then we must justify classical logic only by appeal to the Principle of Bivalence. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7) | |
A reaction: Rumfitt proposes to avoid the truth-tables, and hence not to rely on Bivalence for his support of classical logic. He accepts that Bivalence is doubtful, citing the undecidability of the Continuum Hypothesis as a problem instance. |
18813 | Logical consequence is a relation that can extended into further statements [Rumfitt] |
Full Idea: Logical consequence, I argue, is distinguished from other implication relations by the fact that logical laws may be applied in extending any implication relation so that it applies among some complex statements involving logical connectives. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.3) | |
A reaction: He offers implication in electronics as an example of a non-logical implication relation. This seems to indicate that logic must be monotonic, that consequence is transitive, and that the Cut Law always applies. |
18808 | Normal deduction presupposes the Cut Law [Rumfitt] |
Full Idea: Our deductive practices seem to presuppose the Cut Law. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.3) | |
A reaction: That is, if you don't believe that deductions can be transitive (and thus form a successful chain of implications), then you don't really believe in deduction. It remains a well known fact that you can live without the Cut Law. |
18840 | When faced with vague statements, Bivalence is not a compelling principle [Rumfitt] |
Full Idea: I do not regard Bivalence, when applied to vague statements, as an intuitively compelling principle which we ought to try to preserve. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.7) | |
A reaction: The point of Rumfitt's book is to defend classical logic despite failures of bivalence. He also cites undecidable concepts such as the Continuum Hypothesis. |
18802 | In specifying a logical constant, use of that constant is quite unavoidable [Rumfitt] |
Full Idea: There is no prospect whatever of giving the sense of a logical constant without using that very constant, and much else besides, in the metalinguistic principle that specifies that sense. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) |
18800 | Introduction rules give deduction conditions, and Elimination says what can be deduced [Rumfitt] |
Full Idea: 'Introduction rules' state the conditions under which one may deduce a conclusion whose dominant logical operator is the connective. 'Elimination rules' state what may be deduced from some premises, where the major premise is dominated by the connective. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 1.1) | |
A reaction: So Introduction gives conditions for deduction, and Elimination says what can actually be deduced. If my magic wand can turn you into a frog (introduction), and so I turn you into a frog, how does that 'eliminate' the wand? |
18809 | Logical truths are just the assumption-free by-products of logical rules [Rumfitt] |
Full Idea: Gentzen's way of formalising logic has accustomed people to the idea that logical truths are simply the by-products of logical rules, that arise when all the assumptions on which a conclusion rests have been discharged. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.5) | |
A reaction: This is the key belief of those who favour the natural deduction account of logic. If you really believe in separate logic truths, then you can use them as axioms. |
18807 | Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt] |
Full Idea: Monotonicity seems to mark the difference between cases in which a guarantee obtains and those where the premises merely provide inductive support for a conclusion. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 2.3) | |
A reaction: Hence it is plausible to claim that 'non-monotonic logic' is a contradiction in terms. |
18842 | Maybe an ordinal is a property of isomorphic well-ordered sets, and not itself a set [Rumfitt] |
Full Idea: Menzel proposes that an ordinal is something isomorphic well-ordered sets have in common, so while an ordinal can be represented as a set, it is not itself a set, but a 'property' of well-ordered sets. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.2) | |
A reaction: [C.Menzel 1986] This is one of many manoeuvres available if you want to distance mathematics from set theory. |
12920 | There is no multiplicity without true units [Leibniz] |
Full Idea: There is no multiplicity without true units. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30) | |
A reaction: Hence real numbers do not embody 'multiplicity'. So either they don't 'embody' anything, or they embody 'magnitudes'. Does this give two entirely different notions, of measure of multiplicity and measures of magnitude? |
18834 | Infinitesimals do not stand in a determinate order relation to zero [Rumfitt] |
Full Idea: Infinitesimals do not stand in a determinate order relation to zero: we cannot say an infinitesimal is either less than zero, identical to zero, or greater than zero. ….Infinitesimals are so close to zero as to be theoretically indiscriminable from it. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.4) |
18846 | Cantor and Dedekind aimed to give analysis a foundation in set theory (rather than geometry) [Rumfitt] |
Full Idea: One of the motivations behind Cantor's and Dedekind's pioneering explorations in the field was the ambition to give real analysis a new foundation in set theory - and hence a foundation independent of geometry. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 9.6) | |
A reaction: Rumfitt is inclined to think that the project has failed, although a weaker set theory than ZF might do the job (within limits). |
12319 | What is not truly one being is not truly a being either [Leibniz] |
Full Idea: What is not truly one being is not truly a being either. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Alain Badiou - Briefings on Existence 1 | |
A reaction: Badiou quotes this as identifying Being with the One. I say Leibniz had no concept of 'gunk', and thought everything must have a 'this' identity in order to exist, which is just the sort of thing a logician would come up with. |
12922 | A thing 'expresses' another if they have a constant and fixed relationship [Leibniz] |
Full Idea: One thing 'expresses' another (in my terminology) when there exists a constant and fixed relationship between what can be said of one and of the other. This is the way that a perspectival projection expresses its ground-plan. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09) | |
A reaction: Arnauld was puzzled by what Leibniz might mean by 'express', and it occurs to me that Leibniz was fishing for the modern concept of 'supervenience'. It also sounds a bit like the idea of 'covariance' between mind and world. Maybe he means 'function'. |
13079 | A substance contains the laws of its operations, and its actions come from its own depth [Leibniz] |
Full Idea: Each indivisible substance contains in its nature the law by which the series of its operations continues, and all that has happened and will happen to it. All its actions come from its own depths, except for dependence on God. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14) | |
A reaction: I take the combination of 'laws' and 'forces', which Leibniz attributes to Aristotelian essences, to be his distinctive contribution towards giving us an Aristotelian metaphysic which is suitable for modern science. |
12745 | Philosophy needs the precision of the unity given by substances [Leibniz] |
Full Idea: Philosophy cannot be better reduced to something precise, than by recognising only substances or complete beings endowed with a true unity, with different states that succeed one another; all else is phenomena, abstractions or relations. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
A reaction: This idea bothers me. Has the whole of modern philosophy been distorted by this yearning for 'precision'? It has put mathematicians and logicians in the driving seat. Do we only attribute unity because it suits our thinking? |
12921 | Accidental unity has degrees, from a mob to a society to a machine or organism [Leibniz] |
Full Idea: There are degrees of accidental unity, and an ordered society has more unity than a chaotic mob, and an organic body or a machine has more unity than a society. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30) | |
A reaction: This immediately invites questions about the extremes. Why does the very highest degree of 'accidental unity' not achieve 'true unity'? And why cannot a very ununified aggregate have a bit of unity (as in unrestricted mereological composition)? |
12746 | We find unity in reason, and unity in perception, but these are not true unity [Leibniz] |
Full Idea: A pair of diamonds is merely an entity of reason, and even if one of them is brought close to another, it is an entity of imagination or perception, that is to say a phenomenon; contiguity, common movement and the same end don't make substantial unity. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 7 | |
A reaction: This invites the question of what you have to do to two objects to give them substantial unity. The distinction between unity 'of reason' and unity 'of perception' is good. |
12916 | A body is a unified aggregate, unless it has an indivisible substance [Leibniz] |
Full Idea: One will never find a body of which it may be said that it is truly one substance, ...because entities made up by aggregation have only as much reality as exists in the constituent parts. Hence the substance of a body must be indivisible. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11) | |
A reaction: Leibniz rejected atomism, and he evidently believed that pure materialists must deny the real existence of physical objects. Common sense suggests that causal bonds bestow a high degree of unity on bodies (if degrees are allowed). |
12919 | Unity needs an indestructible substance, to contain everything which will happen to it [Leibniz] |
Full Idea: Substantial unity requires a complete, indivisible and naturally indestructible entity, since its concept embraces everything that is to happen to it, which cannot be found in shape or motion. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11.28/12.8) | |
A reaction: Hence if a tile is due to be broken in half (Arnauld's example), it cannot have had unity in the first place. To what do we refer when we say 'the tile was broken'? |
12923 | Every bodily substance must have a soul, or something analogous to a soul [Leibniz] |
Full Idea: Every bodily substance must have a soul, or at least an entelechy which is analogous to the soul. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09) | |
A reaction: He routinely commits to a 'soul', and then pulls back and says it may only be an 'analogy'. He had deep doubts about his whole scheme, which emerged in the late correspondence with Des Bosses. This not monads, says Garber. |
12704 | Aggregates don’t reduce to points, or atoms, or illusion, so must reduce to substance [Leibniz] |
Full Idea: In aggregates one must necessarily arrive either at mathematical points from which some make up extension, or at atoms (which I dismiss), or else no reality can be found in bodies, or finally one must recognises substances that possess a true unity. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2 | |
A reaction: Garber calls this Leibniz's Aggregate Argument. Leibniz is, of course, talking of physical aggregates which have unity. He consistently points out that a pile of logs has no unity at all. But is substance just that-which-provides-unity? |
18839 | An object that is not clearly red or orange can still be red-or-orange, which sweeps up problem cases [Rumfitt] |
Full Idea: A borderline red-orange object satisfies the disjunctive predicate 'red or orange', even though it satisfies neither 'red' or 'orange'. When applied to adjacent bands of colour, the disjunction 'sweeps up' objects which are reddish-orange. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.5) | |
A reaction: Rumfitt offers a formal principle in support of this. There may be a problem with 'adjacent'. Different colour systems will place different colours adjacent to red. In other examples the idea of 'adjacent' may make no sense. Rumfitt knows this! |
18838 | The extension of a colour is decided by a concept's place in a network of contraries [Rumfitt] |
Full Idea: On Sainsbury's picture, a colour has an extension that it has by virtue of its place in a network of contrary colour classifications. Something is determined to be 'red' by being a colour incompatible with orange, yellow, green, blue, indigo and violet. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 8.5) | |
A reaction: Along with Idea 18839, this gives quite a nice account of vagueness, by requiring a foil to the vague predicate, and using the disjunction of the predicate and its foil to handle anything caught in between them. |
13077 | Basic predicates give the complete concept, which then predicts all of the actions [Leibniz] |
Full Idea: Apart from those that depend on others, one must only consider together all the basic predicates in order to form the complete concept of Adam adequate to deduce from it everything that is ever to happen to him, as much as is necessary to account for it. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06) | |
A reaction: This (implausibly) goes beyond mere prediction of properties. Eve's essence seems to be relevant to Adam's life. Note that the complete concept is not every predicate, but only those 'necessary' to predict the events. Cf Idea 13082. |
12908 | Essences exist in the divine understanding [Leibniz] |
Full Idea: Essences exist in the divine understanding before one considers will. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: This is a sort of religious neo-platonism. The great dream seems to be that of mind-reading God, and the result is either Pythagoras (it's numbers!), or Plato (it's pure ideas!), or this (it's essences!). See D.H.Lawrence's poem on geranium and mignottes. |
12706 | Bodies need a soul (or something like it) to avoid being mere phenomena [Leibniz] |
Full Idea: Every substance is indivisible and consequently every corporeal substance must have a soul or at least an entelechy which is analogous to the soul, since otherwise bodies would be no more than phenomena. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], G II 121), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 2 | |
A reaction: There is a large gap between having 'a soul' and having something 'analogous to a soul'. I take the analogy to be merely as originators of action. Leibniz wants to add appetite and sensation to the Aristotelian forms (but knows this is dubious!). |
12906 | Truths about species are eternal or necessary, but individual truths concern what exists [Leibniz] |
Full Idea: The concept of a species contains only eternal or necessary truths, whereas the concept of an individual contains, regarded as possible, what in fact exists or what is related to the existence of things and to time. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06) | |
A reaction: This seems to be what is behind the preference some have for kind-essences rather than individual essences. But the individual must be explained, as well as the kind. Not all tigers are identical. The two are, of course, compatible. |
18816 | Metaphysical modalities respect the actual identities of things [Rumfitt] |
Full Idea: The central characteristic mark of metaphysical necessity is that a metaphysical possibility respects the actual identities of things - in a capacious sense of 'thing'. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 3.4) | |
A reaction: He contrast this with logical necessity, and concludes that some truths are metaphysically but not logically necessary, such as 'Hesperus is identical with Phosphorus'. Personally I like the idea of a 'necessity-maker', so that fits. |
18825 | S5 is the logic of logical necessity [Rumfitt] |
Full Idea: I accept the widely held thesis that S5 is the logic of logical necessity. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.4 n16) | |
A reaction: It seems plausible that S5 is also the logic of metaphysical necessity, but that does not make them the same thing. The two types of necessity have two different grounds. |
18824 | Since possibilities are properties of the world, calling 'red' the determination of a determinable seems right [Rumfitt] |
Full Idea: Some philosophers describe the colour scarlet as a determination of the determinable red; since the ways the world might be are naturally taken to be properties of the world, it helps to bear this analogy in mind. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6.4) | |
A reaction: This fits nicely with the disposition accounts of modality which I favour. Hence being 'coloured' is a real property of objects, even in the absence of the name of its specific colour. |
18828 | If two possibilities can't share a determiner, they are incompatible [Rumfitt] |
Full Idea: Two possibilities are incompatible when no possibility determines both. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.1) | |
A reaction: This strikes me as just the right sort of language for building up a decent metaphysical picture of the world, which needs to incorporate possibilities as well as actualities. |
18821 | Possibilities are like possible worlds, but not fully determinate or complete [Rumfitt] |
Full Idea: Possibilities are things of the same general character as possible worlds, on one popular conception of the latter. They differ from worlds, though, in that they are not required to be fully determinate or complete. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 6) | |
A reaction: A rather promising approach to such things, even though a possibility is fairly determinate at its core, but very vague at the edges. It is possible that the UK parliament might be located in Birmingham, for example. Is this world 'complete'? |
12904 | If varieties of myself can be conceived of as distinct from me, then they are not me [Leibniz] |
Full Idea: I can as little conceive of different varieties of myself as of a circle whose diameters are not all of equal length. These variations would all be distinct one from another, and thus one of these varieties of myself would necessarily not be me. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05.13) | |
A reaction: This seems to be, at the very least, a rejection of any idea that I could have a 'counterpart'. It is unclear, though, where he would place a version of himself who learned a new language, or who might have had, but didn't have, a haircut. |
11981 | If someone's life went differently, then that would be another individual [Leibniz] |
Full Idea: If the life of some person, or something went differently than it does, nothing would stop us from saying that it would be another person, or another possible universe which God had chosen. So truly it would be another individual. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.14) | |
A reaction: Plantinga quotes this as an example of 'worldbound individuals'. This sort of remark leads to people saying that Leibniz believes all properties are essential, since they assume that his notion of essence is bound up with identity. But is it? |
18831 | Medieval logicians said understanding A also involved understanding not-A [Rumfitt] |
Full Idea: Mediaeval logicians had a principle, 'Eadem est scientia oppositorum': in order to attain a clear conception of what it is for A to be the case, one needs to attain a conception of what it is for A not to be the case. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.2) | |
A reaction: Presumably 'understanding' has to be a fairly comprehensive grasp of the matter, so understanding the negation sounds like a reasonable requirement for the real thing. |
12905 | I cannot think my non-existence, nor exist without being myself [Leibniz] |
Full Idea: I am assured that as long as I think, I am myself. For I cannot think that I do not exist, nor exist so that I be not myself. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05.13) | |
A reaction: Elsewhere he qualifies the Cogito, but here he seems to straighforwardly endorse it. |
19334 | I can't just know myself to be a substance; I must distinguish myself from others, which is hard [Leibniz] |
Full Idea: It is not enough for understanding the nature of myself, that I feel myself to be a thinking substance, one would have to form a distinct idea of what distinguishes me from all other possible minds; but of that I have only a confused experience. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14) | |
A reaction: Not a criticism I have encountered before. Does he mean that I might be two minds, or might be a multitude of minds? It seems to be Hume's problem, that you are aware of experiences, but not of the substance that unites them. |
18820 | In English 'evidence' is a mass term, qualified by 'little' and 'more' [Rumfitt] |
Full Idea: In English, the word 'evidence' behaves as a mass term: we speak of someone's having little evidence for an assertion, and of one thinker's having more evidence than another for a claim. One the other hand, we also speak of 'pieces' of evidence. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 5.2) | |
A reaction: And having 'more' evidence does not mean having a larger number of pieces of evidence, so it really is like an accumulated mass. |
5033 | Nothing should be taken as certain without foundations [Leibniz] |
Full Idea: Nothing should be taken as certain without foundations. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.04.30) | |
A reaction: This might leave open the option, if you were a modern 'Fallibilist', that something might lack foundations, and so not be certain, and yet still qualify as 'knowledge'. That is my view. Knowledge resides somewhere between opinion and certainty. |
12913 | Nature is explained by mathematics and mechanism, but the laws rest on metaphysics [Leibniz] |
Full Idea: One must always explain nature along mathematical and mechanical lines, provided one knows that the very principles or laws of mechanics or of force do not depend upon mathematical extension alone but upon certain metaphysical reasons. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: I like this, and may even use it as the epigraph of my masterwork. Recently Stephen Hawking (physicist) has been denigrating philosophy, but I am with Leibniz on this one. |
13089 | To fully conceive the subject is to explain the resulting predicates and events [Leibniz] |
Full Idea: Even in the most contingent truths, there is always something to be conceived in the subject which serves to explain why this predicate or event pertains to it, or why this has happened rather than not. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06) | |
A reaction: The last bit, about containing what has happened, seems absurd, but the rest of it makes sense. It is just the Aristotelian essentialist view, that a full understanding of the inner subject will both explain and predict the surface properties. |
5034 | Mind is a thinking substance which can know God and eternal truths [Leibniz] |
Full Idea: Minds are substances which think, and are capable of knowing God and of discovering eternal truths. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1687.10.09) | |
A reaction: 'God' is there because the ability to grasp the ontological argument is seen as basic. Note a firm commitment to substance-dualism, and a rationalist commitment to the spotting of necessary truths as basic. He is not totally wrong. |
5032 | It seems probable that animals have souls, but not consciousness [Leibniz] |
Full Idea: It appears probable that the brutes have souls, though they are without consciousness. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.12.08) | |
A reaction: This will be a response to Descartes, who allowed animals sensations, but not minds or souls. Personally I cannot make head or tail of Leibniz's claim. What makes it "apparent" to him? |
3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
Full Idea: Freud thinks that our unconscious mental states exist as occurrent intrinsic intentional states even when unconscious. Their ontology is that of the mental, even when they are unconscious. | |
From: report of Sigmund Freud (works [1900]) by John Searle - The Rediscovery of the Mind Ch. 7.V | |
A reaction: Searle states this view in order to attack it. Whether such states are labelled as 'mental' seems uninteresting. Whether unconscious states can be intentional is crucial, and modern scientific understanding of the brain strongly suggest they can. |
5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
Full Idea: Freud persuaded many that beliefs, wishes and feelings are sometimes unconscious, and even sceptics about Freud acknowledge that there is self-deception about motive and attitudes. | |
From: report of Sigmund Freud (works [1900]) by Sydney Shoemaker - Introspection p.396 | |
A reaction: This seems to me obviously correct. The traditional notion is that the consciousness is the mind, but now it seems obvious that consciousness is only one part of the mind, and maybe even a peripheral (epiphenomenal) part of it. |
5031 | Everything which happens is not necessary, but is certain after God chooses this universe [Leibniz] |
Full Idea: It is not the case that everything which happens is necessary; rather, everything which happens is certain after God made choice of this possible universe, whose notion contains this series of things. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05) | |
A reaction: I think this distinction is best captured as 'metaphysical necessity' (Leibniz's 'necessity'), and 'natural necessity' (his 'certainty'). 'Certainty' seems a bad word, as it is either certain de dicto or de re. Is God certain, or is the thing certain? |
23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
Full Idea: Freud argued that the passions in general …were the pressures of a yet unknown 'quantity' (which he simply designated 'Q'). He first thought this flowed through neurones, …and always couched the idea in the language of hydraulics. | |
From: report of Sigmund Freud (works [1900]) by Robert C. Solomon - The Passions 3.4 | |
A reaction: This is the main target of Solomon's criticism, because its imagery has become so widespread. It leads to talk of suppressing emotions, or sublimating them. However, it is not too different from Nietzsche's 'drives' or 'will to power'. |
12911 | Concepts are what unite a proposition [Leibniz] |
Full Idea: There must always be some basis for the connexion between the terms of a proposition, and it is to be found in their concepts. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: We face the problem that bothered Russell, of the unity of the proposition. We are also led to the question of HOW our concepts connect the parts of a proposition. Do concepts have valencies? Are they incomplete, as Frege suggests? |
18817 | We understand conditionals, but disagree over their truth-conditions [Rumfitt] |
Full Idea: It is striking that our understanding of conditionals is not greatly impeded by widespread disagreement about their truth-conditions. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 4.2) | |
A reaction: Compare 'if you dig there you might find gold' with 'if you dig there you will definitely find gold'. The second but not the first invites 'how do you know that?', implying truth. Two different ifs. |
18829 | The truth grounds for 'not A' are the possibilities incompatible with truth grounds for A [Rumfitt] |
Full Idea: The truth-grounds of '¬A' are precisely those possibilities that are incompatible with any truth-ground of A. | |
From: Ian Rumfitt (The Boundary Stones of Thought [2015], 7.1) | |
A reaction: This is Rumfitt's proposal for the semantics of 'not', based on the central idea of a possibility, rather than a possible world. The incompatibility tracks back to an absence of shared grounding. |
12925 | Beauty increases with familiarity [Leibniz] |
Full Idea: The more one is familiar with things, the more beautiful one finds them. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14) | |
A reaction: This is always the reply given to those who say that science kills our sense of beauty. The first step in aesthetic life is certainly to really really pay attention to things. |
22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
Full Idea: Freud takes a thoroughly pessimistic view of human nature. ...Introspection reveals only the deep tissue of ambivalent motive, and fantasy is a stronger force than reason. Objectivity and unselfishness are not natural to human beings. | |
From: report of Sigmund Freud (works [1900], II) by Iris Murdoch - The Sovereignty of Good II | |
A reaction: Interesting. His view seems to have coloured the whole of modern culture, reinforced by the hideous irrationality of the Nazis. Adorno and Horkheimer attacking the Enlightenment was the last step in that process. |
12927 | Happiness is advancement towards perfection [Leibniz] |
Full Idea: Happiness, or lasting contentment, consists of continual advancement towards a greater perfection. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1690.03.23) | |
A reaction: To the modern mind this smacks of the sort of hubris to which only the religious mind can aspire, but it's still rather nice. The idea of grubby little mammals approaching perfection sounds wrong, but which other animal has even thought of perfection? |
15955 | I think the corpuscular theory, rather than forms or qualities, best explains particular phenomena [Leibniz] |
Full Idea: I still subscribe fully to the corpuscular theory in the explanation of particular phenomena; in this sphere it is of no value to speak of forms or qualities. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 14.07.1686) | |
A reaction: I am puzzled by Garber's summary in Idea 12728, and a bit unclear on Leibniz's views on atoms. More needed. |
12907 | Each possible world contains its own laws, reflected in the possible individuals of that world [Leibniz] |
Full Idea: As there exist an infinite number of possible worlds, there exists also an infinite number of laws, some peculiar to one world, some to another, and each individual of any one world contains in the concept of him the laws of his world. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.06) | |
A reaction: Since Leibniz's metaphysics is thoroughly God-driven, he will obviously allow God to create any laws He wishes, and hence scientific essentialism seems to be rejected, even though Leibniz is keen on essences. Unless the stuff is different... |
12924 | Motion alone is relative, but force is real, and establishes its subject [Leibniz] |
Full Idea: Motion in itself separated from force is merely relative, and one cannot establish its subject. But force is something real and absolute. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1688.01.4/14) | |
A reaction: The striking phrase here is that force enables us to 'establish its subject'. That is, force is at the heart of reality, and hence, through causal relations, individuates objects. That's how I read it. |
12909 | Everything, even miracles, belongs to order [Leibniz] |
Full Idea: Everything, even miracles, belongs to order. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: This is very reminiscent of Plato, for whom there was no more deeply held belief than that the cosmos is essentially orderly. Coincidences are a nice problem, if they are events with no cause. |
5030 | Miracles are extraordinary operations by God, but are nevertheless part of his design [Leibniz] |
Full Idea: Miracles, or the extraordinary operations of God, none the less belong within the general order; they are in conformity with the principal designs of God, and consequently are included in the notion of this universe, which is the result of those designs. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.05) | |
A reaction: Some philosophers just make up things to suit themselves. What possible grounds can he have for claiming this? At best this is tautological, saying that, by definition, if anything at all happens, it must be part of God's design. Move on to Hume… |
12912 | Immortality without memory is useless [Leibniz] |
Full Idea: Immortality without memory would be useless. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.07.4/14 X) | |
A reaction: I would say that having a mind of any sort needs memory. The question for immortality is whether it extends back to human life. See 'Wuthering Heights' (c. p90) for someone who remembers Earth as so superior to paradise that they long to return there. |
12917 | The soul is indestructible and always self-aware [Leibniz] |
Full Idea: Not only is the soul indestructible, but it always knows itself and remains self-conscious. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11) | |
A reaction: Personally I am not even self-aware during much of my sleeping hours, and I would say that I cease to be self-aware if I am totally absorbed in something on which I concentrate. |
12918 | Animals have souls, but lack consciousness [Leibniz] |
Full Idea: It appears probable that animals have souls although they lack consciousness. | |
From: Gottfried Leibniz (Letters to Antoine Arnauld [1686], 1686.11) | |
A reaction: Personally I would say that they lack souls but have consciousness, but then I am in no better position to know the answer than Leibniz was. Arnauld asks what would happen to the souls of 100,000 silkworms if they caught fire! |