The aim of this paper is to develop a consistent reading of Deleuze and Guattari’s account of capitalism by taking seriously their use of Kant’s philosophy in formulating it. In Sect. 1, I will set out the two different roots of the term axiomatic in Deleuze and Guattari’s thought. The first of these is the axiomatic approach to formalising fields of mathematics, and the second the Kantian account of the indeterminate relationship between the transcendental unity of apperception and (...) the transcendental object. In Sect. 2, we will see how this transcendental aspect of Deleuze and Guattari’s account of axiomatics is expressed in the notion of binding, which Deleuze and Guattari take to be a process that forces us to understand a field of entities in a certain manner, namely as clearly delimited and deployed in a homogeneous space. I will argue that this process of binding operates as a transcendental condition for capitalism for Deleuze and Guattari. Section 3 addresses some of the details of the capitalist axiomatic itself, drawing out why a Kantian reading of Deleuze and Guattari’s account of the axiomatic provides a response to some of the criticisms of it. Section 4 then analyses Deleuze and Guattari’s account of the outside of capitalism, using the double signification of the noumenal to understand the complex relationship between what they call the war machine and its representation within the axiomatic. (shrink)

Edward Nieznański developed two logical systems in order to deal with a version of the problem of evil associated with two formulations of religious determinism. The aim of this research was to revisit these systems, providing them with a more appropriate formalization. The new resulting systems, namely, N1 and N2, were reformulated in first-order modal logic; they retain much of their original basic structures, but some additional results were obtained. Furthermore, our research found that an underlying minimal set of axioms (...) is enough to settle the questions proposed. Thus, we developed a minimal system, called N3, that solves the same issues tackled by N1 and N2, but with less assumptions than these systems. All of the systems developed here are proposed as solutions to the logical problem of evil through the refutation of two versions of religious determinism, showing that the attributes of God in Classical Theism, namely, those of omniscience, omnipotence, infallibility, and omnibenevolence, when formalized, are consistent with the existence of evil, providing one more response to this traditional issue. (shrink)

We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated without any reference to cognoscent subjects or sensorial fields. Finally, it is relational because it assumes that space-time is not a thing but a complex of relations among things. In this way, the original program of Leibniz is consummated, in the sense that space is (...) ultimately an order of coexistents, and time is an order of succesives. In this context, we show that the metric and topological properties of Minkowskian space-time are reduced to relational properties of concrete things. We also sketch how our theory can be extended to encompass a Riemannian space-time. (shrink)

An axiomatization of the so-called Teleparallel Equivalent to General Relativity is presented. A set of formal and semantic postulates are elaborated from where the physical meaning of various key concepts of the theory are clarified. These concepts include those of inertia, Lorentz and diffeomorphism invariance, and reference frame. It is shown that Teleparallel Gravity admits a wider representation of space-time than General Relativity, allowing to define properties of the gravitational field such as energy and momentum that are usually considered problematic. (...) In this sense, although the dynamical equations of both theories are equivalent, their inequivalence from a physical point of view is demonstrated. Finally, the axiomatic formulation is used to compare Teleparallel Gravity with other theories of gravity based on absolute parallelism such as non-local and f(T) gravity. (shrink)

It is difficult to extract reliable criteria for causal locality from the limited ingredients found in textbook quantum theory. In the end, Bell humbly warned that his eponymous theorem was based on criteria that “should be viewed with the utmost suspicion.” Remarkably, by stepping outside the wave-function paradigm, one can reformulate quantum theory in terms of old-fashioned configuration spaces together with ‘unistochastic’ laws. These unistochastic laws take the form of directed conditional probabilities, which turn out to provide a hospitable foundation (...) for encoding microphysical causal relationships. This unistochastic reformulation provides quantum theory with a simpler and more transparent axiomatic foundation, plausibly resolves the measurement problem, and deflates various exotic claims about superposition, interference, and entanglement. Making use of this reformulation, this paper introduces a new principle of causal locality that is intended to improve on Bell's criteria, and shows directly that systems that remain at spacelike separation cannot exert causal influences on each other, according to that new principle. These results therefore lead to a general hidden-variables interpretation of quantum theory that is arguably compatible with causal locality. (shrink)

