The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not (...) come for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A (...) unique feature of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include (...) non-existent things, as they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (shrink)

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)

There is a growing movement towards construing some classic debates in ontology as meaningless, either because the answers seem obvious or the debates seem intractable. In this paper, I respond to this movement. The response has three components: First, the members of the two sides of the ontological debates that dismissivists have targeted are using different quantifiers. Second, the austere ontologist is using a more fundamental quantifier than her opponent. Third, the austere ontologist’s more fundamental quantifier is a restriction of (...) her opponent’s quantifier. This response takes seriously the intuition that there is something wrong with the ontological disputes, but does not entail dismissivism. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there are well-known (...) reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and (...) the quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

I provide a classification of varieties of pantheism. I argue that there are two different kinds of commitments that pantheists have. On the one hand, there is an ontological commitment to the existence of a sum of all things. On the other hand, there is an ideological commitment: either collectively or distributively, the sum of all things is divine.

Hackl and colleagues (2012) argue that processing evidence specifically supports a theory of An-tecedent Contained Deletion (ACD) that involves the threat of type mismatch and infinite re-gress, with Quantifier Raising (QR) coming to the rescue. This squib argues that the processing evidence does not specifically support that theory. Very similar predictions can be made by the variable-free, or combinatory, theory that Hackl and colleagues dismiss, if we add the assumption that ACD is resolved by binding, not by simple anaphora.

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.

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when (...) applied to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional (...) contexts.) One rule validates this inference: Mary believes of the Evening Star that it is a planet; therefore, there is an x such that Mary believes of x that it is a planet. The other rule validates this inference: the Evening Star is such that it is believed by Mary to be a planet; therefore, there is an x such that x is believed by Mary to be a planet. Issues unique to the de re variant include partiality and existential presupposition, sub- stitutivity of co-referential (as opposed to co-denoting or synony- mous) terms, anaphora, and active vs. passive voice. The validity of quantifying-in presupposes an extensional logic of hyperinten- sions preserving transparency and compositionality in hyperinten- sional contexts. This requires raising the bar for what qualifies as co-denotation or equivalence in extensional contexts. Our logic is Tichý’s Transparent Intensional Logic. The syntax of TIL is the typed lambda calculus; its highly expressive semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The two non-standard features we need are a hyper- intension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hy- perintensions. (shrink)

In Lewis reconstructs set theory using mereology and plural quantification (MPQ). In his recontruction he assumes from the beginning that there is an infinite plurality of atoms, whose size is equivalent to that of the set theoretical universe. Since this assumption is far beyond the basic axioms of mereology, it might seem that MPQ do not play any role in order to guarantee the existence of a large infinity of objects. However, we intend to demonstrate that mereology and plural (...) quantification are, in some ways, particularly relevant to a certain conception of the infinite. More precisely, though the principles of mereology and plural quantification do not guarantee the existence of an infinite number of objects, nevertheless, once the existence of any infinite object is admitted, they are able to assure the existence of an uncountable infinity of objects. So, ifMPQ were parts of logic, the implausible consequence would follow that, given a countable infinity of individuals, logic would be able to guarantee an uncountable infinity of objects. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

Relative to an ordinary context, an utterance of the sentence ‘Everything is in the car’ communicates a proposition about a restricted domain. But how does this work? One possibility is that quantifier expressions like 'everything' are context sensitive and range over different domains in different contexts. Another possibility is that quantifier expressions are not context sensitive, but have a fixed, absolutely general meaning, and ordinary utterances communicate a restricted content via Gricean mechanisms. I argue that, contrary to received opinion, the (...) latter view has both a number of methodological and also intuitive advantages over the former. I then reply to three objections to the latter view: the binding argument (due to Stanley and Szabo), the availability-based attack (due to Recanati), and an argument based on Recanati’s scope principle. (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 account provided (...) which bear on three debated issues concerning quantification. (shrink)

This paper describes quantificational structures in Greenlandic Eskimo (Kalaallisut), a language where familiar quantificational meanings are expressed in ways that are quite different from English. Evidence from this language thus poses some formidable challenges for cross-linguistic theories of compositional semantics.

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)

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)

