Proof-Theoretic Semantics and the Interpretation of Atomic Sentences

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F62690094%3A18460%2F19%3A50017253" target="_blank" >RIV/62690094:18460/19:50017253 - isvavai.cz</a>

Výsledek na webu

<a href="https://drive.google.com/file/d/1uVuOIJZmGngjIZA63Y1Gn7JAOhrgyeke/view" target="_blank" >https://drive.google.com/file/d/1uVuOIJZmGngjIZA63Y1Gn7JAOhrgyeke/view</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Proof-Theoretic Semantics and the Interpretation of Atomic Sentences

Popis výsledku v původním jazyce

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretations of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

Název v anglickém jazyce

Proof-Theoretic Semantics and the Interpretation of Atomic Sentences

Popis výsledku anglicky

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretations of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

Druh

D - Stať ve sborníku

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

The Logica Yearbook 2019

ISBN

978-1-84890-327-2

ISSN

—

e-ISSN

—

Počet stran výsledku

15

Strana od-do

163-177

Název nakladatele

College publications

Místo vydání

Londýn

Místo konání akce

Hejnice

Datum konání akce

24. 6. 2019

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

WRD - Celosvětová akce

Kód UT WoS článku

—