Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Logic and Logical Philosophy |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.010 |
| Doi | http://dx.doi.org/10.12775/LLP.2017.010 |
| Obor | Filosofie a náboženství |
| Klíčová slova | logic of problems; algorithmic semantics; procedural semantics; Constructive Type Theory; Transparent Intensional Logic |
| Popis | In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory (CTT), which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic (TIL), which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to TIL-based approach. The focus will be on non-empirical (i.e., mathematical and logical) problems only. |
| Související projekty: |