Počet záznamů: 1
Logically Speaking. A Festschrift for Marie Duží
- 1.
SYSNO ASEP 0568686 Druh ASEP M - Kapitola v monografii Zařazení RIV C - Kapitola v knize Název Going Nowhere and Back. Is Trivialization the Same as Zero Execution? Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Logically Speaking. A Festschrift for Marie Duží. - London : College Publications, 2022 / Materna P. ; Jespersen B. - ISBN 978-1-84890-419-4 Rozsah stran s. 187-202 Poč.str. 16 s. Poč.str.knihy 356 Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova transparent intensional logic ; execution construction ; trivialization construction ; procedural semantics Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology Institucionální podpora FLU-F - RVO:67985955 Anotace 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. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2023
Počet záznamů: 1