In this paper I discuss two objections raised against von Fintel’s (1994) and Stanley and Szabó’s (2000a) hidden variable approach to quantifier domain restriction (QDR). One of them concerns utterances of sentences involving quantifiers for which no contextual domain restriction is needed, and the other concerns multiple quantified contexts. I look at various ways in which the approaches could be amended to avoid these problems, and I argue that they fail. I conclude that we need a more flexible (...) account of QDR, one that allows for the hidden variables in the LF responsible for QDR to vary in number. Recanati’s (2002; 2004) approach to QDR, which makes use of the apparatus of “variadic functions”, is flexible enough to account successfully for the two phenomena discussed. I end with a few comments on what I take to be the most promising way to construe variadic functions. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

Jason Stanley has argued that in order to obtain the desired readings of certain sentences, such as “In most of John’s classes, he fails exactly three Frenchmen”, we must suppose that each common noun is associated with a hidden indexical that may be either bound by a higher quantifier phrase or interpreted by the context. This paper shows that the desired readings can be obtained as well by interpreting nouns as expressing relations and without supposing that nouns are (...) associated with hidden indexicals. Stanley’s theory and the present alternative are not equivalent, however. They differ over the status of sentences such as “Every student is happy and some student is not happy”. On Stanley’s theory, this sentence will be true in some contexts, while on the present alternative it will be true in no context. Considerations in favor of the present theory’s verdict on such sentences are presented. The broader question at issue is the correct way to incorporate context-relativity into formal semantics. (shrink)

Moore supposedly discovered that there are sentences of a certain form that, though they can be true, no rational human being can sincerely and truly utter any of them. MC and MO are particular instances:MC: “It is raining and I believe that it is not raining”MO: “It is raining and I don’t believe that it is raining”In this paper, I show that there are sentences of the same form as MC and MO that can be sincerely and truly uttered by (...) rational agents. We call sentences of the same form as MC and MO “Moorean Sentences”. In Part II, we go over a standard argument for why sentences of the same form as MC and MO cannot be sincerely and truly uttered, and we explain why this argument is unsound. In explaining why this argument is unsound, we rely on the context-sensitivity of belief-reports and show that the premises of the argument are not all true in the same context. We then employ a general theory of belief reports that incorporates guises to explain why our examples are sincerely utterable while Moore’s sentences are typically not sincerely utterable. The answer will turn on the suggestion that belief reports carry a hidden quantifier over guises, where the domain of quantification is determined by context. We conclude with general lessons about Moore’s Paradox and the supposed limits of first-person belief reports. (shrink)

ABSTRACT In 1933 Gödel introduced an axiomatic system, currently known as S4, for a logic of an absolute provability, i.e. not depending on the formalism chosen ([God 33]). The problem of finding a fair provability model for S4 was left open. The famous formal provability predicate which first appeared in the Gödel Incompleteness Theorem does not do this job: the logic of formal provability is not compatible with S4. As was discovered in [Art 95], this defect of the formal provability (...) predicate can be bypassed by replacing hidden quantifiers over proofs by proof polynomials in a certain finite basis. The resulting Logic of Proofs enjoys a natural arithmetical semantics and provides an intended provability model for S4, thus answering a question left open by Gödel in 1933. Proof polynomials give an intended semantics for some other constructions based on the concept of provability, including intuitionistic logic with its Brouwer- Heyting- Kolmogorov interpretation, ?-calculus and modal ?-calculus. In the current paper we demonstrate how the intuitionistic propositional logic Int can be directly realized by proof polynomials. It is shown, that Int is complete with respect to this proof realizability. (shrink)

We present a new method for characterizing the interpretive possibilities generated by elliptical constructions in natural language. Unlike previous analyses, which postulate ambiguity of interpretation or derivation in the full clause source of the ellipsis, our analysis requires no such hidden ambiguity. Further, the analysis follows relatively directly from an abstract statement of the ellipsis interpretation problem. It predicts correctly a wide range of interactions between ellipsis and other semantic phenomena such as quantifier scope and bound anaphora. Finally, (...) although the analysis itself is stated nonprocedurally, it admits of a direct computational method for generating interpretations. (shrink)

