Advertisement

Implicit Definitions, Second-Order Quantifiers, and the Robustness of the Logical Operators

  • Arnold KoslowEmail author
Part of the Synthese Library book series (SYLI, volume 373)

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.

Keywords

Logical Operator Universal Quantification Filter Condition Negation Operator Introduction Condition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Bays, T. 2009. Beth’s theorem and deflationism. Mind 118: 1061–1073.CrossRefGoogle Scholar
  2. 2.
    Belnap, N.D. 1962. Tonk, Plonk and Plink. Analysis 22(6): 130–134.CrossRefGoogle Scholar
  3. 3.
    Beth, E.W. 1953. On Padoa’s method in the theory of definition. Indagationes Mathematicae 15: 330–339.CrossRefGoogle Scholar
  4. 4.
    Beth, E.W. 1964. The foundations of mathematics. Amsterdam: North-Holland. 1959, Harper Torch books: 290–293.Google Scholar
  5. 5.
    Church, A. 1956. Introduction to mathematical logic I. Princeton: Princeton University Press.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    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.Google Scholar
  8. 8.
    Gentzen, G. 1932. über die Existenz unabhängiger Aimsysteme zu unendlicher Satzsysteme. Mathematische Annalen 107(3): 329–50.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Harris, J. 1981. What’s so logical about the logical axioms. Studia Logica 41: 159–171.CrossRefGoogle Scholar
  11. 11.
    Hertz, P. 1929. Über Axiomensystem für beliebige Satzsysteme. Mathematische Annalen 101: 457–514.CrossRefGoogle Scholar
  12. 12.
    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).Google Scholar
  13. 13.
    Humberstone, L. 2011. The connectives. Cambridge: MIT.Google Scholar
  14. 14.
    Ketland, J. 1999. Deflationism and Tarski’s paradise. Mind 108: 69–94.CrossRefGoogle Scholar
  15. 15.
    Ketland, J. 2009. Beth’s theorem and deflationism—reply to Bays. Mind 118(472): 1075–1079.CrossRefGoogle Scholar
  16. 16.
    Koslow, A. 1992. A structuralist theory of logic. Cambridge/New York: Cambridge University Press.CrossRefGoogle Scholar
  17. 17.
    Lewis, D. 1973. Counterfactuals. Cambridge: Harvard University Press.Google Scholar
  18. 18.
    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.CrossRefGoogle Scholar
  19. 19.
    McGee, Vann. Forthcoming. 2015. The categoricity of logic. In Foundations of logical consequence, ed. C. Caret and O. Hjortland Thomassen. Oxford University Press.Google Scholar
  20. 20.
    Mendelson, E. 2010. Introduction to mathematical logic, 5th ed. Boca Raton: Chapman & Hal/CRC.Google Scholar
  21. 21.
    Mostowski, A. 1979. Foundational studies, selected works, vol. II. Amsterdam: North Holland.Google Scholar
  22. 22.
    Nagel, E. 1939. The formation of modern conceptions of formal logic in the development of geometry. Osiris 7: 142–224.CrossRefGoogle Scholar
  23. 23.
    Prawitz, D. 1965. Natural deduction. A proof-theoretical study. Stockholm: Almqvist & Wiksell; 2006, 2nd ed. Mineola: Dover Publications.Google Scholar
  24. 24.
    Prior, A. 1961. The Runabout inference-ticket. Analysis 21(6): 124–128.CrossRefGoogle Scholar
  25. 25.
    Shapiro, S. 2012. An “I” for an i: Singular terms, uniqueness, and reference. The Review of Symbolic Logic 5(3): 380–415.CrossRefGoogle Scholar
  26. 26.
    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).Google Scholar
  27. 27.
    Zucker, J.I. 1978. The adequacy problem for classical logic. Journal of Philosophical Logic 7: 517–535.Google Scholar
  28. 28.
    Zucker, J.I. and R.S. Tragesser. 1978. The adequacy problem for inferential logic. Journal of Philosophical Logic 7: 1501–1516.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Philosophy ProgramThe Graduate CenterNew YorkUSA

Personalised recommendations