Online research in philosophy

This paper is about relative clauses whose “head” contains a superlative morpheme and whose main verb is intensional. The sentence in (1) has such a relative clause. We refer to these relative clauses as “intensional superlatives”.

A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbols (for ‘sense’), extensional and intensional functor types are distinguished. A peculiarity of the semantics is the general acceptance of value-gaps (including truth-value-gaps): the possible semantic values (extensions) of extensional functors are partial functions. Some advantages of the system (relatively to R. Montague's intensional logic) are briefly indicated. Also, applications for modelling natural languages are illustrated by examples.

In this paper I argue that perceptual ascriptions lend themselves to intensional readings, and that perceptual predicates can denote phenomenal states on such readings. I show that Montague's treatment of quantification in intensional contexts applies to intensional perceptual ascriptions. I conclude with some remarks on the implications of these findings for disjunctive and non-disjunctive theories of perceptual experience.

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin’s general models and have a natural definition. As a..

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.

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).

This paper discusses the question of which verbs are intensional transitives. In particular, I ask which verbs Forbes should take to be intensional transitives. I argue that it is very difficult to arrive at a clear and plausible understanding of what an intensional transitive is— making it difficult to answer these questions. I end by briefly raising some questions about the usefulness of the category of intensional transitives.

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.

The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness towards nonexistents can be solved using the author's logic.