1. 33151.715652
    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.
    Found 9 hours, 12 minutes ago on Michael Caie's site
  2. 33201.71584
    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?
    Found 9 hours, 13 minutes ago on Michael Caie's site
  3. 111442.715852
    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.
    Found 1 day, 6 hours ago on André Casajus's site
  4. 132954.715859
    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.
    Found 1 day, 12 hours ago on T. Parent's site
  5. 132976.715869
    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.
    Found 1 day, 12 hours ago on T. Parent's site
  6. 195917.715875
    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.
    Found 2 days, 6 hours ago on Georg Brun's site
  7. 307831.71588
    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.
    Found 3 days, 13 hours ago on PhilSci Archive
  8. 653486.715887
    Achilles and the tortoise compete in a race where the beginning (the start) is at point O and end (the finish) is at point P. At all times the tortoise can run at a speed that is a fraction  of Achilles' speed at most (with  being a positive real number lower than 1, 0 <  < 1), and both start the race at t = 0 at O. If the trajectory joining O with P is a straight line, Achilles will obviously win every time. It is easy to prove that there is a trajectory joining O and P along which the tortoise has a strategy to win every time, reaching the finish before Achilles.
    Found 1 week ago on PhilSci Archive
  9. 1248134.715898
    The paper studies class theory over the logic HYPE recently introduced by Hannes Leitgeb. We formulate suitable abstraction principles and show their consistency by displaying a class of fixed-point (term) models. By adapting a classical result by Brady, we show their inconsistency with standard extensionality principles, as well as the incompatibility of our semantics with weak extensionality principles introduced in the literature. We then formulate our version of weak extensionality (appropriate to the behaviour of the conditional in HYPE) and show its consistency with one of the abstraction principles previously introduced. We conclude with observations and examples supporting the claim that, although arithmetical axioms over HYPE are as strong as classical arithmetical axioms, the behaviour of classes over HYPE is akin to the one displayed by classes in other nonclassical class theories.
    Found 2 weeks ago on Carlo Nicolai's site
  10. 1248155.715908
    The paper studies classical, type-free theories of truth and determinateness. Recently, Volker Halbach and Kentaro Fujimoto proposed a novel approach to classical determinate truth, in which determinateness is axiomatized by a primitive predicate. In the paper we propose a different strategy to develop theories of classical determinate truth in Halbach and Fujimoto’s sense featuring a defined determinateness predicate. This puts our theories of classical determinate truth in continuity with a standard approach to determinateness by authors such as Feferman and Reinhardt. The theories entail all principles of Fujimoto and Halbach’s theories, and are proof-theoretically equivalent to Halbach and Fujimoto’s CD . They will be shown to be logically equivalent to a class of natural theories of truth, the classical closures of Kripke-Feferman truth. The analysis of the proposed theories will also provide new insights on Fujimoto and Halbach’s theories: we show that the latter cannot prove most of the axioms of the classical closures of Kripke-Feferman truth. This entails that, unlike what happens in our theories of truth and determinateness, Fujimoto and Halbach’s inner theories – the sentences living under two layers of truth – cannot be closed under standard logical rules of inference.
    Found 2 weeks ago on Carlo Nicolai's site
  11. 1248177.715964
    Supervaluational fixed-point semantics for truth cannot be axiomatized because of its recursion-theoretic complexity. Johannes Stern (Supervaluation-Style Truth Without Supervaluations, Journal of Philosophical Logic, 2018) proposed a new strategy (supervaluational-style truth) to capture the essential aspects of the supervaluational evaluation schema whilst limiting its recursion-theoretic complexity, hence resulting in ( -categorical) axiomatizations. Unfortunately, as we show in the paper, this strategy was not fully realized in Stern’s original work: in fact, we provide counterexamples to some of Stern’s key claims. However, we also vindicate Stern’s project by providing different semantic incarnations of the idea and corresponding -categorical axiomatizations. The results provide a deeper picture of the relationships between standard supervaluationism and supervaluational-style truth.
    Found 2 weeks ago on Carlo Nicolai's site
  12. 1307766.71597
    The concept of infinity has long occupied a central place at the intersection of mathematics and philosophy. This paper explores the multifaceted concept of infinity, beginning with its mathematical foundations, distinguishing between potential and actual infinity and outlining the revolutionary insights of Cantorian set theory. The paper then explores paradoxes such as Hilbert’s Hotel, the St. Petersburg Paradox, and Thomson’s Lamp, each of which reveals tensions between mathematical formalism and basic human intuition. Adopting a philosophical approach, the paper analyzes how five major frameworks—Platonism, formalism, constructivism, structuralism, and intuitionism—each grapple with the metaphysical and epistemological implications of infinity. While each framework provides unique insights, none fully resolves the many paradoxes inherent in infinite mathematical objects. Ultimately, this paper argues that infinity serves not as a problem to be conclusively solved, but as a generative lens through which to ask deeper questions about the nature of mathematics, knowledge, and reality itself.
    Found 2 weeks, 1 day ago on PhilSci Archive
  13. 1307789.715977
    The Recursive Ontological Calculus (ROC) furnishes a complete, machine-verifiable axiomatisation of symbolic identity, curvature, and semantic recursion. Building directly on C. S. Peirce’s triadic conception of the sign, ROC links category-theoretic morphology with information-geometric entropy bounds. We present formal schemas, a sequent calculus equipped with an infinitary Master Recursion Equation, eleven core theorems (T1–T11), and cross-framework embeddings into ordinary category theory, ZFC, and Homotopy Type Theory. Worked examples demonstrate numeric curvature computation, gauge-orbit quantisation, and prime-gate symbolic statistics.
    Found 2 weeks, 1 day ago on PhilSci Archive
  14. 1480700.715984
    This paper’s first aim is to prove a modernized Occam’s razor beyond a reasonable doubt. To summarize the main argument in one sentence: If we consider all possible, intelligible, scientific models of ever-higher complexity, democratically, the predictions most favored by these complex models will agree with the predictions of the simplest models. This fact can be proven mathematically, thereby validating Occam’s razor.
    Found 2 weeks, 3 days ago on PhilSci Archive
  15. 1753032.715991
    Simple games in partition function form are used to model voting situations where a coalition being winning or losing might depend on the way players outside that coalition organize themselves. Such a game is called a plurality voting game if in every partition there is at least one winning coalition. In the present paper, we introduce an equal impact power index for this class of voting games and provide an axiomatic characterization. This power index is based on equal weight for every partition, equal weight for every winning coalition in a partition, and equal weight for each player in a winning coalition. Since some of the axioms we develop are conditioned on the power impact of losing coalitions becoming winning in a partition, our characterization heavily depends on a new result showing the existence of such elementary transitions between plurality voting games in terms of single embedded winning coalitions. The axioms restrict then the impact of such elementary transitions on the power of different types of players.
    Found 2 weeks, 6 days ago on Dinko Dimitrov's site
  16. 1942250.715997
    This paper introduces the conceptual foundations of the Ontomorphic Peircean Calculus, a first-order formal system constructed from Charles Sanders Peirce’s triadic logic and recast in categorical, topological, and algebraic terms. Identity, inference, and modality are defined as consequences of recursive morphism closure over a non-metric symbolic manifold Φ. Presence arises from symbolic saturation governed by the compression functional I(p). This system unifies logic, physics, and ontology through symbolic recursion and curvature, replacing metric assumptions with recursive cost topology. All structures—identity, mass, time, causality—emerge from the self-coherence of morphic braids in a purely symbolic substrate, thereby replacing metric foundations with compression-curvature dynamics that computationally bridge the essential logical architecture of the theoretical and practical sciences simultaneously.
    Found 3 weeks, 1 day ago on PhilSci Archive
  17. 2288935.716003
    What’s the probability that God exists? Here, we’re talking about the God of traditional theism, the O3 world-creator (omniscient, omnipotent, omnibenevolent), or a supremely perfect being. This question recently came up in a debate between Matt Dillahunty and Matthew Adelstein. …
    Found 3 weeks, 5 days ago on Fake Noûs
  18. 2346657.716009
    Phil Dowe’s Conserved Quantity Theory (CQT) is based on the following theses: (a) CQT is the result of an empirical analysis and not a conceptual one, (b) CQT is metaphysically contingent, and (c) CQT is refutable. I argue, on the one hand, that theses (a), (b), and (c) are not only problematic in themselves, but also they are incompatible with each other and, on the other, that the choice of these theses is explained by the particular position that the author embraces regarding the relationship between metaphysics and physics.
    Found 3 weeks, 6 days ago on PhilSci Archive
  19. 2519912.716014
    We develop a classification of general Carrollian structures, permitting affine connections with both torsion and non-metricity. We compare with a recent classification of general Galilean structures in order to present a unified perspective on both. Moreover, we demonstrate how both sets of structures emerge from the most general possible Lorentzian structures in their respective limits, and we highlight the role of global hyperbolicity in constraining both structures. We then leverage this work in order to construct for the first time an ultra-relativistic geometric trinity of gravitational theories, and consider connections which are simultaneously compatible with Galilean and Carrollian structures. We close by outlining a number of open questions and future prospects.
    Found 4 weeks, 1 day ago on PhilSci Archive
  20. 2680912.71602
    The dialogical stance on meaning in the Lorenzen-Lorenz tradition is dynamic, as it is based on interaction between players, and contextual, as meaning depends on the set of rules adopted for the dialogical justification of claims including those implicit in linguistic practice. Grasping the meaning of an expression or an action amounts to identifying the rationale behind our verbal and behavioural practices. This knowledge is informed by the collective intelligence embodied within public criticism Different aspects of meaning are made explicit within the game rules: particle rules for the meaning of logical constants, the Socratic rule for non-logical constants and structural rules that set contextual meaning by shaping the development of a play. The level of plays is governed by these meaning-determining rules, and validity (or proof) is built from the plays. The result is a framework that grounds language and logic in the dynamics of dialogical meaning, and which has proven fruitful for studying frameworks for the logical analysis of language, modern and ancient.
    Found 1 month ago on Shahid Rahman's site
  21. 2725251.716025
    Many physicalists nowadays, and Bigelow for one, stand ready to carry metaphysical baggage when they find it worth the weight. This physicalist’s philosophy of mathematics is premised on selective, a posteriori realism about immanent universals. Bigelow’s universals, like D. M. Armstrong’s, are recurrent elements of the physical world; and mathematical objects are universals. The result is a thoroughgoing threefold realism: mathematical realism, scientific realism, and the realism that stands opposed to nominalism.
    Found 1 month ago on David Lewis's site
  22. 3039615.71603
    Since Meyer and Dunn showed that the rule γ is admissible in E, relevantists have produced new proofs of the admissibility of γ for an ever more expansive list of relevant logics. We show in this paper that this is not cause to think that this is the norm; rather γ fails to be admissible in a wide variety of relevant logics. As an upshot, we suggest that the proper view of γ-admissibility is as a coherence criterion, and thus as a selection criterion for logical theory choice.
    Found 1 month ago on Shawn Standefer's site
  23. 3090783.716035
    “Degenerate Case” Dialetheism Motivation: trouble with even the most sophisticated and beautiful gappy approaches e.g. Kripke - the ‘not true’ and samesaying. Priest’s view really is better in a way. A resting place. …
    Found 1 month ago on Tristan Haze's blog
  24. 3128044.716041
    In this three-part essay, I investigate Frege’s platonist and anti-creationist position in Grundgesetze der Arithmetik and to some extent also in Die Grundlagen der Arithmetik. In Sect. 1.1, I analyze his arithmetical and logical platonism in Grundgesetze. I argue that the reference-fixing strategy for value-range names—and indirectly also for numerical singular terms—that Frege pursues in Grundgesetze I gives rise to a conflict with the supposed mind- and language-independent existence of numbers and logical objects in general. In Sect. 1.2 and 1.3, I discuss the non-creativity of Frege’s definitions in Grundgesetze and the case of what I call weakly creative definitions.
    Found 1 month ago on Rush T. Stewart's site
  25. 3611341.716046
    Proof automation is crucial to large-scale formal mathematics and software/hardware verification projects in ITPs. Sophisticated tools called hammers have been developed to provide general-purpose proof automation in ITPs such as Coq and Isabelle, leveraging the power of ATPs. An important component of a hammer is the translation algorithm from the ITP’s logical system to the ATP’s logical system. In this paper, we propose a novel translation algorithm for ITPs based on dependent type theory. The algorithm is implemented in Lean 4 under the name Lean-auto. When combined with ATPs, Lean-auto provides general-purpose, ATP-based proof automation in Lean 4 for the first time. Soundness of the main translation procedure is guaranteed, and experimental results suggest that our algorithm is sufficiently complete to automate the proof of many problems that arise in practical uses of Lean 4. We also find that Lean-auto solves more problems than existing tools on Lean 4’s math library Mathlib4.
    Found 1 month, 1 week ago on Jeremy Avigad's site
  26. 3705952.716051
    We propose a framework for the analysis of choice behaviour when the latter is made explicitly in chronological order. We relate this framework to the traditional choice theoretic setting from which the chronological aspect is absent, and compare it to other frameworks that extend this traditional setting. Then, we use this framework to analyse various models of preference discovery. We characterise, via simple revealed preference tests, several models that differ in terms of (1) the priors that the decision-maker holds about alternatives and (2) whether the decision-maker chooses period by period or uses her knowledge about future menus to inform her present choices. These results provide novel testable implications for the preference discovery process of myopic and forward-looking agents.
    Found 1 month, 1 week ago on Nobuyuki Hanaki's site
  27. 3707478.716057
    Consultant Statistician Edinburgh Relevant significance? Be careful what you wish for Despised and Rejected Scarcely a good word can be had for statistical significance these days. We are admonished (as if we did not know) that just because a null hypothesis has been ‘rejected’ by some statistical test, it does not mean it is not true and thus it does not follow that significance implies a genuine effect of treatment. …
    Found 1 month, 1 week ago on D. G. Mayo's blog
  28. 4136599.716064
    We introduce a projection-based semantic interpretation of differentiation within the Universal Theory of Differentiation (UTD), reframing acts of distinction as structured projections of relational patterns. Building on UTD’s categorical and topos-theoretic foundations, we extend the formalism with a recursive theory of differentiational convergence. We define Stable Differentiational Identities (SDIs) as the terminal forms of recursive differentiation, prove their uniqueness and hierarchical organization, and derive a transparency theorem showing that systems capable of stable recursion can reflect upon their own structure. These results support an ontological model in which complexity, identity, and semantic expressibility emerge from structured difference. Applications span logic, semantics, quantum mechanics, and machine learning, with experiments validating the structural and computational power of the framework.
    Found 1 month, 2 weeks ago on PhilSci Archive
  29. 4347495.71607
    The article offers a novel reconstruction of Hilbert’s early metatheory of formal axiomatics. His foundational work from the turn of the last century is often regarded as a central contribution to a “model-theoretic” viewpoint in modern logic and mathematics. The article will re-assess Hilbert’s role in the development of model theory by focusing on two aspects of his contributions to the axiomatic foundations of geometry and analysis. First, we examine Hilbert’s conception of mathematical theories and their interpretations; in particular, we argue that his early semantic views can be understood in terms of a notion of translational isomorphism between models of an axiomatic theory. Second, we offer a logical reconstruction of his consistency and independence results in geometry in terms of the notion of interpretability between theories.
    Found 1 month, 2 weeks ago on Georg Schiemer's site
  30. 4443671.716075
    Arithmetical truth-value realists hold that any proposition in the language of arithmetic has a fully determined truth value. Arithmetical truth-value necessists add that this truth value is necessary rather than merely contingent. …
    Found 1 month, 2 weeks ago on Alexander Pruss's Blog