Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

Aboutness has been studied from any number of angles. Brentano made it the defining feature of the mental. Phenomenologists try to pin down the aboutness-features of particular mental states. Materialists sometimes claim to have grounded aboutness in natural regularities. Attempts have even been made, in library science and information theory, to operationalize the notion. But it has played no real role in philosophical semantics. This is surprising; sentences have aboutness-properties if anything does. Aboutness is the first book to examine through (...) a philosophical lens the role of subject matter in meaning. A long-standing tradition sees meaning as truth-conditions, to be specified by listing the scenarios in which a sentence is true. Nothing is said about the principle of selection--about what in a scenario gets it onto the list. Subject matter is the missing link here. A sentence is true because of how matters stand where its subject matter is concerned. Stephen Yablo maintains that this is not just a feature of subject matter, but its essence. One indicates what a sentence is about by mapping out logical space according to its changing ways of being true or false. The notion of content that results--directed content--is brought to bear on a range of philosophical topics, including ontology, verisimilitude, knowledge, loose talk, assertive content, and philosophical methodology. Written by one of today's leading philosophers, Aboutness represents a major advance in semantics and the philosophy of language. (shrink)

Mark Colyvan (2010) raises two problems for ‘easy road’ nominalism about mathematical objects. The first is that a theory’s mathematical commitments may run too deep to permit the extraction of nominalistic content. Taking the math out is, or could be, like taking the hobbits out of Lord of the Rings. I agree with the ‘could be’, but not (or not yet) the ‘is’. A notion of logical subtraction is developed that supports the possibility, questioned by Colyvan, of bracketing a theory’s (...) mathematical aspects to obtain, as remainder, what it says ‘mathematics aside’. The other problem concerns explanation. Several grades of mathematical involvement in physical explanation are distinguished, by analogy with Quine’s three grades of modal involvement. The first two grades plausibly obtain, but they do not require mathematical objects. The third grade is likelier to require mathematical objects. But it is not clear from Colyvan’s example that the third grade really obtains. (shrink)

ABSTRACTAn undemanding claim ϕ sometimes implies, or seems to, a more demanding one ψ. Some have posited, to explain this, a confusion between ϕ and ϕ*, an analogue of ϕ that does not imply ψ. If-thenists take ϕ* to be If ψ then ϕ. Incrementalism is the form of if-thenism that construes If ψ then ϕ as the surplus content of ϕ over ψ. The paper argues that it is the only form of if-thenism that stands a chance of being (...) correct. (shrink)

Stephen Yablo (2001) argues that traditional fictionalist strategies run into trouble due to a mismatch between the modal status of a claim like ‘2 + 3 = 5’ and the modal status of its fictionalist paraphrase. I argue here that Yablo is best seen as confronting the fictionalist with a dilemma, and then go on to show how this dilemma can be resolved.

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (shrink)

In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section 4.How (...) many times have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth? (Arthur Conan Doyle)You've put me in an impossible situation. (Anonymous)[N]othing we imagine is absolutely impossible. (David Hume). (shrink)

The topic of this special issue of Synthese is hyperintensionality. This introduction offers a brief survey of the very notion of hyperintensionality followed by a summary of each of the papers in this collection. The papers are foundational studies of hyperintensionality accompanied by ample philosophical applications.Hyperintensionality concerns the individuation of non-extensional entities such as propositions and properties, relations-in-intension and individual roles, as well as, for instance, proofs and judgments and computational procedures, in case these do not reduce to any of (...) the former. Hyperintensional individuation is frequently also referred to as ‘fine-grained’ or sometimes simply ‘intensional’ individuation, when ‘intensional’ is not understood in the specific sense of possible-world semantics or in the pejorative sense of flouting various logical rules of extensional logic. A principle of individuation qualifies as hyperintensional as soon as it is finer than necessary .. (shrink)

I propose a way of formulating scientific laws and magnitude attributions which eliminates ontological commitment to mathematical entities. I argue that science only requires quantitative sentences as thus formulated, and hence that we ought to deny the existence of sets and numbers. I argue that my approach cannot plausibly be extended to the concrete "theoretical" entities of science.

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

I develop a basic theory of content within the framework of truthmaker semantics and, in the second part, consider some of the applications to subject matter, common content, logical subtraction and ground.

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...) is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional. (shrink)

It is shown that the logical truth of instances of the T-schema is incompatible with the formal nature of logical truth. In particular, since the formality of logical truth entails that the set of logical truths is closed under substitution, the logical truth of T-schema instances entails that all sentences are logical truths.

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

Identity, Essence, and Indiscernibility - Intrinsicness - Cause and Essence - Advertisement for a Sketch of an Outline of a Prototheory of Causation - Does Ontology Rest on a Mistake? - Apriority and Existence - Go Figure: A Path through Fictionalism - Abstract Objects: A Case Study - The Myth of the Seven - Carving Content at the Joints - Non-Catastrophic Presupposition Failure - Must Existence-Questions Have Answers?