Logically Speaking. A Festschrift for Marie Duží

0568686 - FLÚ 2023 RIV GB eng M - Část monografie knihy
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 ostatní: AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institucionální podpora: RVO:67985955
Klíčová slova: transparent intensional logic * execution construction * trivialization construction * procedural semantics
Obor OECD: 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.
Trvalý link: https://hdl.handle.net/11104/0339997