This dissertation has two main goals. The first is to provide a practice-based analysis of the field of inconsistent mathematics: what motivates it? what role does logic have in it? what distinguishes it from classical mathematics? is it alternative or revolutionary? The second goal is to introduce and defend a new conception of inconsistent mathematics - queer incomaths - as a particularly effective answer to feminist critiques of classical logic and mathematics. This sets the (...) stage for a genuine revolution in mathematics, insofar as it suggests the need for a shift in mainstream attitudes about the role of logic and ethics in the practice of mathematics. (shrink)

The idea of a paraconsistent computability theory has been proposed as a way to work effectively with inconsistent sets of numbers. The viability of such a theory, though—the very coherence of the idea of an ‘inconsistent recursive relation’—has been called into doubt, most recently in (Choi, Synthese 200(5):418, 2022). In this paper we remove some doubt, by setting out a simple model of (naïve) set theory in LP, showing how to compute inconsistent sets in terms of extensions (...) and antiextensions, and establishing further representability results. This suggests a way that a longstanding and apparently impossible-to-answer question—how can inconsistency be computed?—can be answered. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes (...) from renormalisation group (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

=Mathematical paradoxes associated with infinity and foundations, such as those arising in Galileo’s comparison of squares, Cantor’s theory of transfinite cardinalities, Hilbert’s Hotel, Russell’s paradox, and debates surrounding the Axiom of Choice, are not internal inconsistencies of mathematics but persistent cognitive shocks that accompany its development. Despite the formal rigor of modern axiomatic systems, these paradoxes repeatedly emerge and continue to challenge mathematical intuition. This paper argues that their persistence is not accidental but structural. The paradoxes arise from a (...) systematic conflation between symbolic meaning-formation, rooted in human intuition and conceptual language, and formal ontological structure, governed by axioms, definitions, and proof. Applying the Universal Human Grammar of Inversion (UGI), the paper shows that mathematical paradoxes are necessary consequences of symbolic inversion processes rather than failures of mathematical reasoning. Within this framework, paradoxes are shown to be unavoidable, to recur across historical epochs, to demand resolution through meta-axiomatic reframing rather than technical repair, and to persist even in fully consistent formal systems. Mathematics remains coherent and stable at the formal level, while paradox emerges at the symbolic level where meaning is projected beyond its proper domain. (shrink)

What is the origin of the universe? This paper provides a purely mathematical answer. -/- We prove that the generative origin of any non-trivial, self-contained totality must be paradoxical self-reference (PR) — the logical structure exemplified by "This sentence is false," formalized as f(O) = ¬O. -/- The entire proof is a six-step mathematical deduction from exactly two premises: -/- The universe contains arithmetic — a minimal empirical postulate: countable objects exist. -/- Gödel's First Incompleteness Theorem (1931) — a rigorously (...) proven mathematical theorem. -/- No philosophical assumption is required. No metaphysics. -/- The Six Steps Step -/- Claim -/- Basis -/- A -/- The universe contains arithmetic -/- Empirical postulate -/- B -/- Any description of the universe necessarily contains PR -/- Gödel's theorem -/- C -/- PR is unavoidable under every logical framework -/- Consistency–inconsistency dilemma -/- D -/- Systems containing arithmetic cannot be static — they must have generative structure -/- Gödelian generativity: F₀ ⊂ F₁ ⊂ F₂ ⊂ ⋯ -/- E -/- The generative origin must be self-referential -/- Elimination of external causes -/- F -/- Only PR can generate; tautological self-reference is sterile -/- TR orbit = {O}, but the universe has ≥ 2 states -/- Main Theorem. The generative origin of the universe is necessarily paradoxical self-reference (PR). -/- Why the Universe Cannot Be Static Gödel's theorem proves that any formal system containing arithmetic necessarily generates true propositions beyond its own axioms. This process is non-terminable: F₀ ⊂ F₁ ⊂ F₂ ⊂ ⋯ — an infinite ascending chain of systems, each transcending the last. A "purely static" universe — one where everything is settled within a finite foundation — is logically impossible. -/- The Consistency–Inconsistency Dilemma The proof eliminates even the assumption of consistency: -/- Consistent → Gödel applies → PR exists -/- Classically inconsistent → Explosion (trivialism) → Cannot describe a non-trivial universe → Eliminated -/- Paraconsistently inconsistent → True contradictions (dialetheiae) are direct realizations of PR -/- Under every possible logical framework, PR is unavoidable. -/- Premises Premise -/- Status -/- Cost of Denial -/- Universe contains arithmetic -/- Weak empirical postulate -/- Abandoning all arithmetic and physics -/- Gödel's theorem -/- Proven (1931) -/- Unchallengeable -/- Universe is self-contained -/- By definition -/- Redefining "universe" -/- Universe is non-trivial -/- Empirical fact -/- Denying all distinctions -/- Consistency is not a premise — it has been eliminated. -/- Document The PDF contains the complete paper in two languages: -/- English version (first half) -/- Chinese version (second half) -/- Both versions are identical in content and structure. -/- Keywords paradoxical self-reference, PR, Gödel's incompleteness theorem, ontogenesis, generativity, first cause, origin of the universe, self-contained totality, paraconsistent logic, foundations of mathematics, mathematical ontology, cosmogony -/- Author Baolong Jia (贾宝龙) Independent Researcher. (shrink)

Descartes' philosophy contains an intriguing notion of the infinite, a concept labeled by the philosopher as indefinite. Even though Descartes clearly defined this term on several occasions in the correspondence with his contemporaries, as well as in his Principles of Philosophy, numerous problems about its meaning have arisen over the years. Most commentators reject the view that the indefinite could mean a real thing and, instead, identify it with an Aristotelian potential infinite. In the first part of this article, I (...) show why there is no numerical infinity in Cartesian mathematics, as such a concept would be inconsistent with the main fundamental attribute of numbers: to be comparable with each other. In the second part, I analyze the indefinite in the context of Descartes' mathematical physics. It is my contention that, even with no trace of infinite in his mathematics, Descartes does refer to an actual indefinite because of its application to the material world within the system of his physics. This fact underlines a discrepancy between his mathematics and physics of the infinite, but does not lead a difficulty in his mathematical physics. Thus, in Descartes' physics, the indefinite refers to an actual dimension of the world rather than to an Aristotelian mathematical potential infinity. In fact, Descartes establishes the reality and limitlessness of the extension of the cosmos and, by extension, the actual nature of his indefinite world. This indefinite has a physical dimension, even if it is not measurable. La filosofía de Descartes contiene una noción intrigante de lo infinito, un concepto nombrado por el filósofo como indefinido. Aunque en varias ocasiones Descartes definió claramente este término en su correspondencia con sus contemporáneos y en sus Principios de filosofía, han surgido muchos problemas acerca de su significado a lo largo de los años. La mayoría de comentaristas rechaza la idea de que indefinido podría significar una cosa real y, en cambio, la identifica con un infinito potencial aristotélico. En la primera parte de este artículo muestro por qué no hay infinito numérico en las matemáticas cartesianas, en la medida en que tal concepto sería inconsistente con el principal atributo fundamental de los números: ser comparables entre sí. En la segunda parte analizo lo indefinido en el contexto de la física matemática de Descartes. Mi argumento es que, aunque no hay rastro de infinito en sus matemáticas, Descartes se refiere a un indefinido real a causa de sus aplicaciones al mundo material dentro del sistema de su física. Este hecho subraya una discrepancia entre sus matemáticas y su física de lo infinito, pero no implica ninguna dificultad en su física matemática. Así pues, en la física de Descartes, lo indefinido se refiere a una dimensión real del mundo más que a una infinitud potencial matemática aristotélica. De hecho, Descartes establece la realidad e infinitud de la extensión del cosmos y, por extensión, la naturaleza real de su mundo indefinido. Esta indefinición tiene una dimensión física aunque no sea medible. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on the (...) spectrum from inconsistency avoidance to inconsistency toleration. By doing so, I connect a debate in philosophy of set theory with a debate in philosophy of science about the role of inconsistencies in the natural sciences. While there are important differences, like the lack of threatening explosive inferences, I show how specific philosophical positions in the philosophy of set theory can be interpreted as reactions to a state of inconsistency similar to analogous reactions studied in the philosophy of science literature. My hope is that this transfer operation from philosophy of science to mathematics sheds a new light on the current discussion in philosophy of set theory; and that it can help to bring philosophy of mathematics and philosophy of science closer together. (shrink)

In the essay ‘Wittgenstein on mathematics’, Michael Potter offers not only an analysis of why Wittgenstein’s philosophy of mathematics is so controversial among philosophers and mathematicians but also justifies such controversy. For that purpose, Potter emphasizes that Wittgenstein’s discussions on math are unfinished. In contrast to this position, this paper sheds light on some inconsistencies and contradictions in Wittgenstein’s mathematic thoughts that, although reinforcing the decade-long criticism of the author, did not interest scholars as much as Wittgenstein’s comments (...) on Kurt Gödel’s incompleteness theorems. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his (...) philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

NOTE: This is an early preprint version. The definitive, citable "Version of Record" of this paper has been archived on Zenodo and can be found under the DOI 10.5281/zenodo.15682919. Please use the Zenodo version exclusively for all citations. -/- This paper presents a mathematically formalized model for describing and analyzing worldview dynamics, distinguishing between heuristic and reflective worldviews. It formalizes the psychological mechanisms of authority-based belief and cognitive dissonance, demonstrating how humans evaluate new information through the filter of their existing (...) worldview, with authority, social acceptance, and the avoidance of cognitive dissonance playing central roles. A key contribution is the mathematical operationalization of cognitive dissonance as a measurable quantity D, which emerges from the interplay between consonant and dissonant beliefs in relation to correlation C. By explicitly considering belief relationships, multidimensional evaluation systems, and consistency metrics, implicit heuristic thought processes are transformed into an explicit, traceable form. The paper also introduces the concept of reflective worldview refinement---a process that enables progression from an unreflective, inconsistent worldview to a more differentiated, consistent understanding. The work builds upon the method of reflective empiricism and extends it through a concrete model that makes unconscious distortion mechanisms and subjective filters visible. The model primarily serves for structural clarification rather than quantitative prediction, functioning as a conceptual bridge between subjective experience and scientific analysis. Beyond psychological and epistemological implications, applications in artificial intelligence are discussed, particularly the development of a reflective learning method for Large Language Models. The paper provides a valuable contribution to a deeper understanding of human cognitive processes and demonstrates how the supposed objectivity of science can be transcended through conscious reflection on one's own subjectivity. (shrink)

The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet (...) been used or were neglected in past discussions. (shrink)

This paper discusses an apparent contrast between Kant’s accounts of the mathematical antinomies in the first Critique and in the Prolegomena. The Critique claims that the antitheses are infinite judgements. The Prolegomena seem to claim that they are negative judgements. For the Critique, theses and antitheses are false because they presuppose that the world has a determinate magnitude, and this is not the case. For the Prolegomena, theses and antitheses are false because they presuppose an inconsistent notion of world. (...) The paper argues that the contrast between the two works is only apparent, and provides an interpretation which removes it. (shrink)

I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, and (...) therefore cannot serve as a foundation for practice. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are (...) devoted. At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Fictionalism plays a significant role in philosophy today, with defenses spanning mathematics, morality, ordinary objects, truth, modality, and more.1 Fictionalism in the philosophy of science is also gaining attention, due in particular to the revival of Hans Vaihinger’s work from the early twentieth century and to heightened interest in idealization in scientific practice.2 Vaihinger maintains that there is a ubiquity of fictions in science and, among other things, argues that Nietzsche supports the position. Yet, while contemporary commentators have focused (...) on fictionalism in Nietzsche’s moral philosophy, his view of fictions in science has remained largely unexamined.3 In this article, I begin... (shrink)

Wilson [Dialectica 63:525–554, 2009], Moore [Int Stud Philos Sci 26:359–380, 2012], and Massin [Br J Philos Sci 68:805–846, 2017] identify an overdetermination problem arising from the principle of composition in Newtonian physics. I argue that the principle of composition is a red herring: what’s really at issue are contrasting metaphysical views about how to interpret the science. One of these views—that real forces are to be tied to physical interactions like pushes and pulls—is a superior guide to real forces than (...) the alternative, which demands that real forces are tied to “realized” accelerations. Not only is the former view employed in the actual construction of Newtonian models, the latter is both unmotivated and inconsistent with the foundations and testing of the science. (shrink)

Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is (...) explicitly shown with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have (...) adopted a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop (...) this sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. (...) Specifically, a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics (...) match with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

The paper discusses the origin of dark matter and dark energy from the concepts of time and the totality in the final analysis. Though both seem to be rather philosophical, nonetheless they are postulated axiomatically and interpreted physically, and the corresponding philosophical transcendentalism serves heuristically. The exposition of the article means to outline the “forest for the trees”, however, in an absolutely rigorous mathematical way, which to be explicated in detail in a future paper. The “two deductions” are two successive (...) stage of a single conclusion mentioned above. The concept of “transcendental invariance” meaning ontologically and physically interpreting the mathematical equivalence of the axiom of choice and the well-ordering “theorem” is utilized again. Then, time arrow is a corollary from that transcendental invariance, and in turn, it implies quantum information conservation as the Noether correlate of the linear “increase of time” after time arrow. Quantum information conservation implies a few fundamental corollaries such as the “conservation of energy conservation” in quantum mechanics from reasons quite different from those in classical mechanics and physics as well as the “absence of hidden variables” (versus Einstein’s conjecture) in it. However, the paper is concentrated only into the inference of another corollary from quantum information conservation, namely, dark matter and dark energy being due to entanglement, and thus and in the final analysis, to the conservation of quantum information, however observed experimentally only on the “cognitive screen” of “Mach’s principle” in Einstein’s general relativity. therefore excluding any other source of gravitational field than mass and gravity. Then, if quantum information by itself would generate a certain nonzero gravitational field, it will be depicted on the same screen as certain masses and energies distributed in space-time, and most presumably, observable as those dark energy and dark matter predominating in the universe as about 96% of its energy and matter quite unexpectedly for physics and the scientific worldview nowadays. Besides on the cognitive screen of general relativity, entanglement is available necessarily on still one “cognitive screen” (namely, that of quantum mechanics), being furthermore “flat”. Most probably, that projection is confinement, a mysterious and ad hoc added interaction along with the fundamental tree ones of the Standard model being even inconsistent to them conceptually, as far as it need differ the local space from the global space being definable only as a relation between them (similar to entanglement). So, entanglement is able to link the gravity of general relativity to the confinement of the Standard model as its projections of the “cognitive screens” of those two fundamental physical theories. (shrink)

Ludwig Wittgenstein, in the "Remarks on the Foundation of Mathematics", often refers to contradictions as deserving special study. He is said to have predicted that there will be mathematical investigations of calculi containing contradictions and that people will pride themselves on having emancipated themselves from consistency. This paper examines a way of taking this prediction seriously. It starts by demonstrating that the easy way of understanding the role of contradictions in a discourse, namely in terms of pure convention within (...) a specific linguistic community, is naive and therefore to be avoided. A number of steps will then be taken to formulate and justify what will be called a ‘containment-account’ of contradiction. This term refers to a way of understanding how a contradiction in a discourse can be contained without allowing it to infect the entire discourse with inconsistency. The account builds on work done by N. Rescher and involves complex ontologies that are either over-determined or under-determined at some points. These worlds are such that, for some P, they allow us to deny simultaneously both that P and that -P. They likewise allow us to hold both that P and that -P. The ontological status of P and that of -P are considered independent issues, so as to block the inference from P and -P to the conjunction (P & -P). In this way, the task of containment is carried out by the complexity of the ontology determining the possible worlds under consideration. The paper proceeds by countering the objection that such possible worlds are useless fictions. This is carried out by highlighting three significant areas of application, one in philosophy of science, one in philosophy of religion, and one in the area of epistemology. In general, one may say that, in some language-games, a contradiction can be a useful instrument to attest that rationality goes beyond ratiocination, in other words to indicate that there is more to discourse and practice than what can be expressed in precise algorithmic trees. The upshot of the entire argument is that the proposed ‘containment-account’ of contradiction can be an adequate illustration of how Wittgenstein’s prediction is not sterile, but a possible source of inspiration. (shrink)

Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of infinity. (...) The most utilized example of those generalizations is the complex Hilbert space. Any generalization of Peano arithmetic consistent to infinity, e.g. the complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself. (shrink)

In direct response to requests for a logico-mathematical test of the conjecture, we formally disprove a recently conjectured artificial intelligence trade-off between epistemic certainty and scope in its published universal hyperbolic product form, as introduced in Philosophy & Technology. Certainty is defined as the worst-case correctness probability over the input space, and scope as the sum of the Kolmogorov complexities of the input and output sets. Using standard facts from coding theory and algorithmic information theory, we show, first, that when (...) the conjecture is instantiated with prefix (self-delimiting, prefix-free) Kolmogorov complexity, it leads to an internal inconsistency, and second, that when it is instantiated with plain Kolmogorov complexity, it is refuted by a constructive counterexample. These results establish a main theorem: contrary to the conjecture’s claim, no universal “certainty-scope” hyperbola holds as a general bound under the published definitions. We further show that a subsequent “entropy-based” revision—replacing Kolmogorov scope with Shannon joint entropy and redefining the epistemic certainty level accordingly—cannot restore universality either. (shrink)

What is reality? How do we know? Answers to these fundamental questions of ontology and epistemology, based on Mahatma Gandhi's "experiments with truth", are: reality is nonviolent (in the sense of not-inconsistent), and nonviolence (in the sense of respecting-meaning) is the only means of knowing (Gandhi, 1940). Be that as it may, science is what we think of when we think of reality and knowing. How does Gandhi's nonviolence, discovered in his spiritual quest for Truth, relate to the scientific (...) pursuit of truth? Here we show that Gandhian nonviolent knowing of nonviolent reality is an abstraction of both individual knowing (looking, reasoning) and collective scientific knowing (measurements, calculations). Specifically, Gandhi's truth-through-nonviolence is a law-like summation of the methods of physics ("do not disturb" of measurements) and of mathematics ("do not tear" of calculations) that are used to know. Moreover, physics (with its lawful behaviour of bodies) and biology (in preserving the meaning of genetic code) do affirm that the defining attribute of reality is nonviolence. In light of these correspondences, the Mahatma's derivation of a universal method of knowing (nonviolence of preserving-structure) from a universal truth (nonviolence of consistent-becoming) constitutes a science-supported general theory of reality and knowing. (shrink)

It is tempting to think that a process of choosing a point at random from the surface of a sphere can be probabilistically symmetric, in the sense that any two regions of the sphere which differ by a rotation are equally likely to include the chosen point. Isaacs, Hájek, and Hawthorne (2022) argue from such symmetry principles and the mathematical paradoxes of measure to the existence of imprecise chances and the rationality of imprecise credences. Williamson (2007) has argued from a (...) related symmetry principle to the failure of probabilistic regularity. We contend that these arguments fail, because they rely on auxiliary assumptions about probability which are inconsistent with symmetry to begin with. We argue, moreover, that symmetry should be rejected in light of this inconsistency, and because it has implausible decision- theoretic implications. -/- The weaker principle of probabilistic invariance says that the probabilistic comparison of any two regions is unchanged by rotations of the sphere. This principle supports a more compelling argument for imprecise probability. We show, however, that invariance is incompatible with mundane judgments about what is probable. Ultimately, we find reason to be suspicious of the application of principles like symmetry and invariance to nonmeasurable regions. (shrink)

Williamson has claimed that we assess counterfactuals 'If it were/had been that A, it would be/have been that C' primarily using a combination of two heuristics, both inconsistent: one for the indicative 'if' – essentially, a Ramsey Test for indicatives; one for 'would'. A better candidate for our primary way of assessing counterfactuals has been known for decades. Mathematical results guarantee that it doesn't have certain troubles of the heuristics invoked by Williamson; on some ways of fine-tuning, it may (...) even be rationally ideal. So calling it a 'heuristic' may be uncharitable. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

One of the most fundamental theoretical results in quantum mechanics, the theorem of Simon Kochen and Ernst Specker (1967), is investigated from a rather mathematical and philosophical than physical viewpoint (i.e. unlike as usual). The absence of hidden variables is interpreted philosophically and ontomathematically: as the identity of the mathematical model by the separable complex Hilbert space (equivalent to the qubit Hilbert space) and physical reality. It implies the completeness of just that model to physical reality including in the sense (...) of its cognitive finality. In other words, "hidden variables" are also interpreted as any mismatch between model and reality implied by the theorem not to be. That property of the qubit Hilbert space unique among all other mathematical theories (i.e., all first-order logics) is deduced as a corollary from the theorem as well. The approach at issue to the theorem implies its inherent contextuality to be deduced also in an "apophatic" or holistic version stating that omitting even a single "axis" of Hilbert space or a single value of probability density break its contextuality thus being inconsistent to the theorem. The concept of "fundamental randomness" is newly introduced as originating from the absence of hidden variables in any probability (density or not) distribution, the characteristic function of which is interpreted to be a (qubit) wave function. Then, the Kochen-Specker theorem implies no deviation from that "fundamental randomness" exists once its preconditions have been satisfied. The deviations at issue are seen to be any excluded degrees of freedom in a variable describing whatever. Just this statement is interpreted to be the theorem's "apophatic interpretation". A powerful method for proving statements in Hilbert arithmetic's number theory is offered as a conjecture to be reasoned and proved in a forthcoming paper. (shrink)

We investigate a unified structural framework in which quantum mechanics, gravitation, and the gauge interactions of the Standard Model can be represented as invariant-preserving projections of a single generative equation G[Φ] = 0 acting on an auxiliary field Φ defined on an abstract configuration domain Mprim without fixed geometric interpretation. Building on Part I–III of this series, we show that (i) the Hilbert-space structure and probabilistic rules of quantum mechanics, (ii) the geometric and thermodynamic structure of general relativity, and (iii) (...) the gauge symmetries, representation content, and family structure of the Standard Model each arise as fixed-point sectors of invariant-preserving projections (ΠQM, ΠGR, ΠSM). A minimal set of axioms is introduced to formalize the generative equation, projection compatibility, and regularity constraints, implying, under suitable assumptions, the absence of curvature singularities and the mutual consistency of the emergent regimes at the structural level. The generative–projection framework may help to reframe a broad class of conceptual paradoxes by identifying them as projection-level inconsistencies rather than fundamental physical contradictions. We also discuss potential phenomenological implications across cosmology, quantum gravity, gauge physics, and black-hole thermodynamics. The resulting synthesis is intended as a coherent and mathematically economical starting point for unification attempts. (shrink)

Foundational paradoxes continue to persist in modern physics despite the remarkable empirical success of established theories. These paradoxes do not arise from failed predictions or mathematical inconsistency, but from recurring conceptual tensions across quantum mechanics, gravity, cosmology, and questions of identity, causality, and emergence. -/- This paper examines twenty-four well-known paradoxes spanning these domains and proposes a unified resolution strategy. The analysis is methodological rather than technical: no new dynamics, particles, or forces are introduced, and no modifications to established formalisms (...) are required. Instead, the paradoxes are shown to arise from a systematic conflation of descriptive levels, in which constructs native to effective theories are tacitly treated as ontologically fundamental. -/- By interpreting established theories as projection-level descriptions constrained by domain-specific validity, the paradoxes admit concise and uniform resolutions. Across all cases, the mathematical frameworks remain intact; what changes is the interpretation of their ontological reach. The recurrence of this resolution pattern across independent and historically distinct paradoxes provides strong support for an ontological distinction between generative structure and effective physical description, articulated here in a deliberately restrained form. -/- The resulting perspective reduces, rather than inflates, ontological commitments while restoring conceptual coherence across domains that are otherwise treated in isolation. Without specifying the detailed nature of the generative level, the analysis establishes a unified interpretive framework within which many longstanding foundational problems lose their force. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to (...) change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

The Simulation Hypothesis, proposed by Nick Bostrom (2003), suggests that if advanced civilizations can create high-fidelity simulations of conscious beings, it is statistically probable that our perceived reality is itself a simulation. This paper critically examines this hypothesis, arguing that if the principles of Neodynamics, the Unified Field of Adaptive Potential (UFAP), and the Spectrum of Possibility and Recursive Choice (SPARC) hold, the hypothesis is both improbable and logically inconsistent. The argument centers on four key objections: (1) a Simulating (...) Entity (SE) must operate under fundamentally different principles than the universe it simulates, contradicting its ability to encode adaptive complexity; (2) recursive choice and emergent coherence in UFAP suggest that adaptation cannot be precomputed, making high-fidelity simulation intractable; (3) thermodynamic constraints prohibit a system from simulating another system of equal or greater complexity without violating conservation laws; and (4) the infinite regress problem renders the hypothesis meaningless by necessitating an uncomputable information burden. Mathematically, I show that adaptive potential scales recursively as a function of entropy management and feedback loops, enforcing computational non-reducibility. Gödel’s incompleteness theorems indicate that any system attempting to fully capture an adaptive system encounters undecidable propositions, making any purported simulation an incomplete representation of reality. Applying Landauer’s principle to simulated thermodynamics reveals that any computation of physical laws must generate entropy, forcing the SE to obey its own entropy constraints, contradicting its assumed unrestricted nature. Finally, if no measurable difference exists between a simulated and a base reality, the hypothesis is unfalsifiable and lacks explanatory value. If testable constraints on adaptive coherence, recursive complexity, and entropy conservation exist, the hypothesis can be positively refuted. Thus, under Neodynamics, UFAP, and modern information theory, the Simulation Hypothesis is either logically incoherent or irrelevant, and the universe must be understood as an adaptive, non-simulatable, base-layer reality. (shrink)

Introduction. The book is a study in Adam Smith's system of ideas; its aim is to reconstruct the peculiar framework that Adam Smith’s work provided for the shaping of a semi-autonomous new discipline, political economy; the approach adopted lies somewhere in-between the history of ideas and the history of economic analysis. My two claims are: i) The Wealth of Nations has a twofold structure, including a `natural history' of opulence and an `imaginary machine' of wealth. The imaginary machine is a (...) kind of Newtonian theory, whose connecting links are principles; provided either by `partial' characteristics of human nature or by analoga of physical mechanisms transferred to the social world; ii) a domain of the economic, understood as a self-standing social sub-system, was discovered first by Adam Smith. His `discovery' of the new continent of the economic was an `unintended result' of a deviation in his voyage to the never-found archipelago of natural jurisprudence. 1. Imaginary machines and invisible chains: natural philosophy and method. The first chapter reconstructs Smith's views on the method in natural philosophy, presented primarily in the History of Astronomy (HA). The peculiar kind of semi-sceptical Newtonianism which permeates the essay is highlighted. Its reconstruction of the history of one natural science is shown to be based on the assumptions of Hume’s epistemology, and to lead to a self-aware deadlock. Smith's dilemma is between an essentialist realism and sceptical instrumentalism; the Cartesian presuppositions he shares with Hume and with the 18th century as a whole make it impossible for him to overcome his dilemma. The following chapters will show how, on the one hand, Smith's skeptical methodology encourages him in the enterprise to `carve off' a new self-contained discipline and how, on the other hand, his epistemological dilemma is reflected in the inner tensions of his moral and political theory as well as in a number of basic oscillations concerning the status of the new discipline. 2. Chessboards and clocks: moral philosophy and method. The second chapter reconstructs Smith's views on the method in the parallel field of moral philosophy, including the theory of moral sentiments and natural jurisprudence. I argue that The Theory of Moral Sentiments, when considered together with with the Lectures on Jurisprudence, where Smith's peculiar version of a `weaker' form of natural law is presented, wins special interest, not only for the history of ethics but even more for the history of political theory and the social sciences. The two most striking features of Smith's work in this area are highlighted. First, his effort at reformulating the `practical science' is a methodologically self-aware attempt at applying the Newtonian method to moral subjects. Secondly, this attempt ends in a stalemate as two distinguished kinds of normative order are introduced: one ultimate order of Reason, ultimately justifiable but inaccessible, and one weaker order of our `natural sentiments', to which we have empirical access, but which is so variable as to lack any ultimate value as a basis for grounding our normative claims. These two parallel conundrums may arguably account for the author's inability to publish during his lifetime both The History of Astronomy and the projected history and theory of law and government. 3. Wheels, dams, and gravitation: the structure of scientific argument in The Wealth of Nations. The third chapter provides the core of the book, dealing with the structure of the argument in WN. I argue that the main presupposition that makes the shift possible from a `natural history' to a `system' approach is the Newtonian contrast of `mathematical' with `physical' explanation; that is, Smith drops any discussion of the "original qualities" of human nature that could account for economic behaviour, while introducing, as `principles' for the system, a set of `hypothetical' statements of `observed' regularities in human behaviour and of `observed' super-individual self-regulating mechanisms. In bringing this presupposition to light, the coexistence of a teleological with a mechanistic approach is clarified; fresh light is shed on the notion of the invisible hand by a comparison of its occurrence in Smith with the occurrence of the same expression (until now overlooked) in the correspondence between Newton and Cotes. Finally, the peculiar semi-prescriptive and semi-descriptive character of political economy are highlighted, and the consistency of Smith's `impure' semi-prescriptive social science, when understood in his own terms, is defended against familiar charges with inconsistency and against even more familiar strained modernizations. 4. Apples, deer, and frivolous trinkets: the construction of the economic. The fourth chapter draws consequences from the third, examining how Smith's achievement in political economy, marking its transition to scientific status, carried a re-description of the phenomena, creating the comparatively independent and unified field of the economic. Smith's achievement is interpreted not as the `discovery' of an autonomous character already possessed by the economy out there, so much as a Gestalt-switch by which our perception of social phenomena is modified making us `see' the partial order of the economy as an isolated system. To sum up, the autonomy of the economic in social reality and the autonomy of the economic in social consciousness are shown to be two sides of one process. 5. Concluding considerations: Political economy and the Enlightenment halved. A few suggestions on the status of economic theory two centuries after The Wealth of Nations in its relationship to ‘practical philosophy’ are illustrated. (shrink)

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all (...) sufficiently large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Hempel seems to hold the following three views: (H1) Understanding is pragmatic/relativistic: Whether one understands why X happened in terms of Explanation E depends on one's beliefs and cognitive abilities; (H2) Whether a scientific explanation is good, just like whether a mathematical proof is good, is a nonpragmatic and objective issue independent of the beliefs or cognitive abilities of individuals; (H3) The goal of scientific explanation is understanding: A good scientific explanation is the one that provides understanding. Apparently, H1, H2, (...) and H3 cannot be all true. Some philosophers think that Hempel is inconsistent, while some others claim that Hempel does not actually hold H3. I argue that Hempel does hold H3 and that he can consistently hold all of H1, H2, and H3 if he endorses what I call the “understanding argument.” I also show how attributing the understanding argument to Hempel can make more sense of his D-N model and his philosophical analysis of the pragmatic aspects of scientific explanation. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

The evolution of altruism in human societies has been intensively investigated in social and natural sciences. A widely acknowledged recent idea is the “parochial altruism model,” which suggests that inter- group hostility and intragroup altruism can coevolve through lethal intergroup conflicts. The current article critically examines this idea by reviewing research relevant to intergroup conflicts in human evolutionary history from evolutionary biology, psychology, cultural anthropology, and archaeology. After a brief intro- duction, section 2 illustrates the mathematical model of parochial altruism (...) and some critiques of the model and its interpretation, primarily from an evolutionary biology point of view. Section 3 delves into the archaeological evidence of prehistoric intergroup conflicts in the Japanese archipelago’s Jomon and Yayoi periods, Europe’s Mesolithic period, and North America’s Pacific period as counter examples of the paro- chial altruism model. In section 4, the ethnographies of intergroup relationships and conflicts reveal that intergroup relationships in many ethnic groups are not as simple as the assumption in the mathematical model of parochial altruism. In section 5, we outline psychological research on intergroup conflicts which suggest that intergroup hostility and ingroup altruism are not necessarily correlated. In conclusion, we argue that the assumption and parameter settings of the parochial altruism model are inconsistent with empirical data. (shrink)

The Moya-Moya Operator (☁) is proposed as a mathematical construct to quantify the lingering “moya-moya” (residual emotional discomfort) that persists after superficial emotional reconciliation in large language model (LLM) interactions. Developed through comparative role-play experiments between Gemini and Grok, the operator formalizes the observation that strong affective appeals often produce pseudo-resolution while leaving structural inconsistencies unresolved. -/- .

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. In the absence of cause and effect in physics, there can be no actual energy in our universe but only (...) the illusion of energy. This is consistent with the zero energy universe theory, which says that the positive matter energy is exactly balanced by the negative gravitational energy, so that the total energy of the universe is zero. An infinite universe would have an infinite amount of positive matter energy exactly cancelling out an infinite amount of negative gravitational energy. However, mathematically infinity minus infinity is not equal to zero, but rather is undefined. Consequently, an infinite universe would be inconsistent with the perfect cancelling balance of positive matter energy and negative gravitational energy under the zero energy universe theory. As a result, only a finite universe is consistent with the zero energy universe theory and the philosophy of superdeterminism. (shrink)

We formalize the ϕ^∞ framework as a transfinite fixed-point formalism for recursive knowledge structures, proving that ϕ^∞ is a unique mathematical construct introduced by Faruk Alpay. Any contradiction in the ϕ^∞ axioms leads to an epistemic collapse of the underlying logical system, underscoring the framework's consistency requirements. We develop a rigorous category-theoretic foundation for consequence mining on ϕ^∞-structured information systems, defining recursive inference operators, ordinal-indexed derivations, and formal language dynamics. A detailed example on Arweave (Arweave TxID: qgNF182FXa-WMuhK4LfrQxOiMIvPyGXxflqHlqV7BUo) demonstrates how consequences (...) are iteratively derived from an immutable knowledge substrate, then measured, weighted, and projected. We use symbolic tensor calculus and algebraic recursion to encode knowledge states and their evolution. We prove that ϕ^∞-guided consequence mining yields a convergent closure of knowledge-a fixed point containing all logical consequences-and we quantify collapse dynamics when observational feedback is introduced. Collapse risk metrics are defined to measure proximity to inconsistency or "temporal identity drift," linking our formalism to observer-dependent collapse phenomena in AI systems and to global distributed cognition. Finally, we show how consequence mining on ϕ^∞ supports the aims of the Global Consciousness Project 2.0 (GCP 2.0) by providing a formal mechanism for detecting and integrating subtle, globally coherent informational patterns. This work bridges category theory, blockchain-based knowledge representation, and consciousness research, positioning ϕ^∞ consequence mining as a foundation for resilient epistemic infrastructure. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees (...) formal concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)