43 ideas
| 6947 | Metaphysics does not rest on facts, but on what we are inclined to believe [Peirce] |
| Full Idea: Metaphysical systems have not usually rested upon any observed facts, or not in any great degree. They are chiefly adopted because their fundamental propositions seem 'agreeable to reason', which means that which we find ourselves inclined to believe. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.15) | |
| A reaction: This leads to Peirce's key claim - that we should allow our beliefs to be formed by something outside of ourselves. I don't share Peirce's contempt for metaphysics, which I take to be about the most abstract presuppositions of our ordinary beliefs. |
| 6937 | Reason aims to discover the unknown by thinking about the known [Peirce] |
| Full Idea: The object of reasoning is to find out, from the consideration of what we already know, something else which we do not know. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 7) | |
| A reaction: I defy anyone to come up with a better definition of reasoning than that. The emphasis is on knowledge rather than truth, which you would expect from a pragmatist. …Actually the definition doesn't cover conditional reasoning terribly well. |
| 22317 | Truth does not admit of more and less [Frege] |
| Full Idea: What is only half true is untrue. Truth does not admit of more and less. | |
| From: Gottlob Frege (works [1890], CP 353), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 48 'Truth' | |
| A reaction: What about a measurement which is accurate to three decimal places? Maybe being 'close to' the truth is not the same as being 'more' true. The truth about a distance between two points is unknowable? |
| 13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
| Full Idea: Frege did not think of himself as working with sets. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 1 | |
| A reaction: One can hardly blame him, given that set theory was only just being invented. |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 | |
| A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language. |
| 3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
| Full Idea: Contrary to Dedekind's anti-realism, Frege proposed a realist definition of a set as the extension of a predicate (or concept, or function). | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.13 |
| 9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
| Full Idea: Frege frequently expressed a contempt for language. | |
| From: report of Gottlob Frege (works [1890], p.228) by Michael Dummett - Frege's Distinction of Sense and Reference p.228 | |
| A reaction: This strikes me as exactly the right attitude for a logician to have. Russell seems to have agreed. Attitudes to vagueness are the test case. Over-ambitious modern logicians dream of dealing with vagueness. Forget it. Stick to your last. |
| 13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
| Full Idea: Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2 | |
| A reaction: Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature. |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function. | |
| From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3 | |
| A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?' |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
| Full Idea: Frege persistently neglected the question of the domain of quantification, which proved in the end to be fatal. | |
| From: comment on Gottlob Frege (works [1890]) by Michael Dummett - Frege philosophy of mathematics Ch.16 | |
| A reaction: The 'fatality' refers to Russell's paradox, and the fact that not all concepts have extensions. Common sense now says that this is catastrophic. A domain of quantification is a topic of conversation, which is basic to all language. Cf. Idea 9874. |
| 16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
| Full Idea: In Frege's view axioms are basic truth, and basic truths do not need proof. Basic truths can be (justifiably) recognised as true by understanding their content. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: This is the underpinning of the rationalism in Frege's philosophy. |
| 3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
| Full Idea: There is a suspicion that Frege's definition of 5 (as the set of all sets with 5 members) may be infected with circularity, …and how can we be sure on a priori grounds that 4 and 5 are not both empty sets, and hence identical? | |
| From: comment on Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.14 |
| 16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
| Full Idea: Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro | |
| A reaction: Burge's point is that the logic justifies the arithmetic, as well as underpinning it. |
| 8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
| Full Idea: After the problem with Russell's paradox, Frege did not publish for fourteen years, and he then tried to re-found arithmetic in Euclidean geometry, rather than in logic. | |
| From: report of Gottlob Frege (works [1890], 3.4) by Michèle Friend - Introducing the Philosophy of Mathematics 3.4 | |
| A reaction: I take it that his new road would have led him to modern Structuralism, so I think he was probably on the right lines. Unfortunately Frege had already done enough for one good lifetime. |
| 5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
| Full Idea: Frege's quantificational logic vindicates Kant's insight that existence is not a predicate and leads to fallacies when treated as one; and we might also say, despite Hegel, that there is no concept of being. | |
| From: report of Gottlob Frege (works [1890]) by Roger Scruton - Short History of Modern Philosophy Ch.17 | |
| A reaction: I notice that Colin McGinn has questioned the value of quantificational logic. It is difficult to assert that 'there is no concept of x', if several people have written large books about it. |
| 21492 | Realism is basic to the scientific method [Peirce] |
| Full Idea: The fundamental hypothesis of the method of science is this: There are real things, whose characters are entirely independent of our opinion of them. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Albert Atkin - Peirce 3 'method' | |
| A reaction: He admits later that this is only a commitment and not a fact. It seems to me that when you combine this idea with the huge success of science, the denial of realism is crazy. Philosophy has a lot to answer for. |
| 6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
| Full Idea: Nobody can really doubt that there are Reals, for, if he did, doubt would not be a source of dissatisfaction. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.19) | |
| A reaction: This rests on Peirce's view that all that really matters is a sense of genuine dissatisfaction, rather than a theoretical idea. So even at the end of Meditation One, Descartes isn't actually worried about whether his furniture exists. |
| 3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
| Full Idea: It was Frege who first made identity a logical notion, enshrining it above all in the formula (x) x=x. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
| Full Idea: Frege famously realised that understanding a thought requires understanding its inferential connections to other thoughts. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: If true, this is probably our greatest advance in grasping the concept of 'understanding' since Aristotle - but is it true? It is a striking and interesting idea, and central to the importance of Frege in modern analytic philosophy. |
| 6940 | The feeling of belief shows a habit which will determine our actions [Peirce] |
| Full Idea: The feeling of believing is a more or less sure indication of there being established in our nature some habit which will determine our actions. Doubt never has such an effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
| A reaction: It is one thing to assert this fairly accurate observation, and another to assert that this is the essence or definition of a belief. Perhaps it is the purpose of belief, without being the phenomenological essence of it. We act in states of uncertainty. |
| 6941 | We are entirely satisfied with a firm belief, even if it is false [Peirce] |
| Full Idea: As soon as a firm belief is reached we are entirely satisfied, whether the belief be true or false. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.10) | |
| A reaction: This does not deny that the truth or falsehood of a belief is independent of whether we are satisfied with it. It is making a fair point, though, about why we believe things, and it can't be because of truth, because we don't know how to ensure that. |
| 6942 | We want true beliefs, but obviously we think our beliefs are true [Peirce] |
| Full Idea: We seek for a belief that we shall think to be true; but we think each one of our beliefs to be true, and, indeed, it is mere tautology to say so. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: If, as I do, you like to define belief as 'commitment to truth', Peirce makes a rather startling observation. You are rendered unable to ask whether your beliefs are true, because you have defined them as true. Nice point… |
| 6943 | A mere question does not stimulate a struggle for belief; there must be a real doubt [Peirce] |
| Full Idea: The mere putting of a proposition into the interrogative form does not stimulate the mind to any struggle after belief; there must be a real and living doubt. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: This the attractive aspect of Peirce's pragmatism, that he is always focusing on real life rather than abstract theory or pure logic. |
| 16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
| Full Idea: Frege's terms that translate 'self-evident' usually make no explicit reference to actual minds. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: This follows the distinction in Aquinas, between things that are intrinsically self-evident, and things that are self-evident to particular people. God, presumably, knows all of the former. |
| 16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
| Full Idea: Generality for Frege is simply universal quantification; what makes a truth apriori is that its ultimate grounds are universally quantified. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 |
| 6598 | We need our beliefs to be determined by some external inhuman permanency [Peirce] |
| Full Idea: It is necessary that a method should be found by which our beliefs be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.5 | |
| A reaction: This very sensible and interesting remark hovers somewhere between empiricism and pragmatism. Fogelin very persuasively builds his account of knowledge on it. The key point is that we hardly ever choose what to believe. See Idea 2454. |
| 6944 | Demonstration does not rest on first principles of reason or sensation, but on freedom from actual doubt [Peirce] |
| Full Idea: It is a common idea that demonstration must rest on indubitable propositions, either first principles of a general nature, or first sensations; but actual demonstration is completely satisfactory if it starts from propositions free from all actual doubt. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: Another nice example of Peirce focusing on the practical business of thinking, rather than abstract theory. I agree with this approach, that explanation and proof do not aim at perfection and indubitability, but at what satisfies a critical mind. |
| 6948 | Doubts should be satisfied by some external permanency upon which thinking has no effect [Peirce] |
| Full Idea: To satisfy our doubts it is necessary that a method should be found by which our beliefs may be determined by nothing human, but by some external permanency - by something upon which our thinking has no effect. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.18) | |
| A reaction: This may be the single most important idea in pragmatism and in the philosophy of science. See Fodor on experiments (Idea 2455). Put the question to nature. The essential aim is to be passive in our beliefs - just let reality form them. |
| 6945 | Once doubt ceases, there is no point in continuing to argue [Peirce] |
| Full Idea: Some people seem to love to argue a point after all the world is fully convinced of it. But no further advance can be made. When doubt ceases, mental action on the subject comes to an end; and, if it did go on, it would be without purpose. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.11) | |
| A reaction: This is the way Peirce's pragmatism, which deals with how real thinking actually works (rather than abstract logic), deals with scepticism. However, there is a borderline where almost everyone is satisfied, but the very wise person remains sceptical. |
| 16882 | The building blocks contain the whole contents of a discipline [Frege] |
| Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents. | |
| From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology. |
| 7082 | Nature requires causal explanations, but society requires clarification by reasons and motives [Weber, by Critchley] |
| Full Idea: Weber coined the distinction between explanation and clarification, saying that natural phenomena require causal explanation, while social phenomena require clarification by giving reasons or offering possible motives for how things are. | |
| From: report of Max Weber (works [1905]) by Simon Critchley - Continental Philosophy - V. Short Intro Ch.7 | |
| A reaction: This is music to the ears of property dualists and other non-reductivists, but if you go midway in the hierarchy of animals (a mouse, say) the distinction blurs. Weber probably hadn't digested Darwin, whose big impact came around 1905. |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
| Full Idea: For Frege, a thought is not something psychological or subjective; rather, it is objective in the sense that it specifies some condition in the world the obtaining of which is necessary and sufficient for the truth of the sentence that expresses it. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.2 | |
| A reaction: It is worth emphasising Russell's anti-Berkeley point about 'ideas', that the idea is in the mind, but its contents are in the world. Since the contents are what matter, this endorses Frege, and also points towards modern externalism. |
| 7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
| Full Idea: Frege held that "and" and "but" have the same 'sense' but different 'tones' (note: they have the same truth tables); the sense of an expression is what a sentence strictly and literally means, stripped of its tone. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.6 | |
| A reaction: It seems important when studying Frege to remember what has been stripped out. In "he is a genius and he plays football", if you substitute 'but' for 'and', the new version says (literally?) something very distinctive about football. |
| 7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
| Full Idea: Frege's introduction of 'sense' was motivated by the desire to solve three problems: the problem of bearerless names, the problem of substitution in belief contexts, and the problem of informativeness. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.9 | |
| A reaction: A proposal which solves three problems sounds pretty good! These three problems can be used to test the counter-proposals of Russell and Kripke. |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept. | |
| From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2 | |
| A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624). |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values. |
| 22155 | We are disenchanted because we rely on science, which ignores values [Weber, by Boulter] |
| Full Idea: Weber contends that modern western civilisation is 'disenchanted' because our society's method of arriving at beliefs about the world, that is, the sciences, is unable to address questions of value. | |
| From: report of Max Weber (works [1905]) by Stephen Boulter - Why Medieval Philosophy Matters 6 | |
| A reaction: This idea, made explicit by Hume's empirical attitude to values, is obviously of major importance. For we Aristotelians values are a self-evident aspect of nature. Boulter says philosophy has added to the disenchantment. I agree. |
| 6939 | What is true of one piece of copper is true of another (unlike brass) [Peirce] |
| Full Idea: The guiding principle is that what is true of one piece of copper is true of another; such a guiding principle with regard to copper would be much safer than with regard to many other substances - brass, for example. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
| A reaction: Peirce is so beautifully simple and sensible. This gives the essential notion of a natural kind, and is a key notion in our whole understanding of physical reality. |
| 6938 | Natural selection might well fill an animal's mind with pleasing thoughts rather than true ones [Peirce] |
| Full Idea: It is probably of more advantage to an animal to have his mind filled with pleasing and encouraging visions, independently of their truth; and thus, upon unpractical subjects, natural selection might occasion a fallacious tendency of thought. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p. 8) | |
| A reaction: Note that this is a pragmatist saying that a set of beliefs might work fine but be untrue. So Peirce does not have the highly relativistic notion of truth of some later pragmatists. Good for him. Note the early date to be thinking about Darwin. |
| 3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |
| Full Idea: Frege put forward an ontological argument for the existence of numbers. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4 |
| 6946 | If death is annihilation, belief in heaven is a cheap pleasure with no disappointment [Peirce] |
| Full Idea: If death is annihilation, then the man who believes that he will certainly go straight to heaven when he dies, provided he have fulfilled certain simple observances in this life, has a cheap pleasure which will not be followed by the least disappointment. | |
| From: Charles Sanders Peirce (The Fixation of Belief [1877], p.12) | |
| A reaction: This is a nicely wicked summary of one side of Pascal's options. All the problems of the argument are built into Peirce's word "cheap". Peirce goes on to talk about ostriches burying their heads. |