Learn More
In the paper we show that sentences differing only in topic-focus articulation have different logical structures, and thus they also have different truth-conditions. Our analysis is based on the procedural semantics of Transparent Intensional Logic (TIL) assigning to sentences hyperpropositions as their structured meanings. We analyse the phenomena of(More)
Introduction The principle somewhat vaguely formulated by Frege (see above) and called ‘Parmenides Principle’ in a not published manuscript by Pavel Tichý, can be interpreted in two mutually complementing ways. First – the way exploited by Frege and Tichý – an expression cannot be said to speak about something without denoting (naming) this something; an(More)
Documented software processes and their assessments are the basics of modern software development. Currently the semantic web, knowledge bases and knowledge management have many applications. Yet, applications to support software processes (and business processes in general) are rather neglected. In this paper we focus on applying a knowledge layer into(More)
The notion of the logical form of an expression E is shown to be a semantic notion that can be derived from the notion of the structured meaning of E. This simple idea can be traced to categorial grammars, and it is implicitly used by Richard Montague. We argue that a most fine-grained tool for defining structured meaning can be found in Pavel Tichý’s(More)