Variables is a project at the intersection of the philosophies of language and logic. Frege, in the Begriffsschrift, crystalized the modern notion of formal logic through the first fully successful characterization of the behaviour of quantifiers. In Variables, I suggest that the logical tradition we have inherited from Frege is importantly flawed, and that Frege's move from treating quantifiers as noun phrases bearing word-world connection to sentential operators in the guise of second-order predicates leaves us both philosophically and technically (...) wanting. (shrink)

So-called mass nouns, however precisely they are defined, are in any case a subset of non-count nouns. Count nouns are either singular or plural; to be non-count is hence to be neither singular nor plural. This is not, as such, a metaphysically significant contrast: 'pieces of furniture' is plural whereas 'furniture' itself is non-count. This contrast is simply between 'the many / few' and 'the much / little' - between counting and measuring. However not all non-count nouns are, like 'furniture', (...) semantically atomic - 'wine' and 'water' are not. And here there are serious difficulties in the assignment of a range of values for variables, in a formal representation of quantified sentences involving such non-atomic non-count nouns. (shrink)

We begin with an introductory overview of contributions made by more than twenty scholars associated with the Philosophy Department at the University of Buffalo during the last half-century to our understanding and evaluation of Aristotle's logic. More well-known developments are merely mentioned in..

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (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)

Proper names are generally taken to be count nouns. This paper argues that this is mistaken and that at least in some languages, for example German, names divide into mass and count. Making use of Kayne's (2005, 2010) theory of light nouns, this paper argues that light nouns are part of (simple) names and that a mass-count distinction among light nouns explains the behavior of certain types of names in German as mass rather than count. The paper elaborates the role (...) of light nouns with new generalizations regarding their linguistic behavior in quantificational and pronominal NPs, their selection of relative pronouns in German, and a general difference in the support of plural anaphora between English and German. (shrink)

Autism has been defined as a disorder of social cognition, interaction and communication where ritualistic, repetitive behaviors are commonly observed. But how should we understand the behavioral and cognitive differences that have been the main focus of so much autism research? Can high-level cognitive processes and behaviors be identified as the core issues people with autism face, or do these characteristics perhaps often rather reflect individual attempts to cope with underlying physiological issues? Much research presented in this volume will point (...) to the latter possibility, i.e. that people on the autism spectrum cope with issues at much lower physiological levels pertaining not only to Central Nervous Systems (CNS) function, but also to peripheral and autonomic systems (PNS, ANS) (Torres, Brincker, et al. 2013). The question that we pursue in this chapter is what might be fruitful ways of gaining objective measures of the large-scale systemic and heterogeneous effects of early atypical neurodevelopment; how to track their evolution over time and how to identify critical changes along the continuum of human development and aging. We suggest that the study of movement variability—very broadly conceived as including all minute fluctuations in bodily rhythms and their rates of change over time (coined micro-movements (Figure 1A-B) (Torres, Brincker, et al. 2013))—offers a uniquely valuable and entirely objectively quantifiable lens to better assess, understand and track not only autism but cognitive development and degeneration in general. This chapter presents the rationale firstly behind this focus on micro-movements and secondly behind the choice of specific kinds of data collection and statistical metrics as tools of analysis (Figure 1C). In brief the proposal is that the micro-movements (defined in Part I – Chapter 1), obtained using various time scales applied to different physiological data-types (Figure 1), contain information about layered influences and temporal adaptations, transformations and integrations across anatomically semi-independent subsystems that crosstalk and interact. Further, the notion of sensorimotor re-afference is used to highlight the fact that these layered micro-motions are sensed and that this sensory feedback plays a crucial role in the generation and control of movements in the first place. In other words, the measurements of various motoric and rhythmic variations provide an access point not only to the “motor systems”, but also access to much broader central and peripheral sensorimotor and regulatory systems. Lastly, we posit that this new lens can also be used to capture influences from systems of multiple entry points or collaborative control and regulation, such as those that emerge during dyadic social interactions. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given (...) language). (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

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)

