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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

The article focuses on a special aspect of Giordano Bruno’s reception in the German culture of the second half of nineteenth century, namely Kurd Lasswitz’s account of Bruno’s atomistic theory of matter contained in his De minimo. In a chapter of his Geschichte der Atomistik vom Mittelalter bis Newton, Lasswitz interprets Bruno’s atomism as an attempt to build a theory of knowledge compatible with the structure of the physical world. The concept of minimum, understood as both the indivisible unity of (...) bodies and the necessary condition of knowledge, leads Bruno to draw conclusions that sometimes turn out to be inconsistent with his physical theory. Although Lasswitz rejects Bruno's conflation of the mathematical and the physical concept of body, together with his extension of the atomic structure to the void, nevertheless, he views Bruno’s critical-gnoseological account of the term ‘atom’ as a substantial contribution to the enhancement of modern science. (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)

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)

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)

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)

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)

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)

Einstein’s theory of Special relativity is founded on an error made by Hendrick Lorentz. It is not necessary to expose the mathematical inconsistencies of special relativity, since the theory collapses by simply exposing the error made by Lorentz. In doing so, it not only causes special relativity to collapse, but also general relativity, and the many theories built upon these two deceptive theories. There are many claims of tests made which supposedly prove SR or GR, such as the eclipse of (...) 1919, the Hafele-Keating experiment, GPS, the orbit of Mercury, and muons. The error of these will also be shown as well as an area of astronomy which has been negatively impacted by SR. The epistemology approach to special relativity: you can know it is a false theory when the theory requires deceiving the student for acceptance and the tests which support the theory can be proven false. (shrink)

Nietzsche was persistently concerned with what an object is and how different views of objects lead to different views of facts, causality, personhood, substance, truth, mathematics and logic, and even nihilism. Yet his treatment of objects is incredibly puzzling. In many passages he assumes that objects such as trees and leaves, tables and chairs, and dogs and cats are just ordinary entities of experience. In other places he reports that objects do not exist. Elsewhere he claims that objects exist, (...) but as mere bundles of forces. And sometimes he proposes that we bring all objects into existence. Nietzsche’s writings, then, appear to support various secondary readings, which are jointly inconsistent. My chief aim is to present and defend the reading that Nietzsche embraces constructivism about objects, the neo-Kantian view that all objects are socially constructed. I first explain this view and argue that all non-constructivist readings are not supported by Nietzsche’s texts. I then present Nietzsche’s object constructivism, reconstruct his argument for the position, and defend it from internal objections. I finish by suggesting that Nietzsche might have embraced such a radical conception of objects because it plays a crucial role in overcoming nihilism. (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)

Physical dimensions like “mass”, “length”, “charge”, represented by the symbols [M], [L], [Q], are not numbers, but used as numbers to perform dimensional analysis in particular, and to write the equations of physics in general, by the physicist. The law of excluded middle falls short of explaining the contradictory meanings of the same symbols. The statements like “m tends to 0”, “r tends to 0”, “q tends to 0”, used by the physicist, are inconsistent on dimensional grounds because “m”, (...) “r”, “q” represent quantities with physical dimensions of [M], [L], [Q] respectively and “0” represents just a number—devoid of physical dimension. Consequently, due to the involvement of the statement “q tends to 0'', where q is the test charge” in the definition of electric field leads to either circular reasoning or a contradiction regarding the experimental verification of the smallest charge in the Millikan–Fletcher oil drop experiment. Considering such issues as problematic, by choice, I make an inquiry regarding the basic language in terms of which physics is written, with an aim of exploring how truthfully the verbal statements can be converted to the corresponding physico-mathematical expressions, where “physico-mathematical” signifies the involvement of physical dimensions. Such investigation necessitates an explanation by demonstration of “self inquiry”, “middle way”, “dependent origination”, “emptiness/relational existence”, which are certain terms that signify the basic tenets of Buddhism. In light of such demonstration I explain my view of “definition”; the relations among quantity, physical dimension and number; meaninglessness of “zero quantity” and the associated logico-linguistic fallacy; difference between unit and unity. Considering the importance of the notion of electric field in physics, I present a critical analysis of the definitions of electric field due to Maxwell and Jackson, along with the physico-mathematical conversions of the verbal statements. The analysis of Jackson’s definition points towards an expression of the electric field as an infinite series due to the associated “limiting process” of the test charge. However, it brings out the necessity of a postulate regarding the existence of charges, which nevertheless follows from the definition of quantity. Consequently, I explain the notion of undecidable charges that act as the middle way to resolve the contradiction regarding the Millikan–Fletcher oil drop experiment. In passing, I provide a logico-linguistic analysis, in physico-mathematical terms, of two verbal statements of Maxwell in relation to his definition of electric field, which suggests Maxwell’s conception of dependent origination of distance and charge ) and that of emptiness in the context of relative vacuum. This work is an appeal for the dissociation of the categorical disciplines of logic and physics and on the large, a fruitful merger of Eastern philosophy and Western science. Nevertheless, it remains open to how the reader relates to this work, which is the essence of emptiness. (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)

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 has atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (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)

