9 ideas
| 14767 | The demonstrations of the metaphysicians are all moonshine [Peirce] |
| Full Idea: The demonstrations of the metaphysicians are all moonshine. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 14764 | I am saturated with the spirit of physical science [Peirce] |
| Full Idea: I am saturated, through and through, with the spirit of the physical sciences. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.1) |
| 15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
| Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |
| From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
| 13342 | Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap] |
| Full Idea: Carnap proposed to define consequence as 'sentence X follows from the sentences K iff the sentences K and the negation of X are contradictory', but 1) this is intuitively impossible, and 2) consequence would be changed by substituting objects. | |
| From: comment on Rudolph Carnap (The Logical Syntax of Language [1934], p.88-) by Alfred Tarski - The Concept of Logical Consequence p.414 | |
| A reaction: This seems to be the first step in the ongoing explicit discussion of the nature of logical consequence, which is now seen by many as the central concept of logic. Tarski brings his new tool of 'satisfaction' to bear. |
| 13251 | Each person is free to build their own logic, just by specifying a syntax [Carnap] |
| Full Idea: In logic, there are no morals. Everyone is at liberty to build his own logic, i.e. his own form of language. All that is required is that he must state his methods clearly, and give syntactical rules instead of philosophical arguments. | |
| From: Rudolph Carnap (The Logical Syntax of Language [1934], §17), quoted by JC Beall / G Restall - Logical Pluralism 7.3 | |
| A reaction: This is understandable, but strikes me as close to daft relativism. If I specify a silly logic, I presume its silliness will be obvious. By what criteria? I say the world dictates the true logic, but this is a minority view. |
| 13672 | All the axioms for mathematics presuppose set theory [Neumann] |
| Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory. | |
| From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2 | |
| A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this. |
| 14768 | Infallibility in science is just a joke [Peirce] |
| Full Idea: Infallibility in scientific matters seems to me irresistibly comical. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.3) |
| 14765 | Association of ideas is the best philosophical idea of the prescientific age [Peirce] |
| Full Idea: The doctrine of the association of ideas is, to my thinking, the finest piece of philosophical work of the prescientific ages. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |
| 14766 | Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce] |
| Full Idea: The works of Duns Scotus have strongly influenced me. …His logic and metaphysics, torn away from its medievalism, …will go far toward supplying the philosophy which is best to harmonize with physical science. | |
| From: Charles Sanders Peirce (Concerning the Author [1897], p.2) |