Recent experimental work has shown that the truth-value judgments of color predications, i.e. utterances of the form “the leaves on my tree are green” or “these walls are brown,” are influenced by slight changes in the context of utterance (Hansen and Chemla 2013, Ziółkowski, 2021). Most explanations of this phenomenon focus on the semantics of color adjectives. However, it is not clear if these explanations do justice to the nuances of the empirical data on context-sensitivity of color predications (Ziółkowski, 2021). (...) In contrast to the adjectival explanations, Agustin Vicente (2015) has recently proposed that the context-sensitivity of color predications can be explained by invoking the polysemy of the noun. In this paper, we present the results of three studies designed to empirically test this hypothesis: a traditional survey experiment (Study 1), an exploratory correlational study inspired by the semantic integration paradigm (Study 2a), and a follow-up experiment (Study 2b) that was designed to mitigate possible shortcomings of Study 2a. The results of our studies present preliminary evidence against Vicente’s theory. (shrink)

Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This paper examines the scopal interaction of aspectual raising verbs (begin), modals (can), and intensional raising verbs (threaten) with quantificational subjects in (...) Shupamem, Dutch, and English. It appears that aspectual raising verbs and at least modals may undergo the same kind of overt or covert scope-changing operations as nominal quantifiers; the case of intensional raising verbs is less clear. Scope interaction is thus shown to be a new potential diagnostic of object-linguistic quantification, and the similarity in the scope behavior of nominal and verbal quantifiers supports the grammatical plausibility of ontological symmetry, explored in Schlenker (2006). (shrink)

Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in (...) linguistics is that reflexive and personal pronouns are free variables that get bound by an antecedent through some coindexing mechanism. In variable free semantics the same task is performed by some combinator that identifies two arguments of the function it operates on (a duplicator). This combinator may be built into the lexical semantics of the pronoun, into that of the antecedent, or it may be a free-floating operation applicable to predicates or larger chunks of texts, i.e. a typeshifter. This note is concerned with the case of cross-sentential anaphora. It adopts Hepple’s and Jacobson’s interpretation of pronouns as identity maps and asks how this can be extended to the cross-sentential case, assuming the dynamic semantic view of anaphora. It first outlines the possibility of interpreting indefinites that antecede non-ccommanded pronouns as existential quantifiers enriched with a duplicator. Then it argues that it is preferable to use the duplicator as a type-shifter that applies “on the fly”. The proposal has consequences for two central ingredients of the classical dynamic semantic treatment: it does away with abstraction over assignments and with treating indefinites as inherently existentially quantified. However, cross-sentential anaphora remains a matter of binding, and the idea of propositions as context change potentials is retained. (shrink)

Polysemy seems to be a relatively neglected phenomenon within philosophy of language as well as in many quarters in linguistic semantics. Not all variations in a word’s contribution to truth-conditional contents are to be thought as expressions of the phenomenon of polysemy, but it can be argued that many are. Polysemous terms are said to contribute senses or aspects to truth-conditional contents. In this paper, I will make use of the notion of aspect to argue that some apparently wild variations (...) in an utterance’s truth conditions are instead quite systematic. In particular, I will focus on Travis’ much debated green leaves case and explain it in terms of the polysemy of the noun; and in particular, in terms of the as-it-is and the as-it-looks aspects associated with kind words. (shrink)

: In the present paper we give a new method for estimation and quantification of Heart Rate Variability (HRV) in the VLF,LF,HF bands using the basic concept of variability previously introduced. The method enables to quantify ANS modulation of R-R intervals. In the subsequent paper we will give detailed exposition of the performed and confirming experiments.

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