I present a discussion of some issues in the ontology of spacetime. After a characterisation of the controversies among relationists, substantivalists, eternalists, and presentists, I offer a new argument for rejecting presentism, the doctrine that only present objects exist. Then, I outline and defend a form of spacetime realism that I call event substantivalism. I propose an ontological theory for the emergence of spacetime from more basic entities. Finally, I argue that a relational theory of pre-geometric entities can give rise (...) to substantival spacetime in such a way that relationism and substantivalism are not necessarily opposed positions, but rather complementary. In an appendix I give axiomatic formulations of my ontological views. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

At first sight the Theory of Computation i) relies on a kind of mathematics based on the notion of potential infinity; ii) its theoretical organization is irreducible to an axiomatic one; rather it is organized in order to solve a problem: “What is a computation?”; iii) it makes essential use of doubly negated propositions of non-classical logic, in particular in the word expressions of the Church-Turing’s thesis; iv) its arguments include ad absurdum proofs. Under such aspects, it is like (...) many other scientific theories, in particular the first theories of both mechanical machines and heat machines. A more accurate examination of Theory of Computation shows a difference from the above mentioned theories in its essentially including an odd notion, “thesis”, to which no theorem corresponds. On the other hand, arguments of each of the other theories conclude a doubly negative predicate which then, by applying the inverse translation of the ‘negative one’, is translated into the corresponding affirmative predicate. By also taking into account three criticisms to the current Theory of Computation a rational re-formulation of it is sketched out; to Turing-Church thesis of the usual theory corresponds a similar proposition, yet connecting physical total computation functions with constructive mathematical total computation functions. -/- . (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made to (...) axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

Welfarism is the view that individual welfare is the only thing that matters. One important contribution of social choice theory has been to provide a precise formulation and axiomatic characterization of welfarism using Amartya Sen's framework of social welfare functionals. This paper is motivated by the observation that the standard formalization of welfarism is too restrictive, since a welfarist social planner need not be committed to maximizing a preference ordering or any other binary relation over alternatives. We therefore (...) provide a characterization of welfarism in a more general choice-functional setting and show that welfarism, so understood, carries no commitment to rationalizability. This characterization is compatible with welfare values having any structure whatsoever. It also sheds light on different formulations of anonymity, revealing only some of these to be fundamental requirements of impartiality. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

The social welfare functional approach to social choice theory fails to distinguish a genuine change in individual well-beings from a merely representational change due to the use of different measurement scales. A generalization of the concept of a social welfare functional is introduced that explicitly takes account of the scales that are used to measure well-beings so as to distinguish between these two kinds of changes. This generalization of the standard theoretical framework results in a more satisfactory formulation of (...) welfarism, the doctrine that social alternatives are evaluated and socially ranked solely in terms of the well-beings of the relevant individuals. This scale-dependent form of welfarism is axiomatized using this framework. The implications of this approach for characterizing classes of social welfare orderings are also considered. (shrink)

The paper aims to add contextual dependence to the new directival theory of meaning, a functional role semantics based on Kazimierz Ajdukiewicz’s directival theory of meaning. We show that the original formulation of the theory does not have a straight answer on how the meaning of indexicals and demonstratives is established. We illustrate it in the example of some problematic axiomatic and inferential directives containing indexicals. We show that the main reason why developing the new directival theory of (...) meaning in this direction is difficult is that the theory focuses on the notion of a sentence (and not the notion of an utterance). To add the latter notion to the theory, we introduce the idea of admissible contextual distribution being an interpretation of the hybrid expression view on indexicals and demonstratives. We argue that this idea introduces a small but important modification to the concept of language matrix and gives way to define two distinct concepts of meaning: for an expression type and for a use of an expression type. (shrink)

This paper attempts to address the question what logical strength theories of truth have by considering such questions as: If you take a theory T and add a theory of truth to it, how strong is the resulting theory, as compared to T? Once the question has been properly formulated, the answer turns out to be about as elegant as one could want: Adding a theory of truth to a finitely axiomatized theory T is more or less equivalent to a (...) kind of abstract consistency statement. A large part of the interest of the paper lies in the way syntactic theories are 'disentangled' from object theories. (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)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of theorems of every (...) science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

The dominant culture in India in the Buddha’s day, Brahmanical culture, took as axiomatic the existence of a supernatural creator deity. This deity, termed ‘Brahma’, was conceived as being ‘the all-seeing, the all-powerful, the Lord, the maker and creator, ruler, appointer and orderer, father of all that have been and will be’. Although the Buddha completely rejected such apparent metaphysical speculation as a ‘thicket of views’, he nowhere formulated a systematic repudiation of theism. In one canonical text, however, the (...) Buddha, encountering a young Brahmin espousing theistic beliefs, gives a series of analogies and similes that help to illuminate his views on the matter. In short, the Buddha saw such a belief as being dangerously re- flexive, and hence as a symptom of a debilitating conceptual and affective disorder. Thus, in the dialogue, the Buddha aims to ease this ailment of his interlocutor through a threefold strategy: (1) displaying the language usage that under girds the problem; (2) reorienting the interlocutor towards the primacy of his conceptual apparatus as the proper locus of concern; and (3) providing a practice through which the interlocutor may develop the skills necessary for conceptual and affective health. The parameters of the discussion in this sutta are wide enough to render it of relevance to contemporary debates on theism. That is, the issue at stake in the sutta may be read as being not only about a restricted local notion of deity, but about God, broadly conceived. The article contains fresh translations from the text under consideration, the Tevijjasutta of the Dıghanikaya-(13). -/- . (shrink)

Although the concept of uncertainty is as old as Epicurus’s writings, and an excellent quantitative theory, with entropy as the measure of uncertainty having been developed in recent times, there has been little exploration of the qualitative theory. The purpose of the present paper is to give a qualitative axiomatization of uncertainty, in the spirit of the many studies of qualitative comparative probability. The qualitative axioms are fundamentally about the uncertainty of a partition of the probability space of events. Of (...) course, it is common to speak of the uncertainty, or randomness, of a random variable, but only the partition defined by the values of the random variable enter into the definition of uncertainty, not the actual values. It is straightforward to add axioms for decision making following the general line of Savage from the 1950s. Indeed, in the spirit of Epicurus, it is really our intuitive feeling about the uncertainty of the future that motivates much of our thinking about decisions. Here, the distinction between the concepts of probability and uncertainty can be made by citing many familiar examples. Without spelling out the technical details, the axiomatization of qualitative probability with uncertainty as the most important primitive concept, it is possible to raise a different kind of question about bounded rationality. This new question is whether or not one should bound the uncertainty in thinking and investigating any detailed framework of decision making. Discussion of this point is certainly different from the question of bounding rationality by not maximizing expected utility. In practice, we naturally bound uncertainty in our analysis of decision-making problems. As in the case of formulating an alternative for maximizing expected utility, so is the case of rational alternatives to maximizing uncertainty. There are several issues to consider. In the spirit of my other work in qualitative probability, I explore alternatives rather than attempt to give a definitive argument for one single solution. (shrink)

Katerina Kolozova is a Macedonian philosopher whose publications from last two decades aim to analyze various topics using François Laruelle’s “non-philosophy” or “non-standard philosophy.” Non-philosophy could be roughly described as radicalized deconstruction: Laruelle claims that not everything can be grasped by a philosophy: for Laruelle, “philosophy is too serious an affair to be left to the philosophers alone.”1 Non-philosophy opposes the “principle of sufficient philosophy” through which philosophy determines and decides what is real. According to Laruelle, the ultimate limit of (...) philosophical thought and its self-proclaimed sufficiency lies in its inherent tendency to close itself in a transcendental system of autofetishist conceptions, which presume that one can grasp the Real (“The Real is neither capable of being known or even ‘thought,’ but can be described in axioms. [...] Even ‘immanence’ only serves to name the Real which tolerates nothing but axiomatic descriptions or formulations.”) by a philosophical thought, or that the Real could be mediated only through human thought. Laruelle criticizes this tendency of philosophy, which is usually expressing itself through the structure of “philosophical Decision.” (“To philosophize is to decide Reality and the thoughts that result from this, i.e. to believe to be able to order them in the universal order of the Principle of Reason [Logos].”) Katerina Kolozova use Laruelle’s non-philosophy to explore more explicitly political topics. In the Cut Of Th e Real (2014), she criticized certain dogmatism of poststructuralist philosophy and feminist theory, namely their symptomatic rejection of the Real and the One. In Toward a Radical Metaphysics of Socialism (2015) and The Lived Revolution (2016) Kolozova presented a rereading of Marx, whose work she found relevant for the critique of speculative philosophical dimension of the capitalist economy, embodied in the 2008 global finance crisis, and in the latter book, she explored the possibility of a new political solidarity, based on “bodies in pain.” Kolozova doesn’t call to philosophically reconstruct Marx’s thought for the current situation, but she goes back to Marx with the help of Laruelle’s non-Marxism, contrary to the usual approach of Marxist philosophers, who often try to create certain philosophical system of Marx’s work. Together with Eileen A. Joy, Kolozova edited the anthology After the “Speculative Turn” (2016), which addressed recent realist and materialist tendencies in feminist philosophy. In her most recent book, Capitalism’s Holocaust of Animals (2019), Kolozova aimed to explore broader philosophical foundations of neoliberal capitalism, and its dealing with nonhuman animals and their suffering. According to Kolozova, “We have to start by coming to terms with what we did to the animals in the constitutive act of philosophy and via proxy to all those dehumanised that belong to the species of man ‘by courtesy’ only.” . (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

In this work, we focus on the philosophical aspects and technical challenges that underlie the axiomatization of the non-Kolmogorovian probability framework, in connection with the problem of quantum contextuality. This fundamental feature of quantum theory has received a lot of attention recently, given that it might be connected to the speed-up of quantum computers—a phenomenon that is not fully understood. Although this problem has been extensively studied in the physics community, there are still many philosophical questions that should be properly (...) formulated. We analyzed different problems from a conceptual standpoint using the non-Kolmogorovian probability approach as a technical tool. (shrink)

Over the years, mathematics and statistics have become increasingly important in the social sciences1 . A look at history quickly confirms this claim. At the beginning of the 20th century most theories in the social sciences were formulated in qualitative terms while quantitative methods did not play a substantial role in their formulation and establishment. Moreover, many practitioners considered mathematical methods to be inappropriate and simply unsuited to foster our understanding of the social domain. Notably, the famous Methodenstreit also (...) concerned the role of mathematics in the social sciences. Here, mathematics was considered to be the method of the natural sciences from which the social sciences had to be separated during the period of maturation of these disciplines. All this changed by the end of the century. By then, mathematical, and especially statistical, methods were standardly used, and their value in the social sciences became relatively uncontested. The use of mathematical and statistical methods is now ubiquitous: Almost all social sciences rely on statistical methods to analyze data and form hypotheses, and almost all of them use (to a greater or lesser extent) a range of mathematical methods to help us understand the social world. Additional indication for the increasing importance of mathematical and statistical methods in the social sciences is the formation of new subdisciplines, and the establishment of specialized journals and societies. Indeed, subdisciplines such as Mathematical Psychology and Mathematical Sociology emerged, and corresponding journals such as The Journal of Mathematical Psychology (since 1964), The Journal of Mathematical Sociology (since 1976), Mathematical Social Sciences (since 1980) as well as the online journals Journal of Artificial Societies and Social Simulation (since 1998) and Mathematical Anthropology and Cultural Theory (since 2000) were established. What is more, societies such as the Society for Mathematical Psychology (since 1976) and the Mathematical Sociology Section of the American Sociological Association (since 1996) were founded. Similar developments can be observed in other countries. The mathematization of economics set in somewhat earlier (Vazquez 1995; Weintraub 2002). However, the use of mathematical methods in economics started booming only in the second half of the last century (Debreu 1991). Contemporary economics is dominated by the mathematical approach, although a certain style of doing economics became more and more under attack in the last decade or so. Recent developments in behavioral economics and experimental economics can also be understood as a reaction against the dominance (and limitations) of an overly mathematical approach to economics. There are similar debates in other social sciences. It is, however, important to stress that problems of one method (such as axiomatization or the use of set theory) can hardly be taken as a sign of bankruptcy of mathematical methods in the social sciences tout court. This chapter surveys mathematical and statistical methods used in the social sciences and discusses some of the philosophical questions they raise. It is divided into two parts. Sections 1 and 2 are devoted to mathematical methods, and Sections 3 to 7 to statistical methods. As several other chapters in this handbook provide detailed accounts of various mathematical methods, our remarks about the latter will be rather short and general. Statistical methods, on the other hand, will be discussed in-depth. (shrink)

In my dissertation, I address a variety of issues in the metaphysics of space and related areas. I begin by discussing the popular thesis that regions of space are identical to sets of points in space. I present three arguments against this thesis and conclude that we should be skeptical of it. In its place, I propose an axiomatic theory of regions of space that is consistent with both reductive accounts of their nature and with accounts that treat them (...) as sui generis entities. -/- I next explore the consequences of the aforementioned considerations. In particular, I describe five different sorts of structure each of which is such that the claim that space could have that structure is consistent with the axiomatic theory previously proposed. I claim that this fact, together with the skepticism concerning reductive accounts argued for earlier, shows that we should take seriously the claim that space could have any of these structures. -/- Having argued that we should be skeptical of the thesis that regions of space are identical to sets of points in space and suggesting that space could have different sorts of structure, I discuss how best to analyze continuity. I present an analysis of continuity inspired by remarks of Richard Cartwright in his 1975 paper ‘Scattered Objects’. I argue that this Cartwrightian analysis should be rejected because it identifies regions of space with sets of points in space, and I present a modified version of the analysis that does not do so. I note, however, that there is an intuitive notion of continuity that is not captured by this modified Cartwrightian analysis. I present and defend an analysis of continuity that better captures this intuitive notion. -/- I then turn to the issue of how to analyze what it is for a region of space to be open and what it is for a region of space to be closed. Here I argue that Cartwright’s analyses of these notions are incorrect. I then present a series of alternative analyses, revising each in response to objections. This process culminates with my proposed analyses of what it is for a region of space to be open and what it is for a region of space to be closed. -/- Finally, I discuss the Maximally Continuous Account of Simples (MaxCon), originally formulated and defended by Ned Markosian in his 1998 paper ‘Simples’. I argue that Markosian’s version of MaxCon, which identifies regions of space with sets of points in space and relies on the Cartwrightian analysis of continuity, should be rejected. I then formulate a new version of MaxCon that builds on the views defended earlier in my dissertation and defend this new version of MaxCon from objections. (shrink)

According to the received view of scientific theories, a scientific theory is an axiomatic-deductive linguistic structure which must include some set of guidelines (“correspondence rules”) for interpreting its theoretical terms with reference to the world of observable phenomena. According to the semantic view, a scientific theory need not be formulated as an axiomatic-deductive structure with correspondence rules, but need only specify models which are said to be “isomorphic” with actual phenomenal systems. In this paper, I consider both the (...) received and semantic views as they bear on the issue of how a theory relates to the world (Section 1). Then I offer a critique of some arguments frequently put forth in support of the semantic view (Section 2). Finally, I suggest a more convincing “meta-methodological” argument (based on the thought of Bernard Lonergan) in favor of the semantic view (Section 3). (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

The author attempts to show how mereology, taken together with certain topological notions, can yield the foundations for future investigations in formal ontology. He also attempts to show how the mereological framework allows for the direct and natural formulation of a series of theses - for example pertaining to the concept of a boundary - which can be only indirectly formulated (if at all) in set-theoretic terms. The far-reaching ain of the present framework is to serve as a basis (...) for a formal ontology of the common-sense world. The author is interested in producing formally precise theories of structures of certain sorts in such a way that it is the structures themselves that intrest him and not formal machinery that has been set up to describe them. Hence the axioms are chosen primarily for the sake of the light they throw on the intended subject-matters (and not for their logical independence). The world itself - or its picture given in ordinary experience - is the only model the paper concentrates upon. Thus for example the presented system allows to prove that every boundary is the boundary of something, and that in particular no point exists in isolation from a large extended whole that is its boundary. (shrink)

Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...) by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

We present an axiomatization of non-relativistic Quantum Mechanics for a system with an arbitrary number of components. The interpretation of our system of axioms is realistic and objective. The EPR paradox and its relation with realism is discussed in this framework. It is shown that there is no contradiction between realism and recent experimental results.

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and (...) show that the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground. (shrink)

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional $$p{{\,\mathrm{\hookrightarrow }\,}}q$$ p ↪ q is adequately formalized as a conjunction of conditionals. This paper presents a sound and complete axiomatic system for concessive conditionals so understood. The soundness and completeness proofs that will be provided rely on a method that has been employed by Raidl, Iacona, and Crupi to prove the soundness and completeness of an analogous system for evidential conditionals.

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory (...) is a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that is (...) supposed to map a certain ideal has to be justified. Such justification might be given by demanding specific substantiated axioms, which have to be met by a metric. This paper introduces such axioms for metrics of distributive justice shown by the example of needs-based justice. Furthermore, some exemplary metrics of needs-based justice and a three dimensional method for visualisation of non-comparative justice axioms or evaluations are presented. Therewith, a base worth discussing for the evaluation and modelling of metrics of distributive justice is given. (shrink)

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...) inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier. (shrink)

I argue that we should question the orthodox way of thinking about epistemological disjunctivism. I suggest that we can formulate epistemological disjunctivism in terms of states of seeing things as opposed to states of seeing that p. Not only does this alternative formulation capture the core aspects of epistemological disjunctivism as standardly formulated, it has two salient advantages. First, it avoids a crucial problem that arises for a standard formulation of epistemological disjunctivism—the basis problem. And second, it is (...) less committed than standard formulations are in the metaphysics of perception. (shrink)

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM (...) is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty. (shrink)

In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show that (...) any formula of syllogistic enriched with classical connectives is decidable using models in the domain with three members. (shrink)

We often get evidence that bears on the reliability of some of our own first-order reasoning. The rational response to such “higher-order” evidence would seem to depend on a rational assessment of how reliable we can expect that reasoning to be, in light of the higher-order evidence. “Independence” principles are intended to constrain this reliability-assessment, so as to prevent question-begging reliance on the very reasoning being assessed. However, extant formulations of Independence principles tend to be vague or ambiguous, and coming (...) up with a tolerably precise formulation turns out to be tricky. This paper aims to make some progress toward developing a more precise Independence principle, and also to highlight some of the difficulties the project entails. The hope is to take a step toward understanding how rational belief is informed by evidence bearing on agents’ cognitive reliability. (shrink)

Prompted by the thesis that an organism’s umwelt possesses not just a descriptive dimension, but a normative one as well, some have sought to annex semiotics with ethics. Yet the pronouncements made in this vein have consisted mainly in rehearsing accepted moral intuitions, and have failed to concretely further our knowledge of why or how a creature comes to order objects in its environment in accordance with axiological charges of value or disvalue. For want of a more explicit account, theorists (...) writing on the topic have relied almost exclusively on semiotic insights about perception originally designed as part of a sophisticated refutation of idealism. The end result, which has been a form of direct givenness, has thus been far from convincing. In an effort to bring substance to the right-headed suggestion that values are rooted in the biological and conform to species-specific requirements, we present a novel conception that strives to make explicit the elemental structure underlying umwelt normativity. Building and expanding on the seminal work of Ayn Rand in metaethics, we describe values as an intertwined lattice which takes a creature’s own embodied life as its ultimate standard; and endeavour to show how, from this, all subsequent valuations can in principle be determined. (shrink)

The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...) representation of a class of structures and studies the invariant properties holding in that class of structures. In Suppes’ view, the best way to define this class of structures is via axiomatization. This is because a class of structures is given by a definition, and this same definition establishes which are the properties that a single structure must possess in order to belong to the class. These properties correspond to the axioms of a logical theory. In Suppes’ view, the best way to characterize a scientific structure is by giving a representation theorem for its models and singling out the invariants in the structure. Thus, we can say that the philosophy of science of Patrick Suppes consists in the application of the axiomatic method to scientific disciplines. What I want to argue in this paper is that this application of the axiomatic method is also at the basis of a new approach that is being increasingly applied to the study of computer science and information systems, namely the approach of formal ontologies. The main task of an ontology is that of making explicit the conceptual structure underlying a certain domain. By “making explicit the conceptual structure” we mean singling out the most basic entities populating the domain and writing axioms expressing the main properties of these primitives and the relations holding among them. So, in both cases, the axiomatization is the main tool used to characterize the object of inquiry, being this object scientific theories (in Suppes’ approach), or information systems (for formal ontologies). In the following section I will present the view of Patrick Suppes on the philosophy of science and the axiomatic method, in section 3 I will survey the theoretical issues underlying the work that is being done in formal ontologies and in section 4 I will draw a comparison of these two approaches and explore similarities and differences between them. (shrink)

