Abstract
Since Leibniz, Hume, and Kant the realm of cognitively significant statements has been divided into two categories that are mutually exclusive and collectively exhaustive: analytic and synthetic propositions. No doubt, the term ‘synthetic’ is rather ambiguous, and for that reason it has been replaced by the more unequivocal expressions ‘empirical’ or ‘contingent’. These terms render it clear that non-analytic knowledge originates in experience. An analytic proposition is a logically necessary expression (Carnap); its negation leads to a self-contradiction or, in formal symbols, to P• ~ P.1 Its truth or validity depends only on definitions, so that it will hold under all conditions, in all possible worlds, so to speak. In other words, analytic propositions should be a priori, in that they do not appeal to experience. The assertions of logic and mathematics are customarily regarded as presenting the sole domain of analytic statements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mathematically speaking, P is a theorem in a system S if and only if an inconsistency arises when ~ P is provable (of course, in a complete system).
A. de Morgan, The Elements of Algebra, University of London, London, 1835, p. 7.
H. Poincaré, La Science et l’Hypothèse, Flammarion, Paris, 1916, p. 13.
C. G. Hempel, ‘Problems and Changes in the Empiricist Criterion of Meaning’, Revue internationale de philosophie, 2 (1950) 50.
A. Church, review of 2nd ed. of Ayer’s Language, Truth and Logic, in J. Symbolic Logic 14, No. 1 (1949) 53.
Hao Wang, ‘On Formalization’, Mind 254 (1955) 234.
G. H. Hardy, ‘Mathematical Proof’, Mind 149 (1929) 17.
R. L. Goodstein, ‘On the Nature of Mathematical Systems’, in Logica studia PAUL BERNAYS dedicata, Éditions du Griffon, Neuchatel-Suisse (Bibliothèque scientifique, 34) 1959, p. 103.
L. Henkin, W. N. Smith, V. J. Varineau, and M. J. Walsh, Retracing Elementary Mathematics, Macmillan, New York, 1962, p. 236.
Ch. Perelman, ‘Self-Evidence and Proof’, Philosophy 127 (1958) 297.
K. Gödel, ‘Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes’, in Logica (see reference 8), p. 79.
E.g., see R. B. Braithwaite’s introduction to Kurt Gödel, On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Oliver & Boyd, Edinburgh, 1962, p. 6. About rules of detachment see A. Tarski’s Introduction to Logic, Oxford U.P. New York, 1941, pp. 47-48, 147-151.
P. Lorenzen, ‘Über die Begriffe “Beweis” und “Definition”’, in Constructivity in Mathematics (ed. by A. Heyting), North-Holland Publ. Co., Amsterdam, 1959, p. 172.
A. Tarski, op. cit. (ref. 12), p. 148. Tarski, of course, would never claim that axioms are in general provable: ‘p→p’ is treated by him as a theorem, not as an axiom.
W. V. Quine, ‘Concatenation as a Basis for Arithmetic’, J. of Symbolic Logic 11 (1946) 4, 105-114; W. V. Quine, Mathematical Logic, Harvard U.P., Cambridge, 1947, pp. 283-285, 288-290, 294.
A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, p. 184. Unlike Quine, he envisages higher-order logic.
H. Hermes, Semiotik, Leipzig, 1938. He too does not treat of first-order logic, in contrast to Quine who confined himself to construction and did not attempt axio-matization.
K. Gödel, op. cit., p. 76.
G. Frey, ‘Symbolische und Ikonische Modelle’, in The Concept and the Role of the Model in Mathematics and Natural and Social Sciences (ed. by H. Freudenthal), D. Reidel, Dordrecht, 1961, pp. 89–97.
L. Apostel, ‘Towards the Formal Study of Models in the Non-Formal Sciences’, ibid., p. 17.
W. V. Quine, From a Logical Point of View, Harvard U.P., Cambridge, 1953, p. 32.
Quine, op. cit.
L. Wittgenstein, Remarks on the Foundations of Mathematics, B. Blackwell, Oxford, 1956, p. 81e.
A. Tarski (see ref. 12), pp. 120-125.
R. Carnap, Introduction to Semantics, Harvard U.P., Cambridge, 1946, pp. 203–204.
H. Feigl, ‘Some Major Issues and Developments in the Philosophy of Science of Logical Empiricism’, in Minnesota Studies in the Philosophy of Science (ed. by H. Feigl and M. Scriven), Univ. of Minnesota Press, Minneapolis, 1956, p. 6.
Hao Wang, loc. cit.
W. Yourgrau and Ch. Works, ‘A New, Formalized Version of the Verifiability Principle’, Ratio 1 (1968) 54–63.
G. Polya, ‘Let Us Teach Guessing’, in Études de philosophie des sciences, Éditions du Griffon, Neuchatel (Bibliothèque scientifique, 20), 1959, pp. 153–154.
H.B. Curry, Outlines of a Formalist Philosophy of Mathematics, North-Holland Publ. Co., Amsterdam, 1951, p. 56.
G. Polya, How to Solve It, Princeton U.P., Princeton, 1945, p. 16.
K. Gödel, op. cit., p. 82.
R. L. Goodstein, op. cit., pp. 107-109.
V. Kraft Mathematik, Logik und Erfahrung, Springer-Verlag, Vienna, p. 5.
L. Henkin, ‘The Representation Theorem for Cylindrical Algebras’, in Mathematical Interpretation of Formal Systems, North-Holland Publ. Co., Amsterdam, 1955, p. 93. S. Körner, The Philosophy of Mathematics, Hutchinson University Library, London, 1960, pp. 87-89.
G. Boole, The Mathematical Analysis of Logic (reprint of the original edition 1847), Barnes & Noble, New York, 1965, p. 82.
R. Carnap, op. cit., p. 12.
K. R. Popper, ‘Calculuses of Logic and Arithmetic’, Proc. Arist. Soc., Sup. Vol. 20 (1946) 57.
A. Tarski (see ref. 16), pp. 249-250.
P. Bernays, ‘Mathematische Existenz und Widerspruchsfreiheit’, in Études de philosophie des sciences (see ref. 29), p. 11.
G. H. Hardy, op. cit., p. 18.
A. Tarski (see ref. 12), p. 119.
L. Goddard, “True” and “Provable”’, Mind 265 (1958) 15.
W. Stegmüller, Unvollständigkeit und Unentscheidbarkeit, Springer-Verlag, Vienna, 1959, pp. 19–20; 7-8.
S. Körner, op. cit., p. 90.
G. Kreisel, ‘On the Concept of Completeness and Interpretation of Formal Systems’, Fundamenta Mathematicae 39 (1952) 110.
G. Kreisel, ‘A Variant to Hilbert’s Theory of the Foundations of Arithmetic’, Brit. J. f. Phil, of Science 14 (1953) 120.
W. V. Quine, ‘Notes on Existence and Necessity’, J. of Philosophy (1943) 113–127; From a Logical Point of View, Harvard U.P., Cambridge, pp. 20-46; ‘Quantifiers and Propositional Attitudes’, J. of Philosophy 5 (1956) 177-187; Word and Object, M.I.T. Press & John Wiley, 1960, p. 65.
M. White, ‘The Analytic and the Synthetic: An Untenable Dualism’, in John Dewey: Philosopher of Science and Freedom (ed. by S. Hook), Dial Press, New York, 1950, pp. 316–330.
N. Goodman, ‘On Likeness of Meaning’, Analysis 10, No. 1 (1949) 1–7; ‘The Problem of Counterfactual Conditionals’, J. of Philosophy 44, No. 5 (1947) 113-128.
M. Schlick, ‘Meaning and Verification’, in Gesammelte Aufsätze, Gerold, Vienna, 1938, p. 352.
A. Ambrose, ‘Proof and the Theorem Proved’, Mind 272 (1959) 439, 441-442.
G. Kreisel, ‘Models, Translations and Interpretations’, in Mathematical Interpretation of Formal Systems (see ref. 35), p. 32.
I am indebted to a fruitful conversation on this issue with S. Mahilovich, University of California, San Diego.
H. Behmann, ‘Sind die mathematischen Urteile analytisch oder synthetisch?’, Erkenntnis 4 (1943) 1–27.
G. Kreisel (see ref. 47), p. 108.
F. Klein, Arithmetic — Algebra — Analysis, Dover, New York (translated from the German 3rd edition, published 1924), p. 14.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1969 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Yourgrau, W. (1969). Verification Or Proof- An Undecided Issue?. In: Cohen, R.S., Wartofsky, M.W. (eds) Boston Studies in the Philosophy of Science. Boston Studies in the Philosophy of Science, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3381-7_12
Download citation
DOI: https://doi.org/10.1007/978-94-010-3381-7_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3383-1
Online ISBN: 978-94-010-3381-7
eBook Packages: Springer Book Archive