The Logic of Anaphora.
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F00%3A36020117" target="_blank" >RIV/67985955:_____/00:36020117 - 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
The Logic of Anaphora.
Popis výsledku v původním jazyce
The paper addresses foundational questions concerning the dynamic semantics of natural language based on dynamic logic of the Groenendijko-Stokhofian kind. Discussing a series of model calculi of increasing complecity, it shows in detail how usual semantics of dynamic logic can be seen as emerging from the account for certain inferential patterns of natural language, namely those governing anaphora. In this way, the current 'dynamic turn' of logic is argued to be reasonably seen not as the product of changing the focus of logic from the relation of entailment to 'a structure of human cognitive action' (van Benthem), but rather as merely another step in our long-term effort to master more and more inferential patterns.
Název v anglickém jazyce
The Logic of Anaphora.
Popis výsledku anglicky
The paper addresses foundational questions concerning the dynamic semantics of natural language based on dynamic logic of the Groenendijko-Stokhofian kind. Discussing a series of model calculi of increasing complecity, it shows in detail how usual semantics of dynamic logic can be seen as emerging from the account for certain inferential patterns of natural language, namely those governing anaphora. In this way, the current 'dynamic turn' of logic is argued to be reasonably seen not as the product of changing the focus of logic from the relation of entailment to 'a structure of human cognitive action' (van Benthem), but rather as merely another step in our long-term effort to master more and more inferential patterns.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
AA - Filosofie a náboženství
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2000
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 statě ve sborníku
The Logica Yearbook 1999.
ISBN
80-7007-141-9
ISSN
—
e-ISSN
—
Počet stran výsledku
15
Strana od-do
191-205
Název nakladatele
Filosofia
Místo vydání
Praha
Místo konání akce
Liblice [CZ]
Datum konání akce
1. 6. 1999
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—