This paper deals with the logical form of quantified sentences. Its purpose is to elucidate one plausible sense in which quantified sentences can adequately be represented in the language of first-order logic. Section 1 introduces some basic notions drawn from general quantification theory. Section 2 outlines a crucial assumption, namely, that logical form is a matter of truth-conditions. Section 3 shows how the truth-conditions of quantified sentences can be represented in the language of first-order logic consistently with some established undefinability (...) results. Section 4 sketches an account of vague quantifier expressions along the lines suggested. Finally, section 5 addresses the vexed issue of logicality. (shrink)

Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...) throughout a quantificational context while the other allows them to vary. Inspired by Dynamic Plural Logic and Dependence Logic, we propose Plural Predicate Logic as an extension of Predicate Logic to formalize this difference. We suggest that temporal <i>for</i>-adverbials are sensitive to aspect because of the way they manipulate quantificational contexts, and that analogous manipulations occur with spatial <i>for</i>-adverbials, habituals, and the quantifier <i>all</i>. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the (...) class='Hi'>account provided which bear on three debated issues concerning quantification. (shrink)

Jusqu'à maintenant, il semble qu'on n'ait pas établi de lien entre le rejet par Bolzano de la notation quantificationnelle des propositions universelles de la logique traditionnelle et l'articulation inédite de sa notion de validité universelle. C'est ce que je veux faire ici. En particulier, dans la mesure où l'analyticité est un cas spécial de la validité universelle, j'ai l'intention de défendre l'idée qui veut que la notion bolzanienne d'analyticité cherche à résoudre des problèmes qui sont intrinsèquement liés à la théorie (...) traditionnelle de la quantification universelle tels qu'ils surviennent, notamment avec le traitement kantien de l'analyticité. It seems that the connection between Bolzano's rejection of the traditional quantificational notation for universal propositions and the articulation of his notion of universal validity has remained, until today, perfectly unnoticed. In this paper, I will show that there is such a connection. Particularly, since analyticity is a special case of universal validity, my intention is to show that the problems to which Bolzano's perfectly original account of analyticity seeks to find an answer are intrinsically related to the traditional conception of universal quantification as it arises in the context of Kant's treatment of analyticity. (shrink)

This paper argues for a different logical form for complex demonstratives, given that the quantificational account is correct. In itself that is controversial, but two aspects will be assumed. Firstly, there are arguments to believe that complex demonstratives have quantificational uses. Specifically, there are syntactic arguments. Secondly, a uniform semantics is preferable to a semantics of ambiguity. Given this, the proposed logical forms for complex demonstratives that are prevalent do not respect a fundamental property of quantifiers: permutation (...) invariance. The reason for this is the attempt to retain, in the logical forms proposed, the strong intuitions of reference that uses of complex demonstratives display. The paper suggests that the directly referential intuitions surrounding complex demonstratives cannot be taken to be part of the semantics of the expression. There appears to be no need to do so, either. The paper defends the new logical form against various objections. (shrink)

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

In various of my writings, both in Philosophical Studies and elsewhere, I have argued that an account of trying sentences is available that does not require quantification over alleged attempts or tryings. In particular, adverbial modification in such sentences can be dealt with, without quantification over any such particulars. In ‘Attempts’, Jonathan D. Payton (Payton, 2021) has sought to dispute my claim. In this paper, I consider his claims and reply to them. I believe that my account withstands (...) such scrutiny. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing (...) when justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is (...) G, while the ascription such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

In this paper I revisit the main arguments for a predicate analysis of descriptions in order to determine whether they do in fact undermine Russell's theory. I argue that while the arguments without doubt provide powerful evidence against Russell's original theory, it is far from clear that they tell against a quantificational account of descriptions.

