I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...) of the amended definition, namely the invalidity of the Church-Rosser theorem. I present a counterexample to the validity of the theorem in TIL with an amended definition of substitution. (shrink)

This paper deals with generalisations of modally based criteria for determining whether a given property is essential to an individual to the case of generic essences. These criteria usually presuppose extensionally individuated properties. The limitations of their generalisations are demonstrated using the case of the necessarily empty individual property and the necessarily empty individual office. I do not present a novel stance on the discussion of individual essences. The novelty of this paper lies in its claim that none of these (...) criteria can be generalised to generic essences. (shrink)

In this paper, I investigate type theories from several perspectives. First, I present and elaborate the philosophical and technical motivations for these theories. I then offer a formal analysis of various TTs, focusing on the cardinality of the set of types contained in each. I argue that these TTs can be divided into four formal categories, which are derived from the cardinality of the set of their basic elementary types and the finiteness of the lengths of their molecular types. The (...) paper provides proofs of the cardinality of the universe of types for each of the specified theories. (shrink)

In this paper, I present, generalize and develop the extensionalist theory of rigidity for general terms in light of criteria commonly applied to theories of general term rigidity. According to the theory, a general term is rigid if its extension is constant across all possible worlds. This position has been widely dismissed because it conflicts with the seemingly straightforward idea that natural kind terms have varying extensions from world to world. This criticism holds only to the extent that natural kind (...) terms are indeed rigid. If it turns out that we need not view them as rigid, then the extensionalist theory fares well when compared with other theoretical requirements. (shrink)

This paper formulates a new argument against the received view in the philosophy of poetry. The received view consists of three tenets: the unity of poetic form and poetic content; the impossibility of paraphrasing and translating poetry; and the hyperintensionality of poetry. We will explore the same detour via direct quotation that has been used by proponents of the received view. We will argue that the hyperintensionality and unity of quotation do not guarantee its untranslatability, and thus that the inference (...) of untranslatability from hyperintensionality and unity is not universally valid. As a consequence, the claim that poetry cannot be translated is left without much support, since it relies on the same kind of inference. However, this does not mean that poetry is translatable; it means only that if it is not translatable, this is due to something other than the combination of hyperintensionality and unity. (shrink)

This paper presents an original semantic theory of proper names that aims to cover both non-empty and empty proper names. According to the theory, proper names have simple assignable hyperintensions as their content. This content provides the referent (if there is one) for which the proper name stands. The paper further describes the role of the proposed content of (empty) proper names within the compositional semantics of problematic sentences. I stress the difference between the content of a sentence (i.e. its (...) hyperintension) and the proposition (i.e. a mapping from possible worlds to truth values) denoted by that sentence. (shrink)

This paper investigates the truth values of modal sentences within fictional discourse. I investigate the consequences of (im)possible worlds–based theories of truth in fiction for the truth, in fiction, of (explicit) modal sentences. I elaborate on the consequences of explicit reliable (modal) sentences within the truth-in-fiction operators if we embed the normal modal logics. I prove that the current main possible worlds theories of truth-in-fiction make explicit reliable sentences within fiction truth-value equivalent to their possibility. This has non-intuitive consequences if (...) we employ normal modal logics. These consequences are shown to be contradictory. The main argument of the paper thus concerns the inconsistency of embedding the systems of normal modal logics within the truth-in-fiction operators provided in the discussion. (shrink)

This paper deals with generalisations of modally based criteria for determining whether a given property is essential to an individual to the case of generic essences. These criteria usually presuppose extensionally individuated properties. The limitations of their generalisations are demonstrated using the case of the necessarily empty individual property and the necessarily empty individual office. I do not present a novel stance on the discussion of individual essences. The novelty of this paper lies in its claim that none of these (...) criteria can be generalised to generic essences. (shrink)

This paper presents several important results for Transparent Intensional Logic (TIL). The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction by value – are shown to be invalid. The core principle on which their validity is based – the so-called Compensation Principle – is also shown to be invalid. Further, the paper demonstrates the flaws of the proof of the Compensation Principle.

This paper presents several important results for Transparent Intensional Logic. The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...

The paper deals with a problem in formal theory of quan tification. Firstly, by way of examples, I introduce important parts of the theory. Using type analysis, I present a problem which stems from inadequacy of a rule concerning semantic interpretation of sentences involving n-ary predicates and quantifiers. I propose four distinct principles for specific types of sentences. They are generalized into a general semantic rule, which is, finally, applied to particular examples.

The book presents Transparent Intensional Logic in several of its latest realisations in such a way that it makes a case for the system and demonstrates how the theory can be applied to a wide range of cases.