Preston Stovall
University of Hradec Králové
ABSTRACTAn adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/0020174x.2019.1580839
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
Generics: Cognition and Acquisition.Sarah-Jane Leslie - 2008 - Philosophical Review 117 (1):1-47.
Dummett on Frege. [REVIEW]Leslie Stevenson - 1974 - Philosophical Quarterly 24 (97):349-359.
The Development of Logic.William Kneale & Martha Kneale - 1962 - Studia Logica 15:308-310.

View all 40 references / Add more references

Citations of this work BETA

Nature, Purpose, and Norm: A Program in American Philosophy.Preston Stovall - 2016 - Journal of the American Philosophical Association 2 (4):617-636.

Add more citations

Similar books and articles

Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
Universes in Metapredicative Analysis.Christian Rüede - 2003 - Archive for Mathematical Logic 42 (2):129-151.
Provability Algebras and Proof-Theoretic Ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
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.


Added to PP index

Total views
58 ( #198,327 of 2,520,900 )

Recent downloads (6 months)
11 ( #66,734 of 2,520,900 )

How can I increase my downloads?


My notes