This three-part chapter explores a higher-order logic we call 'Classicism', which extends a
minimal classical higher-order logic with further axioms which guarantee that provable …

What is the relation between metaphysical necessity and essence? This paper defends the
view that the relation is one of identity: metaphysical necessity is a special case of essence …

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 …

WV Quine famously defended two theses that have fallen rather dramatically out of fashion.
The first is that intensions are “creatures of darkness” that ultimately have no place in …

This paper argues that the theory of structured propositions is not undermined by the Russell-
Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill …

Alonzo Church proposed a powerful and elegant theory of sequences of functions and their
arguments as surrogates for Russellian singular propositions and singular concepts …

Let an iterated essentialist statement be a statement of the form'It lies in the nature of x1,
x2,... that it lies in the nature of y1, y2,... that φ'. Let Iteration be the thesis that there are true …

Introduction WV Quine famously defended two theses that have fallen rather dramatically out
of fashion. The first (1956, p. 180; 1960a) is that intensions-n-place properties (= relations …

This chapter consists of a novel argument for monism–one that proceeds on purely logical
grounds. In particular, it demonstrates that there are two independently plausible logical …

Abstract The Russell–Myhill theorem threatens a familiar structured conception of
propositions according to which two sentences express the same proposition only if they …