6 ideas
| 8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
| Full Idea: The mathematically significant properties and relations of natural numbers arise from the successor function that orders them; the natural numbers are identified simply as the objects that answer to this basic function. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §1) | |
| A reaction: So Julius Caesar would be a number if he was the successor of Pompey the Great? I would have thought that counting should be mentioned - cardinality as well as ordinality. Presumably Peano's Axioms are being referred to. |
| 19406 | I strongly believe in the actual infinite, which indicates the perfections of its author [Leibniz] |
| Full Idea: I am so much for the actual infinite that instead of admitting that nature abhors it, as is commonly said, I hold that it affects nature everywhere in order to indicate the perfections of its author. | |
| From: Gottfried Leibniz (Reply to Foucher [1693], p.99) | |
| A reaction: I would have thought that, for Leibniz, while infinities indicate the perfections of their author, that is not the reason why they exist. God wasn't, presumably, showing off. Leibniz does not think we can actually know these infinities. |
| 8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
| Full Idea: The identification of mathematical objects with positions in structures rests upon the prior credibility of the thesis that positions are objects in their own right. | |
| From: Fraser MacBride (Structuralism Reconsidered [2007], §3) | |
| A reaction: Sounds devastating, but something has to get the whole thing off the ground. This is why Resnik's word 'patterns' is so appealing. Patterns stare you in the face, and they don't change if all the objects making it up are replaced by others. |
| 14794 | Instead of seeking Truth, we should seek belief that is beyond doubt [Peirce] |
| Full Idea: Your problems would be greatly simplified, if, instead of saying that you want to know the Truth, you were simply to say that you want to attain a state of belief unassailable beyond doubt. | |
| From: Charles Sanders Peirce (Essentials of Pragmatism [1905], I) | |
| A reaction: This is not the same as saying that belief beyond doubt IS truth. He is merely offering a strategy for scientists to side-step the sort of scepticism raised by Descartes and radical empiricists. |
| 14792 | A 'conception', the rational implication of a word, lies in its bearing upon the conduct of life [Peirce] |
| Full Idea: The present writer framed the theory that a 'conception', that is, the rational purport of a word or other expression, lies exclusively in its conceivable bearing upon the conduct of life. | |
| From: Charles Sanders Peirce (Essentials of Pragmatism [1905], I) |
| 14793 | The definition of a concept is just its experimental implications [Peirce] |
| Full Idea: If one can define accurately all the conceivable experimental phenomena which the affirmation or denial of a concept could imply, one will have therein a complete definition of the concept, and there is absolutely nothing more in it. | |
| From: Charles Sanders Peirce (Essentials of Pragmatism [1905], I) | |
| A reaction: Strictly, I would have thought you could only affirm or deny a complete proposition, rather than a concept. What should I do with the concept of a 'unicorn'? Note that all theories, such as empiricism or pragmatism, begin with an account of our concepts. |