Semantics as Based on Inference
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Semantics as Based on Inference
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/IAA0009001" target="_blank" >IAA0009001: LOGICA: A series of international interdisciplinary conferences and academic publications.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today
ISBN
1-4020-5011-9
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
—
Publisher name
Springer
Place of publication
Dordrecht
Event location
Nancy
Event date
Sep 30, 2002
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—