display all the ideas for this combination of philosophers
10 ideas
| 10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
| Full Idea: Formal logic has to be taken over by mathematicians. The fact is that there does not exist an adequate logic at the present time, and unless the mathematicians create one, no one else is likely to do so. | |
| From: Oswald Veblen (Presidential Address of Am. Math. Soc [1924], 141), quoted by Stewart Shapiro - Philosophy of Mathematics | |
| A reaction: This remark was made well after Frege, but before the advent of Gödel and Tarski. That implies that he was really thinking of meta-logic. |
| 14780 | Only study logic if you think your own reasoning is deficient [Peirce] |
| Full Idea: It is foolish to study logic unless one is persuaded that one's own reasonings are more or less bad. | |
| From: Charles Sanders Peirce (Criterion of Validity in Reasoning [1903], II) |
| 19237 | Deduction is true when the premises facts necessarily make the conclusion fact true [Peirce] |
| Full Idea: The question of whether a deductive argument is true or not is simply the question whether or not the facts stated in the premises could be true in any sort of universe no matter what be true without the fact stated in the conclusion being true likewise. | |
| From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], III) | |
| A reaction: A remarkably modern account, fitting the normal modern view of semantic consequence, and expressing the necessity in the validity in terms of something close to possible worlds. |
| 19256 | Our research always hopes that reality embodies the logic we are employing [Peirce] |
| Full Idea: Every attempt to understand anything at least hopes that the very objects of study themselves are subject to a logic more or less identical with that which we employ. | |
| From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], VIII) | |
| A reaction: The idea that external objects might be subject to a logic has become very unfashionable since Frege, but I love the idea. I'm inclined to think that we derive our logic from the world, so I'm a bit more confident that Peirce. |
| 21493 | Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce] |
| Full Idea: The pure mathematician deals exclusively with hypotheses. Whether or not there is any corresponding real thing, he does not care. | |
| From: Charles Sanders Peirce (works [1892], CP5.567), quoted by Albert Atkin - Peirce 3 'separation' | |
| A reaction: [Dated 1902] Maybe we should identify a huge branch of human learning as Hyptheticals. Professor of Hypotheticals at Cambridge University. The trouble is it would have to include computer games. So why does maths matter more than games? |
| 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) |
| 19102 | Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak] |
| Full Idea: Peirce takes bivalence not to be a law of logic, but a regulative assumption of enquiry. | |
| From: report of Charles Sanders Peirce (works [1892]) by Cheryl Misak - Pragmatism and Deflationism 2 n10 | |
| A reaction: I like this. For most enquiries it's either true or not true, it's either there or it's not there. When you aren't faced with these simple dichotomies (in history, or quantum mechanics) you can relax, and allow truth value gaps etc. |
| 19238 | The logic of relatives relies on objects built of any relations (rather than on classes) [Peirce] |
| Full Idea: In the place of the class ...the logic of relatives considers the system, which is composed of objects brought together by any kind of relations whatsoever. | |
| From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], III) | |
| A reaction: Peirce's logic of relations might support the purely structural view of reality defended by Ladyman and Ross. Modern logic standardly expresses its semantics in terms of set theory. Peirce pioneered relations in logic. |
| 8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
| Full Idea: In traditional logic from Aristotle to Kant, universal sentences have existential import, but Brentano and Boole construed them as universal conditionals (such as 'for anything, if it is a man, then it is mortal'). | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.2) | |
| A reaction: I am sympathetic to the idea that even the 'existential' quantifier should be treated as conditional, or fictional. Modern Christians may well routinely quantify over angels, without actually being committed to them. |
| 8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
| Full Idea: The substitution view of quantification explains 'there-is-an-x-such-that x is a man' as true when it has a true substitution instance, as in the case of 'Socrates is a man', so the quantifier can be read as 'it is sometimes true that'. | |
| From: Alex Orenstein (W.V. Quine [2002], Ch.5) | |
| A reaction: The word 'true' crops up twice here. The alternative (existential-referential) view cites objects, so the substitution view is a more linguistic approach. |