In this article Quine's program for reducing ontology to the semantic level is compared to Aquinas' metaphysical ontology. Some internal inconsistencies of Quine's quantificational account of existence are discussed. Aquinas' account of existence is explicated in response to Quine' mischaracterization of Scholastic ontology. The general nature of an amended logical account of existence incorporating Aquinas' ontological categories is indicated. Finally, recent attempts to harmonize Thomism and analytic philosophy are criticized for failing to note that the (...) class='Hi'>quantificational account of existence is motivated by analytic philosophy's rejection of metaphysical ontology. Nothing short of a logical account of existence within the broader framework of the philosophy of being can legitimate the efforts of analytical Thomists. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory (...) of restricted quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.

(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of (...) an important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

"The main aim of the paper is to compare two types of abstractionistic accounts of fictional objects, and to analyze their consequences for interpretation of existential quantification. According to a proponent of general abstractionistic theory, fictional objects have abstract nature in a way similar to contracts, marriages, and the likes. This view is an alternative to strongly realistic accounts of fictional objects, defended by Terence Parsons or David Lewis. Within abstractionistic theories, as in all philosophical areas, one can find divergences (...) of opinions. The main differences between two of them – Peter van Inwagen's and Edward Zalta's – are connected with the interpretation of existential quantification. According to van Inwagen, “being” is the same as “existence” and its sense is captured by the existential quantifier. Edward Zalta's theory is much closer to the Meinongian Theory of Objects. He argues for the need of distinguishing between “being” and “existence” and for invoking nonexistent objects. Because of that he suggests an alternative interpretation of quantification. Admittedly, there is one abstractionistic source for both theories, but their ontological consequences are different - van Inwagen is a staunch opponent of nonexistent objects, and Zalta describes his own theory as "Meinongian".". (shrink)

Contemporary accounts of the Trinity and Incarnation sometimes employ aspects of Peter Geach's theory of relative identity. Geach's theory provides an account not merely of identity predicates, but also proper names and restricted quantification. In a previous work I developed an account of the doctrines of the Trinity and Incarnation incorporating these three aspects of Geach's theory and tried to show how each might contribute to our understanding of the doctrines. Joseph Jedwab has recently argued that my (...) class='Hi'>account—or any that employs Geach's treatment of restricted quantifiers—leads to serious doctrinal errors. I reply to his criticisms. (shrink)

The Negation Problem states that expressivism has insufficient structure to account for the various ways in which a moral sentence can be negated. We argue that the Negation Problem does not arise for expressivist accounts of all normative language but arises only for the specific examples on which expressivists usually focus. In support of this claim, we argue for the following three theses: 1) a problem that is structurally identical to the Negation Problem arises in non-normative cases, and this (...) problem is solved once the hidden quantificational structure involved in such cases is uncovered; 2) the terms ‘required’, ‘permissible’, and ‘forbidden’ can also be analyzed in terms of hidden quantificational structure, and the Negation Problem disappears once this hidden structure is uncovered; 3) the Negation Problem does not arise for normative language that has no hidden quantificational structure. We conclude that the Negation Problem is not really a problem about expressivism at all but is rather a feature of the quantificational structure of the required, permitted, and forbidden. (shrink)

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself (...) is not an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

This article begins by distinguishing force and mood. Then it lays out desiderata on a successful account. It sketches as background the program of truth-theoretic semantics. Next, it surveys assimilation approaches and argues that they are inadequate. Then it shows how the fulfillment-conditional approach can be applied to imperatives, interrogatives, molecular sentences containing them, and quantification into mood markers. Next, it considers briefly the recent set of propositions approach to the semantics of interrogatives and exclamatives. Finally, it shows how (...) to integrate exclamatives and optatives into a framework similar to the fulfillment approach. (shrink)

