On Tichý’s Attempt to Explicate Sense in Terms of Turing Machines
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F18%3A00488789" target="_blank" >RIV/67985955:_____/18:00488789 - isvavai.cz</a>
Výsledek na webu
<a href="http://klemens.sav.sk/fiusav/organon/?q=sk/tichys-attempt-explicate-sense-terms-turing-machines" target="_blank" >http://klemens.sav.sk/fiusav/organon/?q=sk/tichys-attempt-explicate-sense-terms-turing-machines</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Tichý’s Attempt to Explicate Sense in Terms of Turing Machines
Popis výsledku v původním jazyce
In Tichý (1969), it is shown that semantics of natural language can be pursued procedurally. Tichý supported his argument by defining elementary functions of logic (truth functions, quantifiers) using Turing machines and attempting to define the sense of empirical expressions using a simple semantic version of oracle. From the way how Turing machines and later constructions are defined it follows that even the sense of empirical expressions can be successfully handled but that the sense and denotation can be in principle effectively obtained while the actual value at the actual world can be, of course, never computed. The present paper comments on this attempt and compares the Turing machines argument with the possibilities given by TIL constructions. Turing machines guarantee the effective character of computing while the constructions do not, but expressive power of constructions is incomparably stronger, not only because Tichý’s possible worlds from 1969 are atemporal: they define essentially 1st order operations and can be reinterpreted as one possible world enjoying (discrete) temporal changes. Both the TM conception and the “constructivist” one know that the question “which possible world is the actual one” cannot be ever answered by effective (computational) methods and their analyses of empirical expressions are therefore compatible.
Název v anglickém jazyce
On Tichý’s Attempt to Explicate Sense in Terms of Turing Machines
Popis výsledku anglicky
In Tichý (1969), it is shown that semantics of natural language can be pursued procedurally. Tichý supported his argument by defining elementary functions of logic (truth functions, quantifiers) using Turing machines and attempting to define the sense of empirical expressions using a simple semantic version of oracle. From the way how Turing machines and later constructions are defined it follows that even the sense of empirical expressions can be successfully handled but that the sense and denotation can be in principle effectively obtained while the actual value at the actual world can be, of course, never computed. The present paper comments on this attempt and compares the Turing machines argument with the possibilities given by TIL constructions. Turing machines guarantee the effective character of computing while the constructions do not, but expressive power of constructions is incomparably stronger, not only because Tichý’s possible worlds from 1969 are atemporal: they define essentially 1st order operations and can be reinterpreted as one possible world enjoying (discrete) temporal changes. Both the TM conception and the “constructivist” one know that the question “which possible world is the actual one” cannot be ever answered by effective (computational) methods and their analyses of empirical expressions are therefore compatible.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GA17-15645S" target="_blank" >GA17-15645S: Logické modely usuzování a argumentace v přirozeném jazyce</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
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 periodika
Organon F
ISSN
1335-0668
e-ISSN
—
Svazek periodika
25
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
SK - Slovenská republika
Počet stran výsledku
12
Strana od-do
41-52
Kód UT WoS článku
000430264500003
EID výsledku v databázi Scopus
2-s2.0-85044121503