Pith. sign in

REVIEW 3 major objections 5 minor 5 references

Disentangling scientific realism from anti-exceptionalism

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Pith's one-line read Anti-exceptionalism about logic does not require scientific realism.

desk verdict A useful, carefully hedged conceptual paper that makes a modest point about AEL and realism, with the quantum underdetermination parallel as its best addition; the exegetical claim about current AEL's realist commitments is plausible but under-supported. read the letter →

arxiv 2507.04479 v1 pith:XH4OX2UO submitted 2025-07-06 physics.hist-ph quant-ph

classification physics.hist-phquant-ph
keywords anti-exceptionalismaboutlogiclogicalepistemologyscientificrealismantirealismconstructiveempiricismunderdeterminationquantummechanicstheorychoice
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Anti-exceptionalism about logic (AEL) is the view that logical theories are chosen much like scientific theories, by abduction or by predictive success. This paper argues that the main current formulations of AEL quietly assume a realist picture of science: a unified method that aims at the true description of independently existing logical facts. It then argues that this realism is a sociological contingency of the literature, not a metaphilosophical necessity. Drawing on four levels of underdetermination in quantum mechanics, the paper shows that science itself does not supply a unique theory-choice method. It concludes that AEL can be rebuilt on antirealist foundations, such as constructive empiricism, and sketches what that would change.

What carries the argument

The central device is the parallel between the metaphysics of science and the epistemology of logic, illustrated by a four-level ladder of underdetermination in quantum mechanics: dynamical (multiple quantum interpretations fit the same evidence), ontological (different accounts of what exists), metaphysical (individuality vs non-individuality of quantum objects), and logical (classical vs non-reflexive Schrödinger logics and quasi-set theory). Each level shows that the physics itself cannot settle the choice, and the logical level demonstrates the same underdetermination for logical theory choice, thereby demotivating the realist assumption that science delivers a uniquely true theory.

What would settle it

A direct refutation would be to exhibit a formulation of AEL in the current literature that explicitly combines anti-exceptionalism with an antirealist philosophy of science, such as constructive empiricism, while still fitting the paper's own characterization of AEL; alternatively, showing that the quantum-mechanical cases of underdetermination do not transfer to logical theory choice would undermine the lesson.

Watch

Extended reading notes

Core claim

The paper's central claim is that anti-exceptionalism about logic, as defended in the abduction-based versions of Priest and Hjortland and the prediction-based version of Martin and Hjortland, presupposes a broadly realist description of both science and logic: logical theories are candidates for the true description of validity, and theory choice aims at truth. Against this, the paper argues that the continuity between logic and science can be understood in radically different ways. The four levels of underdetermination found in quantum mechanics—the underdetermination of interpretation by physics, of ontology by interpretation, of metaphysics by physics, and of logic by both—show that science does not offer a single, consensus methodology. Since realism is just one philosophical gloss on science, the link from anti-exceptionalism to realism is not forced.

Load-bearing premise

The argument assumes that the abduction-based versions of Priest and Hjortland and the prediction-based version of Martin and Hjortland are representative of most current AEL literature and that these versions genuinely presuppose realism; if those authors can be reconstructed without realist commitments, the central claim weakens.

Editorial extensions

If this is right

  • If AEL is disentangled from realism, anti-exceptionalists can appeal to a broader menu of philosophies of science, including constructive empiricism.
  • Logical theory choice can be reframed in terms of empirical adequacy rather than truth, so that multiple logics can be accepted without claiming to be the one true logic.
  • The debate between logical monism and pluralism is deflated, since the antirealist emphasis on understanding rather than truth removes the need to pick a single correct system.
  • Abandoning the 'one true logic' goal removes the need for an inaccessible realm of logical facts, such as Priest's logica ens.
  • Since quantum mechanics itself is underdetermined at multiple levels, appeals to science as a source of clear theory-choice lessons are weakened.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension, not developed in the paper, would be to specify what counts as the empirical adequacy of a logical theory independently of its truth.
  • The underdetermination argument could be tested on other scientific domains, such as chemistry or biology, to see whether a logical level of underdetermination transfers there as well.
  • If realism is indeed a contingency, the burden of proof shifts to realist anti-exceptionalists to justify why realism should be the default rather than a choice.
  • The paper's own footnote on underdetermination responses suggests that even a weaker, non-knockdown version of the point could still support the contingency thesis.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. This paper argues that anti-exceptionalism about logic (AEL), as formulated in the leading methodological literature centered on abductivism and predictivism, presupposes a unified and consensual scientific methodology and thereby inherits a scientific realist picture of logic. The authors claim that this realist commitment is a sociological contingency of the current debate rather than a metaphilosophical necessity. They support this by drawing parallels with disputes in the metaphysics of science and quantum foundations, where underdetermination at four levels (dynamical, ontological, metaphysical, and logical) is used to show that science does not straightforwardly deliver a unique true theory. They then sketch how a constructive empiricist antirealism could serve as an alternative background for AEL and list several benefits of an antirealist approach to logical theory choice.

