Number of the records: 1
On Tichý’s Attempt to Explicate Sense in Terms of Turing Machines
- 1.
SYSNO ASEP 0488789 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title On Tichý’s Attempt to Explicate Sense in Terms of Turing Machines Author(s) Materna, Pavel (FLU-F) RID, ORCID Source Title Organon F. - : Veda - vydavatel'stvo SAV - ISSN 1335-0668
Roč. 25, č. 1 (2018), s. 41-52Number of pages 12 s. Publication form Print - P Language eng - English Country SK - Slovakia Keywords Oracle ; possible worlds ; procedure ; sense ; Turing machine Subject RIV AA - Philosophy ; Religion OECD category Philosophy, History and Philosophy of science and technology R&D Projects GA17-15645S GA ČR - Czech Science Foundation (CSF) Institutional support FLU-F - RVO:67985955 UT WOS 000430264500003 EID SCOPUS 85044121503 Annotation 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. Workplace Institute of Philosophy Contact Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Year of Publishing 2019 Electronic address http://klemens.sav.sk/fiusav/organon/?q=sk/tichys-attempt-explicate-sense-terms-turing-machines
Number of the records: 1