In her BBC Reith Lectures on Trust, Onora O’Neill offers a short, but biting, criticism of transparency. People think that trust and transparency go together but in reality, says O'Neill, they are deeply opposed. Transparency forces people to conceal their actual reasons for action and invent different ones for public consumption. Transparency forces deception. I work out the details of her argument and worsen her conclusion. I focus on public transparency – that is, transparency to the public over expert domains. (...) I offer two versions of the criticism. First, the epistemic intrusion argument: The drive to transparency forces experts to explain their reasoning to non-experts. But expert reasons are, by their nature, often inaccessible to non-experts. So the demand for transparency can pressure experts to act only in those ways for which they can offer public justification. Second, the intimate reasons argument: In many cases of practical deliberation, the relevant reasons are intimate to a community and not easily explicable to those who lack a particular shared background. The demand for transparency, then, pressures community members to abandon the special understanding and sensitivity that arises from their particular experiences. Transparency, it turns out, is a form of surveillance. By forcing reasoning into the explicit and public sphere, transparency roots out corruption — but it also inhibits the full application of expert skill, sensitivity, and subtle shared understandings. The difficulty here arises from the basic fact that human knowledge vastly outstrips any individual’s capacities. We all depend on experts, which makes us vulnerable to their biases and corruption. But if we try to wholly secure our trust — if we leash groups of experts to pursuing only the goals and taking only the actions that can be justified to the non-expert public — then we will undermine their expertise. We need both trust and transparency, but they are in essential tension. This is a deep practical dilemma; it admits of no neat resolution, but only painful compromise. (shrink)

W. V. 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 respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses (...) with plural properties and thus undermines the semantic argument in favor of the plural conception of reality. (shrink)

Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.

There are plenty of classic paradoxes about conditional obligations, like the duty to be gentle if one is to murder, and about “supererogatory” deeds beyond the call of duty. But little has been said about the intersection of these topics. We develop the first general account of conditional supererogation, with the power to solve familiar puzzles as well as several that we introduce. Our account, moreover, flows from two familiar ideas: that conditionals restrict quantification and that supererogation emerges (...) from a clash between justifying and requiring reasons. (shrink)

I here defend a theory consisting of four claims about ‘property’ and properties, and argue that they form a coherent whole that can solve various serious problems. The claims are (1): ‘property’ is defined by the principles (PR): ‘F-ness/Being F/etc. is a property of x iff F’ and (PA): ‘F-ness/Being F/etc. is a property’; (2) the function of ‘property’ is to increase the expressive power of English, roughly by mimicking quantification into predicate position; (3) property talk should be understood at (...) face value: apparent commitments are real and our apparently literal use of ‘property’ is really literal; (4) there are no properties. In virtue of (1)–(2), this is a deflationist theory and in virtue of (3)–(4), it is an error theory. (1) is fleshed out as a claim about understanding conditions, and it is argued at length, and by going through a number of examples, that it satisfies a crucial constraint on meaning claims: all facts about ‘property’ can be explained, together with auxiliary facts, on its basis. Once claim (1) has been expanded upon, I argue that the combination of (1)–(3) provides the means for handling several problems: they help giving a happy-face solution to what I call the paradox of abstraction , they form part of a plausible account of the correctness of committive sentences, and, most importantly, they help respond to various indispensability arguments against nominalism. (shrink)

What is the proper metaphysics of quantum mechanics? In this dissertation, I approach the question from three different but related angles. First, I suggest that the quantum state can be understood intrinsically as relations holding among regions in ordinary space-time, from which we can recover the wave function uniquely up to an equivalence class (by representation and uniqueness theorems). The intrinsic account eliminates certain conventional elements (e.g. overall phase) in the representation of the quantum state. It also dispenses with (...) first-order quantification over mathematical objects, which goes some way towards making the quantum world safe for a nominalistic metaphysics suggested in Field (1980, 2016). Second, I argue that the fundamental space of the quantum world is the low-dimensional physical space and not the high-dimensional space isomorphic to the ``configuration space.'' My arguments are based on considerations about dynamics, empirical adequacy, and symmetries of the quantum mechanics. Third, I show that, when we consider quantum mechanics in a time-asymmetric universe (with a large entropy gradient), we obtain new theoretical and conceptual possibilities. In such a model, we can use the low-entropy boundary condition known as the Past Hypothesis (Albert, 2000) to pin down a natural initial quantum state of the universe. However, the universal quantum state is not a pure state but a mixed state, represented by a density matrix that is the normalized projection onto the Past Hypothesis subspace. This particular choice has interesting consequences for Humean supervenience, statistical mechanical probabilities, and theoretical unity. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from (...) the one suggested by standard model-theoretic semantics. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that (...) \\) is high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. (...) 2 is a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

