Add to ORKGPavel Tichý's Transparent Intensional Logic (TIL)is a power ful tool for the logical analysis of natural language. The article discusses one of the key notions of TIL - the notion of trivialisation. Trivialisation belongs to the formal apparatus of the theory but is essentially connected to its philosophical background. The aim of the paper is to clarify the philosophical role of trivialisation and to discuss its counterparts in standard logical systems
In this paper I will explore the question whether the Trivialization construction of transparent int...
Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its ori...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles Univers...
The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further develope...
Abstract: This paper follows in Pavel Tichý’s concept of distinguishing between trivial (i.e. consta...
We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensiona...
It is shown that:(a) classicality is connected with various criteria some of which are fulfilled by ...
Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has general...
It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, prov...
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intension...
I here present and defend what I call the Triviality Theory of Truth (TT), to be understood in analo...
One of the main areas in knowledge representation and logic-based artificial intelligence concerns l...
The paper deals with hot problems of current semantics that are interconnected with a fundamental qu...
In this paper I will explore the question whether the Trivialization construction of transparent int...
Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its ori...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...
Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles Univers...
The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further develope...
Abstract: This paper follows in Pavel Tichý’s concept of distinguishing between trivial (i.e. consta...
We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensiona...
It is shown that:(a) classicality is connected with various criteria some of which are fulfilled by ...
Inquiry into the meaning of logical terms in natural language (‘and’, ‘or’, ‘not’, ‘if’) has general...
It is sometimes objected that Tichý’s logic is not a logic because it underestimates deduction, prov...
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intension...
I here present and defend what I call the Triviality Theory of Truth (TT), to be understood in analo...
One of the main areas in knowledge representation and logic-based artificial intelligence concerns l...
The paper deals with hot problems of current semantics that are interconnected with a fundamental qu...
In this paper I will explore the question whether the Trivialization construction of transparent int...
Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its ori...
AbstractIntensional Logic Programming is a new form of logic programming based on intensional logic ...