Abstract
“Whatever may be the true nature of things and of the conceptions which we have of them. . . . , in the operations of reasoning they are dealt with as a number of separate entities or units,” the English mathematician A.B. Kempe noted in 1885 in his ‘Memoir on the Theory of Mathematical Form,’ a neglected work much admired by Peirce, Royce, Whitehead, and Woodger, among others.1 “These units come under consideration under a variety of garbs — as material objects,” Kempe continues,
intervals or periods of time, processes of thought, points, lines, statements, relationships, arrangements, algebraical expressions, operators, operations, etc., etc. — occupy various positions, and are otherwise variously circumstanced. . . . . The units which we have to consider exhibit endless variety; thus we may have a material object dealt with as one unit, a quality it possesses as another, a statement about it as a third, and a position it occupies in space as a fourth. The task of specifying the units which are considered in an investigation may in some cases be one of considerable difficulty, and mistakes are likely to occur unless the operation is conducted with great care.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
Philosophical Transactions of the Royal Society 177 (1886): 1–70.
For more along similar lines, see Logic, Language, and Metaphysics and ‘On Peirce, Bradley, and the Doctrine of Continuous Relations’ in Peirce’s Logic of Relations and Other Studies.
See especially Events, Reference, and Logical Form.
On virtual classes and relations, again, see Belief, Existence, and Meaning, Chapter VI.
The talk of existence as a second-order virtual class of virtual classes or virtual relation between virtual relations, is of course reminiscent of Frege and Russell. The reflections here are thought to exonerate fully the view that existence may be adequately handled as a predicate.
Recall Chapter VII above.
Cf. H. Reichenbach, Elements of Symbolic Logic, p. 271.
For a deeper discussion, see the author’s ‘On the Logic of “Now”’ in Semiotics and Linguistic Structure.
See ‘On Some Prepositional Relations,’ in Semiotics and Linguistic Structure. Cf. also Chapter X below.
‘Common Names and Mathematical Scotism’ in Peirce’s Logic of Relations and Other Studies.
Cf. A. Tarski, ‘On the Foundations of Boolean Algebra,’ in his Logic, Semantics, Metamathematics, p. 334. Cf. also C.S. Peirce, Collected Papers, Vol. III, §216.
For a recent discussion, see G. Boolos, ‘On Second-order Logic,’ The Journal of Philosophy 72 (1975): 509–527.
For a recent philosophical discussion of set theory itself, with comments by Gödel, see H. Wang, From Mathematics to Philosophy (Humanities Press, New York: 1974), Chapter VI.
Cf. William C. Powell, ‘Extending Gödel’s Negative Interpretation to ZF,’ The Journal of Symbolic Logic 40 (1975): 221–229.
See especially ‘Über Sinn und Bedeutung,’ second paragraph, and Begsiffsschrift, §8.
See ‘Events’ in Events, Reference, and Logical Form.
Rights and permissions
Copyright information
© 1979 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Martin, R.M. (1979). Existence and Logical Form. In: Pragmatics, Truth, and Language. Boston Studies in the Philosophy of Science, vol 38. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9457-7_8
Download citation
DOI: https://doi.org/10.1007/978-94-009-9457-7_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-0993-6
Online ISBN: 978-94-009-9457-7
eBook Packages: Springer Book Archive