Integrated Information Theory (IIT) is one of the most influential theories of consciousness, mainly due to its claim of mathematically formalizing consciousness in a measurable way. However, the theory, as it is formulated, does not account for contextual observations that are crucial for understanding consciousness. Here we put forth three possible difficulties for its current version, which could be interpreted as a trilemma. Either consciousness is contextual or not. If contextual, either IIT needs revisions to its axioms to include contextuality, (...) or it is inconsistent. If consciousness is not contextual, then IIT faces an empirical challenge. Therefore, we argue that IIT in its current version is inadequate. (shrink)

According to Hartry Field, the mathematical Platonist is hostage of a dilemma. Faced with the request of explaining the mathematicians’ reliability, one option could be to maintain that the mathematicians are reliably responsive to a realm populated with mathematical entities; alternatively, one might try to contend that the mathematical realm conceptually depends on, and for this reason is reliably reflected by, the mathematicians’ (best) opinions; however, both alternatives are actually unavailable to the Platonist: the first one because it is in (...) tension with the idea that mathematical entities are causally ineffective, the second one because it is in tension with the suggestion that mathematical entities are mind-independent. John Divers and Alexander Miller have tried to reject the conclusion of this argument—according to which Platonism is inconsistent with a satisfactory epistemology for arithmetic—by redescribing the second horn of the dilemma in light of Crispin Wright’s notion of judgment-dependent truth; in particular they have contended that once arithmetical truth is conceived in this way the Platonist can have a substantial epistemology which does not conflict with the idea that the mathematical entities exist mind-independently. In this paper I analyze Wright’s notion of judgment-dependent truth, and reject Divers and Miller’s argument for the conclusion that arithmetical truth can be so characterized. In the final part, I address the worry that my argument generalizes very quickly to the conclusion that no area of discourse could be characterized as judgment-dependent. As against this conclusion, I indicate under what conditions—notably not satisfied in Divers and Miller’s case, but possibly satisfied in others—a discourse’s judgment-dependency can be successfully vindicated. (shrink)

This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal operator for (...) goals in plans, and a normal operator for derived oughts. We prove two completeness theorems for the resulting logic, and provide a dynamic extension of the logic by means of product updates. We illustrate how this setting informs deontic logic by considering issues related to the filtering of inconsistent oughts, the restricted validity of deontic closure, and the stability of oughts and goals under dynamics. (shrink)

The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. Next, the (...) geometrical meaning of the double contradiction is considered as follows. A tangent at a point on a convex curve is iterated. Then, the slope of the tangent at the point is sandwiched by two kinds of lines. The first kind of line crosses the curve at the original point and a point to the right of it. The second kind of line crosses the curve at the original point and a point to the left of it. Then, the double contradiction can be applied, and the slope of the tangent is determined as a single value. Finally, the meaning of this method for the foundation of mathematics is considered. We reflect on Dehaene’s notion that the foundation of mathematics is based on the intuitions, which evolve independently. Hence, there may be gaps between intuitions. In fact, the Ancient Greeks identified inconsistency between arithmetic and geometry. However, Eudoxus developed the theory of proportion, which is equivalent to the Dedekind Cut. This allows the iteration of an irrational number by rational numbers as precisely as desired. Simultaneously, we can define the irrational number by the double contradiction, although its existence is not guaranteed. Further, an area of a curved figure is iterated and defined by rectilinear figures using the double contradiction. (shrink)

