Ontological pluralism is the view that there are different fundamental ways of being. Recent defenders of this view—such as Kris McDaniel and Jason Turner—have taken these ways of being to be best captured by semantically primitive quantifier expressions ranging over different domains. They have thus endorsed, what I shall call, quantificational pluralism. I argue that this focus on quantification is a mistake. For, on this view, a quantificational structure—or a quantifier for short—will be whatever part or aspect of (...) reality’s structure that a quantifier expression carves out and reflects. But if quantificational pluralism is true, then a quantifier should be more natural than its corresponding domain; and since it does not appear to be the case that a quantifier is more natural than its corresponding domain, quantificational pluralism does not appear to be true. Thus, I claim, an ontological pluralist should not be a quantificational pluralist. (shrink)

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

Mereological universalists, according to whom every plurality of entities has a fusion, usually claim that most quantifications are restricted to ordinary entities. However, there is no evidence that our usual quantifications over ordinary objects are restricted. In this article I explore an alternative way of reconciling Mereological Universalism with our usual quantifications. I resort to a modest form of ontological expansionism and to the so-called interpretational modalities. Quantifications over ordinary objects are the initial stages of the expansion. From (...) these initial stages, expansions can proceed upwards (fusions of entities in the domain of quantification are added), downwards (parts of entities in the domain are added), and sidewards (entities which are mereologically disjoint from the entities in the domain are added). These expansions are driven by a variety of epistemic and pragmatic reasons and raise different kinds of problems. At each stage, a modalized version of Mereological Universalism is true. By contrast, only at some especially rich stages, standard, non-modalized Mereological Universalism is true as well. Among these especially rich stages, there is a final, metaphysically pre-eminent stage of mereological plenitude. In the last part of the article I discuss some problems and limitations of expansionism. (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

This paper builds on the system of David Lewis’s “Parts of Classes” to provide a foundation for mathematics that arguably requires not only no distinctively mathematical ideological commitments (in the sense of Quine), but also no distinctively mathematical ontological commitments. Provided only that there are enough individual atoms, the devices of plural quantification and mereology can be employed to simulate quantification over classes, while at the same time allowing all of the atoms (and most of their (...) fusions with which we are concerned) to be individuals (that is, urelements of classes). The final section of the paper canvasses some reasons to be committed to the required ontology for other than mathematical reasons. (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)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...) ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

A generic grounding claim is a grounding claim that isn’t about any particular entity or fact. For example, consider the claim: an act is right in virtue of maximizing happiness. One natural idea is that generic grounding claims state mere regularities of ground. So if an act is right in virtue of maximizing happiness, then every possible right act is right in virtue of maximizing happiness. The generic claim generalizes over particular grounding relations. In this essay, I argue that (...) this simple story is wrong. Generic grounding claims are not merely quantificational; rather, they express real definitions, where real definitions are (in part) claims about essence. My view has two major upshots: ('i') it makes better sense of debates where generic grounding claims are at issue (like debates about moral laws); ('ii') it clarifies the distinction between reductive and non-reductive metaphysical theories. (shrink)

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

Russell is often taken as a forerunner of the Quinean position that “to be is to be the value of a bound variable”, whereupon the ontological commitment of a theory is given by what it quantifies over. Among other reasons, Russell was among the first to suggest that all existence statements should be analyzed by means of existential quantification. That there was more to Russell’s metaphysics than what existential quantifications come out as true is obvious in the earlier (...) period where Russell still made a distinction between existence and being/subsistence. But even the later Russell, including that of the Logical Atomism lectures period, would not have understood ontological questions to be first and foremost questions of quantification. He would take fundamentality to be important too, which explains in part his assertions to the effect the the values of individual variables have a reality not attributable to values of higher-order variables, even ineliminable higher-order variables. (shrink)

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)

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)

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)

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory (...) is assumed. However, the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (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)

