Semantics as Based on Inference

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F06%3A00349039" target="_blank" >RIV/67985955:_____/06:00349039 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Semantics as Based on Inference

Popis výsledku v původním jazyce

One of the tasks of logic is the development of inferential calculi, which would capture consequence as well as possible; and the common view is that Gödel proved that this could be never achieved perfectly, that 'semantics is more than syntax'. On the other hand, it is we, users of language, thanks to whom the statements have their meanings, without which they could not entail one another. And there are reasons to believe that the meanings of statements are the matter of inferential rules which governthe use of our words and sentences. This would mean that there is a sense in which 'semantics is not more than syntax' ? that ever meanings and consequence are somehow established by inferential rules. Hence in this paper I explore the sense in which thesemantics of logical calculi can be seen as wholly instituted by their inferential structures.

Název v anglickém jazyce

Semantics as Based on Inference

Popis výsledku anglicky

One of the tasks of logic is the development of inferential calculi, which would capture consequence as well as possible; and the common view is that Gödel proved that this could be never achieved perfectly, that 'semantics is more than syntax'. On the other hand, it is we, users of language, thanks to whom the statements have their meanings, without which they could not entail one another. And there are reasons to believe that the meanings of statements are the matter of inferential rules which governthe use of our words and sentences. This would mean that there is a sense in which 'semantics is not more than syntax' ? that ever meanings and consequence are somehow established by inferential rules. Hence in this paper I explore the sense in which thesemantics of logical calculi can be seen as wholly instituted by their inferential structures.

Druh

D - Stať ve sborníku

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA0009001" target="_blank" >IAA0009001: LOGICA: série mezinárodních interdisciplinárních konferencí a vědeckých publikací</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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 Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today

ISBN

1-4020-5011-9

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

—

Název nakladatele

Springer

Místo vydání

Dordrecht

Místo konání akce

Nancy

Datum konání akce

30. 9. 2002

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

WRD - Celosvětová akce

Kód UT WoS článku

—