50 ideas
| 7990 | Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)] |
| Full Idea: Who everywhere is free from all ties, who neither rejoices nor sorrows if fortune is good or is ill, his is a serene wisdom. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 2.57) | |
| A reaction: This is very similar to the 'apatheia' of the Stoics, though they are always more committed to rationality. This is quite a good strategy when times are hard, but as a general rule it offers a bogus state of 'wisdom' which is really half way to death. |
| 12330 | In ontology, logic dominated language, until logic was mathematized [Badiou] |
| Full Idea: From Aristotle to Hegel, logic was the philosophical category of ontology's dominion over language. The mathematization of logic has authorized language to become that which seizes philosophy for itself. | |
| From: Alain Badiou (Briefings on Existence [1998], 8) |
| 12318 | The female body, when taken in its entirety, is the Phallus itself [Badiou] |
| Full Idea: The female body, when taken in its entirety, is the Phallus itself. | |
| From: Alain Badiou (Briefings on Existence [1998]) | |
| A reaction: Too good to pass over, too crazy to file sensibly, too creepy to have been filed under humour, my candidate for the weirdest remark I have ever read in a serious philosopher, but no doubt if you read Lacan etc for long enough it looks deeply wise. |
| 12325 | Philosophy has been relieved of physics, cosmology, politics, and now must give up ontology [Badiou] |
| Full Idea: Philosophy has been released from, even relieved of, physics, cosmology, and politics, as well as many other things. It is important for it to be released from ontology per se. | |
| From: Alain Badiou (Briefings on Existence [1998], 3) | |
| A reaction: A startling proposal, for anyone who thought that ontology was First Philosophy. Badiou wants to hand ontology over to mathematicians, but I am unclear what remains for the philosophers to do. |
| 12324 | Consensus is the enemy of thought [Badiou] |
| Full Idea: Consensus is the enemy of thought. | |
| From: Alain Badiou (Briefings on Existence [1998], 2) | |
| A reaction: A nice slogan for bringing Enlightenment optimists to a halt. I am struck. Do I allow my own thinking to always be diverted towards something which might result in a consensus? Do I actually (horror!) prefer consensus to truth? |
| 7989 | Seek salvation in the wisdom of reason [Anon (Bhag)] |
| Full Idea: Seek salvation in the wisdom of reason. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 2.49) | |
| A reaction: Quotations like this can usually be counterbalanced in eastern philosophy by wild irrationality, but they certainly felt to tug of reason. Only the Dhaoists seem really opposed to reason (e.g. Idea 7289). |
| 18951 | For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam] |
| Full Idea: For a language L there is a predicate 'true-in-L' which one can employ for all scientific purposes in place of intuitive truth, and this predicate admits of a precise definition using only the vocabulary of L itself plus set theory. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.2) | |
| A reaction: He refers, of course, to Tarski's theory. I'm unclear of the division between 'scientific purposes' and the rest of life (which is why some people embrace 'minimal' theories of ordinary truth). I'm struck by set theory being a necessary feature. |
| 18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
| Full Idea: In modern notation we can consider potential logical principles that Aristotle never considered because of his general practice of looking at inferences each of whose premises involved exactly two class-names. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: Presumably you can build up complex inferences from a pair of terms, just as you do with pairs in set theory. |
| 18949 | The universal syllogism is now expressed as the transitivity of subclasses [Putnam] |
| Full Idea: On its modern interpretation, the validity of the inference 'All S are M; All M are P; so All S are P' just expresses the transitivity of the relation 'subclass of'. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.1) | |
| A reaction: A simple point I've never quite grasped. Since lots of syllogisms can be expressed as Venn Diagrams, in which the circles are just sets, it's kind of obvious really. So why does Sommers go back to 'terms'? See 'Term Logic'. |
| 18952 | '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam] |
| Full Idea: The symbol '⊃' (read 'if...then') is used with the definition 'Px ⊃ Qx' ('if Px then Qx') is short for '¬(Px & ¬Qx)'. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: So ⊃ and → are just abbreviations, and not really a proper part of the language. Notoriously, though, this is quite a long way from what 'if...then' means in ordinary English, and it leads to paradoxical oddities. |
| 12337 | There is 'transivity' iff membership ∈ also means inclusion ⊆ [Badiou] |
| Full Idea: 'Transitivity' signifies that all of the elements of the set are also parts of the set. If you have α∈Β, you also have α⊆Β. This correlation of membership and inclusion gives a stability which is the sets' natural being. | |
| From: Alain Badiou (Briefings on Existence [1998], 11) |
| 18958 | In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam] |
| Full Idea: In the theory of types, 'x ∈ y' is well defined only if x and y are of the appropriate type, where individuals count as the zero type, sets of individuals as type one, sets of sets of individuals as type two. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.6) |
| 12321 | The axiom of choice must accept an indeterminate, indefinable, unconstructible set [Badiou] |
| Full Idea: The axiom of choice actually amounts to admitting an absolutely indeterminate infinite set whose existence is asserted albeit remaining linguistically indefinable. On the other hand, as a process, it is unconstructible. | |
| From: Alain Badiou (Briefings on Existence [1998], 2) | |
| A reaction: If only constructible sets are admitted (see 'V = L') then there is a contradiction. |
| 12342 | Topos theory explains the plurality of possible logics [Badiou] |
| Full Idea: Topos theory explains the plurality of possible logics. | |
| From: Alain Badiou (Briefings on Existence [1998], 14) | |
| A reaction: This will because logic will have a distinct theory within each 'topos'. |
| 18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
| Full Idea: It was essentially the failure to develop a logic of relations that trivialised the logic studied before the end of the nineteenth century. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: De Morgan, Peirce and Frege were, I believe, the people who put this right. |
| 18956 | Asserting first-order validity implicitly involves second-order reference to classes [Putnam] |
| Full Idea: The natural understanding of first-order logic is that in writing down first-order schemata we are implicitly asserting their validity, that is, making second-order assertions. ...Thus even quantification theory involves reference to classes. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: If, as a nominalist, you totally rejected classes, presumably you would get by in first-order logic somehow. To say 'there are no classes so there is no logical validity' sounds bonkers. |
| 18962 | Unfashionably, I think logic has an empirical foundation [Putnam] |
| Full Idea: Today, the tendency among philosophers is to assume that in no sense does logic itself have an empirical foundation. I believe this tendency is wrong. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.9) | |
| A reaction: I agree, not on the basis of indispensability to science, but on the basis of psychological processes that lead from experience to logic. Russell and Quine are Putnam's allies here, and Frege is his opponent. Putnam developed a quantum logic. |
| 12341 | Logic is a mathematical account of a universe of relations [Badiou] |
| Full Idea: Logic should first and foremost be a mathematical thought of what a universe of relations is. | |
| From: Alain Badiou (Briefings on Existence [1998], 14) |
| 18961 | We can identify functions with certain sets - or identify sets with certain functions [Putnam] |
| Full Idea: Instead of identifying functions with certain sets, I might have identified sets with certain functions. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.9) |
| 18955 | Having a valid form doesn't ensure truth, as it may be meaningless [Putnam] |
| Full Idea: I don't think all substitution-instances of a valid schema are 'true'; some are clearly meaningless, such as 'If all boojums are snarks and all snarks are egglehumphs, then all boojums are egglehumphs'. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.3) | |
| A reaction: This seems like a very good challenge to Quine's claim that it is only form which produces a logical truth. Keep deductive and semantic consequence separate, with two different types of 'logical truth'. |
| 12334 | There is no single unified definition of number [Badiou] |
| Full Idea: Apparently - and this is quite unlike old Greek times - there is no single unified definition of number. | |
| From: Alain Badiou (Briefings on Existence [1998], 11) |
| 12335 | Numbers are for measuring and for calculating (and the two must be consistent) [Badiou] |
| Full Idea: Number is an instance of measuring (distinguishing the more from the less, and calibrating data), ..and a figure for calculating (one counts with numbers), ..and it ought to be a figure of consistency (the compatibility of order and calculation). | |
| From: Alain Badiou (Briefings on Existence [1998], 11) |
| 12333 | Each type of number has its own characteristic procedure of introduction [Badiou] |
| Full Idea: There is a heterogeneity of introductory procedures of different classical number types: axiomatic for natural numbers, structural for ordinals, algebraic for negative and rational numbers, topological for reals, mainly geometric for complex numbers. | |
| From: Alain Badiou (Briefings on Existence [1998], 11) |
| 12322 | Must we accept numbers as existing when they no longer consist of units? [Badiou] |
| Full Idea: Do we have to confer existence on numbers whose principle is to no longer consist of units? | |
| From: Alain Badiou (Briefings on Existence [1998], 2) | |
| A reaction: This very nicely expresses what seems to me perhaps the most important question in the philosophy of mathematics. I am reluctant to accept such 'unitless' numbers, but I then feel hopelessly old-fashioned and naïve. What to do? |
| 18959 | Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam] |
| Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example) should today be investigated in an 'if-then' spirit. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.7) | |
| A reaction: This attitude goes back to Hilbert, but it fits with Quine's view of what is indispensable for science. It is hard to see a reason for the cut-off, just looking at the logic of expanding sets. |
| 12327 | The undecidability of the Continuum Hypothesis may have ruined or fragmented set theory [Badiou] |
| Full Idea: As we have known since Paul Cohen's theorem, the Continuum Hypothesis is intrinsically undecidable. Many believe Cohen's discovery has driven the set-theoretic project into ruin, or 'pluralized' what was once presented as a unified construct. | |
| From: Alain Badiou (Briefings on Existence [1998], 6) | |
| A reaction: Badiou thinks the theorem completes set theory, by (roughly) finalising its map. |
| 12329 | If mathematics is a logic of the possible, then questions of existence are not intrinsic to it [Badiou] |
| Full Idea: If mathematics is a logic of the possible, then questions of existence are not intrinsic to it (as they are for the Platonist). | |
| From: Alain Badiou (Briefings on Existence [1998], 7) | |
| A reaction: See also Idea 12328. I file this to connect it with Hellman's modal (and nominalist) version of structuralism. Could it be that mathematics and modal logic are identical? |
| 12328 | Platonists like axioms and decisions, Aristotelians like definitions, possibilities and logic [Badiou] |
| Full Idea: A Platonist's interest focuses on axioms in which the decision of thought is played out, where an Aristotelian or Leibnizian interest focuses on definitions laying out the representation of possibilities (...and the essence of mathematics is logic). | |
| From: Alain Badiou (Briefings on Existence [1998], 7) | |
| A reaction: See Idea 12323 for the significance of the Platonist approach. So logicism is an Aristotelian project? Frege is not a true platonist? I like the notion of 'the representation of possibilities', so will vote for the Aristotelians, against Badiou. |
| 12331 | Logic is definitional, but real mathematics is axiomatic [Badiou] |
| Full Idea: Logic is definitional, whereas real mathematics is axiomatic. | |
| From: Alain Badiou (Briefings on Existence [1998], 10) |
| 12340 | There is no Being as a whole, because there is no set of all sets [Badiou] |
| Full Idea: The fundamental theorem that 'there does not exist a set of all sets' designates the inexistence of Being as a whole. ...A crucial consequence of this property is that any ontological investigation is irremediably local. | |
| From: Alain Badiou (Briefings on Existence [1998], 14) | |
| A reaction: The second thought pushes Badiou into Topos Theory, where the real numbers (for example) have a separate theory in each 'topos'. |
| 12323 | Existence is Being itself, but only as our thought decides it [Badiou] |
| Full Idea: Existence is precisely Being itself in as much as thought decides it. And that decision orients thought essentially. ...It is when you decide upon what exists that you bind your thought to Being. | |
| From: Alain Badiou (Briefings on Existence [1998], 2) | |
| A reaction: [2nd half p.57] Helpful for us non-Heideggerians to see what is going on. Does this mean that Being is Kant's noumenon? |
| 12326 | The primitive name of Being is the empty set; in a sense, only the empty set 'is' [Badiou] |
| Full Idea: In Set Theory, the primitive name of Being is the void, the empty set. The whole hierarchy takes root in it. In a certain sense, it alone 'is'. | |
| From: Alain Badiou (Briefings on Existence [1998], 6) | |
| A reaction: This is the key to Badiou's view that ontology is mathematics. David Lewis pursued interesting enquiries in this area. |
| 12332 | The modern view of Being comes when we reject numbers as merely successions of One [Badiou] |
| Full Idea: The saturation and collapse of the Euclidean idea of the being of number as One's procession signs the entry of the thought of Being into modern times. | |
| From: Alain Badiou (Briefings on Existence [1998], 11) | |
| A reaction: That is, by allowing that not all numbers are built of units, numbers expand widely enough to embrace everything we think of as Being. The landmark event is the acceptance of the infinite as a number. |
| 12320 | Ontology is (and always has been) Cantorian mathematics [Badiou] |
| Full Idea: Enlightened by the Cantorian grounding of mathematics, we can assert ontology to be nothing other than mathematics itself. This has been the case ever since its Greek origin. | |
| From: Alain Badiou (Briefings on Existence [1998], 1) | |
| A reaction: There seems to be quite a strong feeling among mathematicians that new 'realms of being' are emerging from their researches. Only a Platonist, of course, is likely to find this idea sympathetic. |
| 7996 | I am all the beauty and goodness of things, says Krishna [Anon (Bhag)] |
| Full Idea: I am the beauty of all things beautiful; ...I am the goodness of those who are good, says Krishna. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 10.36) | |
| A reaction: Another attempt to annexe everything which is admirable to the nature of God. This sounds strikingly Platonic (c.f. Idea 7992, which seems Aristotelian). One scholar dates the text to 150 BCE. I think there is influence, one way or the other. |
| 18957 | Nominalism only makes sense if it is materialist [Putnam] |
| Full Idea: Nominalists must at heart be materialists, or so it seems to me: otherwise their scruples are unintelligible. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.5) | |
| A reaction: This is modern nominalism - the rejection of abstract objects. I largely plead guilty to both charges. |
| 18950 | Physics is full of non-physical entities, such as space-vectors [Putnam] |
| Full Idea: Physics is full of references to such 'non-physical' entities as state-vectors, Hamiltonians, Hilbert space etc. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.2) | |
| A reaction: I take these to be concepts which are 'abstracted' from the physical facts, and so they don't strike me as being much of an ontological problem, or an objection to nominalism (which Putnam takes them to be). |
| 18960 | Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam] |
| Full Idea: Scientists want successful predictions in order to confirm their theories; they do not want theories in order to obtain the predictions, which are in some cases of not the slightest interest in themselves. | |
| From: Hilary Putnam (Philosophy of Logic [1971], Ch.8) | |
| A reaction: Equally, we might only care about the prediction, and have no interest at all in the theory. Farmers want weather predictions, not a PhD in meteorology. |
| 7995 | In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)] |
| Full Idea: In all living beings I am the light of consciousness, says Krishna. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 10.22) | |
| A reaction: Everything grand seems to be claimed for God at this stage of culture, but I am not sure how coherent this view is, unless this is pantheism. In what sense could we possibly be Krishna, when none of us (except Arjuna) is aware of it? |
| 12338 | We must either assert or deny any single predicate of any single subject [Badiou] |
| Full Idea: There can be nothing intermediate to an assertion and a denial. We must either assert or deny any single predicate of any single subject. | |
| From: Alain Badiou (Briefings on Existence [1998], 1011b24) | |
| A reaction: The first sentence seems to be bivalence, and the second sentence excluded middle. |
| 7999 | All actions come from: body, lower self, perception, means of action, or Fate [Anon (Bhag)] |
| Full Idea: Whatever a man does, good or bad, in thought, word or deed, has these five sources of action: the body, the lower 'I am', the means of perception, the means of action, and Fate. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 18.14/15) | |
| A reaction: The 'means of action' will presumably take care of anything we haven't thought of! Nothing quite matches the idea of 'the will' here. A twitch from the first, eating from the second, a startled jump from the third, struck by lightning from the fifth. |
| 7991 | Hate and lust have their roots in man's lower nature [Anon (Bhag)] |
| Full Idea: Hate and lust for things of nature have their roots in man's lower nature. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 3.34) | |
| A reaction: It seems outmoded now (since Freud) to label parts of human nature as 'higher' and 'lower'. I would defend the distinction, but it is not self-evident. The basis of morality is good citizenship, and parts of our nature are detrimental to that. |
| 7988 | There is no greater good for a warrior than to fight in a just war [Anon (Bhag)] |
| Full Idea: There is no greater good for a warrior than to fight in righteous war. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 2.31) | |
| A reaction: What worries me now is not the urging to fight, as long as a good cause can be found, but the idea that someone should see his social role as 'warrior'. The modern 'soldier' is ready to fight, but a traditional 'warrior' is obliged to fight. |
| 12316 | For Enlightenment philosophers, God was no longer involved in politics [Badiou] |
| Full Idea: For the philosophers of the Enlightenment politics is strictly the affair of humankind, an immanent practice from which recourse to the All Mighty's providential organization had to be discarded. | |
| From: Alain Badiou (Briefings on Existence [1998], Prol) |
| 7992 | The visible forms of nature are earth, water, fire, air, ether; mind, reason, and the sense of 'I' [Anon (Bhag)] |
| Full Idea: The visible forms of nature are eight: earth, water, fire, air, ether; the mind, reason, and the sense of 'I'. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 7.4) | |
| A reaction: Presumably there is an implication that there are also invisible forms. The Bhuddists launched an attack on 'I' as one of the categories. The first five appear to be Aristotle's, which must be of scholarly (and chronological) interest. |
| 7994 | Everything, including the gods, comes from me, says Krishna [Anon (Bhag)] |
| Full Idea: All the gods come from me, says Krishna. ...I am the one source of all | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 10.2/8) | |
| A reaction: This seems very close to monotheism, and sounds very similar to the position that Zeus seems to occupy in later Greek religion, where he is shading off into a supreme and spiritual entity. |
| 7993 | Brahman is supreme, Atman his spirit in man, and Karma is the force of creation [Anon (Bhag)] |
| Full Idea: Brahman is supreme, the Eternal. Atman is his Spirit in man. Karma is the force of creation, wherefrom all things have their life. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 8.3) | |
| A reaction: I can't help wondering how they know all this stuff, but then I'm just a typical product of my culture. We seem to have a trinity here. Who's in charge? Is Atman just a servant? Is Karma totally under the control of Brahman? |
| 12317 | The God of religion results from an encounter, not from a proof [Badiou] |
| Full Idea: The God of metaphysics makes sense of existing according to a proof, while the God of religion makes sense of living according to an encounter | |
| From: Alain Badiou (Briefings on Existence [1998], Prol) |
| 7997 | Only by love can men see me, know me, and come to me, says Krishna [Anon (Bhag)] |
| Full Idea: Only by love can men see me, and know me, and come unto me, says Krishna | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 11.54) | |
| A reaction: There seems to be a paradox here, as it is unclear how you can love Krishna, if you have not already seen him in some way. This is another paradox of fideism - that faith cannot possibly be the first step in a religion, as faith needs a target. |
| 7998 | The three gates of hell are lust, anger and greed [Anon (Bhag)] |
| Full Idea: Three are the gates of this hell, the death of the soul: the gate of lust, the gate of wrath, and the gate of greed. Let a man shun the three. | |
| From: Anon (Bhag) (The Bhagavad Gita [c.500 BCE], 16.21) | |
| A reaction: Anyone who wishes to procreate, champion justice, and make a living, has to pursue all three. Wisdom consists of pursuing the three appropriately, not in shunning them. How did this bizarre puritanism ever come to grip the human race? |