In this paper I outline the main features of Karen Bennett’s (Australasian Journal of Philosophy 1–21, 2011) non-classical mereology, and identify its methodological costs. I argue that Bennett’s mereology cannot account for the composition of structural universals because it cannot explain the mereological difference between isomeric universals, such as being butane and being isobutane. I consider responses, which come at costs to the view.

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as 'whole', (...) 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (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)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

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 concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, (...) eventually allowing translation of the whole Presburger-CTL* into Presburger arithmetic, thereby enabling effective model checking. We provide evidence that our results are close to optimal with respect to the class of counter systems described above. (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)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language (...) is enriched with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole (...) and the whole have had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

We present a new approach to the invariant subspace problem for complex Hilbert spaces.This approach based on nonconservative Extension of the Model Theoretical NSA. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace.

In this Part II, I investigate different approaches to the question of what makes imagining different from belief. I find that the sentiment-based approach of David Hume falls short, as does the teleological approach, once advocated by David Velleman. I then consider whether the inferential properties of beliefs and imaginings may differ. Beliefs, I claim, exhibit an anti-symmetric inferential governance over imaginings: they are the background that makes inference from one imagining to the other possible; the reverse is not (...) true, and this allows us to distinguish the two attitudes. I then go on to consider the action theory of imagining and the role that imaginings play in generating emotion. (shrink)