So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is (...) one more species of top-level anaphora--to wit, anaphora to top-ranked sets. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit (...) quantification, but on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 5: Quantification. Abstract: In discourse, quantifiers can function as antecedents or anaphors. We analyze a sample discourse in Dynamic Plural Logic (DPlL, van den Berg 1993, 1994), which represents not only current discourse referents, but also current relations by means of plural information states. This makes it possible to analyze quantification as structured discourse reference. Finally, the DPlL analysis is transposed into Update with Centering, to simplify the formalism and (...) relate quantification to earlier discussion in the course. (shrink)

Fundamental to Quine’s philosophy of logic is the thesis that substitutional quantification does not express existence. This paper considers the content of this claim and the reasons for thinking it is true.

As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.

Much of the ontology made in the analytic tradition of philosophy nowadays is founded on some of Quine’s proposals. His naturalism and the binding between existence and quantification are respectively two of his very influential metaphilosophical and methodological theses. Nevertheless, many of his specific claims are quite controversial and contemporaneously have few followers. Some of them are: (a) his rejection of higher-order logic; (b) his resistance in accepting the intensionality of ontological commitments; (c) his rejection of first-order modal logic; (...) and (d) his rejection of the distinction between analytic and synthetic statements. I intend to argue that these controversial negative claims are just interconnected consequences of those much more accepted and apparently less harmful metaphilosophical and methodological theses, and that the glue linking all these consequences to its causes is the notion of extensionality. (shrink)

Can we believe that there are non-existent entities without commitment to the Meinongian metaphysics? This paper argues we can. What leads us from quantification over non-existent beings to Meinongianism is a general metaphysical assumption about reality at large, and not merely quantification over the non-existent. Broadly speaking, the assumption is that every being we talk about must have a real definition. It’s this assumption that drives us to enquire into the nature of beings like Pegasus, and what our (...) relationship as thinkers is to them. However, I argue this assumption only holds if you think your language, and in particular that aspect of it to do with referring to entities works in a specific way. This is the specific way generally assumed by the discipline called ‘Semantics’. I sketch out an alternative, call it global expressivism, in which talk of referring is given an expressivist, speech-act theoretic treatment. If we accept that our talk of the non-existent works as the global expressivist tells us it does, then the question of the metaphysical nature of non-existent entities is utterly void. You might say that Pegasus is empty of any metaphysical nature. Since the non-existent lacks any metaphysical nature, the metaphysics of the non-existent, Meinongianism, as a form of inquiry, lacks a subject matter, despite the fact that we talk happily, and indeed unavoidably, of the non-existent. (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)

Formal semantics has so far focused on three categories of quantifiers, to wit, Q-determiners (e.g. 'every'), Q-adverbs (e.g. 'always'), and Q-auxiliaries (e.g. 'would'). All three can be analyzed in terms of tripartite logical forms (LF). This paper presents evidence from verbs with distributive affixes (Q-verbs), in Kalaallisut, Polish, and Bininj Gun-wok, which cannot be analyzed in terms of tripartite LFs. It is argued that a Q-verb involves discourse reference to a distributive verbal dependency, i.e. an episode-valued function that sends different (...) semantic objects in a contextually salient plural domain to different episodes. (shrink)

The semantic rules governing natural language quantifiers (e.g. "all," "some," "most") neither coincide with nor resemble the semantic rules governing the analogues of those expressions that occur in the artificial languages used by semanticists. Some semanticists, e.g. Peter Strawson, have put forth data-consistent hypotheses as to the identities of the semantic rules governing some natural-language quantifiers. But, despite their obvious merits, those hypotheses have been universally rejected. In this paper, it is shown that those hypotheses are indeed correct. Moreover, data-consistent (...) hypotheses are put forth as to the identities of the semantic rules governing the words "most" and "many," the semantic rules governing which semanticists have thus far been unable to identify. The points made in this paper are anticipated in a paper, published in the same issue of the Journal of Pragmatics, by Andrzej Boguslawski. (shrink)

