52 ideas
| 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? |
| 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) |
| 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'. |
| 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) |
| 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) |
| 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) |
| 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? |
| 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? |
| 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. |
| 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. |
| 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. |
| 20146 | 'Luck' is the unpredictable and inexplicable intersection of causal chains [Kekes] |
| Full Idea: 'Luck' is loose shorthand. It stands for various causal chains that intersect and whose intersection we can neither predict nor explain, because we lack the relevant knowledge. | |
| From: John Kekes (The Human Condition [2010], 01.2) | |
| A reaction: Aristotle's example is a chance meeting in the market place. The point about 'intersection' seems good, since luck doesn't seem to arise for an event in isolation. |
| 20959 | Concepts are only analytic once the predicate is absorbed into the subject [Schleiermacher] |
| Full Idea: The difference between analytic and synthetic judgements is an unimportant fluid one. 'Ice melts' is analytic if it is already taken up into the concept of ice, and synthetic if not yet taken up. It is just a different state of the formation of concepts. | |
| From: Friedrich Schleiermacher (Dialektik [1833], p.563), quoted by Andrew Bowie - Introduction to German Philosophy 8 'Scientific' | |
| A reaction: [compressed] I wonder if Quine ever encountered this quotation. The idea refers to Kant's notion of analyticity, and makes the good point that predicates only become 'contained in the subject' once the situation is very familiar. |
| 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. |
| 20169 | An action may be intended under one description, but not under another [Kekes] |
| Full Idea: People can usually be described as intending an action under one description, but not under another. ...Consequently the same action may reasonably be said to be both intentional and unintentional. | |
| From: John Kekes (The Human Condition [2010], 07.2) | |
| A reaction: This is the terrorist/freedom fighter problem. The problem seems to arise with long-term intentions, rather than immediate ones. Maybe it is the significance of the intention, rather than the intention itself? |
| 20149 | To control our actions better, make them result from our attitudes, not from circumstances [Kekes] |
| Full Idea: We increase our control by making our actions more and more the effects of our attitudes, and less and less the effects of external forces acting on us independently of our attitudes. | |
| From: John Kekes (The Human Condition [2010], 02.4) | |
| A reaction: He says that the attitudes should be focused on our well-being. Attitudes may also, however, serve some exernal ideal, such as altruism or patriotism. He has built a case for 'control' being a much more important value than 'free will'. |
| 19738 | Values are an attempt to achieve well-being by bringing contingencies under control [Kekes] |
| Full Idea: Our system of values should be understood, among other things, as our attempt to cope with contingencies by making the connection between our well-being and actions less contingent and more within our control. | |
| From: John Kekes (The Human Condition [2010], Intro) | |
| A reaction: He gives an account in which every aspect of morality focuses on human well-being. Of course, the values will dictate what constitutes that well-being, as well as good means of attaining it. |
| 20145 | Values help us to control life, by connecting it to what is stable and manageable [Kekes] |
| Full Idea: Values are ...an attempt to cope with contingencies by making the connection between our well-being and actions less contingent and more within our control. | |
| From: John Kekes (The Human Condition [2010], Intro) | |
| A reaction: This sounds more like principles than values, since the former tell you what to do, but a value in itself is just a picture of possibilities. |
| 20170 | Responsibility is unprovoked foreseeable harm, against society, arising from vicious character [Kekes] |
| Full Idea: Full responsibility is when evil-doers can fully foresee the harm that results, their victims have not provoked it, it violates the requirements of physical protection in a society, the action reflects character, and it is viciously motivated. | |
| From: John Kekes (The Human Condition [2010], 07.4) | |
| A reaction: [compressed] The point of this is to omit any reference to an explicit intention to perform an evil act. The Nazi Franz Stangl claimed that he never intended evil, but Kekes says that if true he is innocent, but the above definition makes him guilty. |
| 20165 | Reason and morality do not coincide; immorality can be reasonable, with an ideology [Kekes] |
| Full Idea: A central assumption of Western moral thought is mistaken: the requirements of reason and morality do not coincide. Immorality need not be unreasonable. ...Malevolent motives in combination with ideologies supply reasons for doing evil. | |
| From: John Kekes (The Human Condition [2010], 06.5) | |
| A reaction: I presume that Kant would say the malevolent motives are irrational. If I perform an evil act because someone gives me a stupid reason for doing it, I am not thereby rational because I am acting for a reason. Wrong. |
| 20171 | Practical reason is not universal and impersonal, because it depends on what success is [Kekes] |
| Full Idea: The assumption that the requirements of reason are universal and impersonal ...is false of practical reason that aims at successful action. Whether a belief is true depends on the facts. Whether an action is successful depends on what success consists in. | |
| From: John Kekes (The Human Condition [2010], 08.5) | |
| A reaction: Kekes is trying to eliminate the Kantian idea that reason can lead us to the 'right' thing to do. He rightly points to the complex demands of human, cultural and personal values. |
| 20175 | If morality has to be rational, then moral conflicts need us to be irrational and immoral [Kekes] |
| Full Idea: The absurdity follows [from Kant's categorical imperative] that in the case of moral conflicts reason and morality require us to act irrationally and immorally. | |
| From: John Kekes (The Human Condition [2010], 10.4) | |
| A reaction: We can't pick one from two equals if we must have a reason for the preference, but that does not make it 'irrational' to choose one of them, when it doesn't matter which one is chosen. Taking one of the cheese sandwiches is not irrational. |
| 20174 | Relativists say all values are relative; pluralists concede much of that, but not 'human' values [Kekes] |
| Full Idea: We must distinguish between pluralism and relativism about values. Pluralists accept that the validity of cultural and personal values is relative to societies and individuals. But they also hold that human values are objectively valid. | |
| From: John Kekes (The Human Condition [2010], 09.4) | |
| A reaction: This is a very attractive response to global moral relativism. I see a problem in the neat division into three distinct forms of value. Each of the three sets of values ought to be sensitive to the other two areas. Humans are cultured individuals. |
| 20159 | Cultural values are interpretations of humanity, conduct, institutions, and evaluations [Kekes] |
| Full Idea: I distinguish four types of cultural values likely to be found in a particular society: interpretations of human values; forms of expression and conduct; institutions and practices within them; and modes of evaluation. | |
| From: John Kekes (The Human Condition [2010], 05.2) | |
| A reaction: He proceeds to enlarge on these four. This sub-divides the second of his three main areas of value. I like philosophers who do that sort of thing. It gives you the reassuring feeling that you can break a problem down into elements we understand.... |
| 20161 | The big value problems are evil (humanity), disenchantment (cultures), and boredom (individuals) [Kekes] |
| Full Idea: The major problem for the human dimension of values is the prevalence of evil; for the cultural dimension it is widespread disenchantment; and for the personal dimension it is pervasive boredom. | |
| From: John Kekes (The Human Condition [2010], 05.5) | |
| A reaction: Boldly simple claims, but quite persuasive. Presumably it is the evil in human beings, rather than natural evil (like earthquakes) that is the problem. Disenchantment must come through alienation from social values. Powerlessness, rather than boredom? |
| 20156 | We are bound to regret some values we never aspired to [Kekes] |
| Full Idea: We inevitably feel regret for the many values we could have, but did not, try to realize. | |
| From: John Kekes (The Human Condition [2010], 04.5) | |
| A reaction: He's obviously talking about working harder at our projects. |
| 20150 | There are far more values than we can pursue, so they are optional possibilities [Kekes] |
| Full Idea: A significant feature of our system of values is that it provides many more values than we could pursue. ...We encounter values as possibilities, and we must accept or reject them. | |
| From: John Kekes (The Human Condition [2010], 03.1) | |
| A reaction: This immediately invites the lovely question of what values you are going to invoke when you discriminate among the values available in your culture. Nietzsche says it comes down to 'taste'. |
| 20158 | Innumerable values arise for us, from our humanity, our culture, and our individuality [Kekes] |
| Full Idea: There is an irreducible plurality of values that follow from the universal requirements of human well-being, from a shared cultural identity, and from individual conceptions of well-being. | |
| From: John Kekes (The Human Condition [2010], 05 Intro) | |
| A reaction: This strikes me as a very helpful division. It seems reasonably obvious, but I have not encountered it elsewhere. It is an obvious foundation for international negotiations. We can criticise another culture by appealing to human values. |
| 20151 | Our attitudes include what possibilities we value, and also what is allowable, and unthinkable [Kekes] |
| Full Idea: The beliefs, emotions, motives, and desires that form our attitudes ...include not only what possibilities we value, but also the limits we should not transgress. ...The strongest limit is what I call 'the unthinkable'. | |
| From: John Kekes (The Human Condition [2010], 03.2) | |
| A reaction: Another chance to link to my favourite idea from Democritus! Ideally we want a theory which shows how a vision of the possibilities immediately points to the limits, and to what is unthinkable. |
| 20152 | Unconditional commitments are our most basic convictions, saying what must never be done [Kekes] |
| Full Idea: Unconditional commitments are the most basic convictions we have. They tell us what we must not do no matter what, what we regard as outrageous, horrible, beyond the pale, or, in religious language, as sacrilegious. | |
| From: John Kekes (The Human Condition [2010], 03.3) | |
| A reaction: The Aztecs should have made rather different unconditional commitments from the ones they ended up with. How do you persuade someone to make such an unconditional commitment. Abortion seems to involve huge clashes here. |
| 20153 | Doing the unthinkable damages ourselves, so it is more basic than any value [Kekes] |
| Full Idea: Doing the unthinkable causes deep, often irreparable, damage to our sense of ourselves. ...That is why the unthinkable indicates a more basic commitment than what we have to any value. | |
| From: John Kekes (The Human Condition [2010], 03.3) | |
| A reaction: Kekes makes the interesting claim that what is unthinkable is so basic that it doesn't even count as a value - it is more like a fact of your own nature, which is prior to your values. Not sure about that. |
| 20162 | Evil isn't explained by nature, by monsters, by uncharacteristic actions, or by society [Kekes] |
| Full Idea: Four inadequate explanations of human evil attribute it to natural causes, moral monsters, uncharacteristic actions, and corrupting social conditions. | |
| From: John Kekes (The Human Condition [2010], 06.3) | |
| A reaction: He is addressing the 'secular problem of evil', which arises if you assume that human beings are essentially good, and then look around you. He says evil explains corrupting social conditions, so we can't be circular about it. |
| 20157 | Well-being needs correct attitudes and well-ordered commitments to local values [Kekes] |
| Full Idea: A reasonable conception of well-being requires mistake-free attitudes and well-ordered commitments to some values selected from our society's system of values. | |
| From: John Kekes (The Human Condition [2010], 05 Intro) | |
| A reaction: This summarises where he has got to so far. |
| 20154 | Control is the key to well-being [Kekes] |
| Full Idea: Increasing control is the key to our well-being. | |
| From: John Kekes (The Human Condition [2010], 04 Intro) | |
| A reaction: This slogan emerges from a sustained discussion. Hitler and Stalin increased control rather impressively, so we obviously need a bit more than this to get proper well-being. There's also something to be said for going with the flow. |
| 20172 | Boredom destroys our ability to evaluate [Kekes] |
| Full Idea: The threat of boredom is the dissolution of the evaluative dimension of our life. | |
| From: John Kekes (The Human Condition [2010], 09.1) | |
| A reaction: This seems right. If nothing is interesting, then there is no scale of values left, except perhaps 'of possible interest to other people'. |
| 20173 | Boredom is apathy and restlessness, yearning for something interesting [Kekes] |
| Full Idea: Boredom combines apathy and restlessness. ...We crave stimulation, worthwhile activities, and objects that engage our interest. | |
| From: John Kekes (The Human Condition [2010], 09.1) |
| 20155 | Society is alienating if it lacks our values, and its values repel us [Kekes] |
| Full Idea: We feel estranged from our society if the values we prize are not available, and if we do not want to live by the available values. | |
| From: John Kekes (The Human Condition [2010], 04.4) | |
| A reaction: There are two pictures here, for a monolithic culture, and for pluralism. For example, the values of Islam are fairly available in the Christian/atheist UK - but not sharia law. Pluralism can embrace a huge array of moderate values, but not extremes? |
| 20164 | The ideal of an ideology is embodied in a text, a role model, a law of history, a dream of the past... [Kekes] |
| Full Idea: The ideal in an ideology may be set down in a sacred text, exemplified in an exceptional life, dictated by laws of history, sociology, or psychology, located in a past uncorrupted idyllic past, or in a future Utopia of perfected human nature, and so on. | |
| From: John Kekes (The Human Condition [2010], 06.4) | |
| A reaction: A bit grumpy, but a fair observation about an awful lot of slightly mad social endeavours. |
| 20163 | Ideologies have beliefs about reality, ideals, a gap with actuality, and a program [Kekes] |
| Full Idea: Ideologies have a set of beliefs about the world, an ideal of life, an explanation of the gap between the ideal and actuality, and a program for closing the gap. | |
| From: John Kekes (The Human Condition [2010], 06.4) | |
| A reaction: [compressed] Kekes emerges as a bit right of centre in his politics. He clearly despises such ideologies, yet his book is an optimistic program for correcting things. Maybe the enemy is dogmatic ideologies. Kekes gives an undogmatic account of values. |
| 20148 | Equal distribution is no good in a shortage, because there might be no one satisfied [Kekes] |
| Full Idea: It is useless to distribute insufficient resources equally, because the equal distribution of insufficient resources may result in the even worse outcome that no one's reasonable expectations are met. | |
| From: John Kekes (The Human Condition [2010], 01.5) | |
| A reaction: He gives a shortage of oxygen tanks as a persuasive example, but that is hardly typical of the sorts of things that we normally want to distribute. |
| 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) |
| 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) |