The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)
The boundary between analytic and synthetic sentences is well definable. Quine’s attempt to make it vague is based on a misunderstanding: instead of freeing semantics from shortcomings found, e.g. in Carnap’s work, Quine actually rejects semantics of natural language and replaces it by behavioristically articulated pragmatics. Semantics of natural language as a logical analysis is however possible and it can justify hard and fast lines between analyticity and syntheticity.
This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical and (...) essential with respect to particular individuals and natural kinds. The key notion of intensional essentialism isrequisite. A requisite is explicated as a relation-in-extension between two intensions (functions from possible worlds and moments of time)X, Y such that wherever and wheneverX is instantiatedY is also instantiated. We predict three readings of the sentence. Every wooden table is necessarily wooden , one involving modalityde re and the other two modalityde dicto. The first reading claims that no individual which is a wooden table is necessarily wooden. The claim is backed up by bare particular anti-essentialism. The two other interpretations claim that it is necessary that whatever is a wooden table is wooden. However, as we try to show, one is logically far more perspicuous thanks to the concept of requisite and thus preferable to more standardde dicto formalizations. (shrink)
Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo α- and η-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church’s conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept (...) and every concept can be viewed as a problem.Kolmogorov’s idea of a connection between problems and Heyting’s calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions. (shrink)
Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).
Quine claims that a) considering meaning as a separate object leads to mentalism and b) to overcome mentalism we have to accept an empirical analysis. The paper shows that a) is wrong and not accepting mentalism we can apply a logical, i.e., not empirical approach.
The goal of this paper is a philosophical explication and logical rectification of the notion of concept. We take into account only those contexts that are relevant from the logical point of view. It means that we are not interested in contexts characteristic of cognitive sciences, particularly of psychology, where concepts are conceived of as some kind of mental objects or representations. After a brief recapitulation of various theories of concept, in particular Frege’s and Church’s ones, we propose our own (...) theory based on procedural semantics of Transparent Intensional Logic (TIL) and explicate concept in terms of the key notion of TIL, namely construction viewed as an abstract, algorithmically structured procedure. (shrink)
There is a distinctive kind of command, namely commands to answer specific questions. An imperative sentence denoting such a command has an interrogative sentence corresponding to it-a sentence denoting the respective question. LetImp, Int, andQ be such an imperative sentence, the interrogative sentence corresponding to it, and the question denoted by the interrogative sentence, respectively. LetQ be an empirical question, i. e., and ((ητ)ω)-object. LetP be an ((ητ)ω)-construction constructingQ. Then the analysis ofImp has the form (QL).LetQ be an analytical question, (...) i. e., a molecular extensional η-construction. LetQ=C, whereC is a ℊ-object (over the extended base). Then the analysis ofImp has the form (QL′). The imperative sentences whose analyses have the form (QL) or (QL′) can be called ‘question-like imperative sentences’ or simply ‘QL-imperative sentences’. No imperative sentence whose analysis differs from (QL) and (QL\t') can be associated with a question. Therefore, no transformation of such an imperative sentence should result in a correct interrogative sentence. Fulfilling an order which is determined by a QL-imperative sentenceImp, one simultaneously gives the right answer to the questionQ (which is associated withImp). One who does not fulfil this order either wrongly answersQ or does not answerQ at all. (shrink)
The author defends the view that the notion of concept, if used in the logical tradition, should be explicated procedurally . He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.
It is shown that: classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; some more general characteristic of classicality connects it with philosophical realism whereas anti-realism is connected with non-classical logics; TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
This Festschrift is in honour of Professor Marie Duzí, VSB - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication to personal recollections. Marie Duzí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or (...) co-authored, has appeared in various high-level journals. In 2008 the Rector of her home university granted Marie the award Outstanding Results in the Development of Science and Research. The 2010 monograph Procedural Semantics for Hyperintensional Logic earned Marie and her coauthors the prestigious Award for Outstanding Results of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent Intensional Logic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected Recent Essays, also published by College Publications. (shrink)
In the paper, Priorś well-known \'tonk\' argument is examined and taken as a basis for general considerations regarding the logical status of implicit definition, and the semantical status of the \'tonk\'-like expressions. Further, the whiff of logical vanity attendant upon Priorś conclusions is dispelled by employing a new theory of concept. In particular, the authors argue that: a) Priorś \'tonk\' argument discredits neither the concept of analytical validity nor the role of implicit definition. The arguments underlying the authors\' view draw (...) from both syntactical and semantical considerations of the alleged \'tonk\' connective. b) Decisive criticism of the very concept of implicit definition of logical connectives can be, anstead, based on Tichýś view of formal axiomatics as a case of\'the Fallacy of Subject Matter\'. c) The semantical analysis of the so-called śtrictly empty\' concepts, as introduced by Materna in his theory of concept, renders a viable account of the mysteries and confusions surrounding Priorś witty and inspiring \'tonk\' example. (shrink)