In this paper I propose a set-theoretical interpretation of the logical square of opposition, in the perspective opened by generalized quantifier theory. Generalized quantifiers allow us to account for the semantics of quantificational Noun Phrases, and of other natural language expressions, in a coherent and uniform way. I suggest that in the analysis of the meaning of Noun Phrases and Determiners the square of opposition may help representing some semantic features responsible to different logical properties of these expressions. (...) I will conclude with some consideration on scope interactions between quantifiers. (shrink)

This essay proposes a new theory of agentive modals: ability modals and their duals, compulsion modals. After criticizing existing approaches—the existential quantificational analysis, the universal quantificational analysis, and the conditional analysis—it presents a new account that builds on both the existential and conditional analyses. On this account, the act conditional analysis, a sentence like ‘John can swim across the river’ says that there is some practically available action that is such that if John tries to do (...) it, he swims across the river. The essay argues that the act conditional analysis avoids the problems faced by existing accounts of agentive modality and shows how the act conditional analysis can be extended to an account of generic agentive modal claims. The upshot is a new vantage point on the role of agentive modal ascriptions in practical discourse: ability ascriptions serve as a kind of hypothetical guarantee, and compulsion ascriptions as a kind of nonhypothetical guarantee. (shrink)

One of the central topics in semantic theory over the last few decades concerns the nature of local contexts. Recently, theorists have tried to develop general, non-stipulative accounts of local contexts (Schlenker, 2009; Ingason, 2016; Mandelkern & Romoli, 2017a). In this paper, we contribute to this literature by drawing attention to the local contexts of subclausal expressions. More specifically, we focus on the local contexts of quantificational determiners, e.g. `all', `both', etc. Our central tool for probing the local contexts (...) of subclausal elements is the principle Maximize Presupposition! (Percus, 2006; Singh, 2011). The empirical basis of our investigation concerns some data discussed by Anvari (2018b), e.g. the fact that sentences such as `All of the two presidential candidates are crooked' are unacceptable. In order to explain this, we suggest that the local context of determiners needs to contain the information carried by their restrictor. However, no existing non-stipulative account predicts this. Consequently, we think that the local contexts of subclausal expressions will likely have to be stipulated. This result has important consequences for debates in semantics and pragmatics, e.g. those around the so-called "explanatory problem" for dynamic semantics (Soames, 1982; Heim, 1990; Schlenker, 2009). (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

I develop ontological pluralism about non-being, the view that there are multiple ways, kinds, or modes of non-being. I suggest that the view is both more plausible and defensible than it first seems, and that it has many useful applications across a wide variety of metaphysical and explanatory problems. After drawing out the relationship between pluralism about being and pluralism about non-being, I discuss quantificational strategies for the pluralist about non-being. I examine historical precedent for the view. Finally, I (...) suggest that pluralism about non-being has explanatory power across a variety of domains, and that the view can account for differences between nonexistent past and future times, between omissions and absences, and between different kinds of fictional objects. (shrink)

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), whereas moderate entity realism (...) accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

We are often justified in acting on the basis of evidential confirmation. I argue that such evidence supports belief in non-quantificational generic generalizations, rather than universally quantified generalizations. I show how this account supports, rather than undermines, a Bayesian account of confirmation. Induction from confirming instances of a generalization to belief in the corresponding generic is part of a reasoning instinct that is typically (but not always) correct, and allows us to approximate the predictions that formal epistemology (...) would make. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments (...) troubling. The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order extensional (...) language; (D2) T does not require quantification over intensional entities­i.e., meanings, propositions, properties, relations, or the like­in its treatment of opaque contexts; (D3) T captures the entailment relations that hold in virtue of form between sentences in the language for which it is a theory; (D4) T has a finite number of axioms. If the approach outlined here is correct, it resolves a longstanding complex of problems in metaphysics, the philosophy of mind and the philosophy of language. (shrink)

