Logically Speaking. A Festschrift for Marie Duží

Number of the records: 1

1.

SYSNO ASEP	0568686
Document Type	M - Monograph Chapter
R&D Document Type	Monograph Chapter
Title	Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Author(s)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Source Title	Logically Speaking. A Festschrift for Marie Duží. - London : College Publications, 2022 / Materna P. ; Jespersen B. - ISBN 978-1-84890-419-4
Pages	s. 187-202
Number of pages	16 s.
Number of pages	356
Publication form	Print - P
Language	eng - English
Country	GB - United Kingdom
Keywords	transparent intensional logic ; execution construction ; trivialization construction ; procedural semantics
Subject RIV	AA - Philosophy ; Religion
OECD category	Philosophy, History and Philosophy of science and technology
Institutional support	FLU-F - RVO:67985955
Annotation	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.
Workplace	Institute of Philosophy
Contact	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Year of Publishing	2023

Number of the records: 1