Combining Texts

All the ideas for 'Issues of Pragmaticism', 'Whitehead and the Rise of Modern Logic' and 'Elements of Intuitionism'

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


5 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Quine says higher-order items are intensional, and lack a clearly defined identity relation [Quine, by Shapiro]
     Full Idea: Quine (in 1941) attacked 'Principia Mathematica' because the items in the range of higher-order variables (attributes etc) are intensional and thus do not have a clearly defined identity relation.
     From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Stewart Shapiro - Foundations without Foundationalism 1.3
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / c. Potential infinite
Platonists ruin infinity, which is precisely a growing structure which is never completed [Dummett]
     Full Idea: The platonist destroys the whole essence of infinity, which lies in the conception of a structure which is always in growth, precisely because the process of construction is never completed.
     From: Michael Dummett (Elements of Intuitionism [1977], p.57), quoted by Thomas J. McKay - Plural Predication
     A reaction: I don't warm to intuitionism, but I warm to this conception of infinity. Completed infinities are convenient reifications for mathematicians.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Russell confused use and mention, and reduced classes to properties, not to language [Quine, by Lackey]
     Full Idea: Quine (1941) said that Russell had confused use and mention, and thus thought he had reduced classes to linguistic entities, while in fact he reduced them only to Platonic properties.
     From: report of Willard Quine (Whitehead and the Rise of Modern Logic [1941]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133
     A reaction: This is cited as the 'orthodox critical interpretation' of Russell and Whitehead. Confusion of use and mention was a favourite charge of Quine's.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
For intuitionists it is constructed proofs (which take time) which make statements true [Dummett]
     Full Idea: For an intuitionist a mathematical statement is rendered true or false by a proof or disproof, that is, by a construction, and constructions are effected in time.
     From: Michael Dummett (Elements of Intuitionism [1977], p.336), quoted by Shaughan Lavine - Understanding the Infinite VI.2
     A reaction: Lavine is quoting this to draw attention to the difficulties of thinking of it as all taking place 'in time', especially when dealing with infinities.
19. Language / A. Nature of Meaning / 1. Meaning
The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce]
     Full Idea: The entire intellectual purport of any symbol consists in the total of all modes of rational conduct which, conditionally upon all the possible different circumstances and desires, would ensue upon the acceptance of the symbol.
     From: Charles Sanders Peirce (Issues of Pragmaticism [1905], EP ii.246), quoted by Danielle Macbeth - Pragmatism and Objective Truth p.169 n1
     A reaction: Macbeth says pragmatism is founded on this theory of meaning, rather than on a theory of truth. I don't see why the causes of a symbol shouldn't be as much a part of its meaning as the consequences are.