Complex demonstratives, expressions of the form 'That F', 'These Fs', etc., have traditionally been taken to be referring terms. Yet they exhibit many of the features of quantified noun phrases. This has led some philosophers to suggest that demonstrative determiners are a special kind of quantifier, which can be paraphrased using a context sensitive definite description. Both these views contain elements of the truth, though each is mistaken. We advance a novel account of the semantic form of complex (...) demonstratives that shows how to reconcile the view that they function like quantified noun phrases with the view that simple demonstratives function as context sensitive referring terms wherever they occur. If we are right, previous accounts of complex demonstratives have misconceived their semantic role; and philosophers relying on the majority view in employing complex demonstratives in analysis have proceeded on a false assumption. (shrink)

According to James McCawley (1981) and Richard Larson and Gabriel Segal (1995), the following sentence is three-ways ambiguous: -/- Harry wants to be the mayor of Kenai. -/- According to them also, the three-way ambiguity cannot be accommodated on the Russellian view that definite descriptions are quantified noun phrases. In order to capture the three-way ambiguity of the sentence, these authors propose that definite descriptions must be ambiguous: sometimes they are predicate expressions; sometimes they are Russellian quantified noun (...) phrases. After explaining why the McCawley-Larson-Segal solution contains an obvious flaw, I discuss how an effort to correct the flaw brings to light certain puzzles about the individuation of desires, about quantifying in, and about the disambiguation of desire ascriptions. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...) higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several (...) extensions of \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We (...) consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...) descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

Our paper presents a novel theory of weak crossover effects, based entirely on quantifier scope preferences and their consequences for variable binding. The structural notion of 'crossover' play no role. We develop a theory of scope preferences which ascribes a central role to the AGR-P System.

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus (...) for determining this criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation (...) models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

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)

This chapter is concerned with plural discourse in the grammatical sense. The goal of the chapter is to urge the value of the event analysis of the matrix of action sentences in thinking about logical form in plural discourse about action. Among the claims advanced are that: -/- 1. The ambiguity between distributive and collective readings of plural action sentences is not lexical ambiguity, either in the noun phrase (NP) or in the verb phrase (VP), but an ambiguity tracing (...) to the scope of the event quantifier introduced by the action verb. 2. This allows us to analyze collective action sentences in a way that commits us only to individual agents acting when we say that groups act, without denying that there are groups as such or that we talk about them as such. 3. Intermediate readings, that seem to be neither purely distributive nor purely collective, can be explained in terms of the same apparatus. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

Charles Travis has been forcefully arguing that meaning does not determine truth-conditions for more than two decades now. To this end, he has devised ingenious examples whereby different utterances of the same prima facie non-ambiguous and non-indexical expression type have different truth-conditions depending on the occasion on which they are delivered. However, Travis does not argue that meaning varies with circumstances; only that truth-conditions do. He assumes that meaning is a stable feature of both words and sentences. After surveying some (...) of the explanations that semanticists and pragmaticians have produced in order to account for Travis cases, I propose a view which differs substantially from all of them. I argue that the variability in the truth-conditions that an utterance type can have is due to meaning facts alone. To support my argument, I suggest that we think about the meanings of words (in particular, the meanings of nouns) as rich conceptual structures; so rich that the way in which a property concept applies to an object concept is not determined. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

In his contribution, Mark Alfano lays out a new (to virtue theory) naturalistic way of determining what the virtues are, what it would take for them to be realized, and what it would take for them to be at least possible. This method is derived in large part from David Lewis’s development of Frank Ramsey’s method of implicit definition. The basic idea is to define a set of terms not individually but in tandem. This is accomplished by assembling all and (...) only the common sense platitudes that involve them (e.g., typically, people want to be virtuous), conjoining those platitudes, and replacing the terms in question by existentially quantified variables. If the resulting sentence is satisfied, then whatever satisfies are the virtues. If it isn’t satisfied, there are a couple of options. First, one could just admit defeat by saying that people can’t be virtuous. More plausibly, one could weaken the conjunction by dropping a small number of the platitudes from it (and potentially adding some others). Alfano suggests that the most attractive way to do this is by dropping the platitudes that deal with cross-situational consistency and replacing them with platitudes that involve social construction: basically, people are virtuous (when they are) at least in part because other people signal their expectations of virtuous conduct, which induces virtuous conduct, which in turn induces further signals of expected virtuous conduct, and so on. (shrink)

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...) propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

