15 ideas
| 14782 | 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. |
| 14787 | 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) |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| Full Idea: Kripke has a semantic theory of truth which has inspired promising axiomatic theories of truth. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 01.2 | |
| A reaction: Feferman produced an axiomatic version of Kripke's semantic theory. |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| Full Idea: One of the most popular semantic theories of truth is Kripke's theory. It describes a class of models which themselves involve a truth predicate (unlike Tarski's semantic theory). | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Leon Horsten - The Tarskian Turn 02.3 | |
| A reaction: The modern versions explored by Horsten are syntactic versions of this, derived from Feferman's axiomatisation of the Kripke theory. |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| Full Idea: Kripke showed via a fixed-point argument that certain three-valued languages can contain their own truth predicates. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] It is an odd paradox that truth can only be included if one adds a truth-value of 'neither true nor false'. The proposed three-valued system is 'strong Kleene logic'. |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| Full Idea: Kripke established that, contrary to the prevalent Tarskian dogma, attributions of truth do not always force a move to a metalanguage. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975], 5.1) by Anil Gupta - Truth | |
| A reaction: [Gupta also cites Martin and Woodruff 1975] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| Full Idea: Kripke's main contribution was …his classification of the different consistent fixed points and the discussion of their use for discriminating between ungrounded sentences, paradoxical sentences, and so on. | |
| From: report of Saul A. Kripke (Outline of a Theory of Truth [1975]) by Volker Halbach - Axiomatic Theories of Truth 15.1 |
| 14783 | 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) |
| 14788 | 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. |
| 14786 | 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) |
| 14789 | 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. |
| 14785 | 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. |
| 14784 | 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. |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |