Philosophical Progress

Articles and blog posts found on 05 July 2025

2025-07-05T23:59:00Z

Adam Tamas Tuboly: On the value of pseudoscience and its philosophical study (pdf, 14737 words)

In philosophy of science, the pseudosciences (like cryptozoology, homeopathy, Flat-Earth Theory, anti-vaccination activism, etc.) have been treated mainly negatively. They are viewed not simply as false, but even dangerous, since they try to mimic our best scientific theories, thus gaining respect and trust from the public, without the appropriate credentials. As a result, philosophers have traditionally put considerable effort into demarcating genuine sciences and scientific theories from pseudoscience. Since these general attempts at demarcation have repeatedly been shown to break down, the present paper takes a different and somewhat more positive approach to the study of pseudoscience. My main point is not that we should embrace and accept the pseudosciences as they are, but rather that there are indeed valuable and important lessons inherent in the study of pseudoscience and the different sections of the paper list at least six of them. By showing, through numerous examples, how (the study of) pseudoscience can teach us something about science, ourselves, and society, it makes the case that as philosophers, we should devote more time and energy to engaging with such beliefs and theories to help remedy their harmful effects.

Under the Net: Reader's Digest, July 5, 2025 (html, 856 words)

In the last NYRB, Kwame Anthony Appiah reviewed two recent books about translation. One is by Damion Searls, whose Tractatus I criticized in this space, provoked in part by his complaint about philosophers as translators of philosophy. …

Good Thoughts: The Costs of Permission (html, 924 words)

Apparently, Italy requires residents to secure a medical certificate before joining a gym, sports club, or other source of regular physical exercise. This is (very loosely) estimated to prevent a few deaths per year from sudden cardiac events but at a net cost of thousands of QALYs lost due to exercise deterrence. …

Articles and blog posts found on 04 July 2025

2025-07-04T23:59:00Z

Lyu FU: Beauty Leads to Truth: Aesthetic Induction on Consistency (pdf, 12168 words)

The belief that beauty leads to truth is prevalent among contemporary physicists. Far from being a private faith, it operates as a methodological guiding principle, essentially when physicists have to develop theories without new empirical data.

Petr Spelda, Vit Stritecky: Unpredictability of AI Alignment Is Not Always Bad for AI Safety (pdf, 9505 words)

Robustness of AI alignment is one of the safety issues of large language models. Can we predict how many mistakes will a model make when responding to a restricted request? We show that when access to the model is limited to in-context learning, the number of mistakes can be proved inapproximable, which can lead to unpredictability of alignment of the model. Against intuition, this is not entirely bad news for AI safety. Attackers might not be able to easily misuse in-context learning to break alignment of the model in a predictable manner because the mistake bounds of safe responses, which were used for alignment, can be proved inapproximable. This inapproximability can hide the safe responses from attackers and make alignment of the model unpredictable. If it were possible to keep the safe responses from attackers, responsible users would benefit from testing and repairing of the model’s alignment despite its possible unpredictability. We also discuss challenges involved in ensuring democratic AI alignment with limited access to safe responses, which helps us to make alignment of the model unpredictable for attackers.

el skaf rawad: Post-Growth and the Lack of Diversity in the Scenario Framework (pdf, 12035 words)

Scenarios and pathways, as defined and used in the “SSP-RCP scenario framework”, are key in last decade’s climate change research and in the latest report of the Intergovernmental Panel on Climate Change (IPCC). In this framework, Shared Socioeconomic Pathways (SSP) consist of a limited set of alternative socioeconomic futures, that are both represented in short qualitative narratives and with quantitative projections of key drivers. One important use of the computationally derived SSP-scenarios is to do mitigation analysis and present a “manageable” set of options to decision-makers. However, all SSPs and derivatively SSP-scenarios in this framework assume a globally growing economy into 2100. This, in practice, amounts to a value-laden restriction of the space of solutions to be presented to decision-makers, falling short of IPCC’s general mandate of being “policy-relevant and yet policy-neutral, never policy-prescriptive”. Yet, the Global Economic Growth Assumption (GEGA) could be challenged and in practice is challenged by post-growth scholars.

