A Logic Inspired by Natural Language: Quantifiers As Subnectors

Journal of Philosophical Logic 43 (6):1153-1172 (2014)

Authors
Nissim Francez
Technion, Israel Institute of Technology
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 . 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.
Keywords Subnectors  Quantifiers  First-order logic  Proof-theoretic semantics  Harmony and stability  Frege’s translation
Categories (categorize this paper)
DOI 10.1007/s10992-014-9312-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,694
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Taming of the True.Neil Tennant - 1997 - Oxford University Press.
Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.

View all 18 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
The Quantified Argument Calculus.Hanoch Ben-Yami - 2014 - Review of Symbolic Logic 7 (1):120-146.
Reconciling Aristotle and Frege.Alex Orenstein - 1999 - Notre Dame Journal of Formal Logic 40 (3):391-413.
A Modal Interpretation of the Logic of Interrogation.Rani Nelken & Chung-Chieh Shan - 2006 - Journal of Logic, Language and Information 15 (3):251-271.

Analytics

Added to PP index
2014-03-25

Total views
40 ( #209,508 of 2,264,503 )

Recent downloads (6 months)
7 ( #187,631 of 2,264,503 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature