Mario Bunge forcefully argues for Dual Axiomatics, i.e., an axiomatic method applied to natural sciences which explicitly takes into account semantic aspects of the concepts involved in an axiomatization. In this paper we will discuss how dual axiomatics is equally important in mathematics; both historically in Hilbert and Bernays’s conception as well as today in a set-theoretical environment.

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert. The aims of this paper are to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning of the key concepts; and to suggest that every instance of dual axiomatics presupposes some philosophical view or other. (...) To illustrate these points, a theory of solidarity will be crafted and axiomatized, and certain controversies in both classical and quantum physics, as well as in the philosophy of mind, will be briefly discussed. The upshot of this paper is that dual axiomatics, unlike the purely formal axiomatics favored by the structuralists school, is not a luxury but a tool helping resolve some scientific controversies. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of (...) Routley and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic (...) positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...) one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object. Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 1930; Pogorzelski and Słupecki in Stud (...) Logic 9:163–176, 1960, Stud Logic 10:77–95, 1960). The second kind are dual consequence operations of the type Cn − that can be regarded as anti-infallible operations leading from non-accepted (rejected, false) sentences of a deductive system to non-accepted (rejected, false) sentences of the system (see Słupecki in Funkcja Łukasiewicza, 33–40, 1959; Wybraniec-Skardowska in Teoria zdań odrzuconych, 5–131, Zeszyty Naukowe Wyższej Szkoły Inżynierskiej w Opolu, Seria Matematyka 4(81):35–61, 1983, Ann Pure Appl Logic 127:243–266, 2004, in On the notion and function of rejected propositions, 179–202, 2005). The operations of the types Cn + and Cn − can be ordinary finitistic consequence operations or unit consequence operations. A deductive system can be characterized in two ways by the following triple: $$\begin{array}{ll}{\rm by\,the\,triple}:\hspace{1.4cm} (+ , -)\hspace{0,6cm} \\ {\rm or\,by\,the\,triple}:\hspace{1.0cm} (-, +)\hspace{0,6cm} .\end{array}$$ We compare axiom systems for operations of the types Cn + and Cn −, give some methodological properties of deductive systems defined by means of these operations (e.g. consistency, completeness, decidability in Łukasiewicz’s sense), as well as formulate different metatheorems concerning them. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and (...) the other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

In this paper we present a solution of the axiomatization problem for the Fmla-Fmla versions of the Pietz and Rivieccio exactly true logic and the non-falsity logic dual to it. To prove the completeness of the corresponding binary consequence systems we introduce a specific proof-theoretic formalism, which allows us to deal simultaneously with two consequence relations within one logical system. These relations are hierarchically organized, so that one of them is treated as the basic for the resulting logic, and (...) the other is introduced as an extension of this basic relation. The proposed bi-consequences systems allow for a standard Henkin-style canonical model used in the completeness proof. The deductive equivalence of these bi-consequence systems to the corresponding binary consequence systems is proved. We also outline a family of the bi-consequence systems generated on the basis of the first-degree entailment logic up to the classic consequence. (shrink)

This work applies the competitive exclusion principle and the concept of potential competitors as simple axiomatic tools to generalized situations in ecology. These tools enable apparent competition and its dual counterpart to be explicitly evaluated in poorly understood ecological systems. Within this set-theory framework we explore theoretical symmetries and invariances, De Morgan’s laws, frozen evolutionary diversity and virtual processes. In particular, we find that the exclusion principle compromises the geometrical growth of the number of species. By theoretical extending this (...) principle, we can describe interspecific depredation in the dual case. This study also briefly considers the debated situation of intraspecific competition. The ecological consequences of our findings are discussed; particularly, the use of our framework to reinterpret coupled mathematical differential equations describing certain ecological processes. (shrink)

This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated by (...) Tarski, in particular research on the axiomatization of the general notion of consequence operation, axiom systems for the theories of classic consequence and for some equivalent theories, and axiom systems for the theories of nonclassic consequence. In this paper the results of Jerzy Supecki's research are taken into account, and also the author's and other people belonging to his circle of scientific research. Particular study is made of his dual characterization of deductive systems, both as systems in regard to acceptance and systems in regard to rejection . Comparison is made, therefore, with axiomatizations of the theories of rejection and dual consequence, and the theory of the usual consequence operation. (shrink)

In this study, we present a cost-sharing rule for cost-sharing problems. This rule prescribes the same allocations in a problem and in its dual one. Moreover, in some specific problems it gives the same allocations as the serial cost-sharing rule (Moulin and Shenker, Econometrica, 60, 1009–1037, 1992) does in a related problem. That is why we call it as the self-dual serial cost-sharing rule. We give two axiomatizations of this new rule and another one for the serial cost-sharing (...) rule. (shrink)

The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present (...) a Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras. (shrink)

: Undoubtedly, in the formation of history, relations between religious structures and political powers, which are shaped within certain principles, have an important place. The course of these relations determines the strength and domain of both sides. This form of relationship, in some cases, evolves in favor of political power, and sometimes manifests itself as a political direction of religious interests. It is possible to see politics as a direction of religion or to use it in the direction of its (...) own interests in the politics that the Soviet Union has implemented since the Second World War. As a matter of fact, the Soviet Union, which has embraced the ideology of official atheism and struggled against religious beliefs, did not stop using religion/church for conjuration in its own interests. In this context, The Soviet leader Stalin has almost reconstructed the Russian Orthodox Church, which he had been trying to destroy since the early years of the Second World War. Even, Moscow has made serious attempts to make Patriarchate the pioneer of the Orthodox world. In this article, we aim to emphasize Stalin’s church politics and reasons. We will also stress the reasons behind the Council of the Orthodox Churches, which Stalin sought to achieve through the Moscow Patriarchate in 1947. Finally, we will touch on the policy of the Fener Greek Patriarch against these developments. Summary: Throughout history, politics of states have been under the influence of religion. Likewise, religions have directed political authority in the direction of their own interests. Sometimes a religion takes the state under its influence; sometimes under a state takes a religion under the influence and they try to use the other one in the interests of itself. Concepts that define religion-state relations have emerged under the influence of experiences experienced over time. Secularism is at the head of the concepts that determine religion-state relations today. What secularism is and how it is practiced is much debated in the scientific circles. Despite all these struggles, however, no binding definition has been reached for all political issues. Certainly, the subjective structure of states plays an important role in regulating religion-state relations. The political ideology adopted by this political structure and the world view varies. Sometimes political structures with official atheist ideology can break the principle of secularism. While these ideologies are ungodly in their nature, they benefit from political interests. As an example, it is possible to show the Soviet Union with an atheist ideology. Because the Soviet regime used religion in the direction of political interests between 1943-1948. The Russian Orthodox Church, which was very active and competent during the reign of Tsarist Russia, lost its power with the Bolshevik Revolution in 1917. The Soviet regime has made the Russian Orthodox Church an illegal institution. The struggle against the church by the regime continued until the Second World War. With the Second World War, Stalin's church politics changed. There is no doubt that this political change has become more than one reason. The first is that the state has entered into a war. Stalin did not want to continue the struggle with religion while the war was going on. Another reason for pushing Stalin for a policy change towards the Church is the anti-Soviet propaganda carried out by the Germans. As a matter of fact, the Germans defined themselves as the savior of the Russian people. It was also alleged that Germany was waging a war against the Soviets in order to free Russian people from communism. Even brochures were taken from the airplanes in this frame. The Germans aimed to break the resistance of the Russian people with this method. Stalin acted to ward off this propaganda of the Germans. Stalin therefore had to keep an eye on church politics and stopped the oppression against the church. In this framework, opportunities were provided for the Russian Orthodox Church. For example, have been approved to organize rites in churches. The priests are encouraged to strengthen hand the people. Also closed churches have been reopened by Stalin. In this way the German propaganda has been wasted. The Second World War ended with the victory of the Soviet Union. Stalin, however, continued to use the church after the war was over. So why did Stalin continue to support the church as an atheist? What were the reasons for pushing Stalin into this policy? Stalin's post-war church policy has multiple causes. The most important of these is spreading the Soviet influence over the entire Balkans and Middle East geography through the Russian Orthodox Church. Undoubtedly this is related to the long-term policies of the Soviets. Because the war has changed all the balances in the world. This has given new opportunities to the Soviets. At the beginning of these, the Orthodox world comes to the Soviet influence. It seems that the steps towards this have been started to be started from 1945. In this context, the Russian Orthodox Church found important activities. For example, the Moscow Patriarch has established relations with other Orthodox Churches. Jerusalem, Athens, Cyprus, Antakya churches were visited. In the end, an attempt was made to collect the Orthodox Council. The struggle of the Western and Eastern bloc emerged after the Second World War divided the Orthodox world into two camps. In this process, the Greek, Cyprus and Jerusalem Orthodox churches under the leadership of the Fener Patriarchate were under American influence. The Serbian, Bulgarian and Antiochian Orthodox Churches under the leadership of the Moscow Patriarchate were under Soviet influence. For these reasons, the Soviet regime, which has been fighting for the Church since the Bolshevik Revolution in 1917, has given up its position. It is understood from this historical fact that a regime adopting irreligion as an official ideology uses religion in its own interests as needed. This indicates that secularism is relative. This study will try to show how the Soviet Union uses the Russian Orthodox Church in its own interests despite the atheism ideology. (shrink)

The present first part about the eventual completeness of mathematics (called “Hilbert mathematics”) is concentrated on the Gödel incompleteness (1931) statement: if it is an axiom rather than a theorem inferable from the axioms of (Peano) arithmetic, (ZFC) set theory, and propositional logic, this would pioneer the pathway to Hilbert mathematics. One of the main arguments that it is an axiom consists in the direct contradiction of the axiom of induction in arithmetic and the axiom of infinity in set theory. (...) Thus, the pair of arithmetic and set are to be similar to Euclidean and non-Euclidean geometries distinguishably only by the Fifth postulate now, i.e. after replacing it and its negation correspondingly by the axiom of finiteness (induction) versus that of finiteness being idempotent negations to each other. Indeed, the axiom of choice, as far as it is equivalent to the well-ordering “theorem”, transforms any set in a well-ordering either necessarily finite according to the axiom of induction or also optionally infinite according to the axiom of infinity. So, the Gödel incompleteness statement relies on the logical contradiction of the axiom of induction and the axiom of infinity in the final analysis. Nonetheless, both can be considered as two idempotent versions of the same axiom (analogically to the Fifth postulate) and then unified after logicism and its inherent intensionality since the opposition of finiteness and infinity can be only extensional (i.e., relevant to the elements of any set rather than to the set by itself or its characteristic property being a proposition). So, the pathway for interpreting the Gödel incompleteness statement as an axiom and the originating from that assumption for “Hilbert mathematics” accepting its negation is pioneered. A much wider context relevant to realizing the Gödel incompleteness statement as a metamathematical axiom is consistently built step by step. The horizon of Hilbert mathematics is the proper subject in the third part of the paper, and a reinterpretation of Gödel’s papers (1930; 1931) as an apology of logicism as the only consistent foundations of mathematics is the topic of the next second part. (shrink)

Without introducing quantifiers, minimal axiomatic systems have already been constructed for Peirce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis of textual evidence) that Peirce would prefer a system which rejects the absurd but tolerates the absolutely undecidable. The systems which are introduced are shown to be absolutely consistent, deductively complete, and minimal. These dual (...) axiomatic systems reveal an interesting elegance, independent of their historical motivation. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The (...) author has proved that the theories T+, T−, and T′ are equivalent. (shrink)

The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning (...) about non-idealized agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (shrink)

Human cognitive acts are directed towards objects extended in space of a wide range of different types. What follows is a new proposal for bringing order into this typological clutter. The theory of spatially extended objects should make room not only for the objects of physics but also for objects at higher levels, including the objects of geography and of related disciplines. It should leave room for different types of boundaries, including both the bona fide boundaries which we find in (...) the physical world and the fiat (or human-demarcation-induced) boundaries with which much of geography has to deal. Two distinct axiomatic theories of boundaries are accordingly presented, and the need for both is examined in some detail. The resultant dual framework is shown to have application above all for our understanding of issues involving contact, division, and separation, issues which have posed serious difficulties for the ontological theories of boundaries that have been proposed hitherto. (shrink)

In the paper, we examine tableau systems for R. Epstein’s logics of content relationship: D (Dependence Logic), DD (Dual Dependence Logic), Eq (Logic of Equality of Content), S (Symmetric Relatedness Logic) and R (Nonsymmetric Relatedness Logic) (cf. Epstein in Philos Stud 36:137–173, 1979, Epstein in Rep. Math. Logic 21:19–34, 1987, Klonowski in Logic Log Philos 30(4):579–629, 2021, Krajewski in J Non Class Logic 8:7–33, 1991). The first tableau systems for those logics were defined by Carnielli. However, his approach has (...) some limitations, for example, it requires a proof of functional completeness and axiomatization. Notwithstanding the first two constraints, it does not include all Epstein logics, e.g., logic Eq. Unlike Carnielli’s approach, here we use set-assignment semantics to determine those logics. Since syntax and semantics of a given logic usually determine a minimal syntax and structure of a tableau system for the logic along with other properties, we propose a uniform tableau framework for the logics determined by set-assignment semantics. What distinguishes our tableau systems is that they combine the features of tableaux for propositional logics and syllogistic logics when the problem of content of propositions is analysed in tableau proofs. To denote the content of propositions in the proofs, we use generalised labels (see Jarmużek and Goré in Landscapes in Logic, College Publications, London, 2021). (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR (...) is also discussed. (shrink)

Peirce’s triadic logic has been under discussion since its discovery in the 1960s by Fisch and Turquette. The experiments with matrices of three-valued logic are recorded in a few pages of unpublished manuscripts dated 1909, a decade before similar systems have been developed by logicians. The purposes of Peirce’s work on such logic, as well as semantical aspects of his system, are disputable. In the most extensive work about it, Turquette suggested that the matrices are related in dual pairs (...) of axiomatic Hilbert-style systems. In this paper, we present a simple tableau proof for a fragment of Peirce three-valued logic, called P3, based on similar approaches in many-valued literature. We demonstrated that this proof is sound and complete. Besides that, taking the false as the only undesignated value and adding non-classical negations to the calculus, we can explore paraconsistent and paracompleteness theories into P3. Keywords: Charles S. Peirce, many-valued logics, theory of proof, tableau method. (shrink)

In the present paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements, which are the simplest epistemic actions, and hence on Public Announcement Logic without the common knowledge operator. As is well known, the epistemic action of publicly announcing a given proposition is semantically represented as a transformation of the model encoding the current epistemic setup of the given agents; the given current model being replaced with its submodel relativized to the (...) announced proposition. We dually characterize the associated submodel-injection map as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. As is well known, these complex algebras are complete atomic BAOs . The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras . Thanks to this construction, the benefits and the wider scope of applications given by a point-free, intuitionistic theory of epistemic updates are made available. As an application of this dual characterization, we axiomatize the intuitionistic analogue of PAL, which we refer to as IPAL, prove soundness and completeness of IPAL w.r.t. both algebraic and relational models, and show that the well known Muddy Children Puzzle can be formalized in IPAL. (shrink)

Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the (...) bi-tense logic \(\mathsf {S4N}_t\) which is obtained from the minimal tense extension of the modal logic \(\mathsf {S4}\) by adding tense operators. We give a new extended Gödel translation \(\tau \) and prove that \(\mathsf {IGN}\) is embedded into \(\mathsf {S4N}_t\) by \(\tau \). Moreover, every Kripke-complete Galois negation logic _L_ is embedded into its tense companion \(\tau (L)\). (shrink)

We introduce partial Esakia morphisms, well partial Esakia morphisms, and strong partial Esakia morphisms between Esakia spaces and show that they provide the dual description of (∧, →) homomorphisms, (∧, →, 0) homomorphisms, and (∧, →, ∨) homomorphisms between Heyting algebras, thus establishing a generalization of Esakia duality. This yields an algebraic characterization of Zakharyaschev’s subreductions, cofinal subreductions, dense subreductions, and the closed domain condition. As a consequence, we obtain a new simplified proof (which is algebraic in nature) of (...) Zakharyaschev’s theorem that each intermediate logic can be axiomatized by canonical formulas. (shrink)

Frege’s Basic Law V and its successor, Boolos’s New V, are axioms postulating abstraction operators: mappings from the power set of the domain into the domain. Basic Law V proved inconsistent. New V, however, naturally interprets large parts of second-order ZFC via a construction discovered by Boolos in 1989. This paper situates these classic findings about abstraction operators within the general theory of F-algebras and coalgebras. In particular, we show how Boolos’s construction amounts to identifying an initial F-algebra in a (...) certain category, we identify a natural coalgebraic dual to Boolos’s axiom which naturally interprets large parts of Aczel’s non-well-founded set theory via the construction of a certain terminal F-coalgebra, and we suggest a coalgebraic way forward for an abstraction-theoretic axiomatization of the real numbers. (shrink)

Translated by Drew S. Burk and Anthony Paul Smith. Excerpted from Struggle and Utopia at the End Times of Philosophy , (Minneapolis: Univocal Publishing, 2012). THE END TIMES OF PHILOSOPHY The phrase “end times of philosophy” is not a new version of the “end of philosophy” or the “end of history,” themes which have become quite vulgar and nourish all hopes of revenge and powerlessness. Moreover, philosophy itself does not stop proclaiming its own death, admitting itself to be half dead (...) and doing nothing but providing ammunition for its adversaries. With our sights set on clearing up this nuance, we differentiate philosophy as an institutional entity, and the philosophizability of the World and History, of “thought-world,” which universalizes the narrow concept of philosophy and that of “capital.” We also give an eschatological and apocalyptical cause to this end, of “times” or “ages” rather than those of philosophical practice. Last but not least, it is the Future itself in the performativity of its ultimatum that determines this end times, reversing these times from the Identity the Future accorded to it, withdrawing the thought-world from the lie of its death. Why this style of axioms and oracles, these more or less subtle distinctions, old and debased, with an appeal to the ultimata , to end times and last words? We fight to give, parallel to the concept of Hell, its new theoretical position, for its philosophical return and its non-philosophical transformation. No more so than any other word, Hell is not a metaphor here, just the Principle of Sufficient World. Every man, no doubt, has his “hell” readily available, connivance, control, conformism, domestication, schooling, alienation, extermination, exploitation, oppression, anxiety, etc. We have our little list that the Contemporaries established in the previous century in the same way one used to construct lists of virtues and vices or honors and wealth. They invented it for us without knowing it, for us-the-Futures who have as our responsibility to invent its use. In the Christian and Gnostic tradition, the struggle of the End Times takes place “on earth.” The most sophisticated of believers have it taking place in Heaven as well, above all in Heaven. The various kinds of gnosis imagine infinite falls and vertiginous highs, the vertigo of salvation. On Earth as in Heaven, a hell is available. The Marxists have the law of profit and the control of production, the class struggle Capital imposes on man. The Nietzscheans, the dull grumble of the struggle in the foundations of World and History, the domestication of man, the society of control. The phenomenologists, the capture of being, the most superficial amongst them, the age of suspicion. But all of these “hells” are taken from World, History, Society, and Religion. What we call Hell is no longer of the order of these specific and total intra-worldly generalities, it is both more singular and more universal, no longer being at all of the same order, it is the determinant Identity of these small hells strung out through history but unified here in the name of the last Humaneity. It is even found within the French idiom for hell [ enfer ], en-fer literally means “in-irons.” We are as much “in-irons” as we are “alive” [ en-Vie ]. We believe in Hell but as non-philosophers and it is even because we are non-philosophers that we can believe in it outside of any sort of religion. Hell is less mythological than ideological, it combines philosophizability with universal capital. Under what form? A single term could work for them without being a metaphor or something they would participate in by analogy, a more innovative and conjectural term than control, more universal than profit. It would denote the growing and permanent extortion of a surplus-value of communication, of speed and of urgency in change, in productivity and in work, in the pressure of images and slogans. It would be worse than solicitation, more tenacious than capture, more active and persecutory than control, softer and more insidious than a frontal attack, just as perverse as questioning and accusation, less brutal and offensive than extermination, less ritualized than inquisition, it would be soft and dispersed, instantaneous and vicious, it would be a crime without declared violence. Collusion and conformism, it would be afraid to show itself. Related to rumor, from which it borrows its infinite and tortuous ways. It is harassment. As a modernized form of Hell, perhaps harassment has a long future in front of it, of innocent torture, slow assassination, in short the fall, but radical with no way of recovering and which tolerates only salvation. THE PHILOSOPHICAL PAST OF NON-PHILOSOPHY Non-philosophy is thus Man as the utopian identity of the philosophical form of the World, a utopia destined to transform it. We still have to understand these equations, in particular that of the being-uni-versed from Man, and this book adheres to this by re-exposing non-philosophy in a different way via one of its new possibilities. It uses this opportunity to once again take up formulations that lead to objections answering certain external critics, as well as revisiting diverging interpretations specific to non-philosophers. A portion of this book is devoted to going through these theories via a strict or “lengthy” presentation of non-philosophy, and its defense against more expeditious solutions. This work of rectification is the occasion, merely the occasion, for refocusing non-philosophy on Man (the “Man-in-person,” “Humaneity”), and in a more innovative manner, on its utopian vocation established since the book Future Christ . As for this “occasion,” it is quite obvious. A school of posture, not to say a school of thought, supposes a minimum of closure from the most liberating of knowledge, a heritage, its utilization, and its no less certain dispersal. Within its development, a variety of interpretations will no doubt appear, deviations that are as much normalizations, and a struggle against this multiplication of divergent tendencies. These are perhaps not inevitable evils, especially here, merely a normal development according to the twisting paths of history. But the problem is made worse by the fact that this school of non-philosophers is that of utopia. Not the former attempts devoted to commenting on the worst authoritarian and criminal forms of the past and the present, but utopia as the determinant principle for human life, or to put it another way, of the Future as an irreducible presupposition of (for) thinking the World and History. Non-philosophers are engaged in an aleatory navigation between the respect for the most rigorous utopia, whose rules are not that of the reproductive imagination but those from the Future determining imagination itself, as well as the temptations, diversions, and remorse of history. Little by little, we will begin to understand that the Future as we understand it no longer has any temporal consistency or positive content, without being an empty form or a nothingness, but that it is foreclosed to past and present History, just as it is foreclosed to the place of places, the World, and that it is the only method for establishing the practice of thinking in a non-imaginary instance. Because it is the World and History that are imaginary and have a terrible materiality, it is not necessarily utopia. We will overlap two objectives here: the defense of non-philosophy against the (non-) philosophers that we are, only occasionally, and the introduction of philosophy to a rigorous future. Together they set out to definitively render, without any possible return to philosophical conformism or towards the facilities of the past and present, the non-philosophical enterprise understood as utopia or uchronia. Imagination and speculation, left to themselves and thus undistinguished, are quite good for participating in the grand game of History but have little value or worse for the Future which is unimaginable and unintelligible and must be maintained as such. MAN-IN-PERSON AS SUSPENSION OF THE PHILOSOPHICAL CHORA The point where philosophical resistance is concentrated is without a doubt the invention of the Name-of-Man, first name, oracular as much as axiomatic, of the determining cause for the non-philosophical posture. And that which concentrates the differends is the style of non-philosophy as identity that possesses the dual aspect, of discipline and of the oeuvre, of the theorem and of the oracle. But the real difficulty in understanding the simplicity of non-philosophy is profoundly hidden in the depths of philosophy itself. Because philosophy, from Parmenides to Derrida, even Levinas, continues to be a divided gesture, without a veritable immanence, transforming its thematic contents of transcendence in also forgetting to transform the operative transcendence in the element from which the ontology of surface is established which we will call, in memory of Plato, the chorismos. The general effect of the chora literally gives place to philosophy, demanding binding and sutures to which we will once and for all “oppose” the Man-in-person, his power of cloning, and his future being. All philosophy contains a hinter-philosophy in which it deploys its operations and weaves its tradition like an understudy of a topographical nature and in the best of cases being itself topological. Philosophy as well consists of two levels, its pre-ontological operative conditions on the one hand, and its superficial theme on the other, it too has its presupposed, but is not aware of it or erases it within the unity of appearance named Logos. Rightly, the Logos, and its flash or lightning nature, possesses a “dark precursor,” the chora, which is as much a virtual image, and philosophy, dazzled by its own lightning flash, seems to completely forget about it at the same time it sets itself up within it. Non-philosophy risks taking this same path, of confusing what it believes to be the real with its phantom double, contenting itself to working on the thematic level of philosophy, not its surface objects and its idle chatter (we stopped talking about this a long time ago and in any case they are merely simple materials for inducing a work of transformation), but the transcendence-form of its objects. In the end it risks, through precipitation, taking back up the heritage of philosophy, a heritage of a misunderstood presupposed, even more profound than the play of transcendences. This is what the imperative of the radicality of immanence meant, to treat immanence in an immanent manner, not to make a new object out of it. And from here we get non- (philosophy) and its refusal of the Platonic chorismos , symbol of all abstraction, and thus all transcendental appearance. There are no illusions. The message will leave a heritage in tattered pieces and interpretations. But it was difficult not to dispute the differend to its core. There will be complete confusion of the multiple, possible, and necessary effectuations of non-philosophy with its interpretations. The non-philosophical or human freedom of philosophical effectuation and the philosophical freedom of interpretation. Effectuations demand non-philosophy to return to zero from the point of view of its philosophical material and thus also but within these limits the formulation of its axioms , but in no way providing from the outset divergent interpretations of the aforementioned axioms. They are divergent because they do not take into account the material from which these axioms are derived within non-philosophy, and because they do not see themselves as symptoms of another vision of the World. The utterances of non-philosophy are not mathematical theorems and pure axioms, they merely have a mathematical aspect . They are, by their extraction or origin, mathematical and transcendental. And by their determined function in-Real, within non-philosophy, they are identically in-the-last-Humaneity entities which have an aspect of an axiom and an aspect of interpretation (or an oracular aspect as we say) that attempts (sometimes it is ourselves who provide the occasion) to isolate and transform, in complete freedom of interpretation. There will be an opportunity to complain about the complex character of the language of non-philosophy, an idiom saturated with classical references, sophisticated in a contemporary way. Its freedom of decision up against the whole of philosophy demands these effects of “complication” and “privatization,” as the saying goes. But it also demands fighting against the drift [ dérive ] of the pedagogical-all and the mediatic-all that leads philosophy into the shallow depths of opinion, which is the site of its impossible death. The noble idealism of “pop-philosophy” has been consumed into a “philo-reality;” against this we propose philo-fiction. Parricide, which is at the bottom of these interpretations and which we can judge as being quite fertile, although it has informed tradition, only takes place once or within one lone meaning. In regards to Parmenides, it was possible; Plato introduced the Other as non-being and language, bringing into existence the philosophical system of the World, but is it possible to repeat it again with the same fecundity in regards to non-philosophy, this time in introducing (non) religion or (non) art, still mixing them without taking into account this mixture, alternatively as a philosophical or religious resentment? If philosophy begins via a crime, it is no doubt obliged to continue down similar pathways, to the effect that the crimes of philosophy, once the founding crime has been committed, are a reaction of self-defense. It is undoubtedly from this that we get Marx’s declaration that history begins by tragedy and repeats itself or ends in farce. The preservation of rigor and fecundity is, in every respect, a psychologically difficult task within a theory such as non-philosophy. Having posited an essential objective of liberation in regards to philosophy and its services, one has often understood this objective as an authorization of providing particular interpretations of its axioms and ends up obliterating their scope. This ends up confusing, on one hand, two kinds of freedoms in regards to non-philosophy, the freedom of its interpretations and the freedom of its effectuations. On the other hand, any defense of “principles” against precipitated interpretations is immediately taxed with a will to orthodoxy, a prohibitive objection when we are dealing with, as is the case here, a heretical theory of thought. Nevertheless, it is time to stop confusing heresy as the cause of thought with an ideology of heresies, which is certainly not at all our object, but rather a form of normalization. As for the “disciplinary” aspect, which is not the only aspect, it demands something other than philosophical “answers to objections,” a precision in the definition and use of its procedures in the formation of utterances, since non-philosophy is neither a supplementary doctrine interior to philosophy nor a vision of the world but one whose priority is a “vision of Man,” or rather Man as “vision” that implies a theory and a practice of philosophy. In the end, struggle is only one aspect of non-philosophy, not its whole or telos, struggle coming only from its materiality. In particular, if the discipline of non-philosophy is inseparable from struggle, it is not a question of reducing the monomaniacal obsession of its “marching orders.” This would reduce its complexity and kill its indivisibility, deploying it in a “long march” and a form of Maoization whose philosophical presuppositions no longer have any pertinence here, a case of the One and the Two, which are now cloned and no longer tied together. More generally, non-philosophy is a complex thought composed of a multitude of aspects, which is to say, unilateral interpretations, of a philosophical origin but reduced by their determination in-the-last-instance . The “liberalism” of non-philosophy is merely one of the aspects of which it is capable, not an essence. Similarly, it is only capable of having a “Maoist” aspect. Let us generalize. The weakness of non-philosophy is due to a specific cause, the determination-in-the-last-Humaneity of a subject for the World. Everything that has a right to the philosophical city can be said about it in turn and in a retaliatory mode since Man contributes nothing of himself that Man takes from the World. We can consider non-philosophy as being pretentious, absurd, idealistic, empty, materialistic, formalistic, contradictory, modern, post-modern, Zen, Buddhist, Marxist; it endures or tolerates, perhaps “appeals” to, or at least renders possible, sarcasms, ironies, and insults without even talking about the misunderstandings, partly for the same reason as psychoanalysis. All of this goes beyond simple “deviations.” They are its aspects, which is to say, its “unilateral” philosophical interpretations in both senses of the word, being either sufficient coming from the mouth of philosophers, or reduced to their absolute dimension of sufficiency and totality in the mouths of non-philosophers, and both times due to the weakness and strength of Man-in-person as their determination only in-the-last-instance. The non-philosopher is certainly not a Saint Paul fantasizing about a new Church. The non-philosopher is either a (Saint) Sebastian whose flesh is pierced with as many arrows as there are Churches, or a Christ persecuted by a Saint Paul. What is engaged in here is the practice of retaliation. A negative rule of the non-philosophical ethics of outlawed discussion by way of argumentation (the sufficient is you, the orthodox one is always you, you are the fashionable one, and when a master you are someone else) that is founded on the confusion of effectuations of non-philosophy and of its overall interpretations. Retaliation is the law but as with any too-human law, it must acquire a dimension that displaces it, or rather emplaces it and takes away its authority but not all of its effectiveness. If the non-philosopher is only authorized by himself, which is to say by philosophy but limited by the Real-of-the-last-instance, its critique of other non-philosophers can merely be retaliatory under the same conditions, only by the Real limited in-the last-instance. THE TREE OF PHILOSOPHICAL SAINTLINESS The thematic horizon or material of these debates is in the relationships between philosophy, religion as gnosis, and non-philosophy. It is inevitable, regarding non-philosophers in general (whether they are non-philosophers by name or simply its neighbors) that we often end up evoking Marx’s Holy Family and imagining, arranged on the neighboring branches of the tree of philosophy and annexed, sometimes abusively, to non-philosophy, authors who would quite evidently and quite rightly refuse this label. So it is that we find, for example, a Saint Michel, a Saint Alain, a Saint Gilles 1 without even mentioning the youngest who aspire as well to the freedom of “saintliness” and who make their muted voices heard here. If there is a Holy Family of non-philosophers, it extends completely beyond these three, provided that the sectarian spirit can save us. This book is organized in the following manner: To begin, in order to recall the essential part of the problematic, we have organized a Summary of Non-Philosophy , a vade-mecum of notions and basic problems, in a classical style. Secondly, there is Clarifications On the Three Axioms of Non-Philosophy , designed to posit their proper use as much as to elucidate their meaning. Thirdly, an analysis of Philosophizability and Practicity , both being extreme constituents of philosophical material or the contents of the third axiom. Fourthly, the heart of this work: Let us Make a Tabula Rasa of the Future or of Utopia as Method . Fifthly, we have a theoretical outline of a non-institutional utopia, The International Organization of Non-Philosophy, L’Organisation Non-Philosophique Internationale, (ONPHI) already created in practice but under the conditions of possibility and functioning from which here we put into question “de jure,” thus not without a perplexity concerning “facts,” in any case, without the capability of “getting to the bottom of things.” Sixthly, an essay characterizing The Right and the Left of Non-Philosophy , a brief topology of several philosophizing and normalizing positions of proponents or tenants of this problematic. Seventhly, Rebel in the Soul: A Theory of Future Struggle , a systematic discussion starting from a confrontation of non-philosophical gnosis and non-religious gnosis to the extent that they pose, posed or perhaps still will pose themselves as rivals to non-philosophy in a mixture of fidelity and infidelity. Despite the fact that it can also be read as putting non-philosophy into perspective: it pits against a standard Platonism two contemporary appropriations of Gnosticism. On the basis of the paradigm of Man who never ceases to come as the Future-in-person, each one of these moments strives to reestablish not the “true” non-philosophy and its orthodoxy, but the minimal conditions to respect in order to allow for its maximum fecundity. And in order to bring about one of the last possibilities of its development, making explicit Humaneity as a utopia-for-the-World. In introducing these considerations in the form of a “testament” and “ultimatum,” we want to indicate two things: First, that this is the last time we will intervene in order to caution non-philosophers against the temptation of returning and looking backwards towards philosophy. Only a disillusioned nostalgia for the former World and its traditions barely remain permissible to us.… Secondly, that non-philosophy is also a sort of ultimatum for considering one’s life and transforming one’s thought from the perspective of a uni-version rather than a conversion. Man as future is this ultimatum in action, not an impatient self-proclaimed genius, and philosophy is his testament. It is obviously the ultimatum that determines this testament as “old” with a view towards a life that is, itself, non-testamentary. In and of itself, the “old” can never bear a veritable eschaton. Thus, this book intersects according to the logic of this paradigm, under the sign of the ultimate or “last” as future, philosophy as testament and cautionary note for maintaining the non-philosophical oeuvre as “future” or “utopian.” We will see that between these two dimensions it cradles a theory of struggle. In the end, this book envisions non-philosophers in multiple ways. It inevitably sees them as subjects of knowledge, most often academics insofar as life in the world demands, but above all as close relatives of three great human types. The analyst and political militant are quite obvious, for non-philosophy is close to psychoanalysis and Marxism insofar as it transforms the subject in transforming philosophy. Here again, one must have a sense not of certain nuances but of aspects (of the interpretations, albeit unilateralized) and not in order to construct a simple proletarization or militarization of thought as theory. To be rigorous, rather than authoritarian or spiteful, is its task. And lastly, non-philosophy is a close relative of the spiritual but definitely not the spiritualist. Those who are spiritual are not at all spiritualists, for the spiritual oscillate between fury and tranquil rage, they are great destroyers of the forces of Philosophy and the State, which are united under the name of Conformism. They haunt the margins of philosophy, gnosis, mysticism, science fiction and even religions. Spiritual types are not only abstract mystics and quietists; they are heretics for the World. The task is to bring their heresy to the capacity of utopia, and their utopia to the capacity of the paradigm. NOTES We will recognize allusions, and sometimes references, to closely related or distant themes, but which are related, in the work of Michel Henry, Alain Badiou and via the representative of “non-religious” gnosis of a Platonic origin, in Gilles Grelet. It goes without saying that these discussions are current and local, neither concerning the ensemble of doctrines nor prejudging the eventual evolution of certain amongst them. This concerns defining certain proximities with non-philosophy (rather than adversaries which in some sense they are) and typological and emblematic differends (rather than conflicts with a certain author). (shrink)

Phenomena covered by the term duality occur throughout the history of mathematics in all of its branches, from the duality of polyhedra to Langlands duality. By looking to an “internal epistemology” of duality, we try to understand the gains mathematicians have found in exploiting dual situations. We approach these questions by means of a category theoretic understanding. Following Mac Lane and Lawvere-Rosebrugh, we distinguish between “axiomatic” or “formal” (or Gergonne-type) dualities on the one hand and “functional” or “concrete” (or (...) Poncelet-type) dualities on the other. While the former are often used in the pursuit of a “two theorems by one proof”-strategy, the latter often allow the investigation of “spaces” by studying functions defined on them, which in Grothendieck's terms amounts to the strategy of proving a theorem by working in a dually equivalent framework where the corresponding proof is easier to find. We try to show by some examples that in the first case, dual objects tend to be more ideal (epistemologically more remote) than original ones, while this is not necessarily so in the second case. (shrink)

Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable logics TLR (...) and TLRω. It is proved that TLR yields exactly the schemata of PA-provable sentences, if Tr is understood as “Tr is tolerant”. In fact, TLR axiomatizes a considerable fragment of provability logic with quantifiers over ∑1-sentences, and many relations that have been studied in the literature can be expressed in terms of tolerance. We introduce and study two more relations between theories: cointerpretability and cotolerance which are, in a sense, dual to interpretability and tolerance. Cointerpretability is a characterization of ∑1-conservativity for essentially reflexive theories in terms of translations. (shrink)

A new modal logic containing four dynamic modalities with the following informal reading is introduced: $${\square^\forall}$$ – always necessary , $${\square^\exists}$$ – sometimes necessary , and their duals – $${\diamondsuit^\forall}$$ – always possibly , and $${\diamondsuit^\exists}$$ – sometimes possibly . We present a complete axiomatization with respect to the intended formal semantics and prove decidability via fmp.

The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...) was introduced by J. Łukasiewicz in the course of his inquiry into Aristotelian Syllogistic. It was essentialy generelized by J. Słupecki who, with reference to Tarski's axiomatic theory of deductive systems (1930), gave the formal definition of the rejection function Cn' according to which a sentence y is rejected on the base of a set of sentences X iff at least one sentence which belongs to X can be deduced from the sentence y. Słupecki proved (1959) that the function Cn', which assignes to the set X the set of sentences rejected on the basis of X, is additive and satisfies the axioms of Tarski's general theory of deductive systems. Work (1) uses not only Tarski's general theory of systems but also his the so-called enlarged theory of systems (1930). It constructs a theory T of rejected sentences (propositions), which is created from Tarski's richer theory of systems by adding one axiom and a number of definitions; among them the definition of the rejection function Cn' is fundamental one. Cn' is a function which assignes to every set X of false sentences the set Cn'X whose members are exclusively false senteces. A number of theorems which describes properties of defined concepts have been proved in T. Some of them are necessary for conducting considertions of the concluding section of (1) devoted to the empirical sentences. Section 2 of (1) deals with the theory of the unit consequenses. It is characterized by an axiom from which follow all axioms of Tarski's general theory of deductive systems, additivity and the property that the unit consequence of the set X of sentences is a unit consequence only one sentence of X. An example of unit consequence is the rejection consequence Cn'. In section 3 of (1) the dual theory T' equivalent to T is presented. In T' the primitive concept is the rejection function Cn'. The fundamental axiom of T' states that Cn' is a unit consequence. The concluding section brings a few examples of applications of the definitions and theorems of T in the domain of the scientific methodology. Work (2) corresonds to J. Słupecki paper (1959) and the theory T of rejected propositions given in work (1). In this paper some suplements of the theory T are given. Work (3) is an extension of the theory of rejected propositios given in the paper (1). It is an attempt of formalization some problems of methodology of the empirical sciences which concern to such concepts as: empirical sentence, similar sentence, generalization, inductive conclusion etc. (shrink)

This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element (...) of the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

The notion of contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with an additional relation C called contact. There are some problems related to the motivation of the operation of Boolean complementation. Because of this operation is dropped and the language of distributive lattices is extended by considering as non-definable primitives the relations of contact, nontangential inclusion and dual contact. It is obtained an axiomatization of the (...) theory consisting of the universal formulas in the language true in all contact algebras. The structures in, satisfying the axioms in question, are called extended distributive contact lattices. In this paper we consider several logics, corresponding to EDCL. We give completeness theorems with respect to both algebraic and topological semantics for these logics. It turns out that they are decidable. (shrink)

Luce and Narens (Journal of Mathematical Psychology, 29:1–72, 1985) showed that rank-dependent utility (RDU) is the most general interval scale utility model for binary lotteries. It can be easily established that this result cannot be generalized to lotteries with more than two outcomes. This article suggests several additional conditions to ensure RDU as the only utility model with the desired property of interval scalability in the general case. The related axiomatizations of some special cases of RDU of independent interest (the (...) quantile utility, expected utility, and Yaari’s dual expected utility) are also given. (shrink)

The present paper is the first part of a work which follows up on H. Kummer: “A constructive approach to the foundations of quantum mechanics,”Found. Phys. 17, 1–63 (1987). In that paper we deduced the JB-algebra structure of the space of observables (=detector space) of quantum mechanics within an axiomatic theory which uses the concept of a filter as primitive under the restrictive assumption that the detector space is finite-dimensional. This additional hypothesis will be dropped in the present paper.It turns (...) out that the relevant mathematics for our approach to a quantum mechanical system with infinite-dimensional detector space is the noncommutative spectral theory of Alfsen and Shultz.We start off with the same situation as in the previous paper (cf. Sects. 1 and 2 of the present paper). By postulating four axioms (Axioms S, DP, R, and SP of Sec. 3), we arrive in a natural way at the mathematical setting of Alfsen and Shultz, which consists of a dual pair of real ordered linear spaces 〈Y, M〉: A base norm space, called the strong source space (which, however, in slight contrast to the setting of Alfsen and Shultz, is not 1-additive) and an order unit space, called the weak detector space, which is the norm and order dual space of Y. The last section of part I contains the guiding example suggested by orthodox quantum mechanics. We observe that our axioms are satisfied in this example. In the second part of this work (which will appear in the next issue of this journal) we shall postulate three further axioms and derive the JB-algebra structure of quantum mechanics. (shrink)

Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of axiomatic approaches. However, there are internal problems with real or quaternionic quantum theory. Here we argue that these problems can be resolved if we treat real, complex and quaternionic quantum theory as part of a unified structure. Dyson called this structure the ‘three-fold way’. It (...) is perhaps easiest to see it in the study of irreducible unitary representations of groups on complex Hilbert spaces. These representations come in three kinds: those that are not isomorphic to their own dual (the truly ‘complex’ representations), those that are self-dual thanks to a symmetric bilinear pairing (which are ‘real’, in that they are the complexifications of representations on real Hilbert spaces), and those that are self-dual thanks to an antisymmetric bilinear pairing (which are ‘quaternionic’, in that they are the underlying complex representations of representations on quaternionic Hilbert spaces). This three-fold classification sheds light on the physics of time reversal symmetry, and it already plays an important role in particle physics. More generally, Hilbert spaces of any one of the three kinds—real, complex and quaternionic—can be seen as Hilbert spaces of the other kinds, equipped with extra structure. (shrink)

The present paper comprises Sects. 5–8 of a work which proposes an axiomatic approach to quantum mechanics in which the concept of a filter is the central primitive concept. Having layed down the foundations in the first part of this work (which appeared in the last issue of this journal and comprises Sects. 0–4), we arrived at a dual pair 〈Y, M〉 consisting of abase norm space Y and anorder unit space M, being in order and norm duality with (...) respect to each other. This is precisely the setting of noncommutative spectral theory, a theory which has been developed during the late nineteen seventies by Alfsen and Shultz. (2,3) In this part we add to the four axioms (Axioms S, DP, R, SP) of Sect. 3 three further axioms (Axioms E, O, L). These axioms are suggested by the work of Alfsen and Shultz and enable us to derive the JB-algebra structure of quantum mechanics (cf. Theorem 8.9). (shrink)

W. Matthews Grant's "Dual Sources Account" aims at explaining how God causes all creaturely actions while leaving them free in a robust libertarian sense. It includes an account of predestination that is supposed to allow for the possibility that some created persons ultimately spend eternity in hell. I argue here that the resources Grant provides for understanding why God might permit created persons to end up in hell are, for two different reasons, insufficient. I then provide possible solutions to (...) these two problems, compatible with Grant's account overall, that help show why God might allow hell. (shrink)

Building on an overview of dual systems theories in behavioural economics, the paper presents a methodological assessment in terms of the mechanistic explanations framework that has gained prominence in philosophy of the neurosciences. I conclude that they fail to meet the standards of causal explanations and I suggest an alternative ‘dual functions’ view based on Marr’s methodology of computational neuroscience. Recent psychological and neuroscience research undermines the case for a categorization of brain processes in terms of properties such (...) as relative speed. I defend an interpretation of dualities as functional, without assigning them to specific neurophysiological structures. (shrink)

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the (...) philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

Dual-process and dual-system theories in both cognitive and social psychology have been subjected to a number of recently published criticisms. However, they have been attacked as a category, incorrectly assuming there is a generic version that applies to all. We identify and respond to 5 main lines of argument made by such critics. We agree that some of these arguments have force against some of the theories in the literature but believe them to be overstated. We argue that (...) the dual-processing distinction is supported by much recent evidence in cognitive science. Our preferred theoretical approach is one in which rapid autonomous processes are assumed to yield default responses unless intervened on by distinctive higher order reasoning processes. What defines the difference is that Type 2 processing supports hypothetical thinking and load heavily on working memory. (shrink)

Some of philosophy's most central concepts, including art, friendship, and happiness, have been argued to be dual character concepts. Their main characteristic is that they encode not only a descriptive dimension but also an independent normative dimension for categorization. This article introduces the class of dual character concepts and discusses various accounts of their content and structure. A specific focus will be placed on their relation to two other classes of concepts, thick concepts and natural kind concepts. The (...) study of dual character concepts not only demonstrates that a wide range of concepts is inherently normative, but it also reveals new possibilities for investigating gender biases, generics, and social roles. (shrink)