This paper investigates the question of characterizing first-order LFIs (logics of formal inconsistency) by means of two-valued semantics. LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational questions. Although focused on just one particular case, namely, the quantified logic QmbC, the method proposed here is completely general for this kind of logics, and can be easily extended to a large family of quantified paraconsistent (...) logics, supplying a sound and complete semantical interpretation for such logics. However, certain subtleties involving term substitution and replacement, that are hidden in classical structures, have to be taken into account when one ventures into the realm of nonclassical reasoning. This paper shows how such difficulties can be overcome, and offers detailed proofs showing that a smooth treatment of semantical characterization can be given to all such logics. Although the paper is well-endowed in technical details and results, it has a significant philosophical aside: it shows how slight extensions of classical methods can be used to construct the basic model theory of logics that are weaker than traditional logic due to the absence of certain rules present in classical logic. Several such logics, however, as in the case of the LFIs treated here, are notorious for their wealth of models precisely because they do not make indiscriminate use of certain rules; these models thus require new methods. In the case of this paper, by just appealing to a refined version of the Principle of Explosion, or Pseudo-Scotus, some new constructions and crafty solutions to certain non-obvious subtleties are proposed. The result is that a richer extension of model theory can be inaugurated, with interest not only for paraconsistency, but hopefully to other enlargements of traditional logic. (shrink)