Background Analysis of aphasic narratives can be a challenge for clinicians. Previous studies have mainly employed measures that categorized speech samples at the word level. They included quantification of the use and misuse of different word classes, presence and absence of narrative contents and errors, paraphasias, and perseverations, as well as morphological structures and errors within a narrative. In other words, a great amount of research has been conducted in the aphasiology literature focusing on micro-linguistic structures of oral narratives. (...) Aspects of macro- linguistic structures, such as the analysis of content information by a speaker, consistency of using cohesive devices to present information within a narrative, and order of presenting information necessary to form a coherent discourse, have not been extensively investigated. The current investigation proposes a clinical analytic system to target three aspects of macro-linguistic structures in narratives among speakers with aphasia. Specifically, (1) the presence of search events (i.e., the mentioning of key events that allow the listener to understand; Capilouto, Wright, &Wagovich, 2006) within a narrative, (2) the sequence of the mentioned events, and (3) the informativeness (i.e., the fulfillment of lexical items that allow the user to understand what the event is detailing) of the event contents, were focused in the proposed framework. Method Ten controls transcripts from were selected from the AphasiaBank (MacWhinney, Fromm, Forbes, & Holland, 2011). Three narrative tasks, including sequential picture description of ‘Refused Umbrella’, procedural narrative of making a ‘Peanut Butter and Jelly Sandwich’, and telling of ‘Cinderella’ story, were used to establish normative data for the basis of analysis. Specifically, the Search Events (e) and Informative Words (i) used by at least 70% of the speakers were listed for each genre. The sequential order of mentioning the Search Events, i.e., common order of events in 90% of the speakers, (s.total) was determined. Twelve speakers with aphasia (nine fluent and three non-fluent) were recruited and administered the Western Aphasia Battery and Object and Action Naming Battery. Their performance in the above three discourse tasks were orthographically transcribed and analyzed using the following measures: e.total, e.matched with norm, e.missed, e.irrlevant, e.extra, s.total, i.pb&j, i.umbr, i.cind, and i.total. Three samples were randomly chosen to be re-analyzed for inter- and intra-rater reliability. Results Results of an independent t-test suggested significant differences between the fluent and non-fluent subjects in sequential order of Search Events for all genres (s.total) and i.total, suggesting sensitivity of this framework to differentiate between the two fluency groups. Results of Pearson product-moment correlations revealed significant relation between Informative Words and WAB spontaneous speech scores, AQ, as well as OAB scores, for both aphasic groups. The mean value of coefficients for intra-rater reliability (0.992), with significant correlations on e.match, e.miss, and e.extra, was higher than that of inter-rater reliability (0.897). Discussion Based on our preliminary results, this objective framework allowed clinical evaluation of impairment in macro-linguistic structures present in aphasic discourse. Further extension should involve more subjects encompassing a wider range of severity with different types of aphasia. (shrink)

The literature on material composition has largely ignored the composition of actions and events. I argue that this is a mistake. I present a set of individually plausible yet jointly inconsistent claims regarding the connection between quantification and existence, the composition of physical entities and the logical forms of action sentences.

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

This study, presenting a history of the measurement of light intensity from its first hesitant emergence to its gradual definition as a scientific subject, explores two major themes. The first concerns the adoption by the evolving physics and engineering communities of quantitative measures of light intensity around the turn of the twentieth century. The mathematisation of light measurement was a contentious process that hinged on finding an acceptable relationship between the mutable response of the human eye and the more easily (...) stabilised, but less encompassing, techniques of physical measurement. -/- A second theme is the exploration of light measurement as an example of ‘peripheral science’. Among the characteristics of such a science, I identify the lack of a coherent research tradition and the persistent partitioning of the subject between disparate groups of practitioners. Light measurement straddled the conventional categories of ‘science’ and ‘technology’, and was influenced by such distinct factors as utilitarian requirements, technological innovation, human perception and bureaucratisation. Peripheral fields such as this, which may be typical of much of modern science and technology, have hitherto received little attention from historians. -/- These themes are pursued with reference to the social and technological factors which were combined inextricably in the development of the subject. The intensity of light gained only sporadic attention until the late nineteenth century. Measured for the utilitarian needs of the gas lighting industry from the second half of the century, light intensity was appropriated by members of the nascent electric lighting industry, too, in their search for a standard of illumination. By the turn of the century the ‘illuminating engineering movement’ was becoming an organised, if eclectic, community which promoted research into and standards for the measurement of light intensity. -/- The twentieth-century development of the subject was moulded by organisation and institutionalisation. Between 1900 and 1920, the new national and industrial laboratories in Britain, America and Germany were crucial in stabilising the subject. In the inter-war period, committees and international commissions sought to standardise light measurement and to promote research. Such government- and industry-supported delegations, rather than academic institutions, were primarily responsible for the ‘construction’ of the subject. Practitioners increasingly came to interpret the three topics of photometry (visible light measurement), colorimetry (the measurement of colour) and radiometry (the measurement of invisible radiations) as aspects of a broader study, and enthusiastically applied them to industrial and scientific problems. -/- From the 1920s, the long-established visual methods of observation were increasingly replaced by physical means of light measurement, a process initially contingent on scientific fashion more than demonstrated superiority. New photoelectric techniques for measuring light intensity engendered new commercial instruments, a trend which accelerated in the following decade when photometric measurement was applied with limited success to a range of industrial problems. Seeds sowed in the 1920s – namely commercialisation and industrial application, the transition from visual to ‘physical’ methods, and the search for fundamental limitations in light measurement – gave the subject substantially the form it was to retain over the next half-century. (shrink)