Dans cet article, nous présentons une formulation néo-aristotélicienne de la doctrine du juste milieu. Nous commençons par décrire la formulation classique de la doctrine par Aristote, telle qu'elle est exposée dans l’Éthique à Nicomaque. Nous présentons en outre les éléments fondamentaux qui régissent les matrices de concepts (Franceschi 2002). Nous proposons ensuite une nouvelle formulation de la doctrine du juste milieu, directement dérivée de la structure-même des matrices de concepts. Nous comparons également la présente formulation de (...) la doctrine du juste milieu avec celle d'Aristote, en mettant en évidence les points communs et les différences. Nous proposons aussi une interprétation de la formulation aristotélicienne de la doctrine du juste milieu. Enfin, nous montrons comment la version néo-aristotélicienne de la doctrine du juste milieu permet de répondre à plusieurs objections, et notamment à celles qui ont été classiquement soulevées à l’encontre de sa version aristotélicienne. (shrink)

A formulational debate is a debate over whether certain definitions of scientific realism and antirealism are useful or useless. By contrast, an epistemological debate is a debate over whether we have sufficient evidence for scientific realism and antirealism defined in a certain manner. I argue that Hilary Putnam’s definitions of scientific realism and antirealism are more useful than Bas van Fraassen’s definitions of scientific realism and constructive empiricism because Putnam’s definitions can generate both formulational and epistemological debates, whereas van Fraassen’s (...) can generate only formulational debates. (shrink)

