Sémantika jakožto založená na inferenci
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F06%3A00042844" target="_blank" >RIV/67985955:_____/06:00042844 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
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.
Klasifikace
Druh
C - Kapitola v odborné knize
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
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)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today
ISBN
1-4020-5011-9
Počet stran výsledku
12
Strana od-do
25-36
Počet stran knihy
—
Název nakladatele
Springer
Místo vydání
Dordrecht
Kód UT WoS kapitoly
—