20 ideas
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
| A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
| A reaction: Each expansion brings a limitation, but then you can expand again. |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
| 22227 | For Sartre there is only being for-itself, or being in-itself (which is beyond experience) [Sartre, by Daigle] |
| Full Idea: The two most fundamental modes of being in Sartre's ontology are being in-itself, and being for-itself. ...The in-itself lies beyond our experience of it. | |
| From: report of Jean-Paul Sartre (Being and Nothingness [1943]) by Christine Daigle - Jean-Paul Sartre 2.2 | |
| A reaction: This appears to be Kant's ding-an-sich, paired with Heidegger's Dasein. If those are the only options, then reality is either subjective or unknown, which seems to make Sartre an idealist, but he asserted that phenomena vindicate the in-itself. |
| 18528 | The single imagined 'interval' between things only exists in the intellect [Auriol] |
| Full Idea: It appears that a single thing, which must be imagined as some sort of interval [intervallum] existing between two things, cannot exist in extramental reality, but only in the intellect. | |
| From: Peter Auriol (Sentences [1316], I fols318 v a-b), quoted by John Heil - The Universe as We Find It 7 | |
| A reaction: This is the standard medieval denial of the existence of real relations. It contrasts with post-Russell ontology, which seems to admit relations as entities. Heil and Auriol and right. |
| 20743 | Appearances do not hide the essence; appearances are the essence [Sartre] |
| Full Idea: We reject the dualism of appearance and essence. The appearance does not hide the essence, it reveals it; it is the essence. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], p.4-5), quoted by Kevin Aho - Existentialism: an introduction 2 'Phenomenology' | |
| A reaction: This idea, expressed in the language of Hegel and Husserl, strikes me as the same as the analytic phenomenalism of Mill and Ayer. Hence I take it to be wrong. |
| 6151 | Sartre says consciousness is just directedness towards external objects [Sartre, by Rowlands] |
| Full Idea: Sartre defends a view of consciousness as nothing but a directedness towards objects, insisting that these objects are transcendent with respect to that consciousness; hence Sartre is one of the first genuine externalists. | |
| From: report of Jean-Paul Sartre (Being and Nothingness [1943]) by Mark Rowlands - Externalism Ch.1 | |
| A reaction: An ancestor here is, I think, Schopenhauer (Idea 4166). The idea is attractive, as we are brought up with idea that we have a thing called 'consciousness', but if you removed its contents there would literally be nothing left. |
| 6164 | Sartre rejects mental content, and the idea that the mind has hidden inner features [Sartre, by Rowlands] |
| Full Idea: Sartre's attack on the idea that consciousness has contents is an attack on the idea that the mental possesses features that are hidden, inner and constituted or revealed by the individual's inwardly directed awareness. | |
| From: report of Jean-Paul Sartre (Being and Nothingness [1943]) by Mark Rowlands - Externalism Ch.5 | |
| A reaction: This is part of the move towards 'externalism' about the mind. The notion of 'content' implies a container. It seems slightly ridiculous, though, to try to say that the mind just 'is the world'. How is reasoning possible, and the relation of ideas? |
| 7074 | Man is a useless passion [Sartre] |
| Full Idea: Man is a useless passion. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], IV.2.III) | |
| A reaction: Memorable and neat. Since all of existence is ultimately 'useless', that part of it is not a revelation. The notion that we are essentially a 'passion' chimes nicely with David Hume's view, against the enlightenment rational view, and against Aristotle. |
| 6687 | Man is the desire to be God [Sartre] |
| Full Idea: Man fundamentally is the desire to be God. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], p.556?), quoted by Gordon Graham - Eight Theories of Ethics Ch.5 | |
| A reaction: It is better to see man (as seen all the way through the European tradition) as caught between the self-images of being an angel and being a 'quintessence of dust' (Hamlet). |
| 22228 | Sartre's freedom is not for whimsical action, but taking responsibility for our own values [Sartre, by Daigle] |
| Full Idea: Readers often confuse Sartre's notion of freedom with the freedom of acting whimsically ....but since there is no God, we must create our own values. Freedom is not merely a licence to act whimsically.; it entails responsibility. | |
| From: report of Jean-Paul Sartre (Being and Nothingness [1943]) by Christine Daigle - Jean-Paul Sartre 2.3 | |
| A reaction: The idea that we create our values comes from Nietzsche. Did Sartre want everyone to behave like an übermensch? How can you form a society from individuals who create private values, even if they (somehow) take responsibility for them? |
| 22233 | Love is the demand to be loved [Sartre] |
| Full Idea: Love is the demand to be loved. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], p.488), quoted by Christine Daigle - Jean-Paul Sartre 2.5 | |
| A reaction: Is that all love is? Hard to imagine someone loving another person without hoping that the other person will reciprocate. You need high self-esteem to 'demand' it. Low self-esteem merely hopes for it. He says the other person may feel the same. |
| 20755 | Fear concerns the world, but 'anguish' comes from confronting my self [Sartre] |
| Full Idea: Anguish is distinguished from fear in that fear is fear of being in the world whereas anguish is anguish before myself. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], p.65), quoted by Kevin Aho - Existentialism: an introduction 5 'Radical' | |
| A reaction: I'm guessing that the anguish comes from the horror of the infinite choices available to me. Once you've made major life choices with full commitment (such as marriage), does that mean that existentialism becomes irrelevant? |
| 20760 | Sincerity is not authenticity, because it only commits to one particular identity [Sartre, by Aho] |
| Full Idea: Being sincere [in Sartre] has nothing to do with authenticity because, in committing ourselves to a particular identity, we strip away the possibility of transcendence by reducing ourselves to a thing. | |
| From: report of Jean-Paul Sartre (Being and Nothingness [1943]) by Kevin Aho - Existentialism: an introduction 6 'Bad' | |
| A reaction: I take this to mean that sincerity says genuinely what role you are playing (such as a waiter), but authenticity is recognition that you don't have to play that role. I think. |
| 22231 | We flee from the anguish of freedom by seeing ourselves objectively, as determined [Sartre] |
| Full Idea: We are always ready to take refuge in a belief in determinism if this freedom weighs upon us or if we need an excuse. Thus we flee from anguish by attempting to apprehend ourselves from without as an Other or a thing. | |
| From: Jean-Paul Sartre (Being and Nothingness [1943], p.82), quoted by Christine Daigle - Jean-Paul Sartre 2.4 | |
| A reaction: I would have thought we blame social pressures, or biological pressures, rather than metaphysical determinism, but it amounts to the same thing. If we are not free then probably nothing else is. |
| 16589 | Prime matter lacks essence, but is only potentially and indeterminately a physical thing [Auriol] |
| Full Idea: Prime matter has no essence, nor a nature that is determinate, distinct, and actual. Instead, it is pure potential, and determinable, so that it is indeterminately and indistinctly a material thing. | |
| From: Peter Auriol (Sentences [1316], II.12.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 03.1 | |
| A reaction: Pasnau thinks Auriol has the best shot at explaining the vague idea of 'prime matter', with the thought that it exists, but indeterminateness is what gives it a lesser mode of existence. It strikes me as best to treat 'exist' as univocal. |
| 16651 | God can do anything non-contradictory, as making straightness with no line, or lightness with no parts [Auriol] |
| Full Idea: If someone says 'God could make straightness without a line, and roughness and lightness in weight without parts', then show me the reason why God can do whatever does not imply a contradiction, yet cannot do these things. | |
| From: Peter Auriol (Sentences [1316], IV.12.2.2), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 11.4 | |
| A reaction: How engagingly bonkers. The key idea preceding this is that God can do all sorts of things that are beyond our understanding. He is then obliged to offer some examples. |