In August 2017, Google executives found themselves in a difficult position. An internal memo written by a disgruntled software engineer, James Damore, had just gone viral. In this memo, Damore claimed that the relatively small number of women in the tech industry was partly due to biological factors, and that many of Google’s diversity efforts were therefore counterproductive. The contents of this memo were offensive to many (and thus were having a negative impact on the overall workplace environment), but the (...) executives were aware that the wrong reaction to it would at least partially vindicate Damore’s claims about the lack of open discussion at Google. In the end, after two days of controversy, Google leadership decided to fire Damore on the grounds that he had violated the company’s code of conduct. This case gives students an opportunity to explore the numerous issues raised by Damore’s memo and the controversy surrounding it. Did Google handle this case properly? Was firing Damore the right thing to do? How could the situation have been handled more effectively? (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls (...) under a ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (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)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Many of us think that ordinary objects – such as tables and chairs – exist. We also think that ordinary objects have parts: my chair has a seat and some legs as parts, for example. But once we are committed to the (seemingly innocuous) thesis that ordinary objects are composed of parts, we then open ourselves up to a whole host of philosophical problems, most of which center on what exactly the composition relation is. Composition as Identity (...) (CI) is the view that the composition relation is the identity relation. While such a view has some advantages, there are many arguments against it. In this essay, I will briefly canvass three different varieties of Composition as Identity, and suggest why one of them should be preferred over the others. Then I will outline several versions of the most common objection against CI. I will suggest how a CI theorist can respond to these charges by maintaining that some of the arguments are invalid. (In part 2, I show how a CI theorist can maintain that the remaining arguments, while valid, are unsound). (shrink)

Students of Stoic philosophy, especially of Stoic ethics, have a lot to swallow. Virtues and emotions are bodies; virtue is the only good, and constitutes happiness, while vice is the only evil; emotions are judgements ; all sins are equal; and everyone bar the sage is mad, bad and dangerous to know. Non-Stoics in antiquity seem for the most part to find these doctrines as bizarre as we do. Their own philosophical or ideological perspectives, and the criticisms of the Stoa (...) to which these gave rise, are no less open to criticism than are the paradoxes and puzzles under attack – but they may be, often are, better documented, less provocatively attention-begging, or simply more familiar. Even disputes within the Stoa can be obscured or distorted by modern prejudices. Posidonius rejected Chrysippus' theory of a unitary soul, one rational through and through, on the grounds that such a theory could not satisfactorily account for the genesis of bad – excessive and irrational – emotions, the πάθη . Posidonius' own Platonising, tripartite soul feels more familiar to us because the Republic tends to be a set text rather more often than do the fragments of Chrysippus' de anima; and the balance in Plato's favour is unlikely to change. When Posidonius wrote, on the other hand, the Chrysippean soul was school orthodoxy, and Platonism the latest thing in radical chic. (shrink)

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. (...) One central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice (...) class='Hi'>over. But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

Research ethics committees and institutional review boards spend considerable time developing, scrutinising, and revising specific consent processes and materials for survey-based studies conducted on crowdsourcing and online recruitment platforms such as MTurk and Prolific. However, there is evidence to suggest that many users of ICT services do not read the information provided as part of the consent process and they habitually provide or refuse their consent without adequate reflection. In principle, these practices call into question the validity of their consent. (...) In this paper we argue that although the ‘no read problem’ and the routinisation of consent may apply to research participants’ consent practices for studies on crowdsourcing platforms, this is not a serious problem. Furthermore, given that the informational requirements for informed consent in these contexts are minimal, we argue that these participants are, nevertheless, sufficiently informed to give valid consent. We conclude that research ethics committees and institutional review boards should only agonise over the precise details of the informed consent process and materials in those rare cases where appreciable risks to research participants need to be managed. (shrink)

From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind, so (...) that there is a sense in which for him (as e.g. for Leibniz) ontology is a proper part of rational or descriptive psychology. (shrink)

The introduction to the first of a two-part special issue on Oswald Spengler. This section explores his international influence both in his own time and in the present day.

In order to defend his controversial claim that observation is unaided perception, Bas van Fraassen, the originator of constructive empiricism, suggested that, for all we know, the images produced by a microscope could be in a situation analogous to that of the rainbows, which are ‘images of nothing’. He added that reflections in the water, rainbows, and the like are ‘public hallucinations’, but it is not clear whether this constitutes an ontological category apart or an empty set. In this paper (...) an argument will be put forward to the effect that rainbows can be thought of as events, that is, as part of a subcategory of entities that van Fraassen has always considered legitimate phenomena. I argue that rainbows are actually not images in the relevant (representational) sense and that there is no need to ontologically inflate the category of entities in order to account for them, which would run counter to the empiricist principle of parsimony. (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)

The question of forgiveness in politics has attained a certain cachet. Indeed, in the fifty years since Arendt commented on the notable absence of forgiveness in the political tradition, a vast and multidisciplinary literature on the politics of apology, reparation, and reconciliation has emerged. To a novice scouring the relevant literatures, it might appear that the only discordant note in this new veritable symphony of writings on political forgiveness has been sounded by philosophers. There is a more-than-healthy cynicism directed at (...) what many philosophers see as an uncritical promotion of forgiveness, which – they fear – risks distorting and cheapening forgiveness as a moral ideal, on the one hand, and ignoring the moral and political values of justice, accountability and the cessation of harmful relationships, on the other. Are philosophical fears about the dangers of thinking about forgiveness in political terms warranted – or do they perhaps depend in part on conceptual conservatism regarding what exactly political forgiveness might be? I argue that most, if not all, standard objections to political forgiveness emerge from theoretical reliance on a picture of forgiveness I will call the Emotional Model. Once we make conceptual space for descriptions of forgiveness in performative and social terms, the concept is more easily adapted to a political account without at least some of the risks feared by philosophers. (shrink)

Children's vulnerability gives rise to duties of justice towards children and determines when authority over them is legitimately exercised. I argue for two claims. First, children's general vulnerability to objectionable dependency on their caregivers entails that they have a right not to be subject to monopolies of care, and therefore determines the structure of legitimate authority over them. Second, children's vulnerability to the loss of some special goods of childhood determines the content of legitimate authority over them. (...) My interest is in the so-far little-discussed goods of engaging in world discovery, artistic creation, philosophical pursuits and experimentation with one's self. I call these ‘special goods of childhood’ because individuals, in general, only have full access to them during childhood and they make a distinctive and weighty contribution to wellbeing. Therefore, they are part of the metric of justice towards children. The overall conclusion is that we ought to make good institutional care part of every child's upbringing. (shrink)

Identity-Over-Time has been a favorite subject in the literature concerning Thomas Aquinas. Aquinas addresses this issue in many discussions, including especially the identity of material things and artifacts, the identity of the human soul after the corruption of body, the identity of the body of Christ in the three days from his death to his resurrection and the identity of the resurrected human body at the end of time. All these discussions have a point in common: they lead Aquinas (...) to raise the question of Identity-Over-Time with respect to things that fully exist in act, i.e., things that possess an identity of their own and change some of their parts or properties over time while continuing to be what they are. In this article, I investigate this topic from a different angle, considering the case of the trans-temporal identity of things that do not yet have an identity of their own or fully exist in act. The case at stake is that of the identity of the human embryo through the process of human generation. It is a puzzle that Aquinas seems to have some difficulties to solving, given his account of human embryogenesis as a process that alternates generations and corruptions of the subject. At the same time, though, Aquinas does not want to renounce the idea that the subject of generation must be numerically one and the same throughout all the process. In order to solve this puzzle, Aquinas seems to suggest distinguishing the identity of the subject from the identity of its matter and/or form. At given conditions, a thing can even change its matter and form while continuing to be the same thing in number. Specifically, the numerical identity of the subject of generation is justified by the identity entailed by the metaphysical notions of potency and act. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

In Book I, Part I, Section VII of the Treatise, Hume sets out to settle, once and for all, the early modern controversy over abstract ideas. In order to do so, he tries to accomplish two tasks: (1) he attempts to defend an exemplar-based theory of general language and thought, and (2) he sets out to refute the rival abstraction-based account. This paper examines the successes and failures of these two projects. I argue that Hume manages to articulate a (...) plausible theory of general ideas; indeed, a version of his account has defenders in contemporary cognitive science. But Hume fails to refute the abstraction-based account, and as a result, the early modern controversy ends in a stalemate, with both sides able to explain how we manage to speak and think in general terms. Although Hume fails to settle the controversy, he nevertheless advances it to a point from which we have yet to progress: the contemporary debate over abstract ideas in cognitive science has stalled on precisely this point. (shrink)

PHILOSOPHY OF SCIENCE, vol. 52, number 1, pp.44-63. R.M. Nugayev, Kazan State |University, USSR. -/- THE HISTORY OF QUANTUM THEORY AS A DECISIVE ARGUMENT FAVORING EINSTEIN OVER LJRENTZ. -/- Abstract. Einstein’s papers on relativity, quantum theory and statistical mechanics were all part of a single research programme ; the aim was to unify mechanics and electrodynamics. It was this broader program – which eventually split into relativistic physics and quantummmechanics – that superseded Lorentz’s theory. The argument of this paper (...) is partly historical and partly methodological. A notion of “crossbred objects” – theoretical objects with contradictory properties which are part of the domain of application of two different research programs – is developed that explains the dynamics of revolutionary theory change. (shrink)

This paper argues that one part of the picture of thinking about decolonising the philosophy curriculum should include problematising the notion of Western philosophy. I argue that there are many problems with the idea of Western philosophy, and with the idea that decolonising the curriculum should involve rejecting so-called Western philosophy. Doing this could include granting the West a false narrative about its origins, influences and interactions, perpetuating exclusions within contemporary and recent North American and European philosophy, perpetuating exclusions and (...) failed acknowledgements within the history of so-called Western philosophy, while at the same time rejecting a tradition which has included in itself so many topics and methodologies that what is left after excluding it would leave other traditions with limited resources, at the same time as wrongly granting the West proprietary rights over any ideas it has happened to investigate, rather than seeing these as belonging to all of humanity. I therefore conclude that a central part of curriculum change should be problematising Western philosophy, including our learning more about, and teaching, more complex views of its history and interactions with other traditions. (shrink)

The IASP definition of 'pain' defines pain as a subjective experience. The Note accompanying the definition emphasizes that as such pains are not to be identified with objective conditions of body parts (such as actual or potential tissue damage). Nevertheless, it goes on to state that a pain "is unquestionably a sensation in a part or parts of the body, but it is also always unpleasant and therefore also an emotional experience." This generates a puzzle that philosophers have (...) been well familiar with: how to understand our utterances and judgments attributing pain to body parts. (The puzzle is of course general extending to all sensations routinely located in body parts.) The present work tackles this puzzle. I go over various options specifying the truth-conditions for pain attributing judgments, and at the end make my own recommendation which is an adverbialist, qualia-friendly proposal with completely naturalistic credentials that is also compatible with forms of weak intentionalism. The results are generalizable to other bodily sensations and can be used to illustrate, quite generally, the viability of a qualia-friendly adverbialist (but naturalist and weakly intentionalist) account of perception. (shrink)