This dissertation attempts to settle some challenging historiographic issues concerning the origin and development of the concept of economic equilibrium. Specifically, our research goal is to identify the philosophical and historical drivers of the mathematization of economic theory. To this end, we attempt to answer three fundamental research questions. First, why (and not how) has economics become a mathematical science? Second, what are the major methodological blunders that lie at the foundations of Modern General Equilibrium Theory? Third, is the contemporary (...) criticism of Modern General Equilibrium Theory meaningful and well-founded? In order, chapters 1-3 address the first question, chapters 4 and 5 address the second, whereas chapter 6 addresses the third question. Regarding the first question, we investigate the methodological relationships between Modern Physics, Modern Philosophy, and Walras’s Theory of General Equilibrium. Interestingly, our findings reveal that while the study of motion in Modern Physics relies upon a clear distinction between static and dynamic equilibrium, early mathematical economics borrows its methodology from Modern Physics but relies upon an Aristotelian conception of equilibrium. Furthermore, we identify exciting analogies between Kant’s philosophy and Walras’s Elements. Finally, we show that the so-called Walras Paradox also features another unexplored dimension. Namely, Walras’s work overall relies upon a bottom-up approach to mathematics. Yet Walras’s work includes problems that require a top-down approach to mathematics to be solved. Regarding the second question, we delve into the tight relationship between the History of Mathematics in the 19th Century, the Philosophy of Mathematics in the 20th Century, and the development of Modern General Equilibrium Theory in the 20th Century. Notably, we find that the top-down approach to mathematics provides economists with a reliable methodology to resolve the problems in Walras’s original work. Hence, the mathematization of General Equilibrium Theory in the 20th Century is a child of its time that carries the inapplicability of pure mathematics to real-world problems along with itself. Therefore, although the mathematization of General Equilibrium Theory is an unprecedented milestone in economic theory, the foundations of Modern General Equilibrium Theory inherit the methodological shortcomings of Contemporary Mathematics. That is why the Sonnenschein-Mantel-Debreu does not overtake the Aristotelian conception of equilibrium. Accordingly, we rebut the claim that Debreu and colleagues' mathematization of General Equilibrium Theory resolves the fundamental methodological shortcomings of Walras’s original work. Eventually, we use our answers to our first and second research questions to address the contemporary criticism of General Equilibrium Theory. On the one hand, we show that the latter criticism does not account for the fact that General Equilibrium Theory inherits the scientific realism and determinism of Modern Physics. In other words, we argue that the inability of General Equilibrium models to manage uncertainty effectively has nothing to do with its mathematization in the 20th Century. Instead, it results from the unexplored dimension of the Walras Paradox, which we uncover. On the other hand, we show that common accusations of inconsistency, incompleteness, and undecidability in General Equilibrium Theory are ill-founded. That is because other rigorous alternatives to axiomatization in economics are not paradox-free. On these grounds, we conclude that a much better option is to employ a topic-neutral language to provide rigorous presentations of contested concepts in economics. Particularly, we show that formal mereology offers a convenient methodological framework to resolve the disagreement between the Neoclassical and Institutionalist economists’ respective definitions of the concept of the market. In this way, we show that the latter concept is definable as a process. But, more importantly, we note that formal mereology also offers a convenient framework to reformulate other economic concepts concisely and rigorously. In this regard, we observe that formal mereology might provide a resolution for Hayek’s Problem because it would enable economists to define general equilibrium as a perduring socioeconomic process. -/- In case you want a copy of my dissertation, please email me. (shrink)

Dirac’s relativistic theory of electron generally results in two possible solutions, one with positive energy and other with negative energy. Although positive energy solutions accurately represented particles such as electrons, interpretation of negative energy solution became very much controversial in the last century. By assuming the vacuum to be completely filled with a sea of negative energy electrons, Dirac tried to avoid natural transition of electron from positive to negative energy state using Pauli’s exclusion principle. However, many scientists like Bohr (...) objected to the idea of sea of electrons as it indicates infinite density of charge and electric field and consequently infinite energy. In addition, till date, there is no experimental evidence of a particle whose total energy (kinetic plus rest) is negative. In an alternative approach, Feynman, in quantum field theory, proposed that particles with negative energy are actually positive energy particles running backwards in time. This was mathematically consistent since quantum mechanical energy operator contains time in denominator and the negative sign of energy can be absorbed in it. However, concept of negative time is logically inconsistent since in this case, effect happens before the cause. To avoid above contradictions, in this paper, we try to reformulate the Dirac’s theory of electron so that neither energy needs to be negative nor the time is required to be negative. Still, in this new formulation, two different possible solutions exist for particles and antiparticles (electrons and positrons). (shrink)