Significance. If the central claim holds, the paper is a valuable metaphilosophical contribution: it disentangles a realist metaphysics from the methodological core of AEL, clarifies that continuity with science can be developed along antirealist lines, and opens a recognizable research program for antirealist AEL. The paper is carefully hedged (note 10; conclusion), explicitly credits prior related work by Erickson (2021), and does not overclaim that it has refuted realism or defended a specific antirealist approach. Its strengths are the clear textual engagement with Priest, Hjortland, and Martin, the explicit acknowledgment of alternative AEL formulations, and the constructive proposal to use science in a non-realist way. The main value is in reframing the debate rather than in new technical results, and the significance depends on whether the exegetical claim about current AEL can be made robust.

major comments (3)
  1. [Section 2, pp. 5-6] The central interpretive move, that abductivism and predictivism in AEL are 'openly realist' because they aim at 'the truth about a certain independently existing phenomenon,' is not forced by the quoted texts. Priest's distinction between logica docens and logica ens, and his characterization of logical facts as 'truths of the form that so and so follows from that such and such,' can be read deflationarily; a constructive empiricist can say that a logic is appraised by whether it saves the accepted inference patterns and predicts which inferences are accepted, without believing in a mind-independent domain of logical facts. Since the paper's claim that current AEL 'takes for granted' realism depends on this exegetical step, the authors should either provide direct textual evidence that Priest, Hjortland, and Martin reject antirealist reconstructions, or weaken the claim to the more modest thesis that the leading formulations suggest a realist gloss but do not require it.
  2. [Section 3, pp. 8-11] The quantum cases illustrate underdetermination within a single domain, namely interpretations of quantum mechanics and the identity of quantum objects, but they do not show that classical and Schrödinger logics are underdetermined as global accounts of validity, nor that the underdetermination transfers to logical theory choice in general. The paper's moral that 'AEL shouldn't be so quick in hoping that science is always teaching us clear lessons' (p. 11) is too strong: AEL's methodological claim only requires that science has a recognizable theory-choice process, not that it resolves all underdetermination. Note 10 already concedes that underdetermination is not a knockdown argument, but the section is presented as an instructive parallel; its scope should be stated more carefully, and the transfer from quantum-specific logical underdetermination to AEL's general theory choice should be argued explicitly.
  3. [Section 2, n. 6 and abstract] The paper's target is described in the abstract as 'some relevant versions' of AEL but in Section 2 as 'most of current literature.' Footnote 6 itself mentions Arenhart (2022), Tajer (2022), and Commandeur (2023) as non-realist AEL formulations, which undermines the generality of the central claim unless those alternatives are shown to be outside the relevant class. The authors should specify their target class (for example, methodological AEL centered on theory choice) and either engage with the cited alternatives or explicitly bracket them; otherwise the 'sociological contingency' claim is overgeneralized.
minor comments (5)
  1. [p. 4] In the Priest block quote, 'logic docens' should be 'logica docens' for consistency with the surrounding text.
  2. [p. 9] In the box-statistics illustration, 'One indistinguishable particles is inside each box' should be 'One indistinguishable particle is inside each box.'
  3. [p. 6, n. 6] Consider moving the discussion of non-realist AEL alternatives into the main text, since it bears directly on the scope of the paper's claim.
  4. [p. 13] The claim that giving up the true logic 'deflates' the monism/pluralism debate is asserted in one sentence; a brief illustration would make the benefit concrete.
  5. [p. 5] The phrase 'correctly predicts what is actually valid' is ambiguous between a realist reading (validity as a mind-independent fact) and an antirealist reading (validity as what is accepted in a practice); the authors should disambiguate, since this ambiguity motivates the first major comment.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the paper's interpretive claim is supported by external textual evidence and explicit hedges; self-citations are not load-bearing.

full rationale

The paper contains no derivation chain, fitted parameters, or uniqueness theorems; its central claim is a philosophical exegesis that current versions of anti-exceptionalism about logic (AEL) presuppose scientific realism, and that this presupposition is a sociological contingency rather than a metaphysical necessity. The claim is argued from direct quotations of external authors (Priest 2014; Hjortland 2017; Martin 2021; Martin and Hjortland 2021, 2022), from independently acknowledged prior work (Erickson 2021), and from standard antirealist sources (van Fraassen 1980, 1989). The quantum-mechanical underdetermination examples are offered as illustrations, not as formal derivations, and the paper explicitly hedges in note 10 that underdetermination is not a knockdown argument against realism. Self-citations do appear (Arenhart 2022, 2023; Arenhart and Arroyo 2023; Arenhart and da Cunha 2023; Arroyo and Arenhart 2022), but they are confined to footnotes and peripheral discussions, such as pointing to alternative non-realist formulations of AEL or to prior discussion of underdetermination levels; they do not carry the central argument. The paper also acknowledges its own limits, stating that offering alternatives 'is not an argument against AEL' and that it has 'not explicitly defended any antirealist approach in particular.' Thus there is no step in which the conclusion is equivalent to its inputs by definition, no fitted parameter renamed as a prediction, and no load-bearing self-citation chain. The score of 2 reflects only the presence of minor, non-load-bearing self-citations and the inherent interpretive character of the central premise, not any circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