ABSTRACT In the present study, I explore the relationship between purpose, which was measured by the Claremont Purpose Scale, and moral psychological indicators, moral reasoning, moral identity, and empathy. Purpose was quantified in terms of three subcomponents: meaning, goal, and beyond-the-self motivation. Moral reasoning was assessed in terms of utilization of postconventional moral reasoning. Moral identity was examined with two subscales: moral internalization, and symbolization. Among diverse subscales of empathy, I focused on empathic concern and perspective taking, which have been (...) reported to be strongly related to morality. To explore the best prediction models using the data, I employed Bayesian Model Selection and Bayesian regression analysis. In general, purpose was significantly predicted by most surveyed moral psychological indicators but not by moral symbolization. The best prediction model for beyond-the-self motivation included the most moral psychological indicator predictors including moral reasoning, which did not significantly predict other dependent variables. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate (...) account of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

Popper's well-known demarcation criterion has often been understood to distinguish statements of empirical science according to their logical form. Implicit in this interpretation of Popper's philosophy is the belief that when the universe of discourse of the empirical scientist is infinite, empirical universal sentences are falsifiable but not verifiable, whereas the converse holds for existential sentences. A remarkable elaboration of this belief is to be found in Watkins's early work on the statements he calls “all-and-some,” such as: “For every metal (...) there is a melting point.” All-and-some statements are both universally and existentially quantified in that order. Watkins argued that AS should be regarded as both nonfalsifiable and nonverifiable, for they partake in the logical fate of both universal and existential statements. This claim is subject to the proviso that the bound variables are “uncircumscribed” ; i.e., that the universe of discourse is infinite. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...) diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a modal predicative response (...) to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

The first part of this article (Sections 1–5) focuses on the classical notions of scope and binding and their formal foundations. It argues that once their semantic core is properly understood, it can be implemented in various different ways: with or without movement, with or without variables. The second part (Sections 6–12) takes up the empirical issues that have redrawn the map in the past two decades. It turns out that scope is not a primitive. Existential scope and distributive scope (...) have to be distinguished, leaving few if any run-of-the-mill quantifiers. Scope behavior is also not uniform. At least three classes of expressions emerge: indefinites, distributive universals, and counters. Likewise, the bound variable interpretation of pronouns is joined by co-variation with situations. As a result, the classical notions of scope and binding are likely to end up as building blocks in the varied mechanisms at work in “scope phenomena” and “binding phenomena”, and not as self-contained analyses of those phenomena. (shrink)

My objective is a better comprehension of two theoretically fundamental concepts. One, the concept of a substance in an ordinary (non-Aristotelian) sense, ranging over such things as salt, carbon, copper, iron, water, and methane – kinds of stuff that now count as (chemical) elements and compounds. The other I’ll call the object-concept in the abstract sense of Russell, Wittgenstein, and Frege in their logico-semantical enquiries. The material object-concept constitutes the heart of our received logico / ontic system, still massively influenced (...) by Aristotle after almost 2.5 millennia. On such an account, the fundamentality of material objects and their attributes are the metaphysical basis of the cosmos, as reflected in our received logic, Quine’s ‘canonical notation’ – derived via the empiricism of Russell from Frege’s function-based Begriffschrifft, and consisting of concrete singular terms and variables, quantifiers and predicate-expressions. The inadequacy of Frege’s approach to understanding concepts is reflected in his initial question. Frege enquires of ‘what it is that we are calling an object’, remarking that he regards a regular definition as impossible: “we have here something too simple to admit of logical analysis”. The imagined ultimacy or simplicity of the idea of a single object (arithmetically, just a unit – one as against two, three, four, etc.) as foundational to the calculus is just that – imagined. It is also guaranteed to block the comprehension of the substance-concept. (shrink)