I relate plural quantification, and predicate logic where predicates do not need a fixed number of argument places, to the part-whole relation. For more on these themes see later work by Boolos, Lewis, and Oliver & Smiley.

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)

Yablo suggests a ‘hostage crisis’ occurs when an unproblematic statement ϕ entails, and is therefore hostage to, a problematic statement ψ. Yablo proposes a technical solution to this kind of problem by diminishing ϕ to ϕ*, where ϕ* does not entail ψ and thus is not hostage to it. I argue that Yablo’s proposal is unnecessary because the original, undiminished ϕ does not in fact entail ψ. This is what Yablo calls a ‘defiant’ position. I defend defiance by arguing that (...) ϕ and ψ are of different metaphysical weights, which I show through an analysis of their use of quantification. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a thesis (...) only about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...) perfectly natural first-order quantifier. I argue that this claim is not justified. Quine has shown that we can dispense with first-order quantifiers, by using a family of ‘predicate functors’ instead. I argue that we have no reason to think that it is the first-order quantifiers, rather than Quine’s predicate functors, which are perfectly natural. The discussion of quantification is used to provide some motivation for a general scepticism about Sider’s project. Shamik Dasgupta’s ‘generalism’ and Jason Turner’s critique of ‘ontological nihilism’ are also discussed. (shrink)

The paper purports to show, against Quine, that one can construct a language , which results from the extension of the theory of truth functions by introducing sentence letter quantification. Next a semantics is provided for this language. It is argued that the quantification is neither substitutional nor requires one to consider the sentence letters as taking entities as values.

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...) may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the (...) interpretation. The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (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)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

I here argue that Ted Sider's indeterminacy argument against vagueness in quantifiers fails. Sider claims that vagueness entails precisifications, but holds that precisifications of quantifiers cannot be coherently described: they will either deliver the wrong logical form to quantified sentences, or involve a presupposition that contradicts the claim that the quantifier is vague. Assuming (as does Sider) that the “connectedness” of objects can be precisely defined, I present a counter-example to Sider's contention, consisting of a partial, implicit definition of the (...) existential quantifier that in effect sets a given degree of connectedness among the putative parts of an object as a condition upon there being something (in the sense in question) with those parts. I then argue that such an implicit definition, taken together with an “auxiliary logic” (e.g., introduction and elimination rules), proves to function as a precisification in just the same way as paradigmatic precisifications of, e.g., “red”. I also argue that with a quantifier that is stipulated as maximally tolerant as to what mereological sums there are, precisifications can be given in the form of truth-conditions of quantified sentences, rather than by implicit definition. (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)

The focus of this paper is the syntax of inverse scope in Hungarian, a language that largely disambiguates quantifier scope at spell-out. Inverse scope is attributed to alternate orderings of potentially large chunks of structure, but with appeal to base-generation, as opposed to nonfeature-driven movement as in Kayne 1998. The proposal is developed within mirror theory and conforms to the assumption that structures are antisymmetrical. The paper also develops a matching notion of scope in terms of featural domination, as opposed (...) to c-command, and applies it to otherwise problematic cases of pied piping. Finally, the interaction of different quantifier types is examined and the patterns are explained invoking morphological considerations on one hand and A-bar reconstruction on the other. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.