Deduction in TIL: From simple to ramified hierarchy of types

Result code in 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>

Result on the web

<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

—

Result language

angličtina

Original language name

Deduction in TIL: From simple to ramified hierarchy of types

Original language description

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

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GAP401%2F10%2F0792" target="_blank" >GAP401/10/0792: Temporal aspects of knowledge and information</a><br>

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2013

Confidentiality

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

Name of the periodical

Organon F

ISSN

1335-0668

e-ISSN

—

Volume of the periodical

20

Issue of the periodical within the volume

S 2

Country of publishing house

SK - SLOVAKIA

Number of pages

32

Pages from-to

5-36

UT code for WoS article

000324280300002

EID of the result in the Scopus database

—