Deduction in TIL: From simple to ramified hierarchy of types

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F13%3A86086223" target="_blank" >RIV/61989100:27240/13:86086223 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.klemens.sav.sk/fiusav/organon/?q=sk/deduction-til-simple-ramified-hierarchy-types" target="_blank" >http://www.klemens.sav.sk/fiusav/organon/?q=sk/deduction-til-simple-ramified-hierarchy-types</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Deduction in TIL: From simple to ramified hierarchy of types

Popis výsledku v původním jazyce

Tichý?s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý?s calculus to TIL 2010. First I briefly recapitulate the rules of simple-typed calculu

Název v anglickém jazyce

Deduction in TIL: From simple to ramified hierarchy of types

Popis výsledku anglicky

Tichý?s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý?s calculus to TIL 2010. First I briefly recapitulate the rules of simple-typed calculu

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporální aspekty znalostí a informací</a><br>

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

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

Organon F

ISSN

1335-0668

e-ISSN

—

Svazek periodika

20

Číslo periodika v rámci svazku

S 2

Stát vydavatele periodika

SK - Slovenská republika

Počet stran výsledku

32

Strana od-do

5-36

Kód UT WoS článku

000324280300002

EID výsledku v databázi Scopus

—