Abstract
Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors (operators forming terms from formulas). A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant.
Similar content being viewed by others
Notes
All NL example expressions are depicted in san-serif font and are mentioned, not used.
The vp-implication has no natural counterpart in NL.
Under current theories, the task of excluding such expressions is relayed to syntax.
References
Ben-Yami, H. (2004). Logic & natural language: on plural reference and its semantics and logical significance. Ashgate.
Ben-Yami, H. (2006). A critique of Frege on common nouns. Ratio, 2, 148–155.
Ben-Yami, H. (2014). The quantified argument calculus. Review of Symbolic Logic, to appear.
Brandom, R.B. (2000). Articulating reasons. Cambridge: Harvard University Press.
Cocchiarella, N.B. (2001). Logic and ontology. Axiomathes, 12, 117–150.
Davies, R., & Pfenning, F. (2001). A modal analysis of staged computation. Journal of the ACM, 48(3), 555–604.
Dummett, M. (1991). The logical basis of metaphysics, 1993 (paperback). Hard copy 1991. Cambridge: Harvard University Press.
Francez, N. (2014). Views of proof-theoretic semantics: reified proof-theoretic meanings. Journal of Computational Logic, (to appear). Special issue in honour of Roy Dyckhoff.
Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. Linguistics and Philosophy, 33(6), 447–477.
Francez, N., & Dyckhoff, R. (2012). A note on harmony. Journal of Philosophical Logic, 41(3), 613–628.
Francez, N., Dyckhoff, R., Ben-Avi, G. (2010). Proof-theoretic semantics for subsentential phrases. Studia Logica, 94, 381–401.
Francez, N., & Wieckowski, B. (2014). A proof-theoretic semantics for contextual definiteness. In E. Moriconi, & L. Tesconi (Eds.), Second pisa colloquium in logic, language and epistemology. ETS, Pisa. To appear.
Frege, G. (1879). Begriffssrift, Eine der Arithmetischen Nachgebildete Formelsprache Des Reinen Denkens. Halle: Louis Nebert.
Gentzen, G. (1935). Investigations into logical deduction. In M.E. Szabo (Ed.), The collected papers of Gerhard Gentzen (pp. 68–131). English translation of the 1935 paper in German. Amsterdam: North-Holland.
Lanzet, R., & Ben-Yami, H. (2006). Logical inquiries into a new formal system with plural reference. In V. Hendricks (Ed.), First-order logic revisited, logische philosophie series (Vol. 12, pp. 173–223). Logos.
Moortgat, M. (1997). Categorial type logics. In J. van Benthem & A. terMeulen (Eds.), Handbook of logic and language (pp. 93–178). North Holland.
Moss, L. (2010). Syllogistic logics with verbs. Journal of Logic and Computation, 20(4), 947–967. Special issue on papers from Order, Algebra and Logics.
Peters, S., & Westerståhl, D. (2006). Quantifiers in language and logic. Oxford University Press.
Pfenning, F., & Davies, R. (2001). A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11, 511–540.
Prawitz, D. (2006). Natural deduction: a proof-theoretical study. Almqvist and Wicksell, Stockholm, 1965. Soft cover edition by Dover.
Prawitz, D. (2006). Meaning approached via proofs. Synthese, 148, 507–524.
Prior, A.N. (1960). The runabout inference-ticket. Analysis, 21, 38–39.
Rayo, A., & Uzquiano, G. (Eds.) (2006). Absolute generality. Clarendon Press.
Russell, B. (1905). On denoting. Mind, 14(56), 479–493.
Slater, H. (2011). Logic is not mathematical. In Studies in logic series (Vol. 35). London: College Publications.
Tennant, N. (1997). The taming of the true. Oxford: Oxford University Press.
Tennant, N. (2004). A general theory of abstraction operators. The Philosophical Quarterly, 54(214), 105–133.
von Plato, J. (2000). A problem with normal form in natural deduction. Mathematical Logic Quarterly, 46, 121–124.
von Plato, J. (2001). Natural deduction with general elimination rules. Archive for Mathematical Logic, 40, 541–567.
Acknowledgments
I thank Hartley Slater, who, in spite of objecting to my whole approach, helped by lengthy discussions of the issues involved. I also thank Hanoch Ben-Yami for discussions of the issues involved and for updating me regarding his recent work. I thank Bartosz Wieckowski for his help in cleaning up a previous draft. An anonymous referee for JPL helped a lot in improving the presentation.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Francez, N. A Logic Inspired by Natural Language: Quantifiers As Subnectors. J Philos Logic 43, 1153–1172 (2014). https://doi.org/10.1007/s10992-014-9312-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-014-9312-z