56 ideas
| 6575 | Philosophy may never find foundations, and may undermine our lives in the process [Fogelin] |
| Full Idea: Not only is traditional philosophy incapable of discovering the foundations it seeks, but the philosophical enterprise may itself dislodge the contingent, de facto supports that our daily life depends upon. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.2) | |
| A reaction: In the end Fogelin is not so pessimistic, but he is worried by the concern of philosophers with paradox and contradiction. I don't remotely consider this a reason to reject philosophy, but it might be a reason to keep it sealed off from daily life. |
| 6585 | Rationality is threatened by fear of inconsistency, illusions of absolutes or relativism, and doubt [Fogelin] |
| Full Idea: The three main threats to our rational lives are fear of inconsistency, illusions (of absolutism and relativism) and doubt. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: This is a very nice analysis of the forces that can destroy the philosopher's aspiration to the rational life. Personally I still suffer from a few illusions about the possibility of absolutes, but I may grow out of it. The other three don't bother me. |
| 6557 | Humans may never be able to attain a world view which is both rich and consistent [Fogelin] |
| Full Idea: It might be wholly unreasonable to suppose that human beings will ever be able to attain a view of the world that is both suitably rich and completely consistent. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Intro) | |
| A reaction: Fogelin's lectures develop this view very persuasively. I think all philosophers must believe that the gods could attain a 'rich and consistent' view. Our problem is that we are a badly organised team, whose members keep dying. |
| 6568 | A game can be played, despite having inconsistent rules [Fogelin] |
| Full Idea: The presence of an inconsistency in the rules that govern a game need not destroy the game. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.2) | |
| A reaction: He only defends this thesis if the inconsistency is away from the main centre of the action. You can't have an inconsistent definition of scoring a goal or a touchdown. |
| 6560 | The law of noncontradiction is traditionally the most basic principle of rationality [Fogelin] |
| Full Idea: Traditionally many philosophers (Aristotle among them) have considered the law of noncontradiction to be the deepest, most fundamental principle of rationality. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.1) | |
| A reaction: For Aristotle, see Idea 1601 (and 'Metaphysics' 1005b28). The only denier of the basic character of the law that I know of is Nietzsche (Idea 4531). Fogelin, despite many qualifications, endorses the law, and so do I. |
| 6565 | The law of noncontradiction makes the distinction between asserting something and denying it [Fogelin] |
| Full Idea: People who reject the law of noncontradiction obliterate any significant difference between asserting something and denying it; …this will not move anyone who genuinely opts either for silence or for madness. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.1) | |
| A reaction: This seems a sufficiently firm and clear assertion of the basic nature of this law. The only rival view seems to be that of Nietzsche (Idea 4531), but then you wonder how Nietzsche is in a position to assert the relativity of the law. |
| 9641 | Definitions should be replaceable by primitives, and should not be creative [Brown,JR] |
| Full Idea: The standard requirement of definitions involves 'eliminability' (any defined terms must be replaceable by primitives) and 'non-creativity' (proofs of theorems should not depend on the definition). | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: [He cites Russell and Whitehead as a source for this view] This is the austere view of the mathematician or logician. But almost every abstract concept that we use was actually defined in a creative way. |
| 6574 | Legal reasoning is analogical, not deductive [Fogelin] |
| Full Idea: There is almost universal agreement that legal reasoning is fundamentally analogical, not deductive, in character. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.2) | |
| A reaction: This raises the question of whether analogy can be considered as 'reasoning' in itself. How do you compare the examples? Could you compare two examples if you lacked language, or rules, or a scale of values? |
| 9634 | Set theory says that natural numbers are an actual infinity (to accommodate their powerset) [Brown,JR] |
| Full Idea: The set-theory account of infinity doesn't just say that we can keep on counting, but that the natural numbers are an actual infinite set. This is necessary to make sense of the powerset of ω, as the set of all its subsets, and thus even bigger. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: I don't personally find this to be sufficient reason to commit myself to the existence of actual infinities. In fact I have growing doubts about the whole role of set theory in philosophy of mathematics. Shows how much I know. |
| 9613 | Naïve set theory assumed that there is a set for every condition [Brown,JR] |
| Full Idea: In the early versions of set theory ('naïve' set theory), the axiom of comprehension assumed that for any condition there is a set of objects satisfying that condition (so P(x)↔x∈{x:P(x)}), but this led directly to Russell's Paradox. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: How rarely any philosophers state this problem clearly (as Brown does here). This is incredibly important for our understanding of how we classify the world. I'm tempted to just ignore Russell, and treat sets in a natural and sensible way. |
| 9615 | Nowadays conditions are only defined on existing sets [Brown,JR] |
| Full Idea: In current set theory Russell's Paradox is avoided by saying that a condition can only be defined on already existing sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: A response to Idea 9613. This leaves us with no account of how sets are created, so we have the modern notion that absolutely any grouping of daft things is a perfectly good set. The logicians seem to have hijacked common sense. |
| 9617 | The 'iterative' view says sets start with the empty set and build up [Brown,JR] |
| Full Idea: The modern 'iterative' concept of a set starts with the empty set φ (or unsetted individuals), then uses set-forming operations (characterized by the axioms) to build up ever more complex sets. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The only sets in our system will be those we can construct, rather than anything accepted intuitively. It is more about building an elaborate machine that works than about giving a good model of reality. |
| 9642 | A flock of birds is not a set, because a set cannot go anywhere [Brown,JR] |
| Full Idea: Neither a flock of birds nor a pack of wolves is strictly a set, since a flock can fly south, and a pack can be on the prowl, whereas sets go nowhere and menace no one. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: To say that the pack menaced you would presumably be to commit the fallacy of composition. Doesn't the number 64 have properties which its set-theoretic elements (whatever we decide they are) will lack? |
| 9605 | If a proposition is false, then its negation is true [Brown,JR] |
| Full Idea: The law of excluded middle says if a proposition is false, then its negation is true | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Surely that is the best statement of the law? How do you write that down? ¬(P)→¬P? No, because it is a semantic claim, not a syntactic claim, so a truth table captures it. Semantic claims are bigger than syntactic claims. |
| 9649 | Axioms are either self-evident, or stipulations, or fallible attempts [Brown,JR] |
| Full Idea: The three views one could adopt concerning axioms are that they are self-evident truths, or that they are arbitrary stipulations, or that they are fallible attempts to describe how things are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: Presumably modern platonists like the third version, with others choosing the second, and hardly anyone now having the confidence to embrace the first. |
| 9638 | Berry's Paradox finds a contradiction in the naming of huge numbers [Brown,JR] |
| Full Idea: Berry's Paradox refers to 'the least integer not namable in fewer than nineteen syllables' - a paradox because it has just been named in eighteen syllables. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: Apparently George Boolos used this quirky idea as a basis for a new and more streamlined proof of Gödel's Theorem. Don't tell me you don't find that impressive. |
| 9604 | Mathematics is the only place where we are sure we are right [Brown,JR] |
| Full Idea: Mathematics seems to be the one and only place where we humans can be absolutely sure that we got it right. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Apart from death and taxes, that is. Personally I am more certain of the keyboard I am typing on than I am of Pythagoras's Theorem, but the experts seem pretty confident about the number stuff. |
| 9622 | 'There are two apples' can be expressed logically, with no mention of numbers [Brown,JR] |
| Full Idea: 'There are two apples' can be recast as 'x is an apple and y is an apple, and x isn't y, and if z is an apple it is the same as x or y', which makes no appeal at all to mathematics. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: He cites this as the basis of Hartry Field's claim that science can be done without numbers. The logic is ∃x∃y∀z(Ax&Ay&(x¬=y)&(Az→z=x∨z=y)). |
| 9648 | π is a 'transcendental' number, because it is not the solution of an equation [Brown,JR] |
| Full Idea: The number π is not only irrational, but it is also (unlike √2) a 'transcendental' number, because it is not the solution of an algebraic equation. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: So is that a superficial property, or a profound one? Answers on a post card. |
| 9621 | Mathematics represents the world through structurally similar models. [Brown,JR] |
| Full Idea: Mathematics hooks onto the world by providing representations in the form of structurally similar models. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: This is Brown's conclusion. It needs notions of mapping, one-to-one correspondence, and similarity. I like the idea of a 'model', as used in both logic and mathematics, and children's hobbies. The mind is a model-making machine. |
| 9646 | There is no limit to how many ways something can be proved in mathematics [Brown,JR] |
| Full Idea: I'm tempted to say that mathematics is so rich that there are indefinitely many ways to prove anything - verbal/symbolic derivations and pictures are just two. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 9) | |
| A reaction: Brown has been defending pictures as a form of proof. I wonder how long his list would be, if we challenged him to give more details? Some people have very low standards of proof. |
| 9647 | Computers played an essential role in proving the four-colour theorem of maps [Brown,JR] |
| Full Idea: The celebrity of the famous proof in 1976 of the four-colour theorem of maps is that a computer played an essential role in the proof. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch.10) | |
| A reaction: The problem concerns the reliability of the computers, but then all the people who check a traditional proof might also be unreliable. Quis custodet custodies? |
| 9643 | Set theory may represent all of mathematics, without actually being mathematics [Brown,JR] |
| Full Idea: Maybe all of mathematics can be represented in set theory, but we should not think that mathematics is set theory. Functions can be represented as order pairs, but perhaps that is not what functions really are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: This seems to me to be the correct view of the situation. If 2 is represented as {φ,{φ}}, why is that asymmetrical? The first digit seems to be the senior and original partner, but how could the digits of 2 differ from one another? |
| 9644 | When graphs are defined set-theoretically, that won't cover unlabelled graphs [Brown,JR] |
| Full Idea: The basic definition of a graph can be given in set-theoretic terms,...but then what could an unlabelled graph be? | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 7) | |
| A reaction: An unlabelled graph will at least need a verbal description for it to have any significance at all. My daily mood-swings look like this.... |
| 9625 | To see a structure in something, we must already have the idea of the structure [Brown,JR] |
| Full Idea: Epistemology is a big worry for structuralists. ..To conjecture that something has a particular structure, we must already have conceived of the idea of the structure itself; we cannot be discovering structures by conjecturing them. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: This has to be a crucial area of discussion. Do we have our heads full of abstract structures before we look out of the window? Externalism about the mind is important here; mind and world are not utterly distinct things. |
| 9628 | Sets seem basic to mathematics, but they don't suit structuralism [Brown,JR] |
| Full Idea: Set theory is at the very heart of mathematics; it may even be all there is to mathematics. The notion of set, however, seems quite contrary to the spirit of structuralism. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: So much the worse for sets, I say. You can, for example, define ordinality in terms of sets, but that is no good if ordinality is basic to the nature of numbers, rather than a later addition. |
| 9606 | The irrationality of root-2 was achieved by intellect, not experience [Brown,JR] |
| Full Idea: We could not discover irrational numbers by physical measurement. The discovery of the irrationality of the square root of two was an intellectual achievement, not at all connected to sense experience. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 1) | |
| A reaction: Brown declares himself a platonist, and this is clearly a key argument for him, and rather a good one. Hm. I'll get back to you on this one... |
| 9612 | There is an infinity of mathematical objects, so they can't be physical [Brown,JR] |
| Full Idea: A simple argument makes it clear that all mathematical arguments are abstract: there are infinitely many numbers, but only a finite number of physical entities, so most mathematical objects are non-physical. The best assumption is that they all are. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: This, it seems to me, is where constructivists score well (cf. Idea 9608). I don't have an infinity of bricks to build an infinity of houses, but I can imagine that the bricks just keep coming if I need them. Imagination is what is unbounded. |
| 9610 | Numbers are not abstracted from particulars, because each number is a particular [Brown,JR] |
| Full Idea: Numbers are not 'abstract' (in the old sense, of universals abstracted from particulars), since each of the integers is a unique individual, a particular, not a universal. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: An interesting observation which I have not seen directly stated before. Compare Idea 645. I suspect that numbers should be thought of as higher-order abstractions, which don't behave like normal universals (i.e. they're not distributed). |
| 9620 | Empiricists base numbers on objects, Platonists base them on properties [Brown,JR] |
| Full Idea: Perhaps, instead of objects, numbers are associated with properties of objects. Basing them on objects is strongly empiricist and uses first-order logic, whereas the latter view is somewhat Platonistic, and uses second-order logic. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 4) | |
| A reaction: I don't seem to have a view on this. You can count tomatoes, or you can count red objects, or even 'instances of red'. Numbers refer to whatever can be individuated. No individuation, no arithmetic. (It's also Hume v Armstrong on laws on nature). |
| 9639 | Does some mathematics depend entirely on notation? [Brown,JR] |
| Full Idea: Are there mathematical properties which can only be discovered using a particular notation? | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
| A reaction: If so, this would seem to be a serious difficulty for platonists. Brown has just been exploring the mathematical theory of knots. |
| 9629 | For nomalists there are no numbers, only numerals [Brown,JR] |
| Full Idea: For the instinctive nominalist in mathematics, there are no numbers, only numerals. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: Maybe. A numeral is a specific sign, sometimes in a specific natural language, so this seems to miss the fact that cardinality etc are features of reality, not just conventions. |
| 9630 | The most brilliant formalist was Hilbert [Brown,JR] |
| Full Idea: In mathematics, the most brilliant formalist of all was Hilbert | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: He seems to have developed his fully formalist views later in his career. See Mathematics|Basis of Mathematic|Formalism in our thematic section. Kreisel denies that Hilbert was a true formalist. |
| 9608 | There are no constructions for many highly desirable results in mathematics [Brown,JR] |
| Full Idea: Constuctivists link truth with constructive proof, but necessarily lack constructions for many highly desirable results of classical mathematics, making their account of mathematical truth rather implausible. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: The tricky word here is 'desirable', which is an odd criterion for mathematical truth. Nevertheless this sounds like a good objection. How flexible might the concept of a 'construction' be? |
| 9645 | Constructivists say p has no value, if the value depends on Goldbach's Conjecture [Brown,JR] |
| Full Idea: If we define p as '3 if Goldbach's Conjecture is true' and '5 if Goldbach's Conjecture is false', it seems that p must be a prime number, but, amazingly, constructivists would not accept this without a proof of Goldbach's Conjecture. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 8) | |
| A reaction: A very similar argument structure to Schrödinger's Cat. This seems (as Brown implies) to be a devastating knock-down argument, but I'll keep an open mind for now. |
| 9619 | David's 'Napoleon' is about something concrete and something abstract [Brown,JR] |
| Full Idea: David's painting of Napoleon (on a white horse) is a 'picture' of Napoleon, and a 'symbol' of leadership, courage, adventure. It manages to be about something concrete and something abstract. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 3) | |
| A reaction: This strikes me as the germ of an extremely important idea - that abstraction is involved in our perception of the concrete, so that they are not two entirely separate realms. Seeing 'as' involves abstraction. |
| 14305 | In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap] |
| Full Idea: If a wooden match was completely burned up yesterday, and never placed in water at any time, is it not the case, therefore, that the match is soluble (in the truth-functional view). This follows just from the antecedent being false. | |
| From: Rudolph Carnap (Testability and Meaning [1937], I.440), quoted by Stephen Mumford - Dispositions | |
| A reaction: This, along with Edgington's nice example of the conditional command (Idea ) seems conclusive against the truth-functional account. The only defence possible is some sort of pragmatic account about implicature. |
| 6582 | Conventions can only work if they are based on something non-conventional [Fogelin] |
| Full Idea: Convention, to exist at all, must have a basis in something that is not conventional; conventions, to work, need something nonconventional to build upon and shape. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.3) | |
| A reaction: Fogelin attributes his point to Hume. I agree entirely. No convention could ever possibly catch on in a society unless there were some point to it. If you can't see a point to a convention (like wearing ties) then start looking, because it's there. |
| 6576 | My view is 'circumspect rationalism' - that only our intellect can comprehend the world [Fogelin] |
| Full Idea: My own view might be called 'circumspect rationalism' - the view that our intellectual faculties provide our only means for comprehending the world in which we find oruselves. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.3) | |
| A reaction: He needs to say more than that to offer a theory, but I like the label, and it fits the modern revival of rationalism, with which I sympathise, and which rests, I think, on Russell's point that self-evidence comes in degrees, not as all-or-nothing truth. |
| 6589 | Knowledge is legitimate only if all relevant defeaters have been eliminated [Fogelin] |
| Full Idea: In general a knowledge claim is legitimate only if all relevant defeaters have been eliminated. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: The problem here is what is 'relevant'. Fogelin's example is 'Are you sure the suspect doesn't have a twin brother?' If virtual reality is relevant, most knowledge is defeated. Certainly, imaginative people feel that they know less than others. |
| 6596 | For coherentists, circularity is acceptable if the circle is large, rich and coherent [Fogelin] |
| Full Idea: Coherentists argue that if the circle of justifications is big enough, rich enough, coherent enough, and so on, then there is nothing wrong circularity. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: There must always be something wrong with circularity, and no god would put up with it, but we might have to. Of course, two pieces of evidence might be unconnected, such as an equation and an observation. |
| 6597 | A rule of justification might be: don't raise the level of scrutiny without a good reason [Fogelin] |
| Full Idea: One rule for the justification of knowledge might be: Do not raise the level of scrutiny in the absence of a particular reason that triggers it. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: That won't decide the appropriate level of scrutiny from which to start. One of my maxims is 'don't set the bar too high', but it seems tough that one should have to justify moving it. The early scientists tried raising it, and were amazed by the results. |
| 6588 | Scepticism is cartesian (sceptical scenarios), or Humean (future), or Pyrrhonian (suspend belief) [Fogelin] |
| Full Idea: The three forms of scepticism are cartesian, Humean and Pyrrhonian. The first challenges belief by inventing sceptical scenarios; the second doubts the future; the third aims to suspend belief. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: A standard distinction is made between methodological and global scepticism. The former seems to be Cartesian, and the latter Pyrrhonian. The interest here is see Hume placed in a distinctive category, because of his views on induction. |
| 6590 | Scepticism deals in remote possibilities that are ineliminable and set the standard very high [Fogelin] |
| Full Idea: Sceptical scenarios deal in wildly remote defeating possibilities, so that the level of scrutiny becomes unrestrictedly high, and they also usually deal with defeators that are in principle ineliminable. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.4) | |
| A reaction: The question of how high we 'set the bar' seems to me central to epistemology. There is clearly an element of social negotiation involved, centring on what is appropriate. If, though, scepticism is 'ineliminable', we must face up to that. |
| 6583 | Radical perspectivism replaces Kant's necessary scheme with many different schemes [Fogelin] |
| Full Idea: We reach radical perspectivism by replacing Kant's single, necessary categorial scheme with a plurality of competing categorial schemes. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.3) | |
| A reaction: It certainly looks as if Kant sent us down a slippery slope into the dafter aspects of twentieth century relativism. The best antidote I know of is Davidson's (e.g. Idea 6398). But then it seems unimaginative to say that only one scheme is possible. |
| 6555 | We are also irrational, with a unique ability to believe in bizarre self-created fictions [Fogelin] |
| Full Idea: We as human beings are also irrational animals, unique among animals in our capacity to place faith in bizarre fictions of our own construction. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Intro) | |
| A reaction: This is glaringly true, and a very nice corrective to the talk of Greeks and others about man as the 'rational animal'. From a distance we might be described by Martians as the 'mad animal'. Is the irrational current too strong to swim against? |
| 9611 | 'Abstract' nowadays means outside space and time, not concrete, not physical [Brown,JR] |
| Full Idea: The current usage of 'abstract' simply means outside space and time, not concrete, not physical. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: This is in contrast to Idea 9609 (the older notion of being abstracted). It seems odd that our ancestors had a theory about where such ideas came from, but modern thinkers have no theory at all. Blame Frege for that. |
| 9609 | The older sense of 'abstract' is where 'redness' or 'group' is abstracted from particulars [Brown,JR] |
| Full Idea: The older sense of 'abstract' applies to universals, where a universal like 'redness' is abstracted from red particulars; it is the one associated with the many. In mathematics, the notion of 'group' or 'vector space' perhaps fits this pattern. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 2) | |
| A reaction: I am currently investigating whether this 'older' concept is in fact dead. It seems to me that it is needed, as part of cognitive science, and as the crucial link between a materialist metaphysic and the world of ideas. |
| 9640 | A term can have not only a sense and a reference, but also a 'computational role' [Brown,JR] |
| Full Idea: In addition to the sense and reference of term, there is the 'computational' role. The name '2' has a sense (successor of 1) and a reference (the number 2). But the word 'two' has little computational power, Roman 'II' is better, and '2' is a marvel. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 6) | |
| A reaction: Very interesting, and the point might transfer to natural languages. Synonymous terms carry with them not just different expressive powers, but the capacity to play different roles (e.g. slang and formal terms, gob and mouth). |
| 6605 | Critics must be causally entangled with their subject matter [Fogelin] |
| Full Idea: Critics must become causally entangled with their subject matter. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.6) | |
| A reaction: This remark is built on Hume's views. You may have a strong view about a singer, but it may be hard to maintain when someone plays you six rival versions of the same piece. I agree entirely with the remark. It means there are aesthetic experts. |
| 6607 | The word 'beautiful', when deprived of context, is nearly contentless [Fogelin] |
| Full Idea: Like the word 'good', the word 'beautiful', when deprived of contextual support, is nearly contentless. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.6) | |
| A reaction: If I say with, for example, Oscar Wilde that beauty is the highest ideal in life, this doesn't strike me as contentless, but I still sympathise with Fogelin's notion that beauty is rooted in particulars. |
| 6604 | Saying 'It's all a matter to taste' ignores the properties of the object discussed [Fogelin] |
| Full Idea: "It is all a matter of taste" may be an all-purpose stopper of discussions of aesthetic values, but it also completely severs the connection with the actual properties of the object under consideration. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.6) | |
| A reaction: This remark grows out of his discussion of Hume. I like this remark, which ties in with Particularism in morality, and with the central role of experiments in science. The world forces beliefs on us. |
| 6586 | Cynics are committed to morality, but disappointed or disgusted by human failings [Fogelin] |
| Full Idea: Cynics are usually unswerving in their commitment to a moral ideal, but disappointed or disgusted by humanity's failure to meet it. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.3) | |
| A reaction: I felt quite suicidal the other day when I saw someone park diagonally across two parking spaces. They can't seem to grasp the elementary Kantian slogan 'What if everybody did that?' It's all hopeless. I wonder if I am becoming a bit of a Cynic? |
| 6572 | Deterrence, prevention, rehabilitation and retribution can come into conflict in punishments [Fogelin] |
| Full Idea: The purposes of punishment include deterrence, prevention, rehabilitation, and retribution, but they don't always sit well together. Deterrence is best served by making prisons miserable places, but this may run counter to rehabilitation. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.2) | |
| A reaction: It seems to most educated people that retribution should be pushed far down the list if we are to be civilised (see Idea 1659), and yet personal revenge for a small act of aggression seems basic, normal and acceptable. We dream of rehabilitation. |
| 6573 | Retributivists say a crime can be 'paid for'; deterrentists still worry about potential victims [Fogelin] |
| Full Idea: A strict retributivist is likely to say that once a crime is paid for, that's that; a deterrence theorist is likely to say that the protection of potential victims overrides the released convict's right to a free and fresh start. | |
| From: Robert Fogelin (Walking the Tightrope of Reason [2003], Ch.2) | |
| A reaction: Interesting since the retributivist here has the more liberal attitude. Reformists will also have a dilemma when years in prison have failed to reform the convict. Virtue theorists like balance, and sensitively consider our relations with the criminals. |
| 9635 | Given atomism at one end, and a finite universe at the other, there are no physical infinities [Brown,JR] |
| Full Idea: There seem to be no actual infinites in the physical realm. Given the correctness of atomism, there are no infinitely small things, no infinite divisibility. And General Relativity says that the universe is only finitely large. | |
| From: James Robert Brown (Philosophy of Mathematics [1999], Ch. 5) | |
| A reaction: If time was infinite, you could travel round in a circle forever. An atom has size, so it has a left, middle and right to it. Etc. They seem to be physical, so we will count those too. |