A well known conception of axiomatization has it that an axiomatized theory must be interpreted, or otherwise coordinated with reality, in order to acquire empirical content. An early version of this account is often ascribed to key figures in the logical empiricist movement, and to central figures in the early “formalist” tradition in mathematics as well. In this context, Reichenbach’s “coordinative definitions” are regarded as investing abstract propositions with empirical significance. We argue that over-emphasis on the abstract elements of this (...) approach fails to appreciate a rich tradition of empirical axiomatization in the late nineteenth and early twentieth centuries, evident in particular in the work of Moritz Pasch, Heinrich Hertz, David Hilbert, and Reichenbach himself. We claim that such over-emphasis leads to a misunderstanding of the role of empirical facts in Reichenbach’s approach to the axiomatization of a physical theory, and of the role of Reichenbach’s coordinative definitions in particular. (shrink)

A new form of skepticism is described, which holds that objectivity and understanding are incompossible ideals of modern science. This is attributed to Weyl, hence its name: Weylean skepticism. Two general defeat strategies are then proposed, one of which is rejected.

Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...) Hilbert's account of mathematical objectivity, axiomatics, idealization, and consistency. (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

We propose an axiomatic approach to constructing the dynamics of systems, in which one the main elements 9e8 is the consciousness of a subject. The main axiom is the statements that the state of consciousness is completely determined by the results of measurements performed on it. In case of economic systems we propose to consider an offer of transaction as a fundamental measurement. Transactions with delayed choice, discussed in this paper, represent a logical generalization of incomplete transactions and allow (...) for a more rigorous approach to studying the properties of the algebra of economic measurements. Considering the behavior of an object as a sequence of actions and choices allows extending the obtained results to random systems, which include the subject's consciousness as one of its elements. The specifics, on which the description of fundamental measurements is based, allows easily transferring the formalism of Schwinger's theory of selective measurements (and the consequent quantum-mechanical formalism) to the economic and social systems. (shrink)

The paper addresses the problem, which quantum mechanics resolves in fact. Its viewpoint suggests that the crucial link of time and its course is omitted in understanding the problem. The common interpretation underlain by the history of quantum mechanics sees discreteness only on the Plank scale, which is transformed into continuity and even smoothness on the macroscopic scale. That approach is fraught with a series of seeming paradoxes. It suggests that the present mathematical formalism of quantum mechanics is only (...) partly relevant to its problem, which is ostensibly known. The paper accepts just the opposite: The mathematical solution is absolute relevant and serves as an axiomatic base, from which the real and yet hidden problem is deduced. Wave-particle duality, Hilbert space, both probabilistic and many-worlds interpretations of quantum mechanics, quantum information, and the Schrödinger equation are included in that base. The Schrödinger equation is understood as a generalization of the law of energy conservation to past, present, and future moments of time. The deduced real problem of quantum mechanics is: “What is the universal law describing the course of time in any physical change therefore including any mechanical motion?”. (shrink)

This paper outlines the intellectual biography of Walter Dubislav. Besides being a leading member of the Berlin Group headed by Hans Reichenbach, Dubislav played a defining role as well in the Society for Empirical/Scientific Philosophy in Berlin. A student of David Hilbert, Dubislav applied the method of axiomatic to produce original work in logic and formalist philosophy of mathematics. He also introduced the elements of a formalist philosophy of science and addressed more general problems concerning the substantiation of human (...) knowledge. What set Dubislav apart from the other logical empiricists was his expertise in the history of logic and exact philosophy which enabled him to elucidate and advance the thinking in both disciplines. In the realm of logic proper, Dubislav is best known for his pioneering work in theory of definitions. What is more, he did original work on the so called ‘quasi truth-tables’ which aided Reichenbach in developing his logic of probability. Dubislav also elaborated an influe.. (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these disciplines (...) as well as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (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)

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

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.

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)

According to the analysis of concessive conditionals suggested by Crupi and Iacona, a concessive conditional \(p{{\,\mathrm{\hookrightarrow }\,}}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.

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)

Legal decisions and theories are frequently condemned as formalistic, yet little discussion has occurred regarding exactly what the term "'formalism" means. In this Article, Professor Schauer examines divergent uses of the term to elucidate its descriptive content. Conceptions offormalism, he argues, involve the notion that rules constrict the choice of the decisionmaker. Our aversion to formalism stems from denial that the language of rules either can or should constrict choice in this way. Yet Professor Schauer argues that this (...) aversion to formalism should be rethought: At times language both can and should restrict decisionmakers. Consequently, the term "'formalistic" should not be used as a blanket condemnation of a decisionmaking process; instead the debate regarding decision according to rules should be confronted on its own terms. (shrink)

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)

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.