Indexicals are linguistic expressions whose meaning remain stable while their reference shifts from utterance to utterance. Paradigmatic cases in English are ‘I’, ‘here’, and ‘now’. Recently, a number of authors have argued that various constructions in our language harbor hidden indexicals. We say 'hidden' because these indexicals are unpronounced, even though they are alleged to be real linguistic components. Constructions taken by some authors to be associated, or to ‘co-habit’, with hidden indexicals include: definite descriptions and quantifiers (...) more generally (hidden indexical refers to a domain – Davies (1981), Westerstahl (1985), Soames (1986), Higginbotham (1988), Stanley and Williamson (1995)), propositional attitude verbs (hidden indexical refers to a mode of presentation – Richard (1990)), comparative adjectives (hidden indexical refers to comparison classes – Partee (1989), Kamp (1975), Ludlow (1989)). An interesting recent addition is the view that all nouns are associated with a hidden indexical referring to a domain restriction (Stanley and Szabo (2000), Stanley.. (shrink)

This chapter contains sections titled: The Syntax and Semantics of Complex Sortal Terms On the Identity of Sorts.

"Some sentences contain no overt quantifier, yet are interpreted quantificationally, e.g., Plumbers are available (entailing that some plumbers are available), or Plumbers are intelligent (whose entailment is less clear, but seems to be saying that a large number of plumbers are intelligent). Where does the quantifier come from? In this book, Ariel Cohen makes the novel proposal that the quantifier is not simply an empty category, but is generated by reinterpretations mechanisms, which are governed by well specified (...) principles. He demonstrates how the puzzling and sometimes mysterious properties of such sentences can be naturally derived from the reinterpretation mechanisms that generate them. The resulting picture has substantial implications that language contains hidden elements, underlying its surface structure"--. (shrink)

In this paper, I provide a compositional semantics for sentences with enough and too followed by a to-infinitive clause and for resultative constructions with so... that within the framework of possible world semantics. It is proposed that the sentential complement of these constructions denotes an incomplete conditional and is explicitly or implicitly modalized, as if it were the consequent of a complete conditional. Enough, too, and so are quantifiers that relate an extent predicate and the incomplete conditional (expressed by the (...) sentential complement) and are interpreted as comparisons between two extents. The first extent is the maximal extent that satisfies the extent predicate. The second extent is the minimal or maximal extent of a set of extents that satisfy the (hidden) conditional, where the sentential complement supplies the consequent and the main clause the antecedent. This approach permits to predict (a) the context-dependent interpretation of these constructions and (b) the duality relations between the degree words. (shrink)

Generics are exception-admitting generalisations, which find expression in apparently diverse linguistic forms. A standard claim is that there is a hidden linguistic unity to genericity in the form of a covert operator, Gen. This article surveys and rejects a range of considerations that purport to show Gen to be syntactically essential to the explanation of a range of linguistic phenomena connected to genericity. The conclusion reached is that genericity is not a specifically linguistic property insofar as it does not (...) supervene upon any especial linguistic device; rather, genericity supervenes on broader cognitive competencies within linguistic constraints. (shrink)

2003 Paul Bunge Prize of the Hans R. Jenemann Foundation for the History of Scientific Instruments Judging the brightness and color of light has long been contentious. Alternately described as impossible and routine, it was beset by problems both technical and social. How trustworthy could such measurements be? Was the best standard of intensity a gas lamp, an incandescent bulb, or a glowing pool of molten metal? And how much did the answers depend on the background of the specialist? A (...) History of Light and Colour Measurement: Science in the Shadows is a history of the hidden workings of physical science-a technical endeavor embedded in a social context. It argues that this "undisciplined" subject, straddling academia, commerce, and regulation, may be typical not only of 20th century science, but of its future. Attracting scientists, engineers, industrialists, and artists, the developing subject produced a new breed of practitioners having mixed provenance. The new measurers of light had to decide the shape not only of their specialism but of their careers: were they to be a part of physics, engineering, or psychology? The physical scientists who dominated the subject into the early 20th century made their central aim the replacement of the problematic human eye with physical detectors of light. For psychologists between the wars, though, describing the complexity of color was more important than quantifying a handful of its dimensions. And after WWII, military designers shaped the subject of radiometry and subsumed photometry and colorimetry within it. Never attaining a professional cachet, these various specialists moved fluidly between science and technology; through government, industry, and administration. (shrink)

[ENG] The aim of this paper is to analyze the „possibility puzzle” presented by Shapiro (2011) in the context of the debate between conventionalism and non-conventionalism in speech act theory. Conventionalism claims that for every speech act there is a pattern (convention) which determines its illocutionary force. To perform a felicitous speech act is to fulfil necessary and sufficient conditions for this particular speech act. Non-conventionalism criticizes the view that for every speech act there is a conventional pattern and (...) class='Hi'>hidden conditions, which are to be fulfilled. This view maintains the conventional thesis for the so-called strict conventional speech acts (e.g. performatives), but negates using universal quantifier for so-called communicative speech acts whose aim is, in short, to express an intention and force someone to act by virtue of this intention. As in (Shapiro 2011), Phil said: in order for someone to have the power to make, change and apply rules, there has to be a rule that empowers someone to do so. This objection concerned „The First Legis- lator” only from the conventional perspective on speech acts. If it can be maintained that The First Legislator’s speech acts may be non-conventional, then Phil’s argument misses the point. Finally, I will emphasize that only lawyers analyze „the very first speech acts” whereas for philosophers, the problem of e.g. „the very first question” is less absorbing. -/- [PL] Celem niniejszego artykułu jest przedstawienie tak zwanej Aporii Phila (possibility puz- zle) przedstawionej przez Shapiro (2011) w kontekście sporu konwencjonalizm–nonkon- wencjonalizm w teorii aktów mowy. Konwencjonalizm utrzymuje, że dla każdego aktu mowy istnieje konwencja, która determinuje moc illokucyjną aktu. Wykonać w pełni for- tunny akt mowy to spełnić wystarczające i konieczne warunki określone dla danego aktu mowy. Nonkonwencjonalizm krytykuje pogląd, że dla każdego aktu mowy istnieje okre- ślona konwencja oraz ukryte warunki, które należy spełnić. Ten pogląd utrzymuje kon- wencjonalną tezę dla tak zwanych stricte konwencjonalnych aktów mowy (na przykład performatywów), ale neguje użycie dużego kwantyfikatora dla tak zwanych komunika- cyjnych aktów mowy, których celem jest, w skrócie, wyrażenie pewnej intencji i zmusze- nie kogoś poprzez jej wyrażenie do określonego postępowania. Phil, bohater historii z książki Shapiro (2011), podkreślił, iż zawsze musi istnieć reguła upoważniająca do two- rzenia prawa. Ten zarzut dotyczący „Pierwszego Legislatora” jest zasadny tylko z per- spektywy konwencjonalizmu. Jeżeli można utrzymywać, że akt mowy Pierwszego Legislatora może być nonkonwencjonalny, wtedy argument Phila jest nietrafny. Na końcu scharakteryzowany jest następujący fenomen: tylko prawnicy analizują „pierwsze akty mowy”, natomiast dla filozofów problem „pierwszego pytania” nie jest tak absorbujący. (shrink)

This paper examines the ‘deep-end’ of the international justice process—the incarceration of persons convicted in specially constituted international criminal tribunals and courts for gross violations of human rights, genocide, crimes against humanity and war crimes with a focus on language rights of such prisoners who are commonly serving sentences in foreign prisons. The punishment phase of the international justice process and its effects are not easily quantifiable and have been largely hidden from view. Although international criminal law asserts that (...) equal treatment before the law requires that there be no significant disparity in punishment regimes from one sentence-enforcing country to another, comparative penology shows that there are considerable differences in the conditions of confinement and the nature of correctional services in the prison systems of different countries. This has a direct impact on post-sentence procedural and rehabilitation rights of which language rights from a key part. In this specific context, and drawing from existing literature, the paper therefore examines the extent to which enforcement practice conforms to the ideal of equal treatment espoused by the tribunals. (shrink)

Mutually supporting methodologies are necessary for building a convincing case establishing a particular effect. Strengths and weaknesses of four empirical methods are discussed. Econometric methods quantify the relative importance of different factors and may assess the time frame over which constitutions matter, but have difficulties in dealing with nonlinear interactions among constitutional and cultural details. Cluster analysis can be a pre-requisite to other methods, and an analytic method in itself, useful for identifying the details that really matter and discovering surprising (...) patterns in the data. I discuss the application of cluster analysis on the Comparative Constitutions Project database. Qualitative comparative analysis can reveal the hidden structure of interactions among different variables, but robustness checks are difficult to perform. Case studies are useful for distinguishing between rules-in-use and rules-in-form and for discovering important informal aspects. They can deal with com.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Rembrandt’s Art: A Paradigm for Critical Thinking and AestheticsMark S. Conn (bio)IntroductionThe purpose of art is to lay bare the questions, which have been hidden by the answers.—James BaldwinPhilosophers have asked, How do we know the world? Over centuries, many visual artists have responded to this question by provoking us to see the world differently—through their own eyes. Rembrandt, by no small measure, is one of those artists. (...) While many people have attempted to understand and interpret the art of this quintessential master, few have used his art as a tool to teach critical thinking. The challenge, then, is to set forth a paradigm, using Rembrandt’s art as the vehicle, to teach critical thinking skills. These skills can be applied across the curriculum without losing an appreciation for the aesthetic characteristics of his art.Several sections in this article begin with a foundational discussion of the connection between art and the general curriculum, including how the effectiveness of that curriculum may then be measured. Continuing with a working definition of critical thinking, I demonstrate how Rembrandt’s work relates particularly well to the social studies curriculum. Definitions of critical thinking skills are discussed just prior to introducing the paradigm. A discussion of the paradigm’s relationship to aesthetics and necessary concepts is followed by the conclusion, which contains the graphic illustration of the paradigm. [End Page 68]Foundational DiscussionIn order to create a paradigm that encompasses Rembrandt’s art, critical thinking, and aesthetics, it is important to understand the connection that art has to the curriculum. By examining the way in which this relationship has evolved and is measured, we discover its foundation. It also produces a rationale for the paradigm.For decades the educational community has debated the validity of including arts in the curriculum. There are those who believe that in order to justify inclusion in the curriculum, there needs to be evidence that art has a quantifiable impact upon learning. Others believe that there is a need to teach art for art’s sake.1 Elliot Eisner stated, “More often than we would like, arts educators receive requests to justify their professional existence or existence of the arts in our schools on the basis of their contribution to non-art outcomes.”2 According to Eisner’s research, there have been no studies that show a statistically significant relationship between the arts and academic success.3 Additionally, in their final report evaluators from Transforming Education Through the Arts Challenge (TETAC) concluded that “Analysis of site-specific data found no significant relationship between program implementation and performance on reading and math tests.”4 There are many sources that can be cited that report the same findings. In assessing these kinds of findings we find the conclusions to be approximately the same.If we look at the U.S. Department of Education’s National Assessment of Educational Progress, which each year releases “The Nation’s Report Card,” we find a tremendous amount of data.5 However, most of what we find is data that is analyzed scientifically, with a long but incomplete list of incomplete variables. Therefore, it is difficult to come to any consensus about which programs, in which states, are successful and why. All we actually see is who is supposedly doing better in various curriculum areas based upon standardized tests that vary from state to state. Consider an example of current thinking regarding curriculum and testing from an article by Diane Ravitch, former assistant U.S. secretary of education, and Deborah Meir, senior scholar at New York University’s Steinhardt School of Education:Both of us acknowledged that our choices involve risks. A national curriculum might be unwieldy and superficial (“a mile wide and an inch deep—ironically the charge directed at our current incoherent and fragmented curriculum”) as well as politically compromised, while a local one might reflect the low expectations of the local community as local foolishness and local biases (some schools, for example, might teach intelligent design). We agreed that the measurement of “results”—what constitutes intellectual achievement—has been badly distorted by current local and state tests, which undermine high-quality tasks and make... (shrink)

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines. It considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for (...) further, independent study as a course text, it covers more material than is typically covered in an introductory course. -/- Topics include: translation, proofs, and trees for sentential and predicate logic with identity, definite descriptions, and functional terms; normal forms; proofs and trees for the principal normal modal systems; an introduction to second order and quantified modal logic; formal syntax and semantics; mathematical induction; metatheory for many of these systems; semantics and trees for free logic, intuitionistic logic, and three-valued and paraconsistent logics. -/- A companion website contains a detailed student solutions manual with a running commentary on all starred exercises and a set of editable slides for instructors to customize their courses. (shrink)

Complex, multigenic biological traits are shaped by the emergent interaction of proteins being the main functional units at the molecular scale. Based on a phenomenological approach, algorithms for quantifying two different aspects of emergence were introduced (Wegner and Hao in Progr Biophys Mol Biol 161:54–61, 2021) describing: (i) pairwise reciprocal interactions of proteins mutually modifying their contribution to a complex trait (denoted as weak emergence), and (ii) formation of a new, complex trait by a set of n ‘constitutive’ proteins at (...) concentrations exceeding individual threshold values (strong emergence). The latter algorithm is modified here to take account of protein redundancy with respect to a complex trait (‘full redundancy’). Irreducibility is considered a necessary and sufficient criterion for strong biological emergence; if one constitutive protein is missing, or its concentration drops below the threshold the trait is lost. A definition based on ‘unpredictability’ is dismissed, because this criterion is irrelevant for the evolution of a complex trait, and apparent unpredictability may rather reflect our basic deficits in understanding unless we can provide an unequivocal proof for it. The phenomenological approach advocated here allows to identify hidden rules according to which strongly emergent traits may be organized. This is of high value for understanding the evolution of complex traits which seems to require the saltational advent of all constitutive proteins ‘in one turn’ to arrive at a functional trait providing for an improved fitness of the organism. Rather than being a purely random process, it may be guided by fundamental structural principles. (shrink)

People accept conclusions of valid conditional inferences (e.g., if p then q, p therefore q) less, the more disablers (circumstances that prevent q to happen although p is true) exist. We investigated whether rules that through their phrasing exclude disablers evoke higher acceptance ratings than rules that do not exclude disablers. In three experiments we re-phrased content-rich conditionals from the literature as either universal or existential rules and embedded these rules in Modus Ponens and Modus Tollens inferences. In Experiments 2 (...) and 3, we also used abstract rules. The acceptance of conclusions increased when the rule was phrased with “all” instead of “some” and the number of disablers had a higher impact on existential rules than on universal rules. Further, the effect of quantifier was more pronounced for abstract rules and when tested within subjects. We discuss the relevance of phrasing, quantifiers and knowledge on reasoning. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

Special quantifiers are quantifiers like 'something', 'everything', and 'several things'. They are special both semantically and syntactically and play quite an important role in philosophy, in discussions of ontological commitment to abstract objects, of higher-order metaphysics, and of the apparent need for propositions. This paper will review and discuss in detail the syntactic and semantic peculiarities of special quantifiers and show that they are incompatible with substitutional and higher-order analyses that have recently been proposed. It instead defends and develops in (...) formal detail a semantic analysis of special quantifiers as nominalizing quantifiers. On this analysis, special quantifiers involve both singular objectual quantification and implicit on non-singular (higher-order, plural, or mass) quantification. The analysis rests on a range of recent insights and proposals in generative syntactic theory, in particular the recognition of '–thing' as a light noun and a potential classifier as well as recent views of the decomposition of attitudinal and locutionary verbs in syntax. (shrink)

A revelatory new theory of consciousness that returns emotions to the center of mental life. For Mark Solms, one of the boldest thinkers in contemporary neuroscience, discovering how consciousness comes about has been a lifetime's quest. Scientists consider it the "hard problem" because it seems an impossible task to understand why we feel a subjective sense of self and how it arises in the brain. Venturing into the elementary physics of life, Solms has now arrived at an astonishing answer. In (...) The Hidden Spring, he brings forward his discovery in accessible language and graspable analogies. Solms is a frank and fearless guide on an extraordinary voyage from the dawn of neuropsychology and psychoanalysis to the cutting edge of contemporary neuroscience, adhering to the medically provable. But he goes beyond other neuroscientists by paying close attention to the subjective experiences of hundreds of neurological patients, many of whom he treated, whose uncanny conversations expose much about the brain's obscure reaches. Most importantly, you will be able to recognize the workings of your own mind for what they really are, including every stray thought, pulse of emotion, and shift of attention. The Hidden Spring will profoundly alter your understanding of your own subjective experience. (shrink)

For many people the existence of God is by no means a sufficiently clear feature of reality. This problem, the fact of divine hiddenness, has been a source of existential concern and has sometimes been taken as a rationale for support of atheism or agnosticism. In this collection of essays, a distinguished group of philosophers of religion explore the question of divine hiddenness in considerable detail. The issue is approached from several perspectives including Jewish, Christian, atheist and agnostic. There is (...) coverage of the historical treatment of divine hiddenness as found in the work of Maimonides, St. John of the Cross, Jonathan Edwards, Kierkegaard, and various Biblical writers. A substantial introduction clarifies the main problems of and leading solutions to divine hiddenness. Primarily directed at philosophers of religion, theologians, and scholars of religious studies, this collection could also serve as a textbook for upper-level courses in philosophy of religion. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, (...) and temporal ontology. (shrink)

Quantifier variance is a well-known view in contemporary metaontology, but it remains very widely misunderstood by critics. Here we briefly and clearly explain the metasemantics of quantifier variance and distinguish between modest and strong forms of variance (Section I), explain some key applications (Section II), clear up some misunderstandings and address objections (Section III), and point the way toward future directions of quantifier-variance-related research (Section IV).

Quantification is a topic which brings together linguistics, logic, and philosophy. Quantifiers are the essential tools with which, in language or logic, we refer to quantity of things or amount of stuff. In English they include such expressions as no, some, all, both, many. Peters and Westerstahl present the definitive interdisciplinary exploration of how they work - their syntax, semantics, and inferential role.

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

Many people do not know or believe there is a God, and many experience a sense of divine absence. Are these (and other) “divine hiddenness” facts evidence against the existence of God? Using Bayesian tools, we investigate *evidential arguments from divine hiddenness*, and respond to two objections to such arguments. The first objection says that the problem of hiddenness is just a special case of the problem of evil, and so if one has responded to the problem of evil then (...) hiddenness has no additional bite. The second objection says that, while hiddenness may be evidence against generic theism, it is not evidence against more specific conceptions of God, and thus hiddenness poses no epistemic challenge to a theist who holds one of these more specific conceptions. Our investigation leaves open just how strong the evidence from hiddenness really is, but we aim to clear away some important reasons for thinking hiddenness is of no evidential significance at all. (shrink)

In this chapter, Mark Budolfson and Dean Spears analyse the marginal effect of philanthropic donations. The core of their analysis is the observation that marginal good done per dollar donated is a product (in the mathematical sense) of several factors: change in good done per change in activity level of the charity in question, change in activity per change in the charity’s budget size, and change in budget size per change in the individual’s donation to the charity in question. They (...) then discuss the “hidden zero problem” that some of the terms in the equation (in particular, the last term) might be “hidden zeros” that prevent donations from doing any good—or worse, imply that they do harm—even if the charity is at the top of effective altruism rankings based on the other factors. (shrink)

In this paper, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restric‐tion discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion of this (...) special case of context‐dependence will provide guidelines for how to decide, for an arbitrary case of context‐dependent discourse, whether it should be treated syntactically, semantically, or pragmatically. (shrink)

The formalisation of Natural Language arguments in a formal language close to it in syntax has been a central aim of Moss’s Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to Natural Language than are Moss’s systems – for instance, is (...) does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined. (shrink)

This paper challenges a common assumption in the literature concerning the problem of divine hiddenness, namely, that the following are inconsistent: God's making available adequate evidence for belief that he exists and the existence of non-culpable nonbelievers. It draws on the notions of defeated evidence and glimpses to depict the complexity of our evidential situation with respect to God's existence.

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

We provide an overview of the meta-ontological position known as "Quantifier Variance".

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing (...) a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes. (shrink)

In many places and times, and for many people, God's existence has been rather less than a clear fact. According to the hiddenness argument, this is actually a reason to suppose that it is not a fact at all. The hiddenness argument is a new argument for atheism that has come to prominence in philosophy over the past two decades. J. L. Schellenberg first developed the argument in 1993, and this book offers a short and vigorous statement of its central (...) claims and ideas. Logically sharp but so clear that anyone can understand, the book addresses little-discussed issues such as why it took so long for hiddenness reasoning to emerge in philosophy, and how the hiddenness problem is distinct from the problem of evil. It concludes with the fascinating thought that retiring the last of the personal gods might leave us nearer the beginning of religion than the end. (shrink)