124 ideas
| 3348 | If phenomenology is deprived of the synthetic a priori, it is reduced to literature [Benardete,JA on Husserl] |
| Full Idea: Sternly envisaged by Husserl as a scientific discipline, phenomenology, on being stripped of the synthetic a priori by the logical positivists, ends up in Sartre as a largely literary undertaking. | |
| From: comment on Edmund Husserl (works [1898]) by José A. Benardete - Metaphysics: the logical approach Ch.18 |
| 15570 | Phenomenology is the science of essences - necessary universal structures for art, representation etc. [Husserl, by Polt] |
| Full Idea: For Husserl, phenomenology must seek the essential aspects of phenomena - necessary, universal structures, such as the essence of art or the essence of representation. He sought a science of these essences. | |
| From: report of Edmund Husserl (Logical Investigations [1900]) by Richard Polt - Heidegger: an introduction 2 'Dilthey' |
| 7614 | Bracketing subtracts entailments about external reality from beliefs [Husserl, by Putnam] |
| Full Idea: In effect, the device of bracketing subtracts entailments from the ordinary belief locution (the entailments that refer to what is external to the thinker's mind). | |
| From: report of Edmund Husserl (Logical Investigations [1900]) by Hilary Putnam - Reason, Truth and History Ch.2 | |
| A reaction: This seems to leave phenomenology as pure introspection, or as a phenomenalist description of sense-data. It is also a refusal to explain anything. That sounds quite appealing, like Keats's 'negative capability'. |
| 6893 | Phenomenology aims to describe experience directly, rather than by its origins or causes [Husserl, by Mautner] |
| Full Idea: Phenomenology, in Husserl, is an attempt to describe our experience directly, as it is, separately from its origins and development, independently of the causal explanations that historians, sociologists or psychologists might give. | |
| From: report of Edmund Husserl (Logical Investigations [1900]) by Thomas Mautner - Penguin Dictionary of Philosophy p.421 | |
| A reaction: In this simple definition the concept sounds very like the modern popular use of the word 'deconstruction', though that is applied more commonly to cultural artifacts than to actual sense experience. |
| 22216 | Phenomenology studies different types of correlation between consciousness and its objects [Husserl, by Bernet] |
| Full Idea: Husserl's phenomenology is the science of the intentional correlation of acts of consciousness with their objects and it studies the ways in which different kinds of objects involve different kinds of correlation with different kinds of acts. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.198 | |
| A reaction: I notice he uncritically accepts Husserl's description of it as a 'science'. My naive question is how you would distinguish one kind of 'correlation' from another. |
| 21217 | Phenomenology needs absolute reflection, without presuppositions [Husserl] |
| Full Idea: Phenomenology demands the most perfect freedom from presuppositions and, concerning itself, an absolute reflective insight. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], III.1.063), quoted by Victor Velarde-Mayol - On Husserl 3.1 | |
| A reaction: As an outsider, I would have thought that the whole weight of modern continental philosophy is entirely opposed to the aspiration to think without presuppositions. |
| 22218 | There can only be a science of fluctuating consciousness if it focuses on stable essences [Husserl, by Bernet] |
| Full Idea: How can there be a science of a Heraclitean flux of acts of consciousness? Husserl answers that this is possible only if these acts are described in respect of their invariant or essential structure. This is an 'eidetic' scence of 'pure' psychology. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.199 | |
| A reaction: This is his phenomenology in 1913, which Bernet describes as 'static'. Husserl later introduced time with his 'genetic' version of phenomenology, looking at the sources of experience (and then at history). Essentialism seems to be intuitive. |
| 22217 | Phenomenology aims to validate objects, on the basis of intentional intuitive experience [Husserl, by Bernet] |
| Full Idea: Husserl's goal is to account for the validity, the 'being-true', of objects on the basis of the way in which they are given or constituted. ...Experiences more suitable for guaranteeing objects are those which both intend and intuitively apprehend them. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.199 | |
| A reaction: [compressed] In the light of previous scepticism and idealism, the project sounds a bit optimistic. If there is a gulf between mind and world it can only be bridged by 'reaching out' from both sides. This is a mind-sided attempt. |
| 22219 | Husserl saw transcendental phenomenology as idealist, in its construction of objects [Husserl, by Bernet] |
| Full Idea: Phenomeonology is 'transcendental' in describing the correlation between phenomena and intentional objects, to show how their meaning and validity are constructed. Husserl gave this process an idealist interpretation (which Heidegger criticised). | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.200 | |
| A reaction: [compressed] If the actions which produce our concepts of objects all take place 'behind' phenomenal consciousness, then it is hard to avoid sliding into some sort of idealism. It encourages direct realism about perception. |
| 22204 | Start philosophising with no preconceptions, from the intuitively non-theoretical self-given [Husserl] |
| Full Idea: Where other philosophers ...start from unclarified, ungrounded preconceptions, we start out from that which antedates all standpoints: from the totality of the intuitively self-given which is prior to any theorising reflexion. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.020) | |
| A reaction: This is the great aim of Phenomenology, which is obviously inspired by Hegel's similar desire to start from nothing. Hegel starts from a concept ('nothing'), but Husserl starts from raw experience. I suspect both approaches are idle dreams. |
| 22207 | Epoché or 'bracketing' is refraining from judgement, even when some truths are certain [Husserl] |
| Full Idea: In relation to every thesis we can use this peculiar epoché (the phenomenon of 'bracketing' or 'disconnecting'), a certain refraining from judgment which is compatible with the unshaken and unshakable because self-evidencing conviction of Truth. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.1.031) | |
| A reaction: This is the crucial first step of Phenomenology. It seems to me that it is best described as 'methodological scepticism'. People actually practise it all the time, while they focus on some experience, while trying to forget preconceptions. |
| 22208 | 'Bracketing' means no judgements at all about spatio-temporal existence [Husserl] |
| Full Idea: I use the 'phenomenological' epoché, which completely bars me from using any judgment that concerns spatio-temporal existence. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.1.032) | |
| A reaction: This makes bracketing (or epoché) into a sort of voluntary idealism. Put like that, it is hard to see what benefits it could bring. I am, you will notice, a pretty thorough sceptic about the project of phenomenology. What has it taught us? |
| 22210 | After everything is bracketed, consciousness still has a unique being of its own [Husserl] |
| Full Idea: We fix our eyes steadily upon the sphere of Consciousness and study what it is that we find immanent in it. ...Consciousness in itself has a being of its own which in its absolute uniqueness of nature remains unaffected by disconnection. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.033) | |
| A reaction: 'Disconnection' is his 'bracketing'. He makes it sound obvious, but Schopenhauer entirely disagrees with him, and I have no idea how to arbitrate. I struggle to grasp consciousness once nature has been bracketed, but have little luck. Is it Da-sein? |
| 22215 | Phenomenology describes consciousness, in the light of pure experiences [Husserl] |
| Full Idea: Phenomenology is a pure descriptive discipline which studies the whole field of pure transcendental consciousness in the light of pure intuition. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.4.059) | |
| A reaction: When he uses the word 'pure' three times in a sentence, each applied to a different thing, you begin to wonder precisely what it means. Strictly speaking, I would probably only apply 'pure' to abstracta, and never to experiences or reality.115 |
| 22201 | The use of mathematical-style definitions in philosophy is fruitless and harmful [Husserl] |
| Full Idea: Definition cannot take the same form in philosophy as it does in mathematics; the imitation of mathematical procedure is invariably in this respect not only unfruitful, but perverse and most harmful in its consequences. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], Intro) | |
| A reaction: A hundred years of analytic philosophy has entirely ignored this warning. My heart has always sunk when I read '=def...' in a philosophy article (which is usually American). The illusion of rigour. |
| 18194 | 'Forcing' can produce new models of ZFC from old models [Maddy] |
| Full Idea: Cohen's method of 'forcing' produces a new model of ZFC from an old model by appending a carefully chosen 'generic' set. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.4) |
| 18195 | A Large Cardinal Axiom would assert ever-increasing stages in the hierarchy [Maddy] |
| Full Idea: A possible axiom is the Large Cardinal Axiom, which asserts that there are more and more stages in the cumulative hierarchy. Infinity can be seen as the first of these stages, and Replacement pushes further in this direction. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) |
| 13011 | New axioms are being sought, to determine the size of the continuum [Maddy] |
| Full Idea: In current set theory, the search is on for new axioms to determine the size of the continuum. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §0) | |
| A reaction: This sounds the wrong way round. Presumably we seek axioms that fix everything else about set theory, and then check to see what continuum results. Otherwise we could just pick our continuum, by picking our axioms. |
| 13013 | The Axiom of Extensionality seems to be analytic [Maddy] |
| Full Idea: Most writers agree that if any sense can be made of the distinction between analytic and synthetic, then the Axiom of Extensionality should be counted as analytic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [Boolos is the source of the idea] In other words Extensionality is not worth discussing, because it simply tells you what the world 'set' means, and there is no room for discussion about that. The set/class called 'humans' varies in size. |
| 13014 | Extensional sets are clearer, simpler, unique and expressive [Maddy] |
| Full Idea: The extensional view of sets is preferable because it is simpler, clearer, and more convenient, because it individuates uniquely, and because it can simulate intensional notions when the need arises. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.1) | |
| A reaction: [She cites Fraenkel, Bar-Hillet and Levy for this] The difficulty seems to be whether the extensional notion captures our ordinary intuitive notion of what constitutes a group of things, since that needs flexible size and some sort of unity. |
| 13021 | The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy] |
| Full Idea: The Axiom of Infinity is a simple statement of Cantor's great breakthrough. His bold hypothesis that a collection of elements that had lurked in the background of mathematics could be infinite launched modern mathematics. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: It also embodies one of those many points where mathematics seems to depart from common sense - but then most subjects depart from common sense when they get more sophisticated. Look what happened to art. |
| 13022 | Infinite sets are essential for giving an account of the real numbers [Maddy] |
| Full Idea: If one is interested in analysis then infinite sets are indispensable since even the notion of a real number cannot be developed by means of finite sets alone. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.5) | |
| A reaction: [Maddy is citing Fraenkel, Bar-Hillel and Levy] So Cantor's great breakthrough (Idea 13021) actually follows from the earlier acceptance of the real numbers, so that's where the departure from common sense started. |
| 18191 | Axiom of Infinity: completed infinite collections can be treated mathematically [Maddy] |
| Full Idea: The axiom of infinity: that there are infinite sets is to claim that completed infinite collections can be treated mathematically. In its standard contemporary form, the axioms assert the existence of the set of all finite ordinals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 13023 | The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy] |
| Full Idea: The Power Set Axiom is indispensable for a set-theoretic account of the continuum, ...and in so far as those attempts are successful, then the power-set principle gains some confirmatory support. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.6) | |
| A reaction: The continuum is, of course, notoriously problematic. Have we created an extra problem in our attempts at solving the first one? |
| 18193 | The Axiom of Foundation says every set exists at a level in the set hierarchy [Maddy] |
| Full Idea: In the presence of other axioms, the Axiom of Foundation is equivalent to the claim that every set is a member of some Vα. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) |
| 13024 | Efforts to prove the Axiom of Choice have failed [Maddy] |
| Full Idea: Jordain made consistent and ill-starred efforts to prove the Axiom of Choice. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This would appear to be the fate of most axioms. You would presumably have to use a different system from the one you are engaged with to achieve your proof. |
| 13025 | Modern views say the Choice set exists, even if it can't be constructed [Maddy] |
| Full Idea: Resistance to the Axiom of Choice centred on opposition between existence and construction. Modern set theory thrives on a realistic approach which says the choice set exists, regardless of whether it can be defined, constructed, or given by a rule. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: This seems to be a key case for the ontology that lies at the heart of theory. Choice seems to be an invaluable tool for proofs, so it won't go away, so admit it to the ontology. Hm. So the tools of thought have existence? |
| 13026 | A large array of theorems depend on the Axiom of Choice [Maddy] |
| Full Idea: Many theorems depend on the Axiom of Choice, including that a countable union of sets is countable, and results in analysis, topology, abstract algebra and mathematical logic. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.7) | |
| A reaction: The modern attitude seems to be to admit anything if it leads to interesting results. It makes you wonder about the modern approach of using mathematics and logic as the cutting edges of ontological thinking. |
| 17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
| Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
| A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |
| 18169 | Axiom of Reducibility: propositional functions are extensionally predicative [Maddy] |
| Full Idea: The Axiom of Reducibility states that every propositional function is extensionally equivalent to some predicative proposition function. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) |
| 13019 | The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy] |
| Full Idea: The Iterative Conception (Zermelo 1930) says everything appears at some stage. Given two objects a and b, let A and B be the stages at which they first appear. Suppose B is after A. Then the pair set of a and b appears at the immediate stage after B. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: Presumably this all happens in 'logical time' (a nice phrase I have just invented!). I suppose we might say that the existence of the paired set is 'forced' by the preceding sets. No transcendental inferences in this story? |
| 13018 | Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy] |
| Full Idea: The 'limitation of size' is a vague intuition, based on the idea that being too large may generate the paradoxes. | |
| From: Penelope Maddy (Believing the Axioms I [1988], §1.3) | |
| A reaction: This is an intriguing idea to be found right at the centre of what is supposed to be an incredibly rigorous system. |
| 17824 | The master science is physical objects divided into sets [Maddy] |
| Full Idea: The master science can be thought of as the theory of sets with the entire range of physical objects as ur-elements. | |
| From: Penelope Maddy (Sets and Numbers [1981], II) | |
| A reaction: This sounds like Quine's view, since we have to add sets to our naturalistic ontology of objects. It seems to involve unrestricted mereology to create normal objects. |
| 8755 | Maddy replaces pure sets with just objects and perceived sets of objects [Maddy, by Shapiro] |
| Full Idea: Maddy dispenses with pure sets, by sketching a strong set theory in which everything is either a physical object or a set of sets of ...physical objects. Eventually a physiological story of perception will extend to sets of physical objects. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: This doesn't seem to find many supporters, but if we accept the perception of resemblances as innate (as in Hume and Quine), it is isn't adding much to see that we intrinsically see things in groups. |
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic. | |
| From: Penelope Maddy (Second Philosophy [2007], III.8 n1) | |
| A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic. |
| 21222 | Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl maintained that because most logicians have not studied the connection between logic and the world, logic did not achieve its status of purity. Even more, their logic implicitly presupposed a world. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.1 | |
| A reaction: The point here is that the bracketing of phenomenology, to reach an understanding with no presuppositions, is impossible if you don't realise what your are presupposing. I think the logic/world relationship is badly neglected, thanks to Frege. |
| 21223 | Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol] |
| Full Idea: The phenomenological logic grounds logical notions in subjective acts of experience. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929], p.183) by Victor Velarde-Mayol - On Husserl 4.5.1 | |
| A reaction: I'll approach this with great caution, but this is a line of thought that appeals to me. The core assumptions of logic do not arise ex nihilo. |
| 17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
| Full Idea: If-thenism denies that mathematics is in the business of discovering truths about abstracta. ...[their opponents] obviously don't regard any starting point, even a consistent one, as equally worthy of investigation. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.3) | |
| A reaction: I have some sympathy with if-thenism, in that you can obviously study the implications of any 'if' you like, but deep down I agree with the critics. |
| 18168 | 'Propositional functions' are propositions with a variable as subject or predicate [Maddy] |
| Full Idea: A 'propositional function' is generated when one of the terms of the proposition is replaced by a variable, as in 'x is wise' or 'Socrates'. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: This implies that you can only have a propositional function if it is derived from a complete proposition. Note that the variable can be in either subject or in predicate position. It extends Frege's account of a concept as 'x is F'. |
| 17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
| Full Idea: At the end of the nineteenth century there was a renewed emphasis on rigor, the central tool of which was axiomatization, along the lines of Hilbert's axioms for geometry and Dedekind's axioms for real numbers. | |
| From: Penelope Maddy (Defending the Axioms [2011], 1.3) |
| 17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
| Full Idea: The fact that two apparently fruitful mathematical themes turn out to coincide makes it all the more likely that they're tracking a genuine strain of mathematical depth. | |
| From: Penelope Maddy (Defending the Axioms [2011], 5.3ii) |
| 9837 | 0 is not a number, as it answers 'how many?' negatively [Husserl, by Dummett] |
| Full Idea: Husserl contends that 0 is not a number, on the grounds that 'nought' is a negative answer to the question 'how many?'. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.144) by Michael Dummett - Frege philosophy of mathematics Ch.8 | |
| A reaction: I seem to be in a tiny minority in thinking that Husserl may have a good point. One apple is different from one orange, but no apples are the same as no oranges. That makes 0 a very peculiar number. See Idea 9838. |
| 9576 | Multiplicity in general is just one and one and one, etc. [Husserl] |
| Full Idea: Multiplicity in general is no more than something and something and something, etc.; ..or more briefly, one and one and one, etc. | |
| From: Edmund Husserl (Philosophy of Arithmetic [1894], p.85), quoted by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic' | |
| A reaction: Frege goes on to attack this idea fairly convincingly. It seems obvious that it is hard to say that you have seventeen items, if the only numberical concept in your possession is 'one'. How would you distinguish 17 from 16? What makes the ones 'multiple'? |
| 17444 | Husserl said counting is more basic than Frege's one-one correspondence [Husserl, by Heck] |
| Full Idea: Husserl famously argued that one should not explain number in terms of equinumerosity (or one-one correspondence), but should explain equinumerosity in terms of sameness of number, which should be characterised in terms of counting. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Richard G. Heck - Cardinality, Counting and Equinumerosity 3 | |
| A reaction: [Heck admits he hasn't read the Husserl] I'm very sympathetic to Husserl, though nearly all modern thinking favours Frege. Counting connects numbers to their roots in the world. Mathematicians seem oblivious of such things. |
| 18190 | Completed infinities resulted from giving foundations to calculus [Maddy] |
| Full Idea: The line of development that finally led to a coherent foundation for the calculus also led to the explicit introduction of completed infinities: each real number is identified with an infinite collection of rationals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.3) | |
| A reaction: Effectively, completed infinities just are the real numbers. |
| 18171 | Cantor and Dedekind brought completed infinities into mathematics [Maddy] |
| Full Idea: Both Cantor's real number (Cauchy sequences of rationals) and Dedekind's cuts involved regarding infinite items (sequences or sets) as completed and subject to further manipulation, bringing the completed infinite into mathematics unambiguously. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1 n39) | |
| A reaction: So it is the arrival of the real numbers which is the culprit for lumbering us with weird completed infinites, which can then be the subject of addition, multiplication and exponentiation. Maybe this was a silly mistake? |
| 17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
| Full Idea: One form of the Continuum Hypothesis is the claim that every infinite set of reals is either countable or of the same size as the full set of reals. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.4 n40) |
| 18172 | Infinity has degrees, and large cardinals are the heart of set theory [Maddy] |
| Full Idea: The stunning discovery that infinity comes in different degrees led to the theory of infinite cardinal numbers, the heart of contemporary set theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: It occurs to me that these huge cardinals only exist in set theory. If you took away that prop, they would vanish in a puff. |
| 18175 | For any cardinal there is always a larger one (so there is no set of all sets) [Maddy] |
| Full Idea: By the mid 1890s Cantor was aware that there could be no set of all sets, as its cardinal number would have to be the largest cardinal number, while his own theorem shows that for any cardinal there is a larger. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: There is always a larger cardinal because of the power set axiom. Some people regard that with suspicion. |
| 18196 | An 'inaccessible' cardinal cannot be reached by union sets or power sets [Maddy] |
| Full Idea: An 'inaccessible' cardinal is one that cannot be reached by taking unions of small collections of smaller sets or by taking power sets. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.5) | |
| A reaction: They were introduced by Hausdorff in 1908. |
| 18187 | Theorems about limits could only be proved once the real numbers were understood [Maddy] |
| Full Idea: Even the fundamental theorems about limits could not [at first] be proved because the reals themselves were not well understood. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This refers to the period of about 1850 (Weierstrass) to 1880 (Dedekind and Cantor). |
| 21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
| Full Idea: Pure mathematics is the science of the relations between any object whatever (relation of whole to part, relation of equality, property, unity etc.). In this sense, pure mathematics is seen by Husserl as formal ontology. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.2 | |
| A reaction: I would expect most modern analytic philosophers to agree with this. Modern mathematics (e.g. category theory) seems to have moved beyond this stage, but I still like this idea. |
| 18182 | The extension of concepts is not important to me [Maddy] |
| Full Idea: I attach no decisive importance even to bringing in the extension of the concepts at all. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], §107) | |
| A reaction: He almost seems to equate the concept with its extension, but that seems to raise all sorts of questions, about indeterminate and fluctuating extensions. |
| 18177 | In the ZFC hierarchy it is impossible to form Frege's set of all three-element sets [Maddy] |
| Full Idea: In the ZFC cumulative hierarchy, Frege's candidates for numbers do not exist. For example, new three-element sets are formed at every stage, so there is no stage at which the set of all three-element sets could he formed. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Ah. This is a very important fact indeed if you are trying to understand contemporary discussions in philosophy of mathematics. |
| 18164 | Frege solves the Caesar problem by explicitly defining each number [Maddy] |
| Full Idea: To solve the Julius Caesar problem, Frege requires explicit definitions of the numbers, and he proposes his well-known solution: the number of Fs = the extension of the concept 'equinumerous with F' (based on one-one correspondence). | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Why do there have to be Fs before there can be the corresponding number? If there were no F for 523, would that mean that '523' didn't exist (even if 522 and 524 did exist)? |
| 17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
| Full Idea: If you wonder why multiplication is commutative, you could prove it from the Peano postulates, but the proof offers little towards an answer. In set theory Cartesian products match 1-1, and n.m dots when turned on its side has m.n dots, which explains it. | |
| From: Penelope Maddy (Sets and Numbers [1981], II) | |
| A reaction: 'Turning on its side' sounds more fundamental than formal set theory. I'm a fan of explanation as taking you to the heart of the problem. I suspect the world, rather than set theory, explains the commutativity. |
| 17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
| Full Idea: The standard account of the relationship between numbers and sets is that numbers simply are certain sets. This has the advantage of ontological economy, and allows numbers to be brought within the epistemology of sets. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: Maddy votes for numbers being properties of sets, rather than the sets themselves. See Yourgrau's critique. |
| 17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
| Full Idea: I propose that ...numbers are properties of sets, analogous, for example, to lengths, which are properties of physical objects. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: Are lengths properties of physical objects? A hole in the ground can have a length. A gap can have a length. Pure space seems to contain lengths. A set seems much more abstract than its members. |
| 10718 | A natural number is a property of sets [Maddy, by Oliver] |
| Full Idea: Maddy takes a natural number to be a certain property of sui generis sets, the property of having a certain number of members. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990], 3 §2) by Alex Oliver - The Metaphysics of Properties | |
| A reaction: [I believe Maddy has shifted since then] Presumably this will make room for zero and infinities as natural numbers. Personally I want my natural numbers to count things. |
| 18184 | Making set theory foundational to mathematics leads to very fruitful axioms [Maddy] |
| Full Idea: The set theory axioms developed in producing foundations for mathematics also have strong consequences for existing fields, and produce a theory that is immensely fruitful in its own right. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: [compressed] Second of Maddy's three benefits of set theory. This benefit is more questionable than the first, because the axioms may be invented because of their nice fruit, instead of their accurate account of foundations. |
| 18185 | Unified set theory gives a final court of appeal for mathematics [Maddy] |
| Full Idea: The single unified area of set theory provides a court of final appeal for questions of mathematical existence and proof. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Maddy's third benefit of set theory. 'Existence' means being modellable in sets, and 'proof' means being derivable from the axioms. The slightly ad hoc character of the axioms makes this a weaker defence. |
| 18183 | Set theory brings mathematics into one arena, where interrelations become clearer [Maddy] |
| Full Idea: Set theoretic foundations bring all mathematical objects and structures into one arena, allowing relations and interactions between them to be clearly displayed and investigated. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: The first of three benefits of set theory which Maddy lists. The advantages of the one arena seem to be indisputable. |
| 18186 | Identifying geometric points with real numbers revealed the power of set theory [Maddy] |
| Full Idea: The identification of geometric points with real numbers was among the first and most dramatic examples of the power of set theoretic foundations. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: Hence the clear definition of the reals by Dedekind and Cantor was the real trigger for launching set theory. |
| 18188 | The line of rationals has gaps, but set theory provided an ordered continuum [Maddy] |
| Full Idea: The structure of a geometric line by rational points left gaps, which were inconsistent with a continuous line. Set theory provided an ordering that contained no gaps. These reals are constructed from rationals, which come from integers and naturals. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.2) | |
| A reaction: This completes the reduction of geometry to arithmetic and algebra, which was launch 250 years earlier by Descartes. |
| 17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
| Full Idea: Our set-theoretic methods track the underlying contours of mathematical depth. ...What sets are, most fundamentally, is markers for these contours ...they are maximally effective trackers of certain trains of mathematical fruitfulness. | |
| From: Penelope Maddy (Defending the Axioms [2011], 3.4) | |
| A reaction: This seems to make it more like a map of mathematics than the actual essence of mathematics. |
| 18163 | Mathematics rests on the logic of proofs, and on the set theoretic axioms [Maddy] |
| Full Idea: Our much loved mathematical knowledge rests on two supports: inexorable deductive logic (the stuff of proof), and the set theoretic axioms. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I Intro) |
| 17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
| Full Idea: I am not suggesting a reduction of number theory to set theory ...There are only sets with number properties; number theory is part of the theory of finite sets. | |
| From: Penelope Maddy (Sets and Numbers [1981], V) |
| 17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
| Full Idea: A set of things is located where the aggregate of those things is located, ...but a number is simultaneously located at many different places (10 in my hand, and a baseball team) ...so numbers seem more like universals than particulars. | |
| From: Penelope Maddy (Sets and Numbers [1981], III) | |
| A reaction: My gut feeling is that Maddy's master idea (of naturalising sets by building them from ur-elements of natural objects) won't work. Sets can work fine in total abstraction from nature. |
| 17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
| Full Idea: The popular challenges to platonism in philosophy of mathematics are epistemological (how are we able to interact with these objects in appropriate ways) and ontological (if numbers are sets, which sets are they). | |
| From: Penelope Maddy (Sets and Numbers [1981], I) | |
| A reaction: These objections refer to Benacerraf's two famous papers - 1965 for the ontology, and 1973 for the epistemology. Though he relied too much on causal accounts of knowledge in 1973, I'm with him all the way. |
| 8756 | Intuition doesn't support much mathematics, and we should question its reliability [Maddy, by Shapiro] |
| Full Idea: Maddy says that intuition alone does not support very much mathematics; more importantly, a naturalist cannot accept intuition at face value, but must ask why we are justified in relying on intuition. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Stewart Shapiro - Thinking About Mathematics 8.3 | |
| A reaction: It depends what you mean by 'intuition', but I identify with her second objection, that every faculty must ultimately be subject to criticism, which seems to point to a fairly rationalist view of things. |
| 17733 | We know mind-independent mathematical truths through sets, which rest on experience [Maddy, by Jenkins] |
| Full Idea: Maddy proposes that we can know (some) mind-independent mathematical truths through knowing about sets, and that we can obtain knowledge of sets through experience. | |
| From: report of Penelope Maddy (Realism in Mathematics [1990]) by Carrie Jenkins - Grounding Concepts 6.5 | |
| A reaction: Maddy has since backed off from this, and now tries to merely defend 'objectivity' about sets (2011:114). My amateurish view is that she is overrating the importance of sets, which merely model mathematics. Look at category theory. |
| 18204 | Scientists posit as few entities as possible, but set theorist posit as many as possible [Maddy] |
| Full Idea: Crudely, the scientist posits only those entities without which she cannot account for observations, while the set theorist posits as many entities as she can, short of inconsistency. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.5) |
| 18207 | Maybe applications of continuum mathematics are all idealisations [Maddy] |
| Full Idea: It could turn out that all applications of continuum mathematics in natural sciences are actually instances of idealisation. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) |
| 17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
| Full Idea: Ordinary perceptual cognition is most likely involved in our grasp of elementary arithmetic, but ...this connection to the physical world has long since been idealized away in the infinitary structures of contemporary pure mathematics. | |
| From: Penelope Maddy (Defending the Axioms [2011], 2.3) | |
| A reaction: Despite this, Maddy's quest is for a 'naturalistic' account of mathematics. She ends up defending 'objectivity' (and invoking Tyler Burge), rather than even modest realism. You can't 'idealise away' the counting of objects. I blame Cantor. |
| 17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
| Full Idea: Number words are not like normal adjectives. For example, number words don't occur in 'is (are)...' contexts except artificially, and they must appear before all other adjectives, and so on. | |
| From: Penelope Maddy (Sets and Numbers [1981], IV) | |
| A reaction: [She is citing Benacerraf's arguments] |
| 18167 | We can get arithmetic directly from HP; Law V was used to get HP from the definition of number [Maddy] |
| Full Idea: Recent commentators have noted that Frege's versions of the basic propositions of arithmetic can be derived from Hume's Principle alone, that the fatal Law V is only needed to derive Hume's Principle itself from the definition of number. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], I.1) | |
| A reaction: Crispin Wright is the famous exponent of this modern view. Apparently Charles Parsons (1965) first floated the idea. |
| 22209 | Our goal is to reveal a new hidden region of Being [Husserl] |
| Full Idea: We could refer to our goal as the winning of a new region of Being, the distinctive character of which has not yet been defined. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.033) | |
| A reaction: The obvious fruit of this idea, I would think, is Heidegger's concept of Da-sein, which claims to be a distinctively human region of Being. I'm not sure I can cope with the claim that Being itself (a very broad-brush term) has hidden regions. |
| 22211 | As a thing and its perception are separated, two modes of Being emerge [Husserl] |
| Full Idea: We are left with the transcendence of the thing over against the perception of it, ...and thus a basic and essential difference arises between Being as Experience and Being as Thing. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.042) | |
| A reaction: I'm thinking that this is not just the germ of Heidegger's concept of Da-sein, but it actually IS his concept, without the label. Husserl had said that he hoped to reveal a new region of Being. |
| 21226 | Husserl sees the ego as a monad, unifying presence, sense and intentional acts [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl's notion of monad expresses a complete inegration of every intentional presence into its sense, and every sense into the intentional acts, ....and finally every intentional act is integrated into the ego. | |
| From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.6.2 | |
| A reaction: No, I don't understand that either, but it makes good sense to employ the concept of a 'monad' into the concept of the ego, if you think it embodies perfect unity. That was a main motivation for Leibniz to employ the word. |
| 22202 | The World is all experiencable objects [Husserl] |
| Full Idea: The World is the totality of objects that can be known through experience. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.001) | |
| A reaction: I think this is the 'Nature' which has to be 'bracketed', when pursuing Phenomenology. It sounds like anti-realist empiricism, which has no place for unobservables. |
| 22213 | Absolute reality is an absurdity [Husserl] |
| Full Idea: An absolute reality is just as valid as a round square. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.3.055) | |
| A reaction: Husserl distances himself from 'Berkeleyian' idealism, but his discussion keeps flirting with, perhaps in some sort of have-your-cake-and-eat-it Hegelian way. Perhaps it is close to Dummett's Anti-Realism. |
| 18205 | The theoretical indispensability of atoms did not at first convince scientists that they were real [Maddy] |
| Full Idea: The case of atoms makes it clear that the indispensable appearance of an entity in our best scientific theory is not generally enough to convince scientists that it is real. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: She refers to the period between Dalton and Einstein, when theories were full of atoms, but there was strong reluctance to actually say that they existed, until the direct evidence was incontrovertable. Nice point. |
| 21218 | The sense of anything contingent has a purely apprehensible essence or Eidos [Husserl] |
| Full Idea: It belongs to the sense of anything contingent to have an essence and therefore an Eidos which can be apprehended purely. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.002), quoted by Victor Velarde-Mayol - On Husserl 3.2.2 | |
| A reaction: This is the quirky idea that we can know necessary categorial essences a priori, even if the category is currently empty. Crops us in Lowe. Husserl says grasping the corresponding individuals must be possible. Third Man question. |
| 19263 | Imagine an object's properties varying; the ones that won't vary are the essential ones [Husserl, by Vaidya] |
| Full Idea: Husserl's 'eidetic variation' implies that we can judge the essential properties of an object by varying the properties of the object in imagination, and seeing which vary and which do not. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Anand Vaidya - Understanding and Essence 'Knowledge' | |
| A reaction: The problem with this is that there are trivial or highly general necessary properties which are obviously not essential to the thing. Vaidya says [822] you can't perform the experiment without prior knowledge of the essence. |
| 9240 | Love creates a necessity concerning what to care about [Frankfurt] |
| Full Idea: The necessity with which love binds the will puts an end to indecisiveness concerning what to care about. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.13) | |
| A reaction: I put this here as a reminder that there may be more to necessity than the dry concept of metaphysicians and logicians. 'Why did you rescue that man first?' 'Because I love him'. Kit Fine recognises many sorts of necessity. |
| 21220 | The physical given, unlike the mental given, could be non-existing [Husserl] |
| Full Idea: Anything physical which is given in person can be non-existing, no mental process which is given in person can be non-existing. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.2.046), quoted by Victor Velarde-Mayol - On Husserl 3.3.5 | |
| A reaction: This endorsement of Descartes shows how strong the influence of the Cogito remained in later continental philosophy. Phenomenology is a footnote to Descartes. |
| 21216 | Husserl says we have intellectual intuitions (of categories), as well as of the senses [Husserl, by Velarde-Mayol] |
| Full Idea: The novelty of Husserl is to describe that we have intellectual intuitions, intuitions of categories as we have intuitions of sense objects. | |
| From: report of Edmund Husserl (Logical Investigations [1900], II.VI.24) by Victor Velarde-Mayol - On Husserl 2.4.4 | |
| A reaction: This is 'intuitions' in Kant's sense, of something like direct apprehensions. This idea is an axiom of phenomenology, because all mental life must be bracketed, and not just the sense experience part. |
| 22205 | Feelings of self-evidence (and necessity) are just the inventions of theory [Husserl] |
| Full Idea: So-called feelings of self-evidence, of intellectual necessity, and however they may otherwise be called, are just theoretically invented feelings. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.021) | |
| A reaction: This seems to be a dismissal of the a priori necessary on the grounds that it is 'theory-laden' - which is why it has to be bracketed in order to do phenomenology. |
| 21221 | Direct 'seeing' by consciousness is the ultimate rational legitimation [Husserl] |
| Full Idea: Immediate 'seeing', not merely sensuous, experiential seeing, but seeing in the universal sense as an originally presenting consciousness of any kind whatsoever, is the ultimate legitimising source of all rational assertions. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.019), quoted by Victor Velarde-Mayol - On Husserl 3.3.5 | |
| A reaction: Husserl is (I gather from this) a classic rationalist. Just like Descartes' judgement of the molten wax. |
| 22220 | The phenomena of memory are given in the present, but as being past [Husserl, by Bernet] |
| Full Idea: In Husserl's phenomenology, the intentional object of a memory is the object of a past experience, which is intuitively given to me in the present, not, however, as being present but as being past. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.203 | |
| A reaction: I certainly don't have to assess my mental events, and judge which are past, which are now, and which are future imaginings. I suppose Fodor would say they are memories because we find them in the memory-box. How else could it work? |
| 22206 | Natural science has become great by just ignoring ancient scepticism [Husserl] |
| Full Idea: Natural science has grown to greatness by pushing ruthlessly aside the rank growth of ancient skepticism and renouncing the attempt to conquer it. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.2.026) | |
| A reaction: This may be because scepticism is boring, or it may be because science 'brackets' scepticism, leaving philosophers to worry about it. |
| 22221 | We know another's mind via bodily expression, while also knowing it is inaccessible [Husserl, by Bernet] |
| Full Idea: Another person's consciousness is given to me through the expressive stratum of her body, which gives me access to her experience while making me realise that it is inaccessible to me. Empathy is a presentation of what is absent. | |
| From: report of Edmund Husserl (Ideas: intro to pure phenomenology [1913]) by Rudolf Bernet - Husserl p.203 | |
| A reaction: This is the phenomenological approach to the problem of other minds, by examining the raw experience of encountering another person. It is true that we seem to both know and not know another person's mind when we encounter them. |
| 21228 | Husserl's monads (egos) communicate, through acts of empathy. [Husserl, by Velarde-Mayol] |
| Full Idea: For Husserl monads have windows because they communicate with each other. The windows of the monads are the acts of empathy. | |
| From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.7.5 | |
| A reaction: Leibniz said his monads (which include minds) have 'no windows'. The mere existence of empathy (or mirror neurons, as we would say) is hardly sufficient to defeat solipsism. |
| 22212 | Pure consciousness is a sealed off system of actual Being [Husserl] |
| Full Idea: Consciousness, considered in its 'purity', must be reckoned as a self-contained system of Being, a system of actual Being, into which nothing can penetrate, and from which nothing can escape. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.3.049) | |
| A reaction: Recorded without comment, to show that among phenomenologists there is a way of thinking about consciousness which is a long way from analytic discussions of the topic. |
| 9575 | Husserl identifies a positive mental act of unification, and a negative mental act for differences [Husserl, by Frege] |
| Full Idea: Husserl identifies a 'unitary mental act' where several contents are connected or related to one another, and also a difference-relation where two contents are related to one another by a negative judgement. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894], p.73-74) by Gottlob Frege - Review of Husserl's 'Phil of Arithmetic' p.322 | |
| A reaction: Frege is setting this up ready for a fairly vicious attack. Where Hume has a faculty for spotting resemblances, it is not implausible that we should also be hard-wired to spot differences. 'You look different; have you changed your hair style?' |
| 18206 | Science idealises the earth's surface, the oceans, continuities, and liquids [Maddy] |
| Full Idea: In science we treat the earth's surface as flat, we assume the ocean to be infinitely deep, we use continuous functions for what we know to be quantised, and we take liquids to be continuous despite atomic theory. | |
| From: Penelope Maddy (Naturalism in Mathematics [1997], II.6) | |
| A reaction: If fussy people like scientists do this all the time, how much more so must the confused multitude be doing the same thing all day? |
| 21225 | The psychological ego is worldly, and the pure ego follows transcendental reduction [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl distinguishes two sorts of egos or subjects of experience, the psychological ego and the pure ego. The psychological ego is a reality of the world, and the pure ego is a result of transcendental reduction. | |
| From: report of Edmund Husserl (Cartesian Meditations [1931]) by Victor Velarde-Mayol - On Husserl 4.6.1 | |
| A reaction: The sounds like embracing both the Cartesian and the Kantian egos. This is obviously the source of Sartre's interesting early book on the self. 'Transcendental reduction' is his bracketing or epoché. |
| 9264 | Persons are distinguished by a capacity for second-order desires [Frankfurt] |
| Full Idea: The essential difference between persons and other creatures is in the structure of the will, with their peculiar characteristic of being able to form 'second-order desires'. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], Intro) | |
| A reaction: There are problems with this - notably that all strategies of this kind just shift the problem up to the next order, without solving it - but this still strikes me as a very promising line of thinking when trying to understand ourselves. See Idea 9266. |
| 9266 | A person essentially has second-order volitions, and not just second-order desires [Frankfurt] |
| Full Idea: It is having second-order volitions, and not having second-order desires generally, that I regard as essential to being a person. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], §II) | |
| A reaction: Watson criticises Frankfurt for just pushing the problem up to the the next level, but Frankfurt is not offering to explain the will. He merely notes that this structure produces the sort of behaviour which is characteristic of persons, and he is right. |
| 22214 | We never meet the Ego, as part of experience, or as left over from experience [Husserl] |
| Full Idea: We never stumble across the pure Ego as an experience within the flux of manifold experiences which survives as transcendental residuum; nor do we meet it as a constitutive bit of experience appearing with the experience of which it is an integral part. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], II.4.057) | |
| A reaction: It seems that he agrees with David Hume. Sartre's 'Transcendence of the Ego' follows up this idea. However, Husserl goes on to assert the 'necessity' of the permanent Ego, which sounds like Kant's view. |
| 9267 | Free will is the capacity to choose what sort of will you have [Frankfurt] |
| Full Idea: The statement that a person enjoys freedom of the will means that he is free to want what he wants to want. More precisely, he is free to will what he wants to will, or to have the will he wants. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], §III) | |
| A reaction: A good proposal. It covers kleptomaniacs and drug addicts quite well. Thieves have second-order desires (to steal) of which kleptomaniacs are incapable. There is actually no such thing as free will, but this sort of thing will do. |
| 21214 | We clarify concepts (e.g. numbers) by determining their psychological origin [Husserl, by Velarde-Mayol] |
| Full Idea: Husserl said that the clarification of any concept is made by determining its psychological origin. He is concerned with the psychological origins of the operation of calculating cardinal numbers. | |
| From: report of Edmund Husserl (Philosophy of Arithmetic [1894]) by Victor Velarde-Mayol - On Husserl 2.2 | |
| A reaction: This may not be the same as the 'psychologism' that Frege so despised, because Husserl is offering a clarification, rather than the intrinsic nature of number concepts. It is not a theory of the origin of numbers. |
| 9819 | Psychologism blunders in focusing on concept-formation instead of delineating the concepts [Dummett on Husserl] |
| Full Idea: Husserl substitutes his account of the process of concept-formation for a delineation of the concept. It is above all in making this substitution that psychologism is objectionable (and Frege opposed it so vehemently). | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.2 | |
| A reaction: While this is a powerful point which is a modern orthodoxy, it hardly excludes a study of concept-formation from being of great interest for other reasons. It may not appeal to logicians, but it is crucial part of the metaphysics of nature. |
| 9851 | Husserl wanted to keep a shadowy remnant of abstracted objects, to correlate them [Dummett on Husserl] |
| Full Idea: Husserl saw that abstracted units, though featureless, must in some way retain their distinctness, some shadowy remnant of their objects. So he wanted to correlate like-numbered sets, not just register their identity, but then abstractionism fails. | |
| From: comment on Edmund Husserl (Philosophy of Arithmetic [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.12 | |
| A reaction: Abstractionism is held to be between the devil and the deep blue sea, of depending on units which are identifiable, when they are defined as devoid of all individuality. We seem forced to say that the only distinction between them is countability. |
| 9265 | The will is the effective desire which actually leads to an action [Frankfurt] |
| Full Idea: A person's will is the effective desire which moves (or will or would move) a person all the way to action. The will is not coextensive with what an agent intends to do, since he may do something else instead. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], §I) | |
| A reaction: Essentially Hobbes's view, but with an arbitrary distinction added. If the desire is only definitely a 'will' if it really does lead to action, then it only becomes the will after the action starts. The error is thinking that will is all-or-nothing. |
| 20015 | Freedom of action needs the agent to identify with their reason for acting [Frankfurt, by Wilson/Schpall] |
| Full Idea: Frankfurt says that basic issues concerning freedom of action presuppose and give weight to a concept of 'acting on a desire with which the agent identifies'. | |
| From: report of Harry G. Frankfurt (Freedom of the Will and concept of a person [1971]) by Wilson,G/Schpall,S - Action 1 | |
| A reaction: [the cite Frankfurt 1988 and 1999] I'm not sure how that works when performing a grim duty, but it sounds quite plausible. |
| 9228 | Ranking order of desires reveals nothing, because none of them may be considered important [Frankfurt] |
| Full Idea: Ranking desires in order of preference is no help, because a person who wants one thing more than another may not regard the former as any more important to him than the latter. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.5) | |
| A reaction: A salutary warning. Someone may pursue something with incredible intensity, but only to stave off a boring and empty existence. The only way I can think of to assess what really matters to people is - to ask them! |
| 9270 | A 'wanton' is not a person, because they lack second-order volitions [Frankfurt] |
| Full Idea: I use the term 'wanton' to refer to agents who have first-order desires but who are not persons because, whether or not they have desires of the second-order, they have no second-order volitions. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], §II) | |
| A reaction: He seems to be describing someone who behaves like an animal, performing actions without ever stopping to think about them. Presumably some persons occasionally become wantons, if, for example, they have an anger problem. |
| 9269 | A person may be morally responsible without free will [Frankfurt] |
| Full Idea: It is not true that a person is morally responsible for what he has done only if his will was free when he did it. He may be morally responsible for having done it even though his will was not free at all. | |
| From: Harry G. Frankfurt (Freedom of the Will and concept of a person [1971], §IV) | |
| A reaction: Frankfurt seems to be one of the first to assert this break with the traditional view. Good for him. I take moral responsibility to hinge on an action being caused by a person, but not with a mystical view of what a person is. |
| 9238 | Morality isn't based on reason; moral indignation is quite unlike disapproval of irrationality [Frankfurt] |
| Full Idea: The ultimate warrant for moral principles cannot be found in reason. The sort of opprobrium that attaches to moral transgressions is quite unlike the sort of opprobrium that attaches to the requirements of reason. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.5 n6) | |
| A reaction: More like a piece of evidence than a proper argument. We may not feel indignant if someone fails a maths exam, but we might if they mess up the arithmetic of our bank account, even though they meant well. |
| 22203 | Only facts follow from facts [Husserl] |
| Full Idea: From facts follow always nothing but facts. | |
| From: Edmund Husserl (Ideas: intro to pure phenomenology [1913], I.1.008) | |
| A reaction: I presume objective possibilities follow from facts, so this doesn't sound strictly correct. I sounds like a nice slogan for those desiring to keep facts separate from values. [on p.53 he comments on fact/value] |
| 9232 | It is by caring about things that we infuse the world with importance [Frankfurt] |
| Full Idea: It is by caring about things that we infuse the world with importance. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.10) | |
| A reaction: This book is a lovely attempt at getting to the heart of where values come from. 'Football isn't a matter of life and death; it's more important than that' - Bill Shankly (manager of Liverpool). Frankfurt is right. |
| 9234 | If you don't care about at least one thing, you can't find reasons to care about anything [Frankfurt] |
| Full Idea: It is not possible for a person who does not already care at least about something to discover reasons for caring about anything. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.11) | |
| A reaction: This is the key idea of this lovely book. Without a glimmer of love somewhere, it is not possible to bootstrap a meaningful life. The glimmer of caring about one thing is transferable. See the Ancient Mariner and the watersnake. |
| 9229 | What is worthwhile for its own sake alone may be worth very little [Frankfurt] |
| Full Idea: What is worth having or worth doing for its own sake alone may nonetheless be worth very little. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.5) | |
| A reaction: That is one of my cherished notions sunk without trace! Aristotle's idea that ends are what matter, not means, always struck me as crucial. But Frankfurt is right. Collecting trivia is done for its own sake. Great tasks are performed as a means. |
| 9233 | Our criteria for evaluating how to live offer an answer to the problem [Frankfurt] |
| Full Idea: Identifying the criteria to be employed in evaluating various ways of living is also tantamount to providing an answer to the question of how to live. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.10) | |
| A reaction: Presumably critical reflection is still possible about those criteria, even though he implies that they just arise out of you (in a rather Nietzschean way). The fear is that critical reflection on basic criteria kills in infant in its cradle. |
| 9235 | Rather than loving things because we value them, I think we value things because we love them [Frankfurt] |
| Full Idea: It is often understood that we begin loving things because we are struck by their value. ..However, what I have in mind is rather that what we love necessarily acquires value for us because we love it. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.3) | |
| A reaction: The uneasy thought here is that this makes value much less rational. If you love because you value, you could probably give reasons for the value. If love comes first it must be instinctive. He says he loved his children before they were born. |
| 9236 | Love can be cool, and it may not involve liking its object [Frankfurt] |
| Full Idea: It is not among the defining features of love that it must be hot rather than cool, ..and nor is it essential that a person like what he loves. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.4) | |
| A reaction: An interesting pair of observations. The greatness of love would probably be measured by length, or by sacrifice. Extreme heat makes us a little suspicious. It would be hard to love something that was actually disliked. |
| 9237 | The paradigm case of pure love is not romantic, but that between parents and infants [Frankfurt] |
| Full Idea: Relationships that are primarily romantic or sexual do not provide very authentic or illuminating paradigms of love. ...The love of parents for their small children comes closest to offering recognizably pure instances of love. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.4) | |
| A reaction: Excellent. Though perhaps a relationships which began romantically might settle into something like the more 'pure' love that he has in mind. Such a relationship must, I trust, be possible between adults. |
| 9239 | I value my children for their sake, but I also value my love for them for its own sake [Frankfurt] |
| Full Idea: Beside the fact that my children are important to me for their own sakes, there is the additional fact that loving my children is important to me for its own sake. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.7) | |
| A reaction: This is at the heart of Frankfurt's thesis, that love is the bedrock of our values in life, and we therefore all need to love in order to generate any values in our life, quite apart from what our love is directed at. Nice thought. |
| 9227 | We might not choose a very moral life, if the character or constitution was deficient [Frankfurt] |
| Full Idea: People who are scrupulously moral may nonetheless be destined by deficiencies of character or of constitution to lead lives that no reasonable person would freely choose. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.2) | |
| A reaction: This fairly firmly refutes any Greek dream that all there is to happiness is leading a virtuous life. Frankfurt is with Aristotle more than with the Stoics. It would be tempting to sacrifice virtue to get a sunny character and good health. |
| 9230 | People want to fulfill their desires, but also for their desires to be sustained [Frankfurt] |
| Full Idea: Besides wanting to fulfil his desire, the person who cares about what he desires wants something else as well: he wants the desire to be sustained. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.6) | |
| A reaction: Plato, in 'Gorgias', makes this fact sound like a nightmare, resembling drug addiction, but in Frankfurt's formulation it looks like a good thing. If you want to make your family happy because you love them, you would dread finding your love had died. |
| 9241 | Loving oneself is not a failing, but is essential to a successful life [Frankfurt] |
| Full Idea: Far from demonstrating a flaw in character or being a sign of weakness, coming to love oneself is the deepest and most essential - and by no means the most readily attainable - achievement of a serious and successful life. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.14) | |
| A reaction: Obviously it will be necessary to dilineate the healthy form of self-love, which Frankfurt attempts to do. Ruthless vanity and self-seeking certainly look like the worst possible weaknesses of character. With that proviso, he is right. |
| 9300 | Boredom is serious, not just uncomfortable; it threatens our psychic survival [Frankfurt] |
| Full Idea: Boredom is a serious matter. It is not a condition that we seek to avoid just because we do not find it enjoyable. ..It threatens the very continuation of conscious mental life. ..Avoiding bored is a primitive urge for psychic survival. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 2.8) | |
| A reaction: Presumably nihilism will flood into the emptiness created by boredom. Frankfurt will see it as a lack of love for anything in your life, and hence an absence of value. Frankfurt is very good. |
| 9231 | Freedom needs autonomy (rather than causal independence) - embracing our own desires and choices [Frankfurt] |
| Full Idea: What counts as far as freedom goes is not causal independence, but autonomy. It is a matter of whether we are active rather than passive in our motives and choices, whether those are what we really want, and not alien to us. | |
| From: Harry G. Frankfurt (The Reasons of Love [2005], 1.8) | |
| A reaction: This is why setting your own targets is excellent, but having targets set for you by authorities is pernicious. These kind of principles need to be clear before any plausible theory of liberalism can be developed. |