This is a conceptual argument, so there are no fitted parameters or invented entities. The central claim rests on interpretive assumptions about the AEL literature and on the illustrative force of quantum underdetermination.

assumptions (3)
  • domain assumption The quoted characterizations of AEL (Hjortland 2017; Priest 2014/2016; Martin and Hjortland 2021/2022) are representative of 'most current literature' and are read correctly as presupposing scientific realism.
    The paper's target is AEL 'as characterized in most of current literature' (Section 2). If the quoted authors can be reconstructed non-realistically, the claim that realism is a background assumption loses much of its force.
  • domain assumption Underdetermination of theory by evidence in quantum mechanics is genuine and unresolved at the dynamical, ontological, metaphysical, and logical levels.
    Section 3 uses four levels of underdetermination to show science does not supply a determinate theory-choice method. The authors concede this is not knockdown (note 10), but the illustrative force depends on the cases being persuasive.
  • domain assumption Existing non-realist formulations of AEL (Arenhart 2022; Tajer 2022; Commandeur 2023) are coherent and count as genuine anti-exceptionalism.
    Footnote 6 cites these as alternatives not focusing on logical theory choice. The paper uses their existence to support the claim that antirealist AEL is possible; if these are not genuine AEL, the contingency claim weakens.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Disentangling scientific realism from anti-exceptionalism." pith.science (2026). https://pith.science/paper/XH4OX2UO

@misc{pith2026250704479,
  author       = {Pith},
  title        = {Pith review of: Disentangling scientific realism from anti-exceptionalism},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XH4OX2UO}},
  note         = {Machine review of arXiv:2507.04479}
}
read the original abstract

Scientific realism is, currently, one of the most well-entrenched background assumptions of some relevant versions of anti-exceptionalism about logic. We argue that this is a sort of sociological contingency rather than a metaphilosophical necessity. Drawing parallels with the metaphysics of science (as applied to quantum foundations), we try to bring the realist assumptions of anti-exceptionalism to light, to demotivate the necessary connection between realism and anti-exceptionalism, briefly exploring the possibility of adopting antirealism as the background default view of science instead.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 4 canonical work pages

  1. [1]

    The Roads to Non-Individuals

    Albert DZ (1992) Quantum mechanics and experience . Harvard University Press, Cambridge Arenhart JRB (2017) The received view on quantum non-individuality: formal and metaphysical analysis. Synthese 194(4), pp. 1323–1347 Arenhart JRB (2022) Logical Anti-Exceptionalism Meets the ’Logic-as-Models’ Approach. Theoria 88(6), pp. 1211–1227 doi: 10.1111/theo.124...

  2. [2]

    Are there quantum jumps?

    Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honour of the Philosophy of D ´ecio Krause ed. by JRB Arenhart, R Arroyo Synthese Library 476 Springer, pp. 79–100 Arenhart JRB, da Cunha IF (2023) Carnapian Lessons for Anti-Exceptionalism About Logic. History and Philosophy of Logic 44(1), pp. 54–65 doi: 10.1080/ 01445340.2022.2...

  3. [3]

    Can We Quarantine the Quantum Blight?

    Macmillan, Cham 16 Jonas R. B. Arenhart, Raoni Arroyo, and Ederson Safra Melo Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Annals of mathematics, pp. 823–843 Bueno O (2010) Is Logic a Priori?. The Harvard Review of Philosophy 17(1), pp. 105–117 Bueno O (2017) Scientific Pluralism, Consistency Preservation, and Inconsistency Toleration....

  4. [4]

    Scientific Realism without the Quantum

    Lab, Stanford University French S, Krause D (2006) Identity in physics: A historical, philosophical, and formal analysis. Oxford University Press, Oxford Guay A, Pradeu T (2020) Right out of the box: how to situate metaphysics of science in relation to other metaphysical approaches. Synthese 197(5), pp. 1847–1866 Haack S (1978) Philosophy of Logics . Camb...

  5. [5]

    Quantum Non-individuality: Background Con- cepts and Possibilities

    Hentschel, F Weinert Springer, Dordrecht, pp. 311–317 Krause D (1992) On a quasi-set theory.Notre Dame Journal of Formal Logic33(3), pp. 402–411 Krause D, Arenhart JRB (2018) “Quantum Non-individuality: Background Con- cepts and Possibilities” The Map and the Territory: Exploring the Foundations of Science, Thought and Reality ed. by S Wuppuluri, FA Doria...

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.