Combining Texts

All the ideas for 'fragments/reports', 'On Concept and Object' and 'The Nature of Mathematics'

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


19 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 / 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 / 1. Logical Form
A thought can be split in many ways, so that different parts appear as subject or predicate [Frege]
     Full Idea: A thought can be split up in many ways, so that now one thing, now another, appears as subject or predicate
     From: Gottlob Frege (On Concept and Object [1892], p.199)
     A reaction: Thus 'the mouse is in the box', and 'the box contains the mouse'. A simple point, but important when we are trying to distinguish thought from language.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
There is the concept, the object falling under it, and the extension (a set, which is also an object) [Frege, by George/Velleman]
     Full Idea: For Frege, the extension of the concept F is an object, as revealed by the fact that we use a name to refer to it. ..We must distinguish the concept, the object that falls under it, and the extension of the concept, which is the set containing the object.
     From: report of Gottlob Frege (On Concept and Object [1892]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: This I take to be the key distinction needed if one is to grasp Frege's account of what a number is. When we say that Frege is a platonist about numbers, it is because he is committed to the notion that the extension is an object.
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.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Frege mistakenly takes existence to be a property of concepts, instead of being about things [Frege, by Yablo]
     Full Idea: Frege's theory treats existence as a property, not of things we call existent, but of concepts instantiated by those things. 'Biden exists' says our Biden-concept has instances. That is certainly not how it feels! We speak of the thing, not of concepts.
     From: report of Gottlob Frege (On Concept and Object [1892]) by Stephen Yablo - Aboutness 01.4
     A reaction: Yablo's point is that you must ask what the sentence is 'about', and then the truth will refer to those things. Frege gets into a tangle because he thinks remarks using concepts are about the concepts.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
It is unclear whether Frege included qualities among his abstract objects [Frege, by Hale]
     Full Idea: Expositors of Frege's views have disagreed over whether abstract qualities are to be reckoned among his objects.
     From: report of Gottlob Frege (On Concept and Object [1892]) by Bob Hale - Abstract Objects Ch.2.II
     A reaction: [he cites Dummett 1973:70-80, and Wright 1983:25-8] There seems to be a danger here of a collision between Fregean verbal approaches to ontological commitment and the traditional views about universals. No wonder they can't decide.
9. Objects / A. Existence of Objects / 3. Objects in Thought
Frege's 'objects' are both the referents of proper names, and what predicates are true or false of [Frege, by Dummett]
     Full Idea: Frege's notion of an object plays two roles in his semantics. Objects are the referents of proper names, and they are equally what predicates are true and false of.
     From: report of Gottlob Frege (On Concept and Object [1892]) by Michael Dummett - Frege Philosophy of Language (2nd ed) Ch.4
     A reaction: Frege is the source of a desperate desire to turn everything into an object (see Idea 8858!), and he has the irritating authority of the man who invented quantificational logic. Nothing but trouble, that man.
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.
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Frege equated the concepts under which an object falls with its properties [Frege, by Dummett]
     Full Idea: Frege equated the concepts under which an object falls with its properties.
     From: report of Gottlob Frege (On Concept and Object [1892], p.201) by Michael Dummett - Frege philosophy of mathematics Ch.8
     A reaction: I take this to be false, as objects can fall under far more concepts than they have properties. I don't even think 'being a pencil' is a property of pencils, never mind 'being my favourite pencil', or 'not being Alexander the Great'.
18. Thought / D. Concepts / 5. Concepts and Language / b. Concepts are linguistic
As I understand it, a concept is the meaning of a grammatical predicate [Frege]
     Full Idea: As I understand it, a concept is the meaning of a grammatical predicate.
     From: Gottlob Frege (On Concept and Object [1892], p.193)
     A reaction: All the ills of twentieth century philosophy reside here, because it makes a concept an entirely linguistic thing, so that animals can't have concepts, and language is cut off from reality, leading to relativism, pragmatism, and other nonsense.
19. Language / A. Nature of Meaning / 2. Meaning as Mental
Frege felt that meanings must be public, so they are abstractions rather than mental entities [Frege, by Putnam]
     Full Idea: Frege felt that meanings are public property, and identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities.
     From: report of Gottlob Frege (On Concept and Object [1892]) by Hilary Putnam - Meaning and Reference p.150
     A reaction: This is the germ of Wittgenstein's private language argument. I am inclined to feel that Frege approached language strictly as a logician, and didn't really care that he got himself into implausible platonist ontological commitments.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
For all the multiplicity of languages, mankind has a common stock of thoughts [Frege]
     Full Idea: For all the multiplicity of languages, mankind has a common stock of thoughts.
     From: Gottlob Frege (On Concept and Object [1892], p.196n)
     A reaction: Given the acknowledgement here that two very different sentences in different languages can express the same thought, he should recognise that at least some aspects of a thought are non-linguistic.
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.
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
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
27. Natural Reality / G. Biology / 3. Evolution
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.