Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F17%3A00100708" target="_blank" >RIV/00216224:14210/17:00100708 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.12775/LLP.2017.010" target="_blank" >http://dx.doi.org/10.12775/LLP.2017.010</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.12775/LLP.2017.010" target="_blank" >10.12775/LLP.2017.010</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA16-19395S" target="_blank" >GA16-19395S: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Logic and Logical Philosophy

ISSN

1425-3305

e-ISSN

2300-9802

Svazek periodika

26

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

PL - Polská republika

Počet stran výsledku

36

Strana od-do

473-508

Kód UT WoS článku

000419219200003

EID výsledku v databázi Scopus

2-s2.0-85037089302