We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent
Intensional Logic. Hyperpropositions are sentential meanings and attitude complements …

According to the structured theory of propositions, if two sentences express the same
proposition, then they have the same syntactic structure, with corresponding syntactic …

Higher-order metaphysics uses the formal languages of higher-order logic to formulate
metaphysical views and arguments. This chapter provides an introduction to the field and an …

Some propositions are true, and it is true that some propositions are true. Each of these facts
looks like an impeccable ground of the other. But they cannot both ground each other, since …

Abstract According to the Dependency Theory, truth asymmetrically depends on the world, in
the following sense: true propositions are true because the world makes them true. The …

I provide an analysis of sentences of the form 'To be F is to be G'in terms of exact truth-maker
semantics—an approach that identifies the meanings of sentences with the states of the …

Agglomerative Algebras Page 1 Journal of Philosophical Logic (2019) 48:631–648 https://doi.org/10.1007/s10992-018-9488-8
Agglomerative Algebras Jeremy Goodman1 Received: 21 February 2017 / Accepted: 2 …

Consider the sentence “Lois knows that Superman flies, but she doesn't know that Clark
flies”. In this paper we defend a Millian contextualist semantics for propositional attitude …

This chapter offers an opinionated introduction to higher-order formal languages with an eye
towards their applications in metaphysics. These languages go beyond the first-order …

Higher‐order metaphysicians take facts to be higher‐order beings, ie, entities in the range of
irreducibly higher‐order quantifiers. In this paper, I investigate the impact of this conception …