Characterizing generics are material inference tickets: a proof-theoretic analysis

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18460%2F19%3A50016414" target="_blank" >RIV/62690094:18460/19:50016414 - isvavai.cz</a>
Result on the web
<a href="https://www.tandfonline.com/doi/abs/10.1080/0020174X.2019.1580839?journalCode=sinq20" target="_blank" >https://www.tandfonline.com/doi/abs/10.1080/0020174X.2019.1580839?journalCode=sinq20</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1080/0020174X.2019.1580839" target="_blank" >10.1080/0020174X.2019.1580839</a>

Result language
angličtina
Original language name
Characterizing generics are material inference tickets: a proof-theoretic analysis
Original language description
An 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
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GF17-33808L" target="_blank" >GF17-33808L: Inferentialism and collective intentionality</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)