Journal of Philosophical Logic

, Volume 43, Issue 5, pp 879–881 | Cite as

Fregean Quantification Theory

Article
First Online:
Received:
Accepted:

Abstract

Frege’s system of first-order logic is presented in a contemporary framework. The system described is distinguished by economy of expression and an unusual syntax.

Keywords

Gottlob Frege Quantification theory 
This is a preview of subscription content, log in to check access.

Notes

Acknowledgments

I would like to thank Kevin Klement and the referee for this journal for helpful comments, and Gary Ostertag and Romina Padró for their help in producing this paper. This paper has been completed with support from the Saul A. Kripke Center at The Graduate Center of The City University of New York.

References

  1. 1.
    Church, A. (1951). A formulation of the logic of sense and denotation. In P. Henle, H. M. Kallen, & S. K. Langer (Eds.), Structure, methods, and meaning: essays in honor of Henry M. Sheffer. New York: The Liberal Arts Press.Google Scholar
  2. 2.
    Hilbert, D. & Ackermann, W. (1938). Grundzüge der theoretischen Logik, second edition. Berlin: Springer. (First edition, 1928.) Translated as Principles of Mathematical Logic, R. E. Luce (ed.) and L. Hammond, G. Leckie, and F. Standhardt (trans.). New York: Chelsea Publishing Company, 1958.Google Scholar
  3. 3.
    Kripke, S. (2008). Frege’s theory of sense and reference: some exegetical notes. Theoria, 74: 181–218. Reprinted in Philosophical Troubles. Collected Papers Volume I. New York: Oxford University Press.Google Scholar
  4. 4.
    Parsons, T. (1987). On the consistency of the first-order portion of Frege’s logical system. Notre Dame Journal of Formal Logic, 28, 161–68.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.Departments of Philosophy and Computer ScienceThe Graduate Center, CUNYNew YorkUSA

Personalised recommendations