I argue that taking the Practical Conditionals Thesis seriously demands a new understanding of the semantics of such conditionals. Practical Conditionals Thesis: A practical conditional [if A][ought] expresses B’s conditional preferability given A Paul Weirich has argued that the conditional utility of a state of affairs B on A is to be identified as the degree to which it is desired under indicative supposition that A. Similarly, exploiting the PCT, I will argue that the proper analysis of indicative practical conditionals (...) is in terms of what is planned, desired, or preferred, given suppositional changes to an agent’s information. Implementing such a conception of conditional preference in a semantic analysis of indicative practical conditionals turns out to be incompatible with any approach which treats the indicative conditional as expressing non-vacuous universal quantification over some domain of relevant antecedent-possibilities. Such analyses, I argue, encode a fundamental misunderstanding of what it is to be best, given some condition. The analysis that does the best vis-à-vis the PCT is, instead, one that blends a Context-Shifty account of indicative antecedents with an Expressivistic, or non-propositional, treatment of their practical consequents. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)

The 3sg pronouns “he” and “she” impose descriptive gender conditions (being male/female) on their referents. These conditions are standardly analysed as presuppositions (Cooper in Quantification and syntactic theory, Reidel, Dordrecht, 1983; Heim and Kratzer in Semantics in generative grammar, Blackwell, Oxford, 1998). Cooper argues that, when 3sg pronouns occur free, they have indexical presuppositions: the gender condition must be satisfied by the pronoun’s referent in the actual world. In this paper, we consider the behaviour of free 3sg pronouns in conditionals (...) and focus on cases in which the pronouns’ gender presuppositions no longer seem to be indexical and project locally instead. We compare these cases to previously reported shifty readings of indexicals in so-called “epistemic conditionals” (Santorio in Philos Rev 121(3):359–406, 2012) and propose a unified account of locally projected gender presuppositions and shifty indexicals based on the idea that indicative conditionals are Kaplanian monsters. (shrink)

We propose a new analysis of ability modals. After briefly criticizing extant approaches, we turn our attention to the venerable but vexed conditional analysis of ability ascriptions. We give an account that builds on the conditional analysis, but avoids its weaknesses by incorporating a layer of quantification over a contextually supplied set of actions.

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion of logical (...) extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation (...) of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account (...) is to treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

In the light of the results obtained during the last two decades in analysis of signals by time series, it has become evident that the tools of non linear dynamics have their elective role of application in biological, and, in particular, in neuro-physiological and psycho-physiological studies. The basic concept in non linear analysis of experimental time series is that one of recurrence whose conceptual counterpart is represented from variedness and variability that are the foundations of complexity in dynamic processes. Thus, (...) the recurrence plots and the Recurrence Quantification Analysis (RQA) are discussed. It is shown that RQA represents the most general and correct methodology in investigation of experimental time series. By it we arrive to inspect the inner structure of the time series connected to the signals under investigation. Linked to RQA we prospect also the method CZF, recently introduced by us. It is able to account for a true estimation of variability of signals in time as well as in frequency domain. And, consequently, it may be used in conjunction with classical Fourier analysis, accounting however that it is inappropriate in analysis of non linear and non stationary experimental time series. The use of CZF method in fractal analysis is also considered in addition to standard index as Hurst exponent. A large field of possible applications in neurological as well as in psycho-physiological studies is given. Also, there are given examples of other and (possibly linked) applications as example the analysis of beat-to-beat fluctuations of human heartbeat intervals that is sovereign in psycho-physiological studies. We give applications on some different planes to evidence the particular sensitivity of such methods. We reach the objective to show that the previously exposed methods are also able to predict in advance the advent of ventricular tachycardia and/or of ventricular fibrillation. The RQA analysis gives good results. The CZF method gives the most excellent results showing that it is able to give very significant indexes of prediction. We also apply such methods in investigation of state anxiety, and proposing in detail a quantum like model of such phenomenological status of the mind. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)