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

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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

Název v anglickém jazyce

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

Popis výsledku anglicky

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

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GF17-33808L" target="_blank" >GF17-33808L: Inferencializmus a kolektivní intencionalita</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2019

Kód důvěrnosti údajů

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

Název periodika

Inquiry : an Interdisciplinary Journal of Philosophy

ISSN

0020-174X

e-ISSN

—

Svazek periodika

Neuveden

Číslo periodika v rámci svazku

February

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

37

Strana od-do

1-37

Kód UT WoS článku

000461931200001

EID výsledku v databázi Scopus

—