In this paper, I propose a solution to Fitch’s paradox that draws on ideas from Edgington (Mind 94:557–568, 1985), Rabinowicz and Segerberg (1994) and Kvanvig (Noûs 29:481–500, 1995). After examining the solution strategies of these authors, I will defend the view, initially proposed by Kvanvig, according to which the derivation of the paradox violates a crucial constraint on quantifier instantiation. The constraint states that non-rigid expressions cannot be substituted into modal positions. We will introduce a slightly modified syntax and semantics (...) that will help underline this point. Furthermore, we will prove results about the consistency of verificationism and the principle of non-omniscience by model-theoretical means. Namely, we prove there exists a model of these principles, and delineate certain constraints they pose on a structure in which they are true. (shrink)

In this paper, I re-examine Dummett's arguments against realism and, most notably, those against truth conditional semantics. Dummett claims that a (realist) truth conditional meaning theory will invariably encounter limitations when accounting for the meanings of the statements of the so-called "disputed class", and so must be rejected in favour of a theory of meaning couched in terms of proof or verification. The first part of this paper seeks to faithfully reconstruct Dummett's position on meaning. The subsequent parts are critical (...) of this position. In particular, I attempt to expose the shortcomings of an antirealist theory of meaning on the one hand, and then show how truth conditional semantics (be they realist or not) emerge relatively unscathed from Dummett's criticism on the other. (shrink)

This paper is predicated on the idea that some modal operators are better understood as quantificational expressions over worlds that determine not only first-order facts but modal facts also. In what follows, we will present a framework in which these two types of facts are brought closer together. Structural features will be located in the worlds themselves. This result will be achieved by decomposing worlds into parts, where some of these parts will have “modal import” in the sense that they (...) will determine structure on other worldly parts. The main upshot of this will be a clearer grasp of the interaction between modal notions. (shrink)

ABSTRACT: In this paper, I revisit arguments for and against various theses concerning higher-order knowledge in order to fully gauge their impact on the principles of positive and negative introspection. I argue that the expression “knowing that one knows” has at least two salient understandings: the more common one, labelled “transparentist”, validates the principle of positive introspection, while the other which is less common, labelled “agrippean”, supports some of the arguments against this principle.