Four constructivist attitudes in Prawitzian semantics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F23%3A00585478" target="_blank" >RIV/67985955:_____/23:00585478 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Four constructivist attitudes in Prawitzian semantics

Popis výsledku v původním jazyce

The author argues that some well-known alternative ways for developing Prawitz-inspired semantics are not coincidental, but respond to two basic dualities. This stems from the fact that what one has to evaluate in Prawitz’s semantics is, not only the meaning of the components of one’s alphabet, but also the acceptability of generalised eliminations over meaning-determination. In turn, this depends on the fact that Prawitz’s semantics can be understood as a generalisation of Prawitz’s own normalisation theory. We thus have at least four pairwise “symmetric” Prawitzian semantics, each amounting to a potential attitude towards Prawitz’s constructivism. Thus, Prawitz’s semantics can be understood as a conceptual and formal grid where to articulate harmoniously proof-based semantics accounting for the interplay between meaning determination and justification of deduction.n

Název v anglickém jazyce

Four constructivist attitudes in Prawitzian semantics

Popis výsledku anglicky

The author argues that some well-known alternative ways for developing Prawitz-inspired semantics are not coincidental, but respond to two basic dualities. This stems from the fact that what one has to evaluate in Prawitz’s semantics is, not only the meaning of the components of one’s alphabet, but also the acceptability of generalised eliminations over meaning-determination. In turn, this depends on the fact that Prawitz’s semantics can be understood as a generalisation of Prawitz’s own normalisation theory. We thus have at least four pairwise “symmetric” Prawitzian semantics, each amounting to a potential attitude towards Prawitz’s constructivism. Thus, Prawitz’s semantics can be understood as a conceptual and formal grid where to articulate harmoniously proof-based semantics accounting for the interplay between meaning determination and justification of deduction.n

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

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 statě ve sborníku

The Logica Yearbook 2022

ISBN

978-1-84890-446-0

ISSN

—

e-ISSN

—

Počet stran výsledku

17

Strana od-do

135-151

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Teplá

Datum konání akce

11. 9. 2023

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—