The debate about the foundations of mathematical sciences traces back to Greek antiquity, with Euclid and the foundations of geometry. Through the flux of history, the debate has appeared in several shapes, places, and cultural contexts. Remarkably, it is a locus where logic, philosophy, and mathematics meet. In mathematical astronomy, Nicolaus Copernicus’s axiomatic approach toward a heliocentric theory of the universe has prompted questions about foundations among historians who have studied Copernican axioms in their terminological and logical aspects but (...) never examined them as a question of mathematical practice. Copernicus provides seven unproved assumptions in the introduction of the brief treatise entitled Nicolaus Copernicus’s draft on the models of celestial motions established by himself, better known as Commentariolus (ca. 1515), published circa 30 years before the final composition of his heliocentric theory (On the revolutions of the heavenly spheres, 1543). The assumptions deal with the renowned Copernican hypothesis of considering the Earth in motion and the Sun, not affected by motion, near the center of the universe. Although Copernicus decides to omit the proofs for the sake of brevity, the deductions in the Commentariolus are supposed to be drawn from the initial seven assumptions. Questions on the nature (are they postulates or axioms?) and the logic (is there an internal rigor?) of those assumptions have yet to be fully explored. By examining Copernicus’s seven assumptions as a question of mathematical practice, it is possible to hold historical, philosophical, and logical aspects of Copernican axiomatics together and understand them as part of Copernicus’s intuition and creativity. (shrink)

Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...) positions expressed by many experts in the field, the extensic and inclusive hypothesis is issued that information is a form of communication. The object of communication is the sending of a message. The message may consist of thoughts, ideas, opinions, feelings, beliefs, facts, information, intelligence or other significational elements. When the message content is primarily informational, communication will become information or intelligence. The arguments of supporting the hypothesis are: a) linguistic (the most important being that there is "communication of information" but not "information of communication"; also, it is clarified and reinforced the over situated referent, that of the communication as a process), b) systemic-procedural (in the communication system is developing an information system; the informing actant is a type of communicator, the information process is a communication process), c) practical (the delimitation eliminates the efforts of disparate and inconsistent understanding of the two concepts), d) epistemological arguments (the possibility of intersubjective thinking of reality is created), linguistic arguments, e) logical and realistic arguments (it is noted the situation that allows to think coherently in a system of concepts - derivative series or integrative groups) f) and arguments from historical experience (the concept of communication has temporal priority, it appears 13 times in Julius Caesar’s writings ). In an axiomatic conclusion, the main arguments are summarized in four axioms: three are based on the pertinent observations of specialists, and the fourth is a relevant application of Florentin Smarandache’s neutrosophic theory. (shrink)

This paper provides a philosophical proof for the case against axiomatization.

This paper objects to an explanation I extract from Jeanette Edwards, concerning a pattern she observes of questions asked and not asked. There are propositions accepted as axioms which apparently lead to that pattern. I present an axiomatization but it leads to different questions.

In this paper, I examine the decision-theoretic status of risk attitudes. I start by providing evidence showing that the risk attitude concepts do not play a major role in the axiomatic analysis of the classic models of decision-making under risk. This can be interpreted as reflecting the neutrality of these models between the possible risk attitudes. My central claim, however, is that such neutrality needs to be qualified and the axiomatic relevance of risk attitudes needs to be re-evaluated (...) accordingly. Specifically, I highlight the importance of the conditional variation and the strengthening of risk attitudes, and I explain why they establish the axiomatic significance of the risk attitude concepts. I also present several questions for future research regarding the strengthening of risk attitudes. (shrink)