Abstract
We use a modified version of E.Beth’s concept of implicit definitions to show that all the usual logical operators as well as the first and second order quantifiers are implicitly defined—and for essentially the same reason that involves an account of the logical operators using a concept of filter conditions. An “inferential” proposal is then suggested for a Gentzen-like account as a necessary condition for the familiar logical operators. We then explore the question of whether our proposal can also be taken as a sufficient condition. To this end, we discuss whether other operators, like a truth operator, the counterfactual conditional, the identity, and the modal operators are also logical operators. The paper closes with a brief discussion of what is called the robustness of the logical operators: What happens to the logical operators when there is a shift from one logical structure to another which extends it, and what happens when there is a shift from one structure to one in which it is homomorphically embedded.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Nagel [22].
- 2.
Hilbert [12].
- 3.
- 4.
Shapiro [25].
- 5.
Belnap [2]. I understand Belnap as advocating the kind of schematic expression of the condition for implicit definitions that we made explicit. There may be reason to think otherwise. L. Humberstone [13, p. 267] reports that in correspondence Belnap suggested that the kind of uniqueness he had in mind might also be thought of as implicit definition as long as some kind of second order (propositional quantification) is included. Here it has been Beth who was the inspiration for using his notion of implicit definition carried over to connectives and operators rather than just relations, functions, and constants. One shouldn’t however overlook the important and unjustly neglected paper in J.Harris [10].
- 6.
Church [5, p. 39] for example, places them in the special category of operators.
- 7.
- 8.
Cf. Koslow [16].
- 9.
The account is broadly “inferential”, originating with P. Hertz, and G. Gentzen, and including N. Belnap [2]. D. Prawitz [23], M. Dummett [6], J.I. Zucker [27], R.S. Tragesser [27, 28] V. McGee [18, 19], and most recently S. Feferman [7]. I cannot specify the bibliographic detail as to dates and pagination, as the paper is included in the present. Profound apologies for the omission of the many significant semantic and proof-theoretical recent work that also deserve close study.
- 10.
For an extended study of the following paired conditions on these logical operators, cf. Koslow [16].
- 11.
Although these conditions suffice for showing that the logical operators are implicitly defined by the paired conditions, more is needed to obtain the full story: All these conditions need to be stated in a more general way: let Γ stand for any finite (possibly empty) sequence of members of the implication structure. Then, for example, the two modified (parameterized) conditions for conjunction are: for any Γ, A, and B, (1) \(\varGamma,A, (A \rightarrow B) \Rightarrow B\), and (2) It is the weakest member of the structure to satisfy the first condition. That is, for any T in S, if \(\varGamma,A,T \Rightarrow B\), then \(\varGamma,T \Rightarrow (A \rightarrow B)\). With this adjustment, if follows that for any A and B in a structure, if their conjunction exists in the structure, then \(A,B \Rightarrow A \wedge B\). The fuller account is in Koslow [16], ch. 15.
- 12.
Tarski [26, p. 191].
- 13.
Mostowski, A. On a Generalization of Quantifiers. In Mostowski [21].
- 14.
We set to one side the relatively simple proofs that each of the familiar logical operators satisfies the proper filter property.
- 15.
We have generally used versions equivalent to the treatment of the second- order quantifiers to be found in Mendelson [20, pp. 376–89] and Vann McGee [18, pp. 54–78, esp. p. 63]. Not everything however is listed (no inclusion of the comprehension schema), but enough to be able to prove implicit definability.
- 16.
Prior [24].
- 17.
We leave to one side the proofs that the truth operator, as well as the counterfactual conditional and the identity operators to be discussed, all satisfy the proper filter property (PRP).
- 18.
- 19.
Lewis [17, pp. 132–33].
- 20.
It is clear that the heavy lifting in this argument is supplied by (4) (and its mate (4∗)). These conditions, as Humberstone notes are the modal analogs of the substitutivity condition on identity, (5) \(t = u,C(t) \Rightarrow C(u)\), for which is well known to imply that any two relations satisfying it mutually imply each other.
- 21.
Cf. Koslow [16, p. 389, fn. 8].
References
Bays, T. 2009. Beth’s theorem and deflationism. Mind 118: 1061–1073.
Belnap, N.D. 1962. Tonk, Plonk and Plink. Analysis 22(6): 130–134.
Beth, E.W. 1953. On Padoa’s method in the theory of definition. Indagationes Mathematicae 15: 330–339.
Beth, E.W. 1964. The foundations of mathematics. Amsterdam: North-Holland. 1959, Harper Torch books: 290–293.
Church, A. 1956. Introduction to mathematical logic I. Princeton: Princeton University Press.
Dummett, M. 1973. The philosophical basis of intuitionistic logic. Logic colloquium, Bristol, ed. H.E. Rose and J.C. Shepherdson, 5–40; reprinted 1978. Truth and other enigmas. London: Duckworth, 215–247; reprinted 1983. Philosophy of mathematics, 2nd ed., ed. P. Benacerraf and H. Putnam, 97–129. Cambridge University Press.
Feferman, S. Forthcoming. Which quantifiers are logical? A combined semantical and inferential criterion. In Quantifiers, quantifiers, and quantifiers: Themes in logic, metaphysics, and language, ed. A. Torza.
Gentzen, G. 1932. über die Existenz unabhängiger Aimsysteme zu unendlicher Satzsysteme. Mathematische Annalen 107(3): 329–50.
Gentzen, G. 1934–1935. Untersuchungen über das logische schliessen. Mathematische Zeitschrift 39: 176–210, 405–43; reprinted 1969. Investigations into logical deduction. The collected papers of Gerhard Gentzen, ed. M.E. Szabo, 68–131. Amsterdam: North-Holland.
Harris, J. 1981. What’s so logical about the logical axioms. Studia Logica 41: 159–171.
Hertz, P. 1929. Über Axiomensystem für beliebige Satzsysteme. Mathematische Annalen 101: 457–514.
Hilbert, D. 1899. Grundlagen der Geometrie; 1902. The foundations of geometry. (English Trans. E.J. Townsend Open Court.; 1999. 14th German edition B.G.Teubner Stuttgart, Leipzig).
Humberstone, L. 2011. The connectives. Cambridge: MIT.
Ketland, J. 1999. Deflationism and Tarski’s paradise. Mind 108: 69–94.
Ketland, J. 2009. Beth’s theorem and deflationism—reply to Bays. Mind 118(472): 1075–1079.
Koslow, A. 1992. A structuralist theory of logic. Cambridge/New York: Cambridge University Press.
Lewis, D. 1973. Counterfactuals. Cambridge: Harvard University Press.
McGee, Vann. 2000. Everything. In Between logic and intuition essays in honor of Charles Parsons, ed. G. Sher and R. Tieszen, 54–78. Cambridge: Cambridge University Press.
McGee, Vann. Forthcoming. 2015. The categoricity of logic. In Foundations of logical consequence, ed. C. Caret and O. Hjortland Thomassen. Oxford University Press.
Mendelson, E. 2010. Introduction to mathematical logic, 5th ed. Boca Raton: Chapman & Hal/CRC.
Mostowski, A. 1979. Foundational studies, selected works, vol. II. Amsterdam: North Holland.
Nagel, E. 1939. The formation of modern conceptions of formal logic in the development of geometry. Osiris 7: 142–224.
Prawitz, D. 1965. Natural deduction. A proof-theoretical study. Stockholm: Almqvist & Wiksell; 2006, 2nd ed. Mineola: Dover Publications.
Prior, A. 1961. The Runabout inference-ticket. Analysis 21(6): 124–128.
Shapiro, S. 2012. An “I” for an i: Singular terms, uniqueness, and reference. The Review of Symbolic Logic 5(3): 380–415.
Tarski, A. 1956. The concept of truth in formalized languages. In Logic, semantics, metamathematics, ed. Alfred Tarski. Oxford: Clarendon Press. (Trans. by J.H. Woodger; 1983. 2nd ed., edited, Hackett Publishing company, Indianapolis and introduced by John Corcoran).
Zucker, J.I. 1978. The adequacy problem for classical logic. Journal of Philosophical Logic 7: 517–535.
Zucker, J.I. and R.S. Tragesser. 1978. The adequacy problem for inferential logic. Journal of Philosophical Logic 7: 1501–1516.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Koslow, A. (2015). Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators. In: Torza, A. (eds) Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language. Synthese Library, vol 373. Springer, Cham. https://doi.org/10.1007/978-3-319-18362-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-18362-6_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18361-9
Online ISBN: 978-3-319-18362-6
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)