Good Thoughts: Death by Metaphysics (html, 1144 words)

How badly would it suck to die because a person who could have saved your life (along with the lives of four others tied to the train tracks beside you) preferred “allowing” to “doing”? A second was just about to save you when they realized that the side track—where just one person awaited as collateral damage—later loops back, turning the purportedly-collateral damage into an instrumental killing. …

Articles and blog posts found on 03 July 2025

2025-07-03T23:59:00Z

Michael Caie: Names and Higher-Order Logic (pdf, 20787 words)

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.

Michael Caie: Being Hesperus and Being Phosphorus (pdf, 25634 words)

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?

The Archimedean Point: On Progressive Taxation (html, 2921 words)

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. …

Articles and blog posts found on 02 July 2025

2025-07-02T23:59:00Z

André Casajus: Related characterizations of the Shapley value and the weighted Shapley values via relaxations of differential marginality (pdf, 11295 words)

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.

Austin Due: Symptom Bias: Definition, Identification and Avoidance (pdf, 1627 words)

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?

Claus Beisbart: Digging deeper with deep learning? Explanatory understanding and deep neural networks (doc, 14734 words)

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.

Grant Ramsey, Andra Meneganzin: Multilevel Innovativeness and Cross-Species Comparisons (pdf, 13316 words)

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.

Luca Incurvati: Three Kinds of Logical Expressivism (pdf, 12129 words)

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.

Nuhu Osman Attah: The Work of Art in the Age of Automated Production (pdf, 10740 words)

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]).

Peter Baumann: Transcendental Arguments in Reid? A Reply to McCraw (pdf, 2853 words)

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).

T. Parent: A Failure of Conservativity in Classical Logic (pdf, 975 words)

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.

T. Parent: An Anomaly in Diagonalization (pdf, 7511 words)

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.

Ted Parent: Ontology and Acceptance (pdf, 7734 words)

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.

Bet On It: Life is Too Short to Wash and Dry (html, 730 words)

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. …

Articles and blog posts found on 01 July 2025

2025-07-01T23:59:00Z

Georg Brun: Logic and Formalization (pdf, 13142 words)

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.

Preston Greene: The Termination Risks of Simulation Science (pdf, 10371 words)

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.

Articles and blog posts found on 30 June 2025

2025-06-30T23:59:00Z

Antonis Antoniou: Why did the Dark Matter Hypothesis Supersede Modified Gravity in the 1980s? (pdf, 13862 words)

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.

Eleanor March: What is the value in an intrinsic formalism? (pdf, 9614 words)

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.

M. Muñoz Pérez: On a form of intrinsic optimism in Set Theory (pdf, 18195 words)

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.

Marcello Poletti: Observable and Unobservable in Quantum Mechanics (pdf, 5889 words)

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.

Valia Allori: Functionalism, Vagueness, Reduction and the Quantum: The Case of Everettian Mechanics (pdf, 10194 words)

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.

Valia Allori: A Minimal Metaphysics of Thin-Objects and Nomic Structure (pdf, 14319 words)

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.

More to Hate: Boys Do Cry (html, 1400 words)

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. …

Articles and blog posts found on 29 June 2025

2025-06-29T23:59:00Z

Enno Fischer: The Pursuitworthienss of Experiments (pdf, 9089 words)

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.

Ian Phillips: Cognitive Sciences (pdf, 1387 words)

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].

Irina Spiegel: The Possibility of a General Theory of Normativity in Light of the Number-Counts-Debate (pdf, 10315 words)

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. Welfarism^min 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 welfarism^min approach and suggests a possible alternative for more adequately addressing the Taurek problem.

Ryan O'Loughlin, Daniele Visioni: When Are Small-Scale Field Experiments in Solar Geoengineering Worth Pursuing? (pdf, 10593 words)

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).