“There is no use in trying,” said Alice; “one can’t believe impossible things.” “I dare say you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half an hour a day. Why, sometimes I’ve believed as many as six impossible things before breakfast”. Lewis Carroll, Through the Looking Glass. -/- It is a rather common view among philosophers that one cannot, properly speaking, be said to believe, conceive, imagine, hope for, or seek (...) what is impossible. -/- Some philosophers, for instance George Berkeley and the early Wittgenstein, thought that logically contradictory propositions lack cognitive meaning (informational content) and cannot, therefore, be thought or believed. Philosophers who do not go as far as Berkeley and Wittgenstein in denying that impossible propositions or states of affairs are thinkable, may still claim that it is impossible to rationally believe an impossible proposition. On a classical “Cartesian” view of belief, belief is a purely mental state of the agent holding true a proposition p that she “grasps” and is directly acquainted with. But if the agent is directly acquainted with an impossible proposition, then, presumably, she must know that it is impossible. But surely no rational agent can hold true a proposition that she knows is impossible. Hence, no rational agent can believe an impossible proposition. Thus it seems that on the Cartesian view of propositional attitudes as inner mental states in which proposition are immediately apprehended by the mind, it is impossible for a rational agent to believe, imagine or conceive an impossible proposition. -/- Ruth Barcan Marcus (1983) has suggested that a belief attribution is defeated once it is discovered that the proposition, or state of affairs that is believed is impossible. According to her intuition, just as knowledge implies truth, belief implies possibility. -/- It is commonplace that people claim to believe propositions that later turn out to be impossible. According to Barcan Marcus, the correct thing to say in such a situation is not: I once believed that A but I don’t believe it any longer since I have come to realize that it is impossible that A. What one should say is instead: It once appeared to me that I believed that A, but I did not, since it is impossible that A. Thus, Barcan Marcus defends what we might call Alice’s thesis: Necessarily, for any proposition p and any subject x, if x believes p, then p is possible. -/- Alice’s thesis that it is impossible to hold impossible beliefs, seems to come into conflict with our ordinary practices of attributing beliefs. Consider a mathematical example. Some mathematicians believe that CH (the continuum hypothesis) is true and others believe that it is false. But if CH is true, then it is necessarily true; and if it is false, then it is necessarily false. Regardless of whether CH is true or false, the conclusion seems to be that there are mathematicians who believe impossible propositions. -/- Examples of apparent beliefs in impossible propositions outside of mathematics are also easy to come by. Consider, for example, Kripke’s (1999) story of the Frenchman Pierre who without realizing it has two different names ‘London’ and ‘Londres’ for the same city, London. After having arrived in London, Pierre may assent to ‘Londres is beautiful and London is not beautiful’ without being in any way irrational. It seems reasonably to infer from this that Pierre believes that Londres is beautiful and London is not beautiful. But since ‘Londres’ and ‘London’ are rigid designators for the same city, it seems to follow from this that Pierre believes the inconsistent proposition that we may express as ‘London is both beautiful and not beautiful’. (shrink)

Neutrosophic set is a new mathematical tool for handling problems involving imprecise, indetermi nacy and inconsistent data. Pseudo-BCI algebra is a kind of non-classical logic algebra in close connection with various non-commutative fuzzy logics. Recently, we applied neutrosophic set theory to pseudo-BCI al gebras. In this paper, we study neutrosophic filters in pseudo-BCI algebras. The concepts of neutrosophic regular filter, neutrosophic closed filter and fuzzy regular filter in pseudo-BCI algebras are introduced, and some basic properties are discussed. Moreover, the (...) relationships among neutrosophic regular filter, fuzzy filters and anti-grouped neutrosophic filters are prese nted, and the results are proved: a neutrosophic filter (fuzzy filter) is a neutrosophic regular filter (fuzzy regular filter), if and only if it is both a neutrosophic closed filter (fuzzy closed filter) and an anti-grouped neutrosophic filter (fuzzy anti-grouped filter). (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Crispin Wright tried to refute classical 'Cartesian' skepticism contending that its core argument is extendible to a reductio ad absurdum (_Mind<D>, 100, 87-116, 1991). We show both that Wright is mistaken and that his mistakes are philosophically illuminating. Wright's 'best version' of skepticism turns on a concept of warranted belief. By his definition, many of our well-founded beliefs about the external world and mathematics would not be warranted. Wright's position worsens if we take 'warranted belief' to be implicitly defined (...) by the general principles governing it. Those principles are inconsistent, as shown by a variant of Godel's argument. Thus the inconsistency Wright found has nothing to do with the special premises of Cartesian skepticism, but is embedded in his own conceptual apparatus. Lastly, we show how a Cartesian skeptic could avoid Wright's critique by reconstructing a skeptical argument that does not use the claims Wright ultimately finds objectionable. (shrink)