84 ideas
| 13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
| Full Idea: We are all post-Kantians, ...because Kant set an agenda for philosophy that we are still working through. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Hart says that the main agenda is set by Kant's desire to defend the principle of sufficient reason against Hume's attack on causation. I would take it more generally to be the assessment of metaphysics, and of a priori knowledge. |
| 13477 | The problems are the monuments of philosophy [Hart,WD] |
| Full Idea: The real monuments of philosophy are its problems. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Presumably he means '....rather than its solutions'. No other subject would be very happy with that sort of claim. Compare Idea 8243. A complaint against analytic philosophy is that it has achieved no consensus at all. |
| 13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
| Full Idea: By now, no education in abstract pursuits is adequate without some familiarity with sets. | |
| From: William D. Hart (The Evolution of Logic [2010], 10) | |
| A reaction: A heart-sinking observation for those who aspire to study metaphysics and modality. The question is, what will count as 'some' familiarity? Are only professional logicians now allowed to be proper philosophers? |
| 7113 | Phenomenology assumes that all consciousness is of something [Sartre] |
| Full Idea: The essential principle of phenomenology is that 'all consciousness is consciousness of something'. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: This idea is found well before Husserl, in Schopenhauer (Idea 4166). It seems to contradict a thought such as Locke's (Idea 1202), that self-awareness is a separate and distinct criterion for personal identity. Sartre gives a nice account. |
| 23755 | Genius and love of truth are always accompanied by great humility [Weil] |
| Full Idea: Love of truth is always accompanied by humility, and real genius is nothing else but the supernatural virtue of humility in the domain of thought. | |
| From: Simone Weil (Human Personality [1943], p.87) | |
| A reaction: A striking and attractive thought, true of all the lovers of truth I have ever encountered. Socrates is the role model. She likens truth to an inarticulate plaintiff stammering before a judge who fluently manipulates opinions. |
| 13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
| Full Idea: It is an ancient and honourable view that truth is correspondence to fact; Tarski showed us how to do without facts here. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: This is a very interesting spin on Tarski, who certainly seems to endorse the correspondence theory, even while apparently inventing a new 'semantic' theory of truth. It is controversial how far Tarski's theory really is a 'correspondence' theory. |
| 13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
| Full Idea: We explain truth for sentences in terms of satisfaction of formulae. The crux here is that for a sentence, either all sequences satisfy it or none do (with no middle ground). For formulae, some sequences may satisfy it and others not. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: This is the hardest part of Tarski's theory of truth to grasp. |
| 13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
| Full Idea: In any first-order language, there are infinitely many T-sentences. Since definitions should be finite, the agglomeration of all the T-sentences is not a definition of truth. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: This may be a warning shot aimed at Davidson's extensive use of Tarski's formal account in his own views on meaning in natural language. |
| 13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
| Full Idea: A 'conditional proof' licenses inferences to a conditional from a deduction of its consequent from its antecedent. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: That is, a proof can be enshrined in an arrow. |
| 13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
| Full Idea: When a quantifier is attached to a variable, as in '∃(y)....', then it should be read as 'There exists an individual, call it y, such that....'. One should not read it as 'There exists a y such that...', which would attach predicate to quantifier. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: The point is to make clear that in classical logic the predicates attach to the objects, and not to some formal component like a quantifier. |
| 13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
| Full Idea: It is set theory, and more specifically the theory of relations, that articulates order. | |
| From: William D. Hart (The Evolution of Logic [2010]) | |
| A reaction: It would seem that we mainly need set theory in order to talk accurately about order, and about infinity. The two come together in the study of the ordinal numbers. |
| 13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
| Full Idea: The theory of types is a thing of the past. There is now nothing to choose between ZFC and NBG (Neumann-Bernays-Gödel). NF (Quine's) is a more specialized taste, but is a place to look if you want the universe. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
| Full Idea: ∈ relates across layers (Plato is a member of his unit set and the set of people), while ⊆ relates within layers (the singleton of Plato is a subset of the set of people). This distinction only became clear in the 19th century. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: Getting these two clear may be the most important distinction needed to understand how set theory works. |
| 13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
| Full Idea: Without the empty set, disjoint sets would have no intersection, and we could not form a∩b without checking that a and b meet. This is an example of the utility of the empty set. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: A novice might plausibly ask why there should be an intersection for every pair of sets, if they have nothing in common except for containing this little puff of nothingness. But then what do novices know? |
| 13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
| Full Idea: In the second half of the twentieth century there emerged the opinion that foundation is the heart of the way to do set theory. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: It is foundation which is the central axiom of the iterative conception of sets, where each level of sets is built on previous levels, and they are all 'well-founded'. |
| 13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
| Full Idea: The usual statement of Foundation is that any nonempty set has a member disjoint from it. This phrasing is ordinal-free and closer to the primitives of ZFC. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
| Full Idea: When a set is finite, we can prove it has a choice function (∀x x∈A → f(x)∈A), but we need an axiom when A is infinite and the members opaque. From infinite shoes we can pick a left one, but from socks we need the axiom of choice. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: The socks example in from Russell 1919:126. |
| 13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
| Full Idea: It follows from the Axiom of Choice that every set can be well-ordered. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: For 'well-ordered' see Idea 13460. Every set can be ordered with a least member. |
| 13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
| Full Idea: It has been said (by Burt Dreben) that the only reason set theorists do not generally buy the view that V = L is that it would put them out of business by settling their open questions. | |
| From: William D. Hart (The Evolution of Logic [2010], 10) | |
| A reaction: Hart says V=L breaks with the interative conception of sets at level ω+1, which is countable is the constructible view, but has continuum many in the cumulative (iterative) hierarch. The constructible V=L view is anti-platonist. |
| 13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
| Full Idea: 'Comprehension' is the assumption that every predicate has an extension. Naïve set theory is the theory whose axioms are extensionality and comprehension, and comprehension is thought to be its naivety. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: This doesn't, of course, mean that there couldn't be a more modest version of comprehension. The notorious difficulty come with the discovery of self-referring predicates which can't possibly have extensions. |
| 13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
| Full Idea: That the iterative sets suffice for most of ZFC does not show they are necessary, nor is it evident that the set of operations has no fixed points (as 0 is a fixed point for square-of), and no infinitely descending chains (like negative integers). | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: People don't seem to worry that they aren't 'necessary', and further measures are possible to block infinitely descending chains. |
| 13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
| Full Idea: We say that a binary relation R 'partially orders' a field A just in case R is irreflexive (so that nothing bears R to itself) and transitive. When the set is {a,b}, its subsets {a} and {b} are incomparable in a partial ordering. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
| Full Idea: A partial ordering is a 'total ordering' just in case any two members of its field are comparable, that is, either a is R to b, or b is R to a, or a is b. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: See Idea 13457 for 'partial ordering'. The three conditions are known as the 'trichotomy' condition. |
| 13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
| Full Idea: One of the glories of Von Neumann's theory of numbers is to define α < β to mean that α ∈ β. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
| Full Idea: A total order 'well-orders' its field just in case any nonempty subset B of its field has an R-least member, that is, there is a b in B such that for any a in B different from b, b bears R to a. So less-than well-orders natural numbers, but not integers. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) | |
| A reaction: The natural numbers have a starting point, but the integers are infinite in both directions. In plain English, an order is 'well-ordered' if there is a starting point. |
| 13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
| Full Idea: Some have claimed that sets should be rethought in terms of still more basic things, categories. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: [He cites F.William Lawvere 1966] It appears to the the context of foundations for mathematics that he has in mind. |
| 13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
| Full Idea: All the main set theories deny that there is a set of which everything is a member. No interpretation has a domain with everything in it. So the universal quantifier never gets to mean everything all at once; 'all' does not mean all. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: Could you have an 'uncompleted' universal set, in the spirit of uncompleted infinities? In ordinary English we can talk about 'absolutely everything' - we just can't define a set of everything. Must we 'define' our domain? |
| 13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
| Full Idea: Models are ways the world might be from a first-order point of view. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
| Full Idea: Modern model theory investigates which set theoretic structures are models for which collections of sentences. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: So first you must choose your set theory (see Idea 13497). Then you presumably look at how to formalise sentences, and then look at the really tricky ones, many of which will involve various degrees of infinity. |
| 13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
| Full Idea: There is no developed methematics of models for second-order theories, so for the most part, model theory is about models for first-order theories. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
| Full Idea: The beginning of modern model theory was when Morley proved Los's Conjecture in 1962 - that a complete theory in a countable language categorical in one uncountable cardinal is categorical in all. | |
| From: William D. Hart (The Evolution of Logic [2010], 9) |
| 13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
| Full Idea: First-order logic is 'compact', which means that any logical consequence of a set (finite or infinite) of first-order sentences is a logical consequence of a finite subset of those sentences. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
| Full Idea: Berry's Paradox: by the least number principle 'the least number denoted by no description of fewer than 79 letters' exists, but we just referred to it using a description of 77 letters. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: I struggle with this. If I refer to 'an object to which no human being could possibly refer', have I just referred to something? Graham Priest likes this sort of idea. |
| 13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
| Full Idea: The Burali-Forti Paradox was a crisis for Cantor's theory of ordinal numbers. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
| Full Idea: In effect, the machinery introduced to solve the liar can always be rejigged to yield another version the liar. | |
| From: William D. Hart (The Evolution of Logic [2010], 4) | |
| A reaction: [He cites Hans Herzberger 1980-81] The machinery is Tarski's device of only talking about sentences of a language by using a 'metalanguage'. |
| 13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
| Full Idea: We can show (using the axiom of choice) that the less-than relation, <, well-orders the ordinals, ...and that it partially orders the ordinals, ...and that it totally orders the ordinals. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
| Full Idea: Since we can map the transfinite ordinals one-one into the infinite cardinals, there are at least as many infinite cardinals as transfinite ordinals. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
| Full Idea: The axiom of infinity with separation yields a least limit ordinal, which is called ω. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
| Full Idea: It is easier to generalize von Neumann's finite ordinals into the transfinite. All Zermelo's nonzero finite ordinals are singletons, but if ω were a singleton it is hard to see how if could fail to be the successor of its member and so not a limit. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) |
| 13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
| Full Idea: The real numbers were not isolated from geometry until the arithmetization of analysis during the nineteenth century. | |
| From: William D. Hart (The Evolution of Logic [2010], 1) |
| 13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
| Full Idea: Mathematical induction is a way to establish truths about the infinity of natural numbers by a finite proof. | |
| From: William D. Hart (The Evolution of Logic [2010], 5) | |
| A reaction: If there are truths about infinities, it is very tempting to infer that the infinities must therefore 'exist'. A nice, and large, question in philosophy is whether there can be truths without corresponding implications of existence. |
| 13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
| Full Idea: There is a familiar comparison between Euclid (unique parallel) and 'spherical' geometry (no parallel) and 'saddle' geometry (several parallels). | |
| From: William D. Hart (The Evolution of Logic [2010], 2) |
| 13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
| Full Idea: The thesis that no existence proposition is analytic is one of the few constants in philosophical consciences, but there are many existence claims in mathematics, such as the infinity of primes, five regular solids, and certain undecidable propositions. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) |
| 13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
| Full Idea: Jespersen calls a noun a mass word when it has no plural, does not take numerical adjectives, and does not take 'fewer'. | |
| From: William D. Hart (The Evolution of Logic [2010], 3) | |
| A reaction: Jespersen was a great linguistics expert. |
| 7114 | The consciousness that says 'I think' is not the consciousness that thinks [Sartre] |
| Full Idea: The consciousness that says 'I think' is precisely not the consciousness that thinks. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: All parties seem to be agreed that if we are going to introspect in search of our own ego, we must distinguish between the mental act of instrospection and the mental act of applying the mind to the world. Each gives a different result. |
| 7112 | The Cogito depends on a second-order experience, of being conscious of consciousness [Sartre] |
| Full Idea: We must remember that all authors who have described the Cogito have presented it as a reflective operation, i.e. as second-order. This Cogito is performed by a consciousness directed towards consciousness, which takes consciousness as its object. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: Sartre is raising the nice question of whether the Cogito still works for first-order consciousness, which attends totally to external objects. He claims that it doesn't. Contrast Russell, who says (Idea 5380) that it only works when it is first-order! |
| 7119 | Is the Cogito reporting an immediate experience of doubting, or the whole enterprise of doubting? [Sartre] |
| Full Idea: When Descartes says 'I doubt therefore I am', is he talking about the spontaneous doubt that reflective consciousness grasps in its instantaneous character, or is he talking of the enterprise of doubting? This ambiguity can lead to serious errors. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (B)) | |
| A reaction: Interesting. The obvious response is that it is about the immediate experience, but that leads to the problem of an instantaneous ego, which can't be justified over time. The 'enterprise' gives an enduring ego, but it is a more intellectual concept. |
| 13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
| Full Idea: The conception of Frege is that self-evidence is an intrinsic property of the basic truths, rules, and thoughts expressed by definitions. | |
| From: William D. Hart (The Evolution of Logic [2010], p.350) | |
| A reaction: The problem is always that what appears to be self-evident may turn out to be wrong. Presumably the effort of arriving at a definition ought to clarify and support the self-evident ingredient. |
| 13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
| Full Idea: In the case of the parallels postulate, Euclid's fifth axiom (the whole is greater than the part), and comprehension, saying was believing for a while, but what was said was false. This should make a shrewd philosopher sceptical about a priori knowledge. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: Euclid's fifth is challenged by infinite numbers, and comprehension is challenged by Russell's paradox. I can't see a defender of the a priori being greatly worried about these cases. No one ever said we would be right - in doing arithmetic, for example. |
| 7122 | We can never, even in principle, grasp other minds, because the Ego is self-conceiving [Sartre] |
| Full Idea: The Ego can be conceived only through itself and this is why we cannot grasp the consciousness of another (for this reason alone, and not because bodies separate us). | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (D)) | |
| A reaction: Interesting. This makes telepathy a logical impossibility, and the body the only possible route for the communication between two minds. But, is Sartre is right, how do bodily events penetrate the inturned world of the Ego? |
| 7125 | A consciousness can conceive of no other consciousness than itself [Sartre] |
| Full Idea: A consciousness can conceive of no other consciousness than itself. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], Conc (1)) | |
| A reaction: This is why we don't know what it is like to be a bat. This seems right, though it looks like a contingent truth, and yet Sartre seems to offer it as a necessary truth. Can God conceive of my consciousness? |
| 7108 | The eternal truth of 2+2=4 is what gives unity to the mind which regularly thinks it [Sartre] |
| Full Idea: The unity of the thousand active consciousnesses through which I have added two and two to make four, is the transcendent object '2+2=4'. Without the permanence of this eternal truth, it would be impossible to conceive of a real unity of mind. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (A)) | |
| A reaction: This is the germ of externalism, here presented as a Platonic attitude to arithmetic, rather than being about water or gold. He claims that internalist attitudes to unity are fictions. I am inclined to think he is wrong, and that unity is biological. |
| 7111 | Consciousness exists as consciousness of itself [Sartre] |
| Full Idea: The existence of consciousness is an absolute, because consciousness is consciousness of itself; the type of existence that consciousness has is that it is consciousness of itself. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (A)) | |
| A reaction: I find this unconvincing. Anyone analysis the nature of the mind should think as much about animal minds as human minds. It seems obvious to me that there is likely to be an animal consciousness which is entirely of environment and its body. |
| 22226 | Since we are a consciousness, Sartre entirely rejected the unconscious mind [Sartre, by Daigle] |
| Full Idea: Sartre refused, denied and fought against the unconscious. Since we are consciousness, there cannot be such a thing as unconsciousness. | |
| From: report of Jean-Paul Sartre (Transcendence of the Ego [1937]) by Christine Daigle - Jean-Paul Sartre 2.1 | |
| A reaction: The modern view is increasingly opposed to this, as neuroscience and psychology uncover hidden motives etc. Sartre's view is still legitimate, though. An unconscious motive is not more my motive than a law of the land is part of me? |
| 7107 | Intentionality defines, transcends and unites consciousness [Sartre] |
| Full Idea: Consciousness is defined by intentionality. Through intentionality it transcends itself, it unifies itself by going outside itself. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (A)) | |
| A reaction: The standard view for a hundred years was Brentano's idea that intentionality defines the mind. Qualia are the modern rival. If I had to choose I think I would go for intentionality, but they may be naturally and metaphysically inseparable. |
| 7109 | If you think of '2+2=4' as the content of thought, the self must be united transcendentally [Sartre] |
| Full Idea: It is possible that those who think that '2 and 2 make 4' is the content of my representations may be forced to resort to a transcendental and subjective principle of unification - in other words, the I. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (A)) | |
| A reaction: He suggests that thoughts themselves unite the mind, externally. If you think of thoughts as internal, you must resort to a transcendental fiction to unify the mind. Personally I think the mind is inherently unified by brain structures. |
| 7106 | The Ego is not formally or materially part of consciousness, but is outside in the world [Sartre] |
| Full Idea: I should like to show here that the Ego is neither formally nor materially in consciousness; it is outside, in the world; it is a being in the world, like the Ego of another. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], Intro) | |
| A reaction: This idea is the germ of what has got modern externalists about the mind (see quotations from Mark Rowlands) interested in Sartre. Personally I think he is wrong, and the Ego is a part of consciousness. It doesn't, though, have sharp boundaries. |
| 23747 | What is sacred is not a person, but the whole physical human being [Weil] |
| Full Idea: There is something sacred in every man, but it is not his person. Nor yet is it the human personality. It is this man; no more and no less. …It is he. The whole of him. The arms, they eyes, the thoughts, everything. | |
| From: Simone Weil (Human Personality [1943], p,70) | |
| A reaction: I take her to be referring to exactly the concept of a 'person' which Locke introduced. It is important to remember that his concept is mainly forensic - as a concept of ownership and contracts. A person is an abstraction. Even a corpse is a human. |
| 7117 | How could two I's, the reflective and the reflected, communicate with each other? [Sartre] |
| Full Idea: If the 'I' is part of consciousness, there will be two I's: the reflective and the reflected. ...but it is unacceptable for any communication to be established between the reflective I and the reflected I, if they are real elements of consciousness. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: If we accept that there are two orders of consciousness (reflective, about itself, and reflected, about the world) it seems reasonable to say that there cannot be an 'I' in both of them. A nice, and intriguing, argument. |
| 7123 | Knowing yourself requires an exterior viewpoint, which is necessarily false [Sartre] |
| Full Idea: 'To know oneself well' is inevitably to look at oneself from the point of view of someone else, in other words from a point of view that is necessarily false. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (D)) | |
| A reaction: (This is because the Ego cannot be known from the outside). I agree with Russell that the self is most evident when we are engaged with the world, which implies that you can only acquire self-knowledge by studying those engagements. |
| 22225 | My ego is more intimate to me, but not more certain than other egos [Sartre] |
| Full Idea: My I, in efffect, is no more certain for consciousness than the I of other men. It is only more intimate. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], p.104), quoted by Christine Daigle - Jean-Paul Sartre 2.1 | |
| A reaction: Not sure how to assess this. Other people seem just as real as I do, when I encounter them, as friend or as foe. And in dealing with them we act as if dealing with their Self (rather than their legs, say). So this idea seems a good one. |
| 7116 | When we are unreflective (as when chasing a tram) there is no 'I' [Sartre] |
| Full Idea: There is no 'I' on the unreflected level. When I run after a tram, ...there is no I. There is a consciousness of the tram-needing-to-be-caught, and a non-positional consciousness of consciousness. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: Russell (Idea 5380) says exactly the opposite. My sympathies are more with Russell. I don't just focus on the tram, I focus on the relation between myself and the tram, and that includes my need to catch it, as well as my body. |
| 7124 | The Ego never appears except when we are not looking for it [Sartre] |
| Full Idea: The Ego never appears except when we are not looking for it. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (D)) | |
| A reaction: He denies that we know the Ego when engaged with the world, and agrees with Hume that the ego can't be directly known. All that is left is this, which seems to be introspection 'out of the corner of your eye'. Not persuasive. |
| 7120 | It is theoretically possible that the Ego consists entirely of false memories [Sartre] |
| Full Idea: One cannot rule out the metaphysical hypothesis that my Ego is not composed of elements that have existed in reality (ten years or one second ago), but is merely constituted by false memories. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (D)) | |
| A reaction: (He mentions the evil demon as a source). The problem that false memories (such as George IV 'remembering' he was at Waterloo, when he wasn't) is well known. But this raises the possibility of all memories being false, yet constituting the person. |
| 7110 | If the 'I' is transcendental, it unnecessarily splits consciousness in two [Sartre] |
| Full Idea: The superfluous transcendental 'I' is actually a hindrance. If it existed, it would violently separate consciousness from itself, it would divide it, slicing through consciousness like an opaque blade. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (A)) | |
| A reaction: I see no a priori reason why consciousness should not be split in two, if that's how it is. Personally I am happy with a fairly traditional Cartesian view, that the self is the will and understanding, and the rest of consciousness is its working material. |
| 7115 | Maybe it is the act of reflection that brings 'me' into existence [Sartre] |
| Full Idea: Might it not be precisely the reflective act that brings the me into being in reflected consciousness? | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], I (B)) | |
| A reaction: He admits some sort of self a second-order entity, but this is 'transcendental', and essentially an illusion. This elimination of the first-order self clears the way for the existential view, that we can create whatever self we want. I disagree. |
| 7121 | The Ego only appears to reflection, so it is cut off from the World [Sartre] |
| Full Idea: The Ego is an object that appears only to reflection, and is thereby radically cut off from the World. | |
| From: Jean-Paul Sartre (Transcendence of the Ego [1937], II (D)) | |
| A reaction: This is the culmination of Sartre's attack (in 1937) on the Ego, paving the way for the freedom of existentialism. Personally I don't accept this picture of the Ego as a second-order fiction. My Ego is part of my relationship with the World. |
| 23756 | The mind is imprisoned and limited by language, restricting our awareness of wider thoughts [Weil] |
| Full Idea: At the very best, a mind is enclosed in language as in a prison. It is limited to the number of relations which words can make simultaneously present to it; and remains in ignorance of thoughts which involve the combination of a greater number. | |
| From: Simone Weil (Human Personality [1943], p.89) | |
| A reaction: This seems to be a germ of the type of view of language which blossoms in Derrida. But she is on to something. None of us grasp fully, I think, the non-linguistic nature of good thinking. |
| 13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
| Full Idea: A Fregean concept is a function that assigns to each object a truth value. So instead of the colour green, the concept GREEN assigns truth to each green thing, but falsity to anything else. | |
| From: William D. Hart (The Evolution of Logic [2010], 2) | |
| A reaction: This would seem to immediately hit the renate/cordate problem, if there was a world in which all and only the green things happened to be square. How could Frege then distinguish the green from the square? Compare Idea 8245. |
| 23758 | Beauty is an attractive mystery, leaving nothing to be desired [Weil] |
| Full Idea: Beauty is the supreme mystery of the world. It is a gleam which attracts the attention and yet does nothing to sustain it. …While exciting desire, it makes clear that there is nothing in it to be desired, because what we want is that it should not change. | |
| From: Simone Weil (Human Personality [1943], p.92) | |
| A reaction: She attributes beauty to a supernatural source. I catalogue this idea under 'the sublime', rather than 'beauty'. It may be better to say that beauty inspires love, rather than desire. |
| 23760 | All we need are the unity of justice, truth and beauty [Weil] |
| Full Idea: Justice, truth, and beauty are sisters and comrades. With three such beautiful words we have no need to look for any others. | |
| From: Simone Weil (Human Personality [1943], p.93) | |
| A reaction: The embodiment of platonist values. Without the platonist ontology, I like the identification of a few core values, and have always thought that Beauty, Goodness and Truth were a well chosen trio. Swapping 'justice' for 'goodness' is interesting. |
| 23748 | The sacred in every human is their expectation of good rather than evil [Weil] |
| Full Idea: At the bottom of every human heart …there is something that goes on indomitably expecting, in the teeth of all crimes committed, suffered and witnessed, that good and not evil will be done to him. It is this above all that is sacred in every human being. | |
| From: Simone Weil (Human Personality [1943], p.71) | |
| A reaction: I'm thinking that this expectation may come from having at least one loving parent, and failing that there are people who have no such expectation as adults. Simone obviously thinks the hope runs deeper than that. |
| 23759 | Everything which originates in love is beautiful [Weil] |
| Full Idea: Everything which originates from pure love is lit with the radiance of beauty. | |
| From: Simone Weil (Human Personality [1943], p.93) | |
| A reaction: I suppose if I found a counterexample, she would say that is not 'pure' love. This sentence leaves open the possibility of beauty in the absence of love (such as a beautiful face noticed in the street). In her case, can beauty and love be separated? |
| 23762 | Evil is transmitted by comforts and pleasures, but mostly by doing harm to people [Weil] |
| Full Idea: One may transmit evil to a human being by flattering him or giving him comforts and pleasures; but most often men transmit evil to other men by doing them harm. | |
| From: Simone Weil (Human Personality [1943], p.94) | |
| A reaction: Some people receive harm very passively, especially if it is normal. What of tough love, which is erroneously seen as harm? |
| 23750 | It is not more money which the wretched members of society need [Weil] |
| Full Idea: Suppose the devil were bargaining for the soul of some wretch, and some pitying person said to the devil 'Shame on you, that commodity is worth twice as much'. Such is the sinister farce played by the working class unions, parties and intellectuals. | |
| From: Simone Weil (Human Personality [1943], p.80) | |
| A reaction: A striking thought. It is paradoxical when the working classes despise the middle classes, and yet aspire to be like them. It's hard to know what a mystic like Weil has in mind. An obvious thought is that the aspiration should be freedom, not money. |
| 23749 | The problem of the collective is not suppression of persons, but persons erasing themselves [Weil] |
| Full Idea: The chief danger does not lie in the collectivity's tendency to circumscribe the person, but in the person's tendency to immolate himself in the collective. | |
| From: Simone Weil (Human Personality [1943], p.78) | |
| A reaction: I'm guessing that in 1943 she had in mind both Nazis and Communists. She seems to articulate a strong form of liberalism in an interesting way. It sounds like a form of Bad Faith. |
| 23753 | People absurdly claim an equal share of things which are essentially privileged [Weil] |
| Full Idea: To the dimmed understanding of our age there seems nothing odd in claiming an equal share of privilege for everybody - an equal share in things whose essence is privilege. | |
| From: Simone Weil (Human Personality [1943], p.84) | |
| A reaction: Not sure what she has in mind. Probably not the finest food and drink. I suppose she is attacking the modern egalitarian view of democratic society. What things have privilege as their 'essence'? Being a 'winner'? Interesting, though. |
| 23751 | Rights are asserted contentiously, and need the backing of force [Weil] |
| Full Idea: Rights are always asserted in a tone of contention; and when this tone is adopted, it must rely upon force in the background, or else it will be laughed at. | |
| From: Simone Weil (Human Personality [1943], p.81) | |
| A reaction: This is the sort of observation which leads on to Foucault's account of all-pervasive power. Her observation may not be so sinister. It is obvious that introductions of new rights go against the grain of a conservative society - and so need a push. |
| 23752 | Giving centrality to rights stifles all impulses of charity [Weil] |
| Full Idea: To place the notion of rights at the centre of social conflicts is to inhibit any possible impulse of charity on both sides. | |
| From: Simone Weil (Human Personality [1943], p.83) | |
| A reaction: I think she exaggerates. To place personal charity at the centre of social conflicts strikes me as extremely conservative, and unlikely to improve the situation very much. I'm unsure how to reconcile this with Idea 23750. What sort of charity? |
| 23757 | The spirit of justice needs the full attention of truth, and that attention is love [Weil] |
| Full Idea: Because affliction and truth need the same kind of attention …the spirit of justice and the spirit of truth are one. The spirit of justice and truth is nothing else be a certain kind of attention, which is pure love. | |
| From: Simone Weil (Human Personality [1943], p.92) | |
| A reaction: I'm not sure about this as an observation, but as an inspiration it is very appealing, and (as so often with Weil) strikingly and attractively independent. I prefer love to arise naturally, rather than be a product of exhortation. |
| 23761 | Justice (concerning harm) is distinct from rights (concerning inequality) [Weil] |
| Full Idea: Justice is seeing that no harm is done to men. When a man cries inwardly 'Why am I being hurt?' he is being harmed. The other cry of 'Why have others got more than me?' refers to rights. We must distinguish them, and hush the second with law. | |
| From: Simone Weil (Human Personality [1943], p.93) | |
| A reaction: Her great passion is for justice, and so she downplays rights. The simple 'why am I being hurt?' has a horrible resonance in 1943. What of the hurts of disease? Are they unjust? |
| 23764 | The only thing in society worse than crime is repressive justice [Weil] |
| Full Idea: There is one, and only one, thing in society more hideous than crime - namely, repressive justice. | |
| From: Simone Weil (Human Personality [1943], p.95) | |
| A reaction: Presumably fans of 'repressive' justice would describe it as 'reformative' justice. In general, one of the most hideous parts of historical human societies has been the punishments they dished out (simply because they had the power to do it). |
| 23763 | Punishment aims at the good for men who don't desire it [Weil] |
| Full Idea: Punishment is solely a method of procuring pure good for men who do not desire it. The art of punishing is the art of awakening in a criminal, by pain or even death, the desire for pure good. | |
| From: Simone Weil (Human Personality [1943], p.95) | |
| A reaction: I know Weil is seen as some sort of saint, but this remark could have come from the Inquisition. I'm always alarmed by talk of 'pure' good and 'pure' evil, which seem to need a superior insight the rest of us lack. But see Idea 23764. |
| 23754 | The only choice is between supernatural good, or evil [Weil] |
| Full Idea: In all the crucial problems of human existence the only choice is between supernatural good on the one hand and evil on the other. | |
| From: Simone Weil (Human Personality [1943], p.86) | |
| A reaction: This idea strikes me as absurd, but I include it for a fuller picture of Simone Weil. Aristotle (my hero) is referred to, and labelled as more stupid than a village idiot. |