I develop Schopenhauerian musical formalism. First, I present a Schopenhauerian account of music with a background of his metaphysical framework. Then, I define meaningfulness as an analog to a Kantian notion of purposiveness and argue that, in light of Schopenhauer, music is meaningful as a direct manifestation of the universal will. Given the ineffable nature of what music points to, its form lacks any representation of meaning. Music is therefore the mere form of meaningfulness, and it is precisely this (...) mere form that gives rise to the infinite possibilities to ascribe it with a variety of musical meaning. (shrink)

It seems necessary to introduce the basic concepts used in this article i.e. formalism, anti-formalism and moderate formalism. Formalists believe that the aesthetic appreciation of an art work generally involves an attentive awareness of its sensory or conceptual qualities and does not require knowledge about its non-perceptual properties. Anti-formalists on the hand hold that noon of the aesthetic properties in the work of art are formal. A number of philosophers have recently advocated a more moderate formalism. (...) According to this view although not all aesthetic properties are formal, many are, and some artworks possess only formal aesthetic qualities. The quarrel among these three rival views concerns what sort of knowledge, if any, is required for appropriate aesthetic appreciation of an art work. In what follows, we will give a brief exposition of these three view points. Subsequently we will give our preferred position with regard to these views. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. (...) I argue that for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (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)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as “deep (...) formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

A current focus of legal debate is the proper role of the courts in the interpretation of statutes and the Constitution. Are judges to look solely to the naked language of an enactment, then logically deduce its application in simple syllogistic fashion, as legal formalists had purported to do? Or may the inquiry into meaning be informed by perhaps unbridled and unaccountable judicial notions of public policy, using legal realism to best promote the general welfare? Judge Posner considers the concepts (...) of formalism and realism to be meaningful and useful in common law reasoning but in interpretation to be useless and, worse, forbidden. He analogizes unclear "orders" from a legislature to garbled battlefield communications, and argues that the duty of the recipient of those orders (the judge) is to advance as best he can the enterprise set on foot by the superiors. Case studies elaborate this thesis. Judicial decisions interpreting fixed texts, Judge Posner concludes, can be neither logically correct or incorrect, philosophically sound or unsound, until the ultimate jurist, time, has adjudged their results. (shrink)

A variation of Fitch’s paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the (...) paradox. (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)

Frege says, at the end of a discussion of formalism in the Foundations of Arithmetic, that his own foundational program “could be called formal” but is “completely different” from the view he has just criticized. This essay examines Frege’s relationship to Hermann Hankel, his main formalist interlocutor in the Foundations, in order to make sense of these claims. The investigation reveals a surprising result: Frege’s foundational program actually has quite a lot in common with Hankel’s. This undercuts Frege’s claim (...) that his own view is completely different from Hankel’s formalism, and motivates a closer examination of where the differences lie. On the interpretation offered here, Frege shares important parts of the formalist perspective, but differs in recognizing a kind of content for arithmetical terms which can only be made available via proof from prior postulates. (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)

This article defends a formalist interpretation of Wittgenstein’s later thought on music by comparing it with Eduard Hanslick’s musical formalism. In doing so, it returns to a disagreement I have had with Bela Szabados who, in his book Wittgenstein as a Philosophical Tone-Poet, claims that the attribution of formalism obscures the role that music played in the development of Wittgenstein’s thought. The paper scrutinizes the four arguments Szabados presents to defend his claim, pertaining to alleged differences between Wittgenstein (...) and Hanslick on their accounts of theory, beauty, rules, and the broader significance of music. I will argue that in each case the similarities between Wittgenstein’s and Hanslick’s respective views outshine possible differences. Ultimately, I will argue that instead of rendering music a marginal phenomenon suited for mere entertainment, formalism –as presented by Hanslick and Wittgenstein, whom I read as influenced by Kant’s aesthetics– underscores music’s ability to show fundamental features of reality and our relation to it. Music does this precisely by being treated as a sensuous yet structured medium that is irreducible to any conceptually determined domain. (shrink)

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)

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)

Moderate formalism is the view that all artworks which have aesthetic properties have formal aesthetic properties, and some but not all of those works also have non-formal aesthetic properties. Nick Zangwill develops this view in his Metaphysics of Beauty after having argued against its alternatives – extreme formalism and anti-formalism. This article reviews his arguments against the rivals of moderate formalism, and argues that the rejection of anti-formalism is unjustified. Zangwill does not succeed in proving (...) that the broadly determined (context-determined) properties of artworks are in some cases irrelevant to their aesthetic properties – and following that, interpretation and assessment. A historical argument presented here shows how aesthetic properties of every work must partly supervene on this work’s contextual properties. In particular, this disproves Zangwill’s claim that epistemological matters are unessential in determining the artwork’s properties, and exposes some problems his account has with explaining relations between nonaesthetic and aesthetic properties. (shrink)

The paper deals with the formalistic view on music presented in Eduard Hanslick’s treatise On the Musically Beautiful, which is taken to be the foundingwork of the aesthtetics of music. In the paper I propose an interpretation of Hanslick’s treatise which differs on many points from the interpretations displayed in the works of several most influential contemporary aestheticians of music. My main thesis is that Hanslick’s treatise is misunderstood and incorrectly presented by these authors. I try to demonstrate this thesis (...) by referring to Hanslick’s original formulations in the German edition and by showing that my interpretation renders Hanslick’s view far more coherent and his arguments successful in showing his main conclusions. Accepting this alternative interpretation should have further implications on many contemporary theories in the aesthetics of music that reckon on the failure of Hanslick’s arguments as presented by usual interpretations. (shrink)

Developments in the realm of formal sciences and math foundations during the twentieth century were marked by important methodological advances. Such new approaches partialy owe their appearance to the abandonment of the previous paradigm. To identify how this transition occured, in this essay we observe some aspects regarding the works of Gödel and Tarski, who, under a certain interpretations, restructure epistemological bases of math's formalisms. It'll be argued that the theoretical variabilities produced in abstract sciences upon weakening previous viewpoints forced (...) to abandon some of the components of hegemonic programs. (shrink)

The article presents Hanslick’s aesthetic formalism as the starting point of the contemporary aesthetics of music. His book, written in the 19th century, is considered contemporary because it still proves to be influential and fruitful in the contemporary theoretical circles, especially in the modern analytic aesthetics of music, where it is widely cited and discussed. The article positions Hanslick’s book in relation to his nearest predecessors Kant and Herbart, and to the neighbouring area where the formalistic view appeared, namely (...) in Fidler’s visual formalism in fine arts. It is shown that by being the first piece of writing to attempt to systematically and comprehensively determine the essence and the content of music, and the criteria for evaluation of musical worth, Hanslick’s book sets the foundation for a rigorous examination of the aesthetics of music, and also breaks off with the widely ingrained preconceptions of music, which were in themselves an obstacle to establishing the aesthetics of music as a scientific discipline. (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)

What is the aim of philosophy? There may be too many philosophical branches, traditions, practices, and programs to admit of a single overarching aim. Here I focus on a fairly traditional philosophical project that has recently received increasingly sophisticated articulation, especially by Frank Jackson (1998) and David Chalmers (2012). In §1, I present the project and suggest that it is usefully thought of as ‘total axiomatics’: the project of attempting to axiomatize the total theory of the world. In §2, I (...) raise a problem for the project that I call the ‘problem of multiple axiomatizations.’ I consider some initially alluring but ultimately unpromising approaches to this problem in §3. In §4, I defend a surprising approach to the problem, according to which competing axiomatizations of the total theory of the world are effectively evaluated for their aesthetic virtues. (shrink)

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)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, however, there (...) will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

This paper represents a philosophical experiment inspired by the formalist philosophy of mathematics. In the formalist picture of cognition, the principal act of knowledge generation is represented as tentative postulation – as introduction of a new knowledge construct followed by exploration of the consequences that can be derived from it. Depending on the result, the new construct may be accepted as normative, rejected, modified etc. Languages and means of reasoning are generated and selected in a similar process. In the formalist (...) picture, all kinds of “truth” are detected intra-theoretically. Some knowledge construct may be considered as “true”, if it is accepted in a particular normative knowledge system. Some knowledge construct may be considered as persistently true, if it remains invariant during the evolution of some knowledge system for a sufficiently long time. And, if you wish, you may consider some knowledge construct as absolutely true, if you do not intend abandoning it in your knowledge system. And finally, in the formalist picture, all kinds of ontologies generated by humans can be demystified by reconstructing them within the basic solipsist ontology simply as hypothetical branches of it. (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)

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)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (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 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.

We present an alternative to the Copenhagen interpretation of the formalism of nonrelativistic quantum mechanics. The basic difference is that the new inter- pretation is formulated in the language of epistemological realism. It involves a change in some basic physical concepts. Elementary particles are considered as extended objects and nonlocal effects are included. The role of the new concepts in the problems of measurement and of the Einstein-Podolsky-Rosen correlations is described. Experiments to distinguish the proposed interpretation from the Copenhagen (...) one are pointed out. (shrink)

Notes mainly on model-oriented vs. deduction-oriented conceptions of axiomatic reasoning.