Number of the records: 1
Logically Speaking. A Festschrift for Marie Duží
- 1.0568686 - FLÚ 2023 RIV GB eng M - Monography Chapter
Pezlar, Ivo
Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Logically Speaking. A Festschrift for Marie Duží. London: College Publications, 2022 - (Materna, P.; Jespersen, B.), s. 187-202. Tributes, 49. ISBN 978-1-84890-419-4
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : transparent intensional logic * execution construction * trivialization construction * procedural semantics
OECD category: Philosophy, History and Philosophy of science and technology
https://www.collegepublications.co.uk/tributes/?00049
In this paper I will explore the question whether the Trivialization construction of transparent intensional logic (TIL) can be understood in terms of the Execution construction, specifically, in terms of its degenerate case known as the 0-Execution. My answer will be positive and the apparent contrast between the intuitive understanding of Trivialization and 0-Execution will be explained as a matter of distinct yet related informal perspectives, not as a matter of technical or conceptual differences.
Permanent Link: https://hdl.handle.net/11104/0339997
Number of the records: 1