Is Transparent Intensional Logic a non-classical logic?
نویسندگان
چکیده
منابع مشابه
Pavel Materna IS TRANSPARENT INTENSIONAL LOGIC A NON - CLASSICAL LOGIC ?
It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with nonclassical logics; (c) TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedure...
متن کاملFunctional Programming Based on Transparent Intensional Logic
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the TILScript project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script...
متن کاملMind modeling using Transparent Intensional Logic
In this paper the possibility of human mind modeling is discussed. According the recent knowledge from cognitive and neurology sciences we inspect the human brain principles. Position of natural language (NL) is outlined alongside its connection with human senses. As a result the Theory of three layers (TTL) is introduced. Arguments from the Incompleteness theory are used to support its own tru...
متن کاملHow to Analyze Natural Language with Transparent Intensional Logic?
Logical analysis of natural language text is generally an underspecified task. However, within the project aiming at automatic processing of natural language (NL) text by means of logical analysis followed with the inference process, we need to have a “de facto” standard way for analysis of each NL sentence. First steps for introducing such standard are described in the presented text. The pape...
متن کاملAnalyzing Time-Related Clauses in Transparent Intensional Logic
The Normal Translation Algorithm (NTA) for Transparent Intensional Logic (TIL) describes the key parts of standard translation from natural language sentences to logical formulae. NTA was specified for the Czech language as a representative of a free-word-order language with rich morphological system. In this paper, we describe the implementation of the sentence building part of NTA within a mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2013
ISSN: 1425-3305
DOI: 10.12775/llp.2013.032