-
26106.621339
There is a longstanding puzzle about empty names. On the one hand, the principles of classical logic seem quite plausible. On the other hand, there would seem to be truths involving empty names that require rejecting certain classically valid principles.
-
26156.621416
Consider the property of being something that is identical to Hesperus. For short, call this the property of being Hesperus. What is the nature of this property? How does it relate to the property of being Phosphorus? And how do these properties relate to the purely haecceitistic property of being v—the unique thing that has the property of being Hesperus and the property of being Phosphorus?
-
40477.621432
Very short summary: This essay provides an account in favor of a progressive consumption tax, in light of the efficiency and fairness issues that affect the more common progressive income tax. I argue that the progressive consumption tax not only avoids the standard incentive problem but also responds to Hayek’s critique of the unfairness of progressive taxation. …
-
104397.621443
Casajus (J Econ Theory 178, 2018, 105–123) provides a characterization of the class of positively weighted Shapley value for …nite games from an in…nite universe of players via three properties: e¢ ciency, the null player out property, and superweak differential marginality. The latter requires two players’payoffs to change in the same direction whenever only their joint productivity changes, that is, their individual productivities stay the same. Strengthening this property into (weak) differential marginality yields a characterization of the Shapley value. We suggest a relaxation of superweak differential marginality into two subproperties: (i) hyperweak differential marginality and (ii) superweak differential marginality for in…nite subdomains. The former (i) only rules out changes in the opposite direction. The latter (ii) requires changes in the same direction for players within certain in…nite subuniverses. Together with e¢ ciency and the null player out property, these properties characterize the class of weighted Shapley values.
-
116367.621453
Baumann, Peter. 2025. “Transcendental Arguments in Reid? A Reply to McCraw.” Social Epistemology Review and Reply Collective 14 (7): 1–6. https://wp.me/p1Bfg0-9Ze. Benjamin W. McCraw’s article “A Reidian Transcendental Argument Against Skepticism” (2025) constitutes an original and thought-provoking contribution both to Reid scholarship and to the discussion of epistemic skepticism. In the following I will make a few remarks about it, focusing on the discussion of skepticism. I start with a brief historical remark on Reid and Kant (§ 1) before I explain the anti-skeptical argument in some detail (§ 2). A discussion of the premises of the argument follows (§ 3). I add some remarks about the social aspect of McCraw’s anti-skeptical stance (§ 4). I finish with another set of historical remarks (§ 5), this time about Reid and Wittgenstein, and a brief conclusion (§ 6).
-
120477.621465
I’m a non-conformist, but not a reflexive contrarian. My chief goal is to enjoy every day of my life, and my non-conformism is only a means to that end. But what a means it is! By the power of non-conformism, I weasel out of hours of daily drudgery. …
-
124436.621474
In this paper, I distinguish and compare three kinds of logical expressivism. The first, reminiscent of attitude expressivism in meta-ethics, holds that logic is expressive in that logical vocabulary serves to express attitudes. For instance, traditional attitude expressivism about negation, going back to the work of Frank Plumpton Ramsey, Huw Price and others, holds that not expresses disbelief. The second kind of logical expressivism, reminiscent of deflationism about truth and championed by Robert Brandom, holds that logic is expressive in that logical vocabulary serves to make explicit—typically, by expressing them as contents of assertions—the commitments that are implicit in our discursive practices. For instance, content expressivism about the conditional holds that if expresses as content commitment to the goodness of certain inferential moves. The third kind of logical expressivism, and the one I will be arguing for, holds that, in a sense, logic is expressive in both ways: logical vocabulary serves to make explicit commitments to expressions of attitudes.
-
125909.621487
In a system with identity, quotation, and an axiom predicate, a classical extension of the system yields a falsity. The result illustrates a novel form of instability in classical logic. Notably, the phenomenon arises without vocabulary such as ’true’ or ’provable’. Conservative extensions are safe expansions: They add expressive resources while proving the same theorems (or at most, terminological variants thereof). Conservative extensions are foundational for major developments, including the Lowenheim-Skolem theorems, precise comparisons of proof-theoretic strength (Simpson 2009), and the understanding of reflection principles in arithmetic and set theory (Feferman 1962). The purpose here is not to question these developments, but rather to advise caution for the future. Some extensions that appear quite conservative end up not being so. In a system with identity, quotation, and a metalinguistic singular term, a purely syntactic predicate for axioms can create instability under an innocent-looking extension.
-
125931.621495
It is known that some diagonal arguments, when formalized, do not demonstrate the impossibility of the diagonal object, but instead reveal a breakdown in definability or encoding. For example, in a formal setting, Richard’s paradox does not yield a contradiction; it instead reflects that one of the relevant sets is ill-defined. (For elaboration and other examples, see Simmons 1993, Chapter 2.) This invites the possibility that other diagonal arguments may reflect similar anomalies. The diagonal argument against a universal p.r. function is considered in this light. The impetus is an algorithm which appears to satisfy all standard criteria for being p.r. while simulating the computation of fi(i, n) for any index i of a binary p.r. function. The paper does not attempt to explain why this construction apparently survives the usual diagonal objection, but presents it in a form precise enough to support that analysis.
-
125950.621502
According to Beebee (2018), methodological problems and intractable disagreement in philosophy suggest that we should not believe any philosophical claims, but (in brief) accept them as working hypotheses. Beebee takes van Fraasseen (1980) as inspiration, whose scientific instrumentalism recommends such “acceptance” for claims about unobservables in microphysics. In this paper, I argue that Beebee-style acceptance faces problems which have no analogue for van Fraasssen-style acceptance. In short, philosophical beliefs for the equilibrist are not optional in a way that beliefs about microphysics are. Or rather, that is so unless a fairly radical deflationism about truth and meaning is joined with equilibrism. For what it’s worth, I am not entirely opposed to this under certain qualifications. Regardless, radical deflationism would be a significant liability for equilibrism, and so it is unlikely to be welcomed by Beebee.
-
128079.62151
Despite their successes at prediction and classification, deep neural networks (DNNs) are often claimed to fail when it comes to providing any understanding of real-world phenomena. However, recently, some authors have argued that DNNs can provide such understanding. To resolve this controversy, I first examine under which conditions DNNs provide humans with explanatory understanding in a clearly defined sense that refers to a simple setting. I adopt a systematic approach that draws on theories of explanation and explanatory understanding, but avoid dependence on any specific account by developing broad conditions of explanatory understanding that leave space for filling in the details in several alternative ways. I argue that the conditions are difficult to satisfy however these details are filled in. The main problem is that, to provide explanatory understanding in the sense I have defined, a DNN has to contain an explanation, and scientists typically do not know whether it does. Accordingly, they cannot feel committed to the explanation or use it, which means that other conditions of explanatory understanding are not satisfied. Still, in some attenuated senses, the conditions can be fulfilled. To complete my conciliatory project, I further show that my results so far are compatible with using DNNs to infer explanatorily relevant information in a thorough investigation. This is what the more optimistic literature on DNNs has focused on. In sum, then, the significance of DNNs for understanding real-world systems depends on what it means to say that they provide understanding, and on how humans use them.
-
128122.621518
Behavioral innovativeness—the propensity of an individual organism or higher group to innovate—is frequently invoked as a measurable trait allowing for cross-species comparisons. Individuals or species are often regarded as more innovative or less innovative than others, implying that we can rank order the degree of innovativeness along a single dimension. This paper defends a novel multidimensional understanding of behavioral innovativeness in which innovativeness can be modulated with respect to the generation and capitalization of opportunities, as well as the effectiveness and depth of the innovative behaviors. Besides innovation being multidimensional, it is also multilevel. Here we show how innovativeness at one level (such as the species level) does not automatically translate to innovativeness at another (such as the organism level) and discuss why this matters for cross-species comparisons.
-
128143.621526
A common criticism of medicine is that there is too much focus on treating symptoms instead of patients. This criticism and its sentiment – among other factors – have motivated many ‘humanistic,’ ‘holistic,’ and ‘non-reductionist’ approaches to medicine including the biopsychosocial model, patient-centered medicine, ‘gentle’ medicine, and others. Much has been said detailing and defending these approaches. My aim here is not to further defend one or any of these. Rather, my aim is to better understand what is at the heart of the ‘common criticism,’ i.e., that treating symptoms – not patients – is bad. What does this mean? Are symptoms not something patients have? By treating symptoms, do clinicians not necessarily treat the patients that have them?
-
128222.621535
Our fine arts were developed, their types and uses were established, in times very different from the present...But the amazing growth of our techniques, the adaptability and precision they have attained, the ideas and habits they are creating, make it a certainty that profound changes are impending in the ancient craft of the Beautiful. In all the arts there is a physical component which can no longer be considered or treated as it used to be, which cannot remain unaffected by our modern knowledge and power…We must expect great innovations to transform the entire technique of the arts, thereby affecting artistic invention itself and perhaps even bringing about an amazing change in our very notion of art. (Valéry 1964 [1928], 225) The passage describes a moment in the history of art in the West in the 20th century characterized by the introduction of new artistic technologies of production and reproduction such as photography. The passage serves as the epigraph to Walter Benjamin’s “The Work of Art in the Age of Mechanical Reproduction” in which he contends that the analyses necessitated by the condition described by Paul Valery compels us to “brush aside a number of outmoded concepts, such as creativity and genius, eternal value and mystery…” (Benjamin 1969[1936]).
-
188872.621545
In logic and philosophy of logic, “formalization” covers a broad range of interrelated issues: some philosophers hold that logical systems are means to formalize theories and reasoning (Dutilh Novaes 2012), others seek to formalize semantical by syntactical systems (Carnap 1942/43), ask whether logical languages are formalizations of natural languages (Stokhof 2018), teach undergraduates to formalize arguments using elementary logic, debate how to formalize notions such as moral obligation (Hansson 2018), or develop formalizations of belief change processes (Rott 2001). This variety goes hand in hand with an equally broad range of general views about what logic and its role in philosophy is or should be – whether, for example, logic is first of all a tool for reasoning (Dutilh Novaes 2012), a mathematical theory of certain formal structures which can be used to model philosophically interesting phenomena (Hansson 2018; Sagi 2020a; Stokhof 2018), or a theory that studies inferential relations in natural language and enables us to show that certain ordinary-language arguments are valid (Peregrin/Svoboda 2017), to name just a few. More or less implicitly, these approaches contain views on what the target phenomena of formalizing are (languages, arguments, …), what kind of relation formalizations have to it (model, tool, …) and whether formalizing is an integral part of logic or an application of it.
-
212955.621553
Historically, the hypothesis that our world is a computer simulation has struck many as just another improbable-but-possible “skeptical hypothesis” about the nature of reality. Recently, however, the simulation hypothesis has received significant attention from philosophers, physicists, and the popular press. This is due to the discovery of an epistemic dependency: If we believe that our civilization will one day run many simulations concerning its ancestry, then we should believe that we are probably in an ancestor simulation right now. This essay examines a troubling but underexplored feature of the ancestor-simulation hypothesis: the termination risk posed by both ancestor-simulation technology and experimental probes into whether our world is an ancestor simulation. This essay evaluates the termination risk by using extrapolations from current computing practices and simulation technology. The conclusions, while provisional, have great implications for debates concerning the fundamental nature of reality and the safety of contemporary physics.
-
292164.621561
I present, discuss and critically evaluate Wallace’s account of functional (non-compositional) emergence to explain macroscopic phenomena within Everettian quantum mechanics. In brief, my main argument against this view is that it provides an unsatisfactory explanation, as it employs ‘effective ontologies’ defined in virtue of their usefulness which however do not possess any deeper justification.
-
292205.621584
A minimal realist thinks we are justified in believing in unobservable entities as explanatory, but we should be cautious in allowing non-empirically justified entities in our ontology. In this paper I argue that a minimalist would find my proposal for an ontology of fundamental entities without fundamental properties the best balance between empirical adequacy, explanatory power, and physical justification.
-
299529.621592
It was a particularly cruel heckling. Ketel Marte, a star baseball player for the Arizona Diamondbacks, was brought to tears by a heckler who shouted derogatory comments about Marte’s late mother, Elpidia Valdez, who died in a car crash in 2017. …
-
300786.6216
In this paper we will try to provide a solid form of intrinsic set theoretical optimism. In other words, we will try to vindicate Gödel’s views on phenomenology as a method for arriving at new axioms of ZFC in order to decide independent statements such as CH. Since we have previously written on this very same subject [41, 43, 44], it is necessary to provide a justification for addressing it once again.
-
300837.621609
I discuss the distinction between extrinsic and intrinsic approaches to reformulating a theory with symmetries, and offer an account of the special value of intrinsic formalisms, drawing on a distinction between which mathematical expressions are meaningful within an extrinsic formalism and which are not.
-
300882.621618
This work explores the connection between logical independence and the algebraic structure of quantum mechanics. Building on results by Brukner et al., it introduces the notion of onto-epistemic ignorance : situations in which the truth of a proposition is not deducible due to an objective breakdown in the phenomenal chain that transmits information from a system A to a system B, rather than to any subjective lack of knowledge. It is shown that, under such conditions, the probabilities accessible to a real observer are necessarily conditioned by decidability and obey a non-commutative algebra, formally equivalent to the fundamental postulates of quantum mechanics.
-
300906.621625
In the 1960s and 1970s a series of observations and theoretical developments highlighted the presence of several anomalies which could, in principle, be explained by postulating one of the following two working hypotheses: (i) the existence of dark matter, or (ii) the modification of standard gravitational dynamics in low accelerations. In the years that followed, the dark matter hypothesis as an explanation for dark matter phenomenology attracted far more attention compared to the hypothesis of modified gravity, and the latter is largely regarded today as a non-viable alternative. The present article takes an integrated history and philosophy of science approach in order to identify the reasons why the scientific community mainly pursued the dark matter hypothesis in the years that followed, as opposed to modified gravity. A plausible answer is given in terms of three epistemic criteria for the pursuitworthiness of a hypothesis: (a) its problem-solving potential, (b) its compatibility with established theories and the feasibility of incorporation, and (c) its independent testability. A further comparison between the problem of dark matter and the problem of dark energy is also presented, explaining why in the latter case the situation is different, and modified gravity is still considered a viable possibility.
-
363134.621633
The puzzle of aphantasia concerns how individuals reporting no visual imagery perform more-or-less normally on tasks presumed to depend on it [1]. In his splendid recent review in TiCS, Zeman [2] canvasses four ‘cognitive explanations’: (i) differences in description; (ii) ‘faulty introspection’; (iii) “unconscious or ‘sub-personal’ imagery”; and (iv) total lack of imagery. Difficulties beset all four. To make progress, we must recognize that imagery is a complex and multidimensional capacity and that aphantasia commonly reflects partial imagery loss with selective sparing. Specifically, I propose that aphantasia often involves a lack of visual-object imagery (explaining subjective reports and objective correlates) but selectively spared spatial imagery (explaining Some researchers have suggested that aphantasics may have failed to follow instructions or engage imagery [7]. This is unconvincing. In studies of galvanic skin responses, trials were excluded in which subjects failed to demonstrate ‘proper reading and comprehension’ of the frightening stories. Thus, it remains a mystery why spontaneous imagery did not emerge [6]. Similarly, in studies of pupillary light responses, aphantasics showed a characteristic in-task correlation between pupil and stimulus set size, indicating that they were not “‘refusing’ to actively participate…due to…a belief that they are unable to imagine” [5]. Aphantasics also do voluntarily form images in other tasks despite a lack of incentives [8].
-
387239.621642
Scientists decide to perform an experiment based on the expectation that their efforts will bear fruit. While assessing such expectations belongs to the everyday work of practicing scientists, we have a limited understanding of the epistemological principles underlying such assessments. Here I argue that we should delineate a “context of pursuit” for experiments. The rational pursuit of experiments, like the pursuit of theories, is governed by distinct epistemic and pragmatic considerations that concern epistemic gain, likelihood of success, and feasibility. A key question that arises is: what exactly is being evaluated when we assess experimental pursuits? I argue that, beyond the research questions an experiment aims to address, we must also assess the concrete experimental facilities and activities involved, because (1) there are often multiple ways to address a research question, (2) pursuitworthy experiments typically address a combination of research questions, and (3) experimental pursuitworthiness can be boosted by past experimental successes. My claims are supported by a look into ongoing debates about future particle colliders.
-
387262.621651
The question of which scientific ideas are worth pursuing is a fundamental challenge in science, particularly in fields where the stakes are high, and resources are limited. When the research is also time-sensitive, then the challenge becomes even greater. Philosophers of science have analyzed the pursuitworthiness of science from multiple perspectives, on topics ranging from whether there is a logic of pursuit (Feyerabend 1975; Shaw 2022), whether scientific standards ought to be relaxed in times of “fast science” (Friedman and Šešelja 2023; Stegenga 2024) as well as the role of criticism in evaluating scientific pursuits (DiMarco and Khalifa 2022).
-
387287.62166
This article revisits Taurek’s famous question: Should the greater number be saved in situations of resource scarcity? At the heart of this debate lies a central issue in normative ethics—whether numerical superiority can constitute a moral pro tanto reason. Engaging with this question helps to illuminate core principles of normative theory. Welfarismmin presents a pro-number position. The article first outlines Taurek’s original argument. It then examines non-welfarist responses and explains why they remain unsatisfactory. Finally, it identifies the main shortcomings of the hybrid welfarismmin approach and suggests a possible alternative for more adequately addressing the Taurek problem.
-
450379.621669
The EA Forum is currently hosting a fun debate (courtesy of) over whether morality is objective. Many of the anti-realists seem to find it mysterious how there could be a fact of the matter as to which fundamental normative standards are correct. …
-
460655.621677
Tarot is widely disdained as a way of finding things out. Critics claim it is bunk or—worse— a wretched scam. This disdain misunderstands both tarot and the activity of finding thing out. I argue that tarot is an excellent tool for inquiry. It initiates and structures percipient conversation and contemplation about important, challenging, and deep topics. It galvanises creative attention, especially towards inward-looking, introspective inquiry and openminded, collaborative inquiry with others. Tarot can cultivate virtues like epistemic playfulness and cognitive dexterity.
-
472247.621688
Very short summary: This is a two-part essay on the crisis of contemporary liberalism. I argue that this crisis reflects the growing influence of a conception of the political as a praxis that is beyond human rationality and reason. …