-
11983.590932
Alonzo Church proposed a theory of sequences of functions and their arguments as surrogates for Russellian singular propositions and singular concepts. Church’s proposed theory accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill antinomy is rebutted. Russell-Myhill is not a problem specifically for 1 ACKOWLEDGMENTS: This essay is dedicated to the memory of the great philosopher and logician, Alonzo Church. I had the good fortune to study under Prof. Church (among others) through the 1970s. Years later he read my Frege’s Puzzle (1986), in which I defend what is now called a Millian theory of semantic content. In May 1989, Prof. Church sent me a pair of manuscripts, then not yet published, in which he independently proposed similar ways of developing a theory of n–tuple surrogates for singular propositions. Church’s cover letter began “Just to prove that great minds run in the same channel.” Although his throwaway remark did not reflect a genuine assessment—of me or of himself—it was exceedingly generous, and the memory of it can still cause me to blush. The present essay is in part a much delayed result of careful study of Church’s excellent papers. I am profoundly in his debt.
-
12008.591074
I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called “capture” direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed’s approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting logic (called “Swynish Logic”) are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals.
-
33217.591091
I think it’s wrong for us to kill innocent people. Some fellow deontologists, however, think this prohibition should be restricted to say that it’s wrong for us to kill nonconsenting innocent people. These thinkers hold that it is both permissible to consent to being killed and to kill those who have given such consent (except in special cases, such as when the victim has overriding unfulfilled duties to others). …
-
49231.591104
Naïve Instrumentalists are practically unconstrained in pursuit of their moral or political goals. If it seems to them, just based on the immediately legible evidence, that violence or deception would advance their goals, they won’t hesitate to act accordingly. …
-
55661.591118
Leddington (2016) remains the leading contemporary philosophical account of magic, one that has been relatively unchallenged. In this discussion piece, I have three aims; namely, to (i) criticise Leddington’s attempt to explain the experience of magic in terms of belief-discordant alief; (ii) explore the possibility that much, if not all, of the experience of magic can be explained by mundane belief-discordant perception; and (iii) argue that make-believe is crucial to successful performances of magic in ways Leddington at best overlooks and at worst denies.
-
68487.591131
Throughout the history of automated reasoning, mathematics has been viewed as a prototypical domain of application. It is therefore surprising that the technology has had almost no impact on mathematics to date and plays almost no role in the subject today. This article presents an optimistic view that the situation is about to change. It describes some recent developments in the Lean programming language and proof assistant that support this optimism, and it reflects on the role that automated reasoning can and should play in mathematics in the years to come.
-
69755.591144
Empirical research provides striking examples of non-human animal responses to death, which look very much like manifestations of grief. However, recent philosophical work appears to challenge the idea that animals can grieve. Grief, in contrast to more rudimentary emotional experiences, has been taken to require potentially human-exclusive abilities like a fine-grained sense of particularity, an ability to project toward the distal future and the past, and an understanding of death or loss. This paper argues that these features do not rule out animal grief and are present in many animal loss responses. It argues that the principal kind of “understanding” involved in grief is not intellectual but is instead of a practical variety available to animals, and outlines ways that the disruption to an animal’s life following a loss can hinge upon a specific individual and involve a degree of temporal organisation.
-
69790.591166
I reconstruct J. H. Lambert’s views on how practical grounds relate to epistemic features, such as certainty. I argue, first, that Lambert’s account of moral certainty does not involve any distinctively practical influence on theoretical belief. However, it does present an interesting form of fallibilism about justification as well as a denial of a tight link between knowledge and action. Second, I argue that for Lambert, the persistence principle that underwrites induction is supported by practical reasons to believe; this indicates that Lambert is a moderate pragmatist about reasons for theoretical belief.
-
80123.591179
Physiology has produced a rich theoretical foundation that is now understood to apply to all known life forms from microbes to plants and animals, including humans. Physiological theories are equal in scope to evolutionary theories, but they have received much less attention and critical analysis from biologists and philosophers. Four Theories (Principles) are identified here. These are Homeostasis, Positive Feedback, Growth and Development, and Reproduction. These are undergirded by the universal biological property of Metabolism.
-
80154.591192
There is solid consensus among physicists and philosophers that, in gauge field theory, for a quantity to be physically meaningful or real, it must be gauge-invariant. Yet, every “elementary” field in the Standard Model of particle physics is actually gauge-variant. This has led a number of researchers to insist that new manifestly gauge-invariant approaches must be established. Indeed, in the foundational literature, dissatisfaction with standard methods for reducing gauge symmetries has been expressed: Spontaneous symmetry breaking is deemed conceptually dubious, while gauge fixing suffers the same limitations and is subject to the same criticisms as coordinate choices in General Relativity.
-
80182.591205
This paper challenges the soundness of the two-dimensional conceiv-ability argument against the derivation of phenomenal truths from physical truths (cf. Chalmers, 1996; 2010) in light of a hyperintensional regimentation of the ontology of consciousness. The regimentation demonstrates how ontological dependencies between truths about consciousness and about physics cannot be witnessed by epistemic constraints, when the latter are recorded by the conceivability – i.e., the epistemic possibility – thereof. Generalizations and other aspects of the philosophical significance of the hyperintensional regimentation are further examined.
-
80209.591225
This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted ‘naturally’ – i.e., as including geometric possibilities – and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus – in the geometric setting – merits adoption by the Necessitist.
-
108500.591239
Black K-12 students are 4 times more likely to receive out-of-school suspension than their white peers; housing lenders are more likely to offer Black homebuyers subprime loans even when they qualify for prime loans; employers call back candidates for interviews with ‘white-sounding’ names 50% more often than candidates with ‘Black-sounding’ names. All these are said to be examples of systemic racism. But what does it mean to say that racism is systemic? Using the tools of social ontology, this essay explores the various ways that social systems can be racist.
-
108527.591254
Two sorts of claims are ubiquitous in philosophy: claims that something is essentially the way it is and claims that something is socially constructed. The purpose of this essay is to explore the relation between essentialist and social constructionist claims. In particular, the focus will be on whether socially constructed items can have essences or essential properties. In section 1, I outline a number of views about the nature of social construction. In section 2, I outline a number of views about essence. In section 3, I consider ways in which certain claims about social construction may be thought to challenge certain claims about essences. Section 4 then offers rejoinders to these challenges and attempts to point the way toward reconciling constructionist and essentialist claims.
-
108549.591274
Ontology and Oppression: Race, Gender, and Social Reality, by Katharine Jenkins, is a wonderful and engaging book in social ontology. It perfectly weds a rigorous theoretical account of social kinds with a deep concern for oppressed people. I expect that Jenkins’ book will generate significant conversation about the nature of social kinds and the relation between social ontology (and philosophy in general) and efforts at achieving social justice.
-
114776.591289
The term ‘physicalism’ was coined by Otto Neurath in the early 1930s and was quickly adopted by other members of the Vienna Circle, including most prominently by Rudolph Carnap. Neurath was a socialist who believed that enterprises like science and industrial production should be organized according to the results of collective deliberation. Such deliberation, he thought, required a common physicalist language that would permit communication across disciplines and languages in ways that were accessible to everyone. Physicalism focused on universally shared features of human life; it was meant to provide a thing-language which was directed towards empirically observable events and objects. By talking in concrete, pragmatic terms about the problems of ordinary life, Neurath thought physicalism could provide the basis for the unified sciences and for inclusive collective deliberation about research priorities and the allocation of resources. Physicalism was Neurath’s way of eliminating traditional philosophy, which he understood to pose barriers to communication and support to politically reactionary elements. In later decades, and contrary to Neurath’s intention, ‘physicalism’ came to designate an ontological position whose principal features are familiar parts of contemporary philosophy. We now think of physicalism as some version of the claim that all real things are identical with or in some sense necessitated by the basic stuff that physics reveals to us. This was not what Neurath had in mind.
-
115553.591303
Boredom – that inescapable accoutrement of human existence – is more than a common affective encounter. It is an experience of key phenomenological significance. Boredom gives rise to perceptions of meaninglessness, difficulties in effective agency, lapses of attention, an altered perception of the passage of time, and to an impressively diverse array of behavioral outcomes. Above all, it shapes our world and lives.
-
121837.59132
‘Gender identity’ was clearly defined sixty years ago, but the dominant conceptions of gender identity today are deeply obscure. Florence Ashley’s 2023 theory of gender identity is one of the latest attempts at demystification. Although Ashley’s paper is not fully coherent, a coherent theory of gender identity can be extracted from it. That theory, we argue, is clearly false. It is psychologically very implausible, and does not support ‘firstperson authority over gender’, as Ashley claims. We also discuss other errors and confusions in Ashley’s paper.
-
124538.591333
Social learning is a collective approach to decentralised decision-making and is comprised of two processes; evidence updating and belief fusion. In this paper we propose a social learning model in which agents’ beliefs are represented by a set of possible states, and where the evidence collected can vary in its level of imprecision. We investigate this model using multi-agent and multi-robot simulations and demonstrate that it is robust to imprecise evidence. Our results also show that certain kinds of imprecise evidence can enhance the efficacy of the learning process in the presence of sensor errors.
-
127547.591346
An act type is something that an agent can do: walk to the store, climb Mount Everest, trip over a wire. Act types are ‘repeatables’: many have climbed Mount Everest. Act types are not events. If you climb Everest, an event occurs—your cold, brutal climb—but this event is not what you do. What you do is climb Everest.
-
127570.591359
On April 19, 2024, the New York Declaration on Animal Consciousness was announced at the “Emerging Science of Animal Consciousness” conference held at New York University. The New York Declaration is an effort to showcase a scientific consensus on the presence of conscious experiences across all vertebrates (including reptiles, amphibians, and fish) and many invertebrates (at least including cephalopods, decapod crustaceans, and insects).
-
127596.591371
Pascal’s Wager involves expected utilities. In this chapter, we examine the Wager in light of two main features of expected utility theory: utilities and probabilities. We discuss infinite and finite utilities, and zero, infinitesimal, extremely low, imprecise, and undefined probabilities. These have all come up in recent literature regarding Pascal’s Wager. We consider the problems each creates and suggest prospects for the Wager in light of these problems.
-
127624.591384
This paper begins by applying a version of Timothy Williamson’s anti-luminosity argument to normative properties. This argument suggests that there must be at least some unknowable normative facts in normative Sorites sequences, or otherwise we get a contradiction given certain plausible assumptions concerning safety requirements on knowledge and our doxastic dispositions. This paper then focuses on the question of how the defenders of different forms of metaethical anti-realism (namely, error theorists, subjectivists, relativists, contextualists, expressivists, response dependence theorists, and constructivists) could respond to the explanatory challenge created by the previous argument. It argues that, with two exceptions, the metaethical anti-realists need not challenge the argument itself, but rather they can find ways to explain how the unknowable normative facts can obtain. These explanations are based on the idea that our own attitudes on which the normative facts are grounded need not be transparent to us either. Reaching this conclusion also illuminates how metaethical anti-realists can make sense of instances of normative vagueness more generally.
-
127650.591396
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.
-
127678.591409
A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks.
-
127733.591421
What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss.
-
130665.591434
Suppose that we have n objects α1, ..., αn, and we want to define something like numerical values (at least hyperreal ones, if we can’t have real ones) on the basis of comparisons of value. Here is one interesting way to proceed. …
-
137895.591448
We propose our account of the meaning of local symmetries. We argue that the general covariance principle and gauge principle both are principles of democratic epistemic access to the law of physics, leading to ontological insights about the objective nature of spacetime. We further argue that relationality is a core notion of general-relativistic gauge field theory, tacitly encoded by its (active) local symmetries.
-
137926.591466
I present an ontologically parsimonious de Broglie wave in which this superluminal phenomenon is simply a modulation - essentially a distortion of undulatory form - induced in the structure of the moving particle by the failure of simultaneity. I show that the emergence of this modulation would explain the wave-like manner in which a massive particle evolves and interacts, whilst the underlying structure would de…ne the physically realistic particle trajectories favoured by de Broglie-Bohm theories. As I will also demonstrate, signi…cant support for this interpretation may be found in de Broglie’s own writings, including in particular his 1926 work, Ondes et Mouvements [1].
-
185421.59148
This article focuses on the epistemological challenges of comprehending organic life. It explores the cognitive and experiential basis of the perspective that organisms are autonomous agents of their own teleological organization and development. According to Immanuel Kant and Hans Jonas, the conditions of the knowability of organic life lie within our mental faculties and inner experiences. This statement is often interpreted to mean that we cannot attain ontological knowledge about the life of an organism.