Organon F

Volume 33, August 2026, Issue 3, Pages 330–346

ISSN 2585-7150 (online)

The article presents an analysis of rules for collisionless substitution in Transparent Procedural Logic, a new version of Transparent Intensional Logic. The article compares rules for collisionless substitution in Transparent Procedural Logic and the current standard form of Transparent Intensional Logic. The article shows that, in some cases, the current rule for collisionless substitution into double execution in Transparent Procedural Logic creates problems in determining the object v-constructed by the resulting construction.

Collisionless substitution; construction; free occurrence of variable; Transparent Intensional Logic; Transparent Procedural Logic; the ramified hierarchy of types.

Author

Jozef Sábo

Affiliation

Institute of Philosophy SAS, v.v.i.

Address

Department of Analytic Philosophy, Institute of Philosophy SAS, v.v.i., 3 Klemensova 19, Bratislava, 811 09, Slovak Republic

E-mail

jozef.sabo@savba.sk 

Received

10 June 2025

Revised

3 February 2025

Accepted

12 March 2026

Publishers

Institute of Philosophy of the Slovak Academy of Sciences

Institute of Philosophy of the Czech Academy of Sciences

APA

Sábo, J. (2026). On Certain Problems of Collisionless Substitution into Double Execution in Transparent Procedural Logic (TPL). Organon F, 33(3), 330–346. https://doi.org/10.31577/orgf.2026.33305

Chicago

Sábo, Jozef. 2026. "On Certain Problems of Collisionless Substitution into Double Execution in Transparent Procedural Logic (TPL)." Organon F 33 (3): 330–346. https://doi.org/10.31577/orgf.2026.33305

Harvard

Sábo, J. (2026). On Certain Problems of Collisionless Substitution into Double Execution in Transparent Procedural Logic (TPL). Organon F, 33(3), pp. 330–346. https://doi.org/10.31577/orgf.2026.33305

© Jozef Sábo

https://www.sav.sk/?lang=sk&doc=journal-list&part=article_response_page&journal_article_no=44887

The above URL is linked to the article's response page. The response page is a permanent location associated with the article's DOI number.

---

This article is distributed under the Creative Commons Attribution-NonCommercial 4.0 International Public License (CC BY-NC 4.0).