An Alleged Tension between Non-classical Logics and Applied Classical Mathematics

Sebastian Horvat; Iulian D. Toader

doi:10.1093/pq/pqad125

Home/Archive/arXiv

arXiv · 2304.08452

An Alleged Tension between Non-classical Logics and Applied Classical Mathematics

Sebastian Horvat·Iulian D. Toader

View original source ↗Read source document ↗Export metadata ↓

Abstract

Timothy Williamson has recently argued that the applicability of classical mathematics in the natural and social sciences raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We first reconstruct his argument and present its restriction to the case of quantum logic (QL). Then we show that there is no problematic tension between the applicability of classical mathematical models to quantum phenomena and the endorsement of QL in the reasoning about the latter. Once we identify the premise in Williamson's argument that turns out to be false when restricted to QL, we argue that the same premise fails for a wider variety of non-classical logics. In the end, we use our discussion to draw some general lessons concerning the relationship between applied logic and applied mathematics.

Explore related subjects

physics.hist-ph

Keep this discovery

BibTeX RIS

Sebastian Horvat, Iulian D. Toader. 2023-04-17. An Alleged Tension between Non-classical Logics and Applied Classical Mathematics. https://doi.org/10.1093/pq/pqad125

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Scientific Promise

Scientists constantly face decisions about what lines of research to pursue. This Element introduces the philosophical debate about scientific pursuitworthiness. It explains how it can be rational to pursue a theory even if the theory is less well supported than its rivals, and it discusses existing philosophical frameworks for guiding pursuit decisions. The Element also develops a new perspective. Existing accounts focus predominantly on theories, while experiments are largely neglected. This is an important shortcoming. Theoretical promise depends on experimental promise, and experimental promise raises questions of its own. Drawing on the epistemology of experimentation, the Element advances an account of experimental pursuitworthiness. It is argued that such pursuitworthiness depends on experimental virtues like a clear signal and simplicity of design. Moreover, the kinds of uncertainty that constrain the assessment of scientific pursuits are examined. Finally, the Element highlights open questions in the philosophy of scientific pursuitworthiness.

physics.hist-ph↗

arXiv2026

Is Black Hole Evaporation Prediction Friendly?

Manchak and Weatherall (2018) formulate the black hole information paradox as a failure of predictability in black hole evaporation spacetimes, diagnosed by non-global hyperbolicity. I offer a strategy for resolving this paradox. I argue that failures of predictability in black hole evaporation are not well diagnosed by non-global hyperbolicity. I then consider two weakenings of global hyperbolicity: prediction and retrodiction friendliness, the failure of which could ground a new paradox. However, deidealized black hole evaporation models can be prediction and retrodiction friendly. Therefore, the information paradox cannot be based upon failures of global hyperbolicity, nor either retrodiction or prediction unfriendliness.

physics.hist-ph↗

arXiv2026

The Crab Nebula progenitor: recovering the 1054 AD supernova event as galactic Gamma-ray burst

In 1054 AD a daytime star appeared in the constellation of Taurus, for three weeks, and it was reported in various sources from Europe to China/Japan: it was one of the few documented galactic supernovae of the last two millenia. This paradigm has been established about sixty years ago, as the comprehension of the physics of supernovae progressed with enough observational data. The Gamma-ray bursts were discovered in the same period, but only in the past few years have their observations become daily and their distances have been fully understood as cosmological. After the explosion, the exponential decay of the luminosity in gamma-rays and X-rays has been followed with telescopes onboard dedicated satellites. Also the exponential decay of the afterglow's optical and radio frequencies have been observed with the largest optical and radio telescopes. Within the binary-driven hypernova framework, successful in explaining all the observed phases of the Gamma-ray bursts, the universal exponential decay can be extended to 1000 years after the burst, to account for the present values of Gamma and X-rays as well as optical and radio frequencies of the Crab Nebula. Both the daytime visibility of the burst, and the simultaneous radiation plagues appeared in Constantinople and Cairo is a strong evidence of the presence of Gamma-rays in the lower atmosphere, coming from the same source originating the Crab nebula. The association to the daytime visibility of that star and the following plague meets exactly the etymology of the word dis-aster, bad star.

physics.hist-ph↗