J 2017

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

PEZLAR, Ivo

Základní údaje

Originální název

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

Autoři

PEZLAR, Ivo (203 Česká republika, garant, domácí)

Vydání

Logic and Logical Philosophy, Nicolaus Copernicus University, 2017, 1425-3305

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

60301 Philosophy, History and Philosophy of science and technology

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14210/17:00100708

Organizační jednotka

Filozofická fakulta

DOI

UT WoS

000419219200003

Klíčová slova anglicky

logic of problems; algorithmic semantics; procedural semantics; Constructive Type Theory; Transparent Intensional Logic

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 30. 4. 2019 08:44, Mgr. Igor Hlaváč

Anotace

V originále

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ávaznosti

GA16-19395S, projekt VaV
Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)
Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů