ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (shrink)

In this article, we argue for the distinction of three different types of predicates: existence entailing, (existence) neutral, and nonexistence entailing predicates. We provide linguistic tests as well as examples to motivate this distinction. After motivating our views on predicates, we show how our theory is able to deal with a multitude of problematic data both known from the literature as well as new. Then, we develop a multi-domain predicate logic inspired by certain versions of free logics in order to (...) represent these entailments in a formal way. (shrink)

The basic claims of traditional truth-conditional semantics are that the semantic interpretation of a sentence is connected to the truth of that sentence in a situation, and that the meaning of the sentence is derived compositionally from the semantic values meaning of its constituents and the rules that combine them. Both claims have been subject to an intense debate in linguistics and philosophy of language. The original research papers collected in this volume test the boundaries of this classic view from (...) a linguistic and a philosophical point of view by investigating the foundational notions of composition, values and interpretation and their relation to the interfaces to other disciplines. They take the classical theories one step further and closer to a realistic semantic theory that covers speaker’s intentions, the knowledge of discourse participants, meaning of fiction and literature, as well as vague and paradoxical utterances. (shrink)