Proof-Theoretic Semantics for Natural Language

Topoi:1-15 (forthcoming)

Authors
Nissim Francez
Technion, Israel Institute of Technology
Abstract
The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11245-019-09662-5
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,914
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

On Quantifier Domain Restriction.Jason Stanley & Zoltán Gendler Szabó - 2000 - Mind and Language 15 (2-3):219--61.
On Quantifier Domain Restriction.Jason Stanley & Zoltan Gendler Szabó - 2000 - Mind and Language 15 (2-3):219-261.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1991 - Philosophical Quarterly 44 (177):519-527.
Articulating Reasons.Robert B. Brandom - 2001 - Erkenntnis 55 (1):121-127.
Quantifiers and Propositional Attitudes.W. V. Quine - 1956 - Journal of Philosophy 53 (5):177-187.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
On Harmony and Permuting Conversions.Nissim Francez - 2017 - Journal of Applied Logic 21:14-23.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.

Analytics

Added to PP index
2019-07-09

Total views
15 ( #552,187 of 2,266,272 )

Recent downloads (6 months)
15 ( #53,352 of 2,266,272 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature