37 ideas
| 6405 | Moore's 'The Nature of Judgement' (1898) marked the rejection (with Russell) of idealism [Moore,GE, by Grayling] |
| Full Idea: The rejection of idealism by Moore and Russell was marked in 1898 by the publication of Moore's article 'The Nature of Judgement'. | |
| From: report of G.E. Moore (The Nature of Judgement [1899]) by A.C. Grayling - Russell Ch.2 | |
| A reaction: This now looks like a huge landmark in the history of British philosophy. |
| 17992 | The main aim of philosophy is to describe the whole Universe. [Moore,GE] |
| Full Idea: It seems to me that the most important and interesting thing which philosophers have tried to do ...is to give a general description of the whole of the Universe. | |
| From: G.E. Moore (Some Main Problems of Philosophy [1911], Ch. 1) | |
| A reaction: He adds that they aim to show what is in it, and what might be in it, and how the two relate. This sort of big view is the one I favour. I think the hallmark of philosophical thought is a high level of generality. He next proceeds to defend common sense. |
| 7527 | Analysis for Moore and Russell is carving up the world, not investigating language [Moore,GE, by Monk] |
| Full Idea: For Moore and Russell analysis is not - as is commonly understood now - a linguistic activity, but an ontological one. To analyse a proposition is not to investigate language, but to carve up the world so that it begins to make some sort of sense. | |
| From: report of G.E. Moore (The Nature of Judgement [1899]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.4 | |
| A reaction: A thought dear to my heart. The twentieth century got horribly side-tracked into thinking that ontology was an entirely linguistic problem. I suggest that physicists analyse physical reality, and philosophers analyse abstract reality. |
| 5437 | The claim of hermeneutics to give knowledge through understanding is challenged by positivism [Mautner on Dilthey] |
| Full Idea: The claim of hermeneutics to give understanding instead of explanation can be seen as part of the theory of knowledge, but it seems to be incompatible with the most accepted aspects of positivism. | |
| From: comment on Wilhelm Dilthey (works [1883]) by Thomas Mautner - Penguin Dictionary of Philosophy p.248 | |
| A reaction: So much the worse for positivism. The same conflict occurs in modern philosophy of mind. God can be a positivist if he likes, but we must settle for hermeneutics for a lot of our knowledge. We are discussing method, not ontology. |
| 10147 | The Axiom of Choice is consistent with the other axioms of set theory [Feferman/Feferman] |
| Full Idea: In 1938 Gödel proved that the Axiom of Choice is consistent with the other axioms of set theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: Hence people now standardly accept ZFC, rather than just ZF. |
| 10148 | Axiom of Choice: a set exists which chooses just one element each of any set of sets [Feferman/Feferman] |
| Full Idea: Zermelo's Axiom of Choice asserts that for any set of non-empty sets that (pairwise) have no elements in common, then there is a set that 'simultaneously chooses' exactly one element from each set. Note that this is an existential claim. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The Axiom is now widely accepted, after much debate in the early years. Even critics of the Axiom turn out to be relying on it. |
| 10149 | Platonist will accept the Axiom of Choice, but others want criteria of selection or definition [Feferman/Feferman] |
| Full Idea: The Axiom of Choice seems clearly true from the Platonistic point of view, independently of how sets may be defined, but is rejected by those who think such existential claims must show how to pick out or define the object claimed to exist. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: The typical critics are likely to be intuitionists or formalists, who seek for both rigour and a plausible epistemology in our theory. |
| 10150 | The Trichotomy Principle is equivalent to the Axiom of Choice [Feferman/Feferman] |
| Full Idea: The Trichotomy Principle (any number is less, equal to, or greater than, another number) turned out to be equivalent to the Axiom of Choice. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) | |
| A reaction: [He credits Sierpinski (1918) with this discovery] |
| 10146 | Cantor's theories needed the Axiom of Choice, but it has led to great controversy [Feferman/Feferman] |
| Full Idea: The Axiom of Choice is a pure existence statement, without defining conditions. It was necessary to provide a foundation for Cantor's theory of transfinite cardinals and ordinal numbers, but its nonconstructive character engendered heated controversy. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int I) |
| 10158 | A structure is a 'model' when the axioms are true. So which of the structures are models? [Feferman/Feferman] |
| Full Idea: A structure is said to be a 'model' of an axiom system if each of its axioms is true in the structure (e.g. Euclidean or non-Euclidean geometry). 'Model theory' concerns which structures are models of a given language and axiom system. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This strikes me as the most interesting aspect of mathematical logic, since it concerns the ways in which syntactic proof-systems actually connect with reality. Tarski is the central theoretician here, and his theory of truth is the key. |
| 10162 | Tarski and Vaught established the equivalence relations between first-order structures [Feferman/Feferman] |
| Full Idea: In the late 1950s Tarski and Vaught defined and established basic properties of the relation of elementary equivalence between two structures, which holds when they make true exactly the same first-order sentences. This is fundamental to model theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: This is isomorphism, which clarifies what a model is by giving identity conditions between two models. Note that it is 'first-order', and presumably founded on classical logic. |
| 10160 | Löwenheim-Skolem says if the sentences are countable, so is the model [Feferman/Feferman] |
| Full Idea: The Löwenheim-Skolem Theorem, the earliest in model theory, states that if a countable set of sentences in a first-order language has a model, then it has a countable model. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) | |
| A reaction: There are 'upward' (sentences-to-model) and 'downward' (model-to-sentences) versions of the theory. |
| 10159 | Löwenheim-Skolem Theorem, and Gödel's completeness of first-order logic, the earliest model theory [Feferman/Feferman] |
| Full Idea: Before Tarski's work in the 1930s, the main results in model theory were the Löwenheim-Skolem Theorem, and Gödel's establishment in 1929 of the completeness of the axioms and rules for the classical first-order predicate (or quantificational) calculus. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10161 | If a sentence holds in every model of a theory, then it is logically derivable from the theory [Feferman/Feferman] |
| Full Idea: Completeness is when, if a sentences holds in every model of a theory, then it is logically derivable from that theory. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int V) |
| 10156 | 'Recursion theory' concerns what can be solved by computing machines [Feferman/Feferman] |
| Full Idea: 'Recursion theory' is the subject of what can and cannot be solved by computing machines | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Ch.9) | |
| A reaction: This because 'recursion' will grind out a result step-by-step, as long as the steps will 'halt' eventually. |
| 10155 | Both Principia Mathematica and Peano Arithmetic are undecidable [Feferman/Feferman] |
| Full Idea: In 1936 Church showed that Principia Mathematica is undecidable if it is ω-consistent, and a year later Rosser showed that Peano Arithmetic is undecidable, and any consistent extension of it. | |
| From: Feferman / Feferman (Alfred Tarski: life and logic [2004], Int IV) |
| 21342 | A relation is internal if two things possessing the relation could not fail to be related [Moore,GE, by Heil] |
| Full Idea: Moore characterises internal relations modally, as those essential to their relata. If a and b are related R-wise, and R is an internal relation, a and b could not fail to be so related; otherwise R is external. | |
| From: report of G.E. Moore (External and Internal Relations [1919]) by John Heil - Relations 'Internal' | |
| A reaction: I don't think of Moore as an essentialist, but this fits the essentialist picture nicely, and is probably best paraphrased in terms of powers. Integers are the standard example of internal relations. |
| 6672 | Moore's Paradox: you can't assert 'I believe that p but p is false', but can assert 'You believe p but p is false' [Moore,GE, by Lowe] |
| Full Idea: Moore's Paradox says it makes no sense to assert 'I believe that p, but p is false', even though it makes perfectly good sense to assert 'I used to believe p, but p is false' or 'You believe p, but p is false'. | |
| From: report of G.E. Moore (works [1905]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.10 | |
| A reaction: I'm not sure if this really deserves the label of 'paradox'. I take it as drawing attention to the obvious fact that belief is commitment to truth. I think my assessment that p is true is correct, but your assessment is wrong. ('True' is not redundant!) |
| 20147 | Arguments that my finger does not exist are less certain than your seeing my finger [Moore,GE] |
| Full Idea: This really is a finger ...and you all know it. ...I can safely challenge anyone to give an argument that it is not true, which does not rest upon some premise which is less certain than is the proposition which it is designed to attack. | |
| From: G.E. Moore (Some Judgements of Perception [1922], p.228), quoted by John Kekes - The Human Condition 01.3 | |
| A reaction: [In Moore's 'Philosophical Studies'] This is a particularly clear statement from Moore of his famous claim. I'm not sure what to make of an attempt to compare a sceptical argument (dreams, demons) with the sight of a finger. |
| 6349 | I can prove a hand exists, by holding one up, pointing to it, and saying 'here is one hand' [Moore,GE] |
| Full Idea: I can prove now that two human hands exist. How? By holding up my two hands, and saying, as I make a certain gesture with the right hand, 'Here is one hand', and adding, as I gesture with the left, 'and here is another'. | |
| From: G.E. Moore (Proof of an External World [1939], p.1) | |
| A reaction: The words need to be spoken, presumably, so that what he is doing fits into the linguistic conventions of what will normally be accepted as a proof. In fact, just holding the hand up seems enough. The proof begs the question of virtual reality. |
| 5436 | Natural science seeks explanation; human sciences seek understanding [Dilthey, by Mautner] |
| Full Idea: In the natural sciences we seek for causes and ask for explanation (erklären), but in the human or cultural sciences we seek understanding (verstehen) by means of interpretation. | |
| From: report of Wilhelm Dilthey (works [1883]) by Thomas Mautner - Penguin Dictionary of Philosophy p.144 | |
| A reaction: This seems a nice distinction. The prospects of finding the causes or explanations of Shakespeare's plays don't look good, and when you have explained the causes of a chemical reaction you probably have all you need. |
| 22302 | Moor bypassed problems of correspondence by saying true propositions ARE facts [Moore,GE, by Potter] |
| Full Idea: Moore avoided the problematic correspondence between propositions and reality by identifying the former with the latter; the world consists of true propositions, and there is no difference between a true proposition and the fact that makes it true. | |
| From: report of G.E. Moore (The Nature of Judgement [1899]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 28 'Refut' | |
| A reaction: This is "the most platonic system of modern times", he wrote (letter 14.8.1898). He then added platonist ethics. This is a pernicious and absurd doctrine. The obvious problem is that false propositions can be indistinguishable, but differ in ontology. |
| 7526 | Hegelians say propositions defy analysis, but Moore says they can be broken down [Moore,GE, by Monk] |
| Full Idea: Moore rejected the Hegelian view, that a proposition is a unity that defies analysis; instead, it is a complex that positively cries out to be broken up into its constituent parts, which parts Moore called 'concepts'. | |
| From: report of G.E. Moore (The Nature of Judgement [1899]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.4 | |
| A reaction: Russell was much influenced by this idea, though it may be found in Frege. Anglophone philosophers tend to side instantly with Moore, but the Hegel view must be pondered. An idea comes to us in a unified flash, before it is articulated. |
| 21233 | The beautiful is whatever it is intrinsically good to admire [Moore,GE] |
| Full Idea: The beautiful should be defined as that of which the admiring contemplation is good in itself. | |
| From: G.E. Moore (Principia Ethica [1903], p.210), quoted by Graham Farmelo - The Strangest Man | |
| A reaction: To work, this definition must exclude anything else which it is intrinsically good to admire. Good deeds obviously qualify for that, so good deeds must be intrinsically beautiful (which would be agreed by ancient Greeks). We can't ask WHY it is good! |
| 8039 | Moore tries to show that 'good' is indefinable, but doesn't understand what a definition is [MacIntyre on Moore,GE] |
| Full Idea: Moore tries to show that 'good' is indefinable by relying on a bad dictionary definition of 'definition'. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - After Virtue: a Study in Moral Theory Ch.2 | |
| A reaction: An interesting remark, with no further explanation offered. If Moore has this problem, then Plato had it too (see Idea 3032). I would have thought that any definition MacIntyre could offer would either be naturalistic, or tautological. |
| 22151 | The Open Question argument leads to anti-realism and the fact-value distinction [Boulter on Moore,GE] |
| Full Idea: Moore's Open Question argument led, however unintentionally, to the rise of anti-realism in meta-ethics (which leads to distinguishing values from facts). | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
| A reaction: I presume that Moore proves that the Good is not natural, and after that no one knows what it is, so it seems to be arbitrary or non-existent (rather than the platonic fact that Moore had hoped for). I vote for naturalistic ethics. |
| 11056 | The naturalistic fallacy claims that natural qualties can define 'good' [Moore,GE] |
| Full Idea: The naturalistic fallacy ..consists in the contention that good means nothing but some simple or complex notion, that can be defined in terms of natural qualities. | |
| From: G.E. Moore (Principia Ethica [1903], §044) | |
| A reaction: Presumably aimed at those who think morality is pleasure and pain. We could hardly attribute morality to non-human qualities. I connect morality to human deliberative functions. |
| 8033 | Moore cannot show why something being good gives us a reason for action [MacIntyre on Moore,GE] |
| Full Idea: Moore's account leaves it entirely unexplained and inexplicable why something's being good should ever furnish us with a reason for action. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - A Short History of Ethics Ch.18 | |
| A reaction: The same objection can be raised to Plato's Form of the Good, but Plato's answer seems to be that the Good is partly a rational entity, and partly that the Good just has a natural magnetism that makes it quasi-religious. |
| 8032 | Can learning to recognise a good friend help us to recognise a good watch? [MacIntyre on Moore,GE] |
| Full Idea: How could having learned to recognize a good friend help us to recognize a good watch? Yet is Moore is right, the same simple property is present in both cases? | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - A Short History of Ethics Ch.18 | |
| A reaction: It begins to look as if what they have in common is just that they both make you feel good. However, I like the Aristotelian idea that they both function succesfully, one as a timekeeper, the other as a citizen or companion. |
| 11050 | Moore's combination of antinaturalism with strong supervenience on the natural is incoherent [Hanna on Moore,GE] |
| Full Idea: Moore incoherently combines his antinaturalism with the thesis that intrinsic-value properties are logically strongly supervenient on (or explanatorily reducible to) natural facts. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Robert Hanna - Rationality and Logic Ch.1 | |
| A reaction: I take this to be Moore fighting shy of the strongly Platonist view of values which his arguments all seemed to imply. |
| 23726 | Despite Moore's caution, non-naturalists incline towards intuitionism [Moore,GE, by Smith,M] |
| Full Idea: Although Moore was reluctant to adopt it, the epistemology the non-naturalists tended to favour was intuitionism. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by Michael Smith - The Moral Problem 2.2 | |
| A reaction: Moore was presumably reluctant because intuitionism had been heavily criticised in the past for its inability to settle moral disputes. But if you insist that goodness is outside nature, what other means of knowing it is available? Reason? |
| 18676 | We should ask what we would judge to be good if it existed in absolute isolation [Moore,GE] |
| Full Idea: It is necessary to consider what things are such that, if they existed by themselves, in absolute isolation, we should yet judge their existence to be good. | |
| From: G.E. Moore (Principia Ethica [1903], §112) | |
| A reaction: This is known as the 'isolation test'. The test has an instant appeal, but looks a bit odd after a little thought. The value of most things drains out of them if they are totally isolated. The MS of the Goldberg Variations floating in outer space? |
| 11057 | It is always an open question whether anything that is natural is good [Moore,GE] |
| Full Idea: Good does not, by definition, mean anything that is natural; and it is therefore always an open question whether anything that is natural is good. | |
| From: G.E. Moore (Principia Ethica [1903], §027) | |
| A reaction: This is the best known modern argument for Platonist idealised ethics. But maybe there is no end to questioning anywhere, so each theory invites a further question, and nothing is ever fully explained? Next stop - pragmatism. |
| 5925 | The three main values are good, right and beauty [Moore,GE, by Ross] |
| Full Idea: Moore describes rightness and beauty as the two main value-attributes, apart from goodness. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §IV | |
| A reaction: This was a last-throw of the Platonic ideal, before we plunged into the value-free world of Darwin and the physicists. It is hard to agree with Moore, but also hard to disagree. Why do many people despise or ignore these values? |
| 5902 | For Moore, 'right' is what produces good [Moore,GE, by Ross] |
| Full Idea: Moore claims that 'right' means 'productive of the greatest possible good'. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §I | |
| A reaction: Ross is at pains to keep 'right' and 'good' as quite distinct notions. Some actions are right but very unpleasant, and seem to produce no real good at all. |
| 5903 | 'Right' means 'cause of good result' (hence 'useful'), so the end does justify the means [Moore,GE] |
| Full Idea: 'Right' does and can mean nothing but 'cause of a good result', and is thus identical with 'useful', whence it follows that the end always will justify the means. | |
| From: G.E. Moore (Principia Ethica [1903], §089) | |
| A reaction: Of course, Moore does not identify utility with pleasure, as his notion of what is good concerns fairly Platonic ideals. Would Stalin's murders have been right if Russia were now the happiest nation on Earth? |
| 5907 | Relationships imply duties to people, not merely the obligation to benefit them [Ross on Moore,GE] |
| Full Idea: Moore's 'Ideal Utilitarianism' seems to unduly simplify our relations to our fellows. My neighbours are merely possible beneficiaries by my action. But they also stand to me as promiser, creditor, husband, friend, which entails prima facie duties. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §II | |
| A reaction: Perhaps it is better to say that we have obligations to benefit particular people, because of our obligations, and that we are confined to particular benefits which meet those obligations - not just any old benefit to any old person. |