26 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. |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) |
21597 | Logical connectives have the highest precision, yet are infected by the vagueness of true and false [Russell, by Williamson] |
Full Idea: Russell says the best chance of avoiding vagueness are the logical connectives. ...But the vagueness of 'true' and 'false' infects the logical connectives too. All words are vague. Russell concludes that all language is vague. | |
From: report of Bertrand Russell (Vagueness [1923]) by Timothy Williamson - Vagueness 2.4 | |
A reaction: This relies on the logical connectives being defined semantically, in terms of T and F, but that is standard. Presumably the formal uninterpreted syntax is not vague. |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
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. |
9051 | Since natural language is not precise it cannot be in the province of logic [Russell, by Keefe/Smith] |
Full Idea: Russell takes it that logic assumes precision, and since natural language is not precise it cannot be in the province of logic at all. | |
From: report of Bertrand Russell (Vagueness [1923]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
A reaction: I find this view congenial. It seems to me that the necessary prelude to logic is to do everything you can to eliminate ambiguity and vagueness from the sentences at issue. We want the proposition, or logical form. If there isn't one, forget it? |
9054 | Vagueness is only a characteristic of representations, such as language [Russell] |
Full Idea: Vagueness and precision alike are characteristics which can only belong to a representation, of which language is an example. | |
From: Bertrand Russell (Vagueness [1923], p.62) | |
A reaction: Russell was the first to tackle the question of vagueness, and he may have got it right. If we are unable to decide which set an object belongs in (red or orange) that is a problem for our conceptual/linguistic scheme. The object still has a colour! |
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. |
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. |
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. |
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. |
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. |
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. |