-
194731.245772
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.
-
383949.245866
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.
-
730634.245893
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. …
-
788356.245908
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.
-
961611.245922
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.
-
1122611.245935
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.
-
1166950.245947
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.
-
1481314.245959
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.
-
1532482.245971
“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. …
-
1569743.245985
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.
-
2053040.245998
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.
-
2147651.24601
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.
-
2149177.246026
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. …
-
2578298.246041
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.
-
2789194.246054
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.
-
2885370.246067
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. …
-
3229653.24608
Given a time t and a world w, possible or not, say that w is t-possible if and only if there is a possible world wt that matches w in all atemporal respects as well as with respect to all that happens up to and including time t. For instance, a world just like ours but where in 2027 a square circle appears is 2026-possible but not 2028-possible. …
-
3386160.246093
Philosophical discussion of the Two-Envelope Paradox has suffered from a lack of formal precision. I discuss various versions of the paradoxical argument using modern probability theory, which helps to make diagnoses that are simpler, more insightful, and provably correct. Paradoxical arguments are revealed to be fallacious for one of three reasons: (1) the argument makes a formal mistake such as an equivocation fallacy; (2) the argument disregards relevant uncertainty about or variability in a unit of measurement; (3) the argument uses an invalid decision rule. I improve upon various existing diagnoses and discuss what kind of philosophical and decision-theoretic import the paradox has.
-
3783236.246106
We will be using classical sentential (viz., truth-functional/Boolean) logic as our background, deductive logical theory. This theory (viz., the truth-table method we will be using to reason, semantically, about it) traces back to Peirce [8] (and, later, Wittgenstein [17]). The basic units of analysis in sentential logic are atomic sentences. These are meant to be declarative sentences which contain no (sentential) logical connectives. We will use capital letters: A, B, C , . . . to denote atomic sentences. The only other elements of the language of sentential logic (LSL) are the (sentential) logical connectives (hereafter, the connectives) themselves. The meanings of the connectives are given by the following truth-table definitions.
-
3789657.246118
At present, there are at least two set theories motivated by quantum ontology: Décio Krause’s quasi-set theory (Q) and Maria Dalla Chiara and Giuliano Toraldo di Francia’s quasi-set theory (QST). Recent work [Jorge-Holik-Krause, 2023] has established certain links between QST and Pawlak’s rough set theory (RST), showing that both are strong candidates for providing a non-deterministic semantics of N matrices that generalizes those based on ZF. In this work, we show that the new atomless quasi-set theory Q , recently introduced to account for a quantum property ontology [Krause-Jorge, 2024], has strong structural similarities with QST and RST. We study the level of extensionality that each theory presents, its relation to the Leibniz principle and the rigidity property. We believe that developing common features among these three theories can motivate common fields of research. By revealing shared structures, the developments of each theory can have a positive impact on the others.
-
3842419.246136
Truth-value realism about (first-order) arithmetic is the thesis that for any first-order logic sentence in the language of arithmetic (i.e., using the successor, addition and multiplication functions along with the name “0”), there is a definite truth value, either true or false. …
-
4151507.24616
I introduce Inevitable Actualization (IA), an ontological modality: if (1) the universe’s future time involves an unbounded sequence of causal trials (H∞) and (2) a state S has a non-zero physical probability Pn > in trial n such that the sum n=1 Pn diverges, then S is guaranteed to occur with probability one. IA is developed through a rigorous measure-theoretic foundation, probabilistic modeling with dependence (under standard mixing conditions) and absorbing-state exceptions, contrasting IA with classical modalities and modern multiverse theories. Positioned as a distinct third category alongside necessity and contingency, IA’s unique grounding rests on temporal structure and probability. I address objections (Boltzmann brains, the measure problem, and identity duplication) and illustrate IA’s implications for ethics, cosmology, and personal identity, acknowledging formal challenges.
-
4181534.246183
In the topic-sensitive theory of the logic of imagination due to Berto [3], the topic of the imaginative output must be contained within the imaginative input. That is, imaginative episodes can never expand what they are about. We argue, with Badura [2], that this constraint is implausible from a psychological point of view, and it wrongly predicts the falsehood of true reports of imagination. Thus the constraint should be relaxed; but how? A number of direct approaches to relaxing the controversial content-inclusion constraint are explored in this paper. The core idea is to consider adding an expansion operator to the mereology of topics. The logic that results depends on the formal constraints placed on topic expansion, the choice of which are subject to philosophical dispute. The first semantics we explore is a topological approach using a closure operator, and we show that the resulting logic is the same as Berto’s own system. The second approach uses an inclusive and monotone increasing operator, and we give a sound and complete axiomatiation for its logic. The third approach uses an inclusive and additive operator, and we show that the associated logic is strictly weaker than the previous two systems, and additivity is not definable in the language. The latter result suggests that involved techniques or a more expressive language is required for a complete axiomatization of the system, which is left as an open question. All three systems are simple tweaks on Berto’s system in that the language remains propositional, and the underlying theory of topics is unchanged.
-
4497805.246218
This paper reconsiders the metaphysical implication of Einstein algebras, prompted by the recent objections of Chen (2024) on Rosenstock et al. (2015)’s conclusion. Rosenstock et al.’s duality theorem of smooth manifolds and smooth algebras supports a conventional wisdom which states that the Einstein algebra formalism is not more “relationalist” than the standard manifold formalism. Nevertheless, as Chen points out, smooth algebras are different from the relevant algebraic structure of an Einstein algebra. It is therefore questionable if Rosenstock et al.’s duality theorem can support the conventional wisdom. After a re-visit of John Earman’s classic works on the program of Leibniz algebras, I formalize the program in category theory and propose a new formal criterion to determine whether an algebraic formalism is more “relationalist” than the standard manifold formalism or not. Based on the new formal criterion, I show that the conventional wisdom is still true, though supported by a new technical result. I also show that Rosenstock et al. (2015)’s insight can be re-casted as a corollary of the new result. Finally, I provide a justification of the new formal criterion with a discussion of Sikorski algebras and differential spaces. The paper therefore provides a new perspective for formally investigating the metaphysical implication of an algebraic formalism for the theory of space and time.
-
4550040.246237
Some authors maintain that we can use causal Bayes nets to infer whether X → Y or X ← Y by consulting a probability distribution defined over some exogenous source of variation for X or Y . We raise a problem for this approach. Specifically, we point out that there are cases where an exogenous cause of X (Ex) has no probabilistic influence on Y no matter the direction of causation — namely, cases where Ex → X → Y and Ex → X ← Y are probabilistically indistinguishable. We then assess the philosophical significance of this problem and discuss some potential solutions.
-
4583634.246257
[Editor’s Note: The following new entry by Klaas Kraay replaces the
former entry on this topic by the previous author.]
The topic of divine freedom concerns the extent to which a divine
being — in particular, the supreme divine being, God — can
be free. There are, of course, many different conceptions of who or
what God is. This entry will focus on one enormously important and
influential model, according to which God is a personal being who
exists necessarily, who is essentially omnipotent, omniscient,
perfectly good, and perfectly rational, and who is the creator and
sustainer of all that contingently
exists.[ 1 ]
(For more discussion of these attributes, see the entries on
omnipotence,
omniscience,
perfect goodness,
and
creation and conservation.)
-
4607594.24627
Canonical is a solver for type inhabitation in dependent type theory, that is, the problem of producing a term of a given type. We present a Lean tactic which invokes Canonical to generate proof terms and synthesize programs. The tactic supports higher-order and dependently-typed goals, structural recursion over indexed inductive types, and definitional equality. Canonical finds proofs for 84% of Natural Number Game problems in 51 seconds total.
-
4760622.246281
The desirable gambles framework provides a rigorous foundation for imprecise probability theory but relies heavily on linear utility via its coherence axioms. In our related work, we introduced function-coherent gambles to accommodate nonlinear utility. However, when repeated gambles are played over time—especially in intertemporal choice where rewards compound multiplicatively— the standard additive combination axiom fails to capture the appropriate long-run evaluation. In this paper we extend the framework by relaxing the additive combination axiom and introducing a nonlinear combination operator that effectively aggregates repeated gambles in the log-domain. This operator preserves the time-average (geometric) growth rate and addresses the ergodicity problem. We prove the key algebraic properties of the operator, discuss its impact on coherence, risk assessment, and representation, and provide a series of illustrative examples. Our approach bridges the gap between expectation values and time averages and unifies normative theory with empirically observed non-stationary reward dynamics. Keywords. Desirability, non-linear utility, ergodicity, intertemporal choice, non-additive dynamics, function-coherent gambles, risk measures.
-
4817062.246293
A firm wishes to persuade a patient to take a drug by making either positive statements like “if you take our drug, you will be cured”, or negative statements like “anyone who was not cured did not take our drug”. Patients are neither Bayesian nor strategic: They use a decision procedure based on sampling past cases. We characterize the firm’s optimal statement, and analyze competition between firms making either positive statements about themselves or negative statements about their rivals. The model highlights that logically equivalent statements can differ in effectiveness and identifies circumstances favoring negative ads over positive ones.
-
4963349.246306
Causal Finitism—the thesis that nothing can have an infinite causal history—implies that there is a first cause, and our best hypothesis for what a first cause would be is God. Thus:
- If Causal Finitism is true, God exists. …