Combining Texts

All the ideas for '', 'The Nature of Mathematics' and 'Abduction and Induction'

unexpand these ideas     |    start again     |     specify just one area for these texts


14 ideas

1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophy is an experimental science, resting on common experience [Peirce]
     Full Idea: Philosophy, although it uses no microscopes or other apparatus of special observation, is really an experimental science, resting on that experience which is common to us all.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], I)
     A reaction: The 'experimental' either implies that thought-experiments are central to the subject, or that philosophers are discussing the findings of scientists, but at a high level of theory and abstraction. Peirce probably means the latter. I can't disagree.
2. Reason / B. Laws of Thought / 3. Non-Contradiction
Self-contradiction doesn't reveal impossibility; it is inductive impossibility which reveals self-contradiction [Peirce]
     Full Idea: It is an anacoluthon to say that a proposition is impossible because it is self-contradictory. It rather is thought so to appear self-contradictory because the ideal induction has shown it to be impossible.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt]
     Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation.
     From: Ian Rumfitt ("Yes" and "No" [2000], II)
     A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts.
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Logic, unlike mathematics, is not hypothetical; it asserts categorical ends from hypothetical means [Peirce]
     Full Idea: Mathematics is purely hypothetical: it produces nothing but conditional propositions. Logic, on the contrary, is categorical in its assertions. True, it is a normative science, and not a mere discovery of what really is. It discovers ends from means.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], II)
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt]
     Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table.
     From: Ian Rumfitt ("Yes" and "No" [2000])
     A reaction: This is the standard view which Rumfitt sets out to challenge.
The sense of a connective comes from primitively obvious rules of inference [Rumfitt]
     Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious.
     From: Ian Rumfitt ("Yes" and "No" [2000], III)
     A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Mathematics is close to logic, but is even more abstract [Peirce]
     Full Idea: The whole of the theory of numbers belongs to logic; or rather, it would do so, were it not, as pure mathematics, pre-logical, that is, even more abstract than logic.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], IV)
     A reaction: Peirce seems to flirt with logicism, but rejects in favour of some subtler relationship. I just don't believe that numbers are purely logical entities.
10. Modality / B. Possibility / 1. Possibility
Some logical possibility concerns single propositions, but there is also compatibility between propositions [Peirce]
     Full Idea: Many say everything is logically possible which involves no contradiction. In this sense two contradictory propositions may be severally possible. In the substantive sense, the contradictory of a possible proposition is impossible (if we were omniscient).
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
12. Knowledge Sources / D. Empiricism / 1. Empiricism
Experience is indeed our only source of knowledge, provided we include inner experience [Peirce]
     Full Idea: If Mill says that experience is the only source of any kind of knowledge, I grant it at once, provided only that by experience he means personal history, life. But if he wants me to admit that inner experience is nothing, he asks what cannot be granted.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898])
     A reaction: Notice from Idea 14785 that Peirce has ideas in mind, and not just inner experiences like hunger. Empiricism certainly begins to look more plausible if we expand the notion of experience. It must include what we learned from prior experience.
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The world is one of experience, but experiences are always located among our ideas [Peirce]
     Full Idea: The real world is the world of sensible experience, and it is part of the process of sensible experience to locate its facts in the world of ideas.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)
     A reaction: This is the neatest demolition of the sharp dividing line between empiricism and rationalism that I have ever encountered.
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
'Abduction' is beginning a hypothesis, particularly if it includes preference of one explanation over others [Peirce]
     Full Idea: The first starting of a hypothesis and the entertaining of it …is an inferential step which I propose to call 'abduction'. This will include a preference for any one hypothesis over others which would equally explain the facts.
     From: Charles Sanders Peirce (Abduction and Induction [1901], I)
     A reaction: I take there to be no more important function within human thought than the procedure by which we give preference to one particular explanation. It only makes sense, I think, if we take it as part of a coherence theory of justification.
Abduction involves original suggestions, and not just the testing involved in induction [Peirce]
     Full Idea: It is of the nature of abduction to involve an original suggestion; while typical induction has no originality in it, but only tests a suggestion already made.
     From: Charles Sanders Peirce (Abduction and Induction [1901], I)
     A reaction: Peirce's 'abduction' is not, then, just the choice of a best explanation. He came up with the idea because he was keen to capture the creative and imaginative character of rational thought.
19. Language / F. Communication / 3. Denial
We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt]
     Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A.
     From: Ian Rumfitt ("Yes" and "No" [2000], IV)
     A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role).
22. Metaethics / A. Ethics Foundations / 1. Nature of Ethics / b. Defining ethics
Ethics is the science of aims [Peirce]
     Full Idea: Ethics is the science of aims.
     From: Charles Sanders Peirce (The Nature of Mathematics [1898], II)
     A reaction: Intriguing slogan. He is discussing the aims of logic. I think what he means is that ethics is the science of value. 'Science' may be optimistic, but I would sort of agree with his basic idea.