We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

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)

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)

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)

What are the relationships between an entity and the space at which it is located? And between a region of space and the events that take place there? What is the metaphysical structure of localization? What its modal status? This paper addresses some of these questions in an attempt to work out at least the main coordinates of the logical structure of localization. Our task is mostly taxonomic. But we also highlight some of the underlying structural features and (...) we single out the interactions between the notion of localization and nearby notions, such as the notions of part and whole, or of necessity and possibility. A theory of localization—we argue—is needed in order to account for the basic relations between objects and space, and runs afoul a pure part-whole theory. We also provide an axiomatization of the relation of localization and examine cases of localization involving entities different from material objects. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

As is generally known, Newton’s notion of universal gravitation surpassed various theories of particular gravities in the early modern age, as represented mainly by Kepler and Hooke. In his seminal work “Hooke and the Law of Universal Gravitation: A Reappraisal of a Reappraisal” Richard S. Westfall argues that Hooke could not reach beyond the concept of spatially bounded particular gravities, as he deployed the method of analogy between the material principle of congruity and incongruity and the extension of gravitational spheres (...) and their action at a distance. However, the doctrine of universal gravitation does not exclude the nature of particular gravities; it is predicated on the notion of an infinite expansion of individual-gravitational spheres and their uniform nature, namely the mutual and centripetal attraction. In my treatise I attempt to reinvestigate the nature and structure of gravitation, as established historically in the framework of Newtonian Classical Mechanics, by a method of structural intuition. It examines how the structural intuition, as represented in the celestial-mechanical intuitions of Hooke and Kepler, could unfold into an innovative process within the context of early modern mechanical philosophy, attaining thus a historical significance and legitimacy as against the prevailing Newtonian method of geometric-mathematical axiomatization of mechanical principles. It also explores the actual demonstrative features of the tidal phenomenon with regard to its lunar- and solar-gravitational causation, which has been considered to date to be an important piece of empirical evidence for the theory of universal gravitation. (shrink)

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

This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.

We start from previous studies of G.N. Ord and A.S. Deakin showing that both the classical diffusion equation and Schrödinger equation of quantum mechanics have a common stump. Such result is obtained in rigorous terms since it is demonstrated that both diffusion and Schrödinger equations are manifestation of the same mathematical axiomatic set of the Clifford algebra. By using both such ( ) i A S and the i,±1 N algebra, it is evidenced, however, that possibly the two basic (...) equations of the physics cannot be reconciled. 1. (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking (...) throughout. However his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

A hard choice is a situation in which an agent is unable to make a justifiable choice from a given menu of alternatives. Our objective is to present a systematic treatment of the axiomatic structure of such situations. To do so, we draw on and contribute to the study of choice functions that can be indecisive, i.e., that may fail to select a non-empty set for some menus. In this more general framework, we present new characterizations of two (...) well-known choice rules, the maximally dominant choice rule and the top-cycle choice rule. Together with existing results, this yields an understanding of the circumstances in which hard choices arise. (shrink)

I uncover here a conflict in Kant’s natural philosophy. His matter theory and laws of mechanics are in tension. Kant’s laws are fit for particles but are too narrow to handle continuous bodies, which his doctrine of matter demands. To fix this defect, Kant ultimately must ground the Torque Law; that is, the impressed torque equals the change in angular momentum. But that grounding requires a premise—the symmetry of the stress tensor—that Kant denies himself. I argue that his problem would (...) not arise if he had kept his early theory of matter as made of mass points, or “physical monads.”. (shrink)

Hilbert's axiomatic approach was an optimistic take over on the side of the logical foundations. It was also a response to various restrictive views of mathematics supposedly bounded by the reaches of epistemic elements in mathematics. A complete axiomatization should be able to exclude epistemic or ontic elements from mathematical theorizing, according to Hilbert. This exclusion is not necessarily a logicism in similar form to Frege's or Dedekind's projects. That is, intuition can still have a role in mathematical reasoning. (...) Nevertheless, this role is to be given a structural orientation with the help of explications of the underlying logic of axiomatization. (shrink)

Wittgenstein (W) is for me easily the most brilliant thinker on human behavior and this is his last work and crowning achievement. It belongs to his third and final period, yet it is not only his most basic work (since it shows that all behavior is an extension of innate true-only axioms and that our conscious ratiocination is but icing on unconscious machinations), but as Daniele Moyal-Sharrock has recently noted, is a radical new epistemology and the foundation for all description (...) of animal behavior, revealing how the mind works and indeed must work. The "must" is entailed by the fact that all brains share a common ancestry and common genes, and so there is only one basic way they work, that this necessarily has an axiomatic structure, that all higher animals share the same evolved psychology based on inclusive fitness, and in humans this is extended into a personality based on throat muscle contractions (language) that evolved to manipulate others (with variations that can be regarded as trivial). This book, and arguably all of W's work and all useful discussion of behavior is a development of or variation on these ideas. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Before commenting on the book, I offer comments on Wittgenstein and Searle and the logical structure of rationality. The essays here are mostly already published during the last decade (though some have been updated), along with one unpublished item, and nothing here will come as a surprise to those who have kept up with his work. Like W, he is regarded as the best standup philosopher of his time and his written work is solid as a rock and groundbreaking (...) throughout. However, his failure to take the later W seriously enough leads to some mistakes and confusions. Just a few examples: on p7 he twice notes that our certainty about basic facts is due to the overwhelming weight of reason supporting our claims, but W showed definitively in ‘On Certainty’ that there is no possibility of doubting the true-only axiomatic structure of our System 1 perceptions, memories and thoughts, since it is itself the basis for judgment and cannot itself be judged. In the first sentence on p8 he tells us that certainty is revisable, but this kind of ‘certainty’, which we might call Certainty2, is the result of extending our axiomatic and nonrevisable certainty (Certainty1) via experience and is utterly different as it is propositional (true or false). This is of course a classic example of the “battle against the bewitchment of our intelligence by language” which W demonstrated over and over again. One word- two (or many) distinct uses. -/- His last chapter “The Unity of the Proposition” (previously unpublished) would also benefit greatly from reading W’s “On Certainty” or DMS’s two books on OC (see my reviews) as they make clear the difference between true only sentences describing S1 and true or false propositions describing S2. This strikes me as a far superior approach to S’s taking S1 perceptions as propositional since they only become T or F after one begins thinking about them in S2. However, his point that propositions permit statements of actual or potential truth and falsity, of past and future and fantasy, and thus provide a huge advance over pre or protolinguistic society, is cogent. As he states it “A proposition is anything at all that can determine a condition of satisfaction…and a condition of satisfaction… is that such and such is the case.” Or, one needs to add, that might be or might have been or might be imagined to be the case. -/- Overall, PNC is a good summary of the many substantial advances over Wittgenstein resulting from S’s half century of work, but in my view, W still is unequaled once you grasp what he is saying. Ideally, they should be read together: Searle for the clear coherent prose and generalizations, illustrated with W’s perspicacious examples and brilliant aphorisms. If I were much younger I would write a book doing exactly that. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Wittgenstein (W) is for me easily the most brilliant thinker on human behavior and this is his last work and crowning achievement. It belongs to his third and final period, yet it is not only his most basic work (since it shows that all behavior is an extension of innate true-only axioms and that our conscious ratiocination is but icing on unconscious machinations), but as Daniele Moyal-Sharrock has recently noted, is a radical new epistemology and the foundation for all description (...) of animal behavior, revealing how the mind works and indeed must work. The "must" is entailed by the fact that all brains share a common ancestry and common genes, and so there is only one basic way they work, that this necessarily has an axiomatic structure, that all higher animals share the same evolved psychology based on inclusive fitness, and in humans this is extended into a personality based on throat muscle contractions (language) that evolved to manipulate others (with variations that can be regarded as trivial). This book, and arguably all of W's work and all useful discussion of behavior is a development of or variation on these ideas. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

This article connects François Laruelle's non-philosophical experiments with the axiomatic method to non-philosophy's anti-hermeneutic stance. Focusing on two texts from 1987 composed using the axiomatic method, "The Truth According to Hermes" and "Theorems on the Good News," I demonstrate how non-philosophy utilizes structural mechanisms to both expand and contract the field of potential models allowed by non-philosophy. This demonstration involves developing a notion of interpretation, which synthesizes Rocco Gangle's work on model theory with respect to non-philosophy with Laruelle's (...) critique of hermeneutics. I use Alexander Galloway's interpretation of "The Truth According to Hermes" as a case study of the limits non-philosophy sets upon its use as a basis for philosophical models, in contrast to arguments by Gangle regarding non-philosophy's greater genericity in comparison to philosophy. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge- whether individual or common- is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections (...) 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought- only monotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the "infinitary" nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they are decidable in the logician's sense. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and a (...) four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Dialectica: Mathematica and Physica, Truth and Justice, Trick and Life. Mathematica as the Constructive Metaphysica and Ontology. Mathematica as the constructive existential method. Сonsciousness and Mathematica: Dialectica of "eidos" and "logos". Mathematica is the Total Dialectica. The basic maternal Structure - "La Structure mère". Mathematica and Physica: loss of existential certainty. Is effectiveness of Mathematica "unreasonable"? The ontological structure of space. Axiomatization of the ontological basis of knowledge: one axiom, one principle and one mathematical object. The main (...) ideas and concepts of the ontological construction/ "Point with a vector germ" and "heavenly triangle". "Ordo geometricus" and "Ordo onto-topological". Architecture of the onto-topological basis of knowledge: general framework structure, carcass and foundation. The absolute space and the absolute field. The absolute (natural) system of coordinates of Universum. Eidos of "idea of ideas", the symbol and the "formula of Justice". (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, (...) and it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal (...) logical language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...) Several attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the perspective of abstract (...) algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational history (...) of ideas must be built upon a sound theoretical foundation for its methodology, and the only such foundation is given by the use of models , i.e., fully explicit and revisable interpretive frameworks or networks of concepts developed by the historians of ideas themselves. (ii) Data Organisation. Interpretive models in our sense must be seen as topic-specific knowledge organisation systems (KOS) implementable (i.e. formalisable) as e.g. computer science ontologies. We thus require historians of ideas to provide explicitly structured semantic framing of domain knowledge before investigating texts computationally, and to constantly re-input findings from the interpretive point of view. In this way, a computational history of ideas maximally profits from computer methods while also keeping humanities experts in the loop. We elucidate our proposal with reference to a model of the notion of axiomatic science in 18th -19th century Europe. (shrink)

The aim of the article. The aim of the article is to identify the components of social and economic systems life cycle. To achieve this aim, the article describes the traits and characteristics of the system, determines the features of social and economic systems functioning and is applied a systematic approach in the study of their life cycle. The results of the analysis. It is determined that the development of social and economic systems has signs of cyclicity and is explained (...) methodologically by the axiomatics, rules and laws. Understanding of circular patterns has been formed long ago and now is recorded by scientists monitoring the properties of natural and artificial environment of human activity. During the study, it was found out that in scientific literature there is no unified description of the life cycle elements of social and economic systems at personal, micro, meso, macro and global levels. The paper investigates the cyclical patterns in multilevel social and economic systems for a human, employee, family, product, company, city, industry, elite, macroeconomic indicators, humanity, global processes, global economic system and the Universe. It is noted that at grass-roots administrative levels of the global environment of a human life activity system, a thesis about the cyclicity of development and the stages of the life cycle is considered by a wide circle of scientists and is doubtless. On hierarchically higher management levels of the global environment of human activity system, the scientists noticed the similar patterns of the cyclical nature. Problematic and discussion questions about cyclic development of social and economic systems are identified: the uncertainty of the driving force source of repeated changes; the vague distinction between systemic (internal) and off-system (external) influence on development; the lack of a unified description of development nature at different managerial levels; the use of different descriptive terms for the same constituent elements of repeated changes (period, stage, phase, wave, cycle); the uncertainty of the number of repeated changes constituent elements; the absence of an identification mechanism of the exact time of changes in the constituent elements of repeated changes; the surface description of out-of-system period of the subjects activity («before-system» period of creation and «after-system» period of liquidation); attaching more importance to primary and less importance to ultimate component elements of the repeated changes; the lack of reliable mechanism for predicting and forecasting the dynamics of constituent components of repeated changes. It is noted that all social and economic systems are developed within repeated changes and they have the same attributes of cyclicity: the fluctuation of indicators is marked that characterize the condition of the subject; the presence of system (from creation to liquidation) and out-of-system (creation – «design» and liquidation – «disposal») periods are noted; the subjects are created by the actions of other subjects (that is, subjects do not arise «out of nowhere», but are the result of actions of other subjects – «constructors»); after cessation of subjects functioning, their resources are used by other subjects (that is, the subjects do not disappear «nowhere», and they are transformed into the resources of other subjects – «recovery»); a unidirectional life cycle from «birth» to «death» is observed in the subjects; the subjects do not have to undergo the whole life cycle (each time might be the last); the subjects display similar changes of the indicators during their activity; ascending, peak and descending fluctuations of indicators are observed in the subjects; minor fluctuations occur in the constituent elements; the subjects have individual nature of indicator fluctuations and duration of activity. Conclusions and directions of further researches. The scientific novelty of the study is identification structure of life cycle of social and economic system with definitions of: common («before-system state», «growth», «stabilization», «reduction», «after-system state») and specific («creation», «slow growth», «rapid growth», «growth stabilization», «short stabilization», «rapid reduction», «slow reduction», «liquidation») constituent elements of repeated changes; marginal borders of indicators; dynamics of constituent elements of life cycle; key points of changing nature of the indicators dynamics. Identification of the life cycle of social and economic systems characterizes potentially possible limits of their activity in time and provides the possibility of further research of aspects of the cyclical development for methodological basis formation and the development of applied measures of systemic development in the areas of marketing and management innovations. (shrink)

This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional (...) production of entities, (state of) capacity, capacity to play a role in actions of a given type, function and functional object. These primitives enable artefacts in general to be characterized as intentionally and successfully produced entities, and isolate an important subclass of “technical” artefacts to which a function is ascribed. Lastly, we emphasize the novelty of this ontology by comparing it with other works with similar objectives. (shrink)

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic (...) as the extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds (...) of situations and thematic roles, (e.g., roles such as agent, patient and instrument), based on new compositions of existing representations. We applied our prototype in an intelligence analysis use case to test the hypothesis that a framework of this sort can produce usefully structured information from combined natural language and sensor data inputs. We further tested our hypothesis by adding an enhanced US Air Force ontology framework to our ODIS in order to (1) process a collection of sensor data, intel reports, and mission plans; (2) build composite POR representations from these data; and (3) machine analyze the fused results to infer mission threats. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and (...) the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Hermann von Helmholtz’s geometrical papers have been typically deemed to provide an implicitly group-theoretical analysis of space, as articulated later by Felix Klein, Sophus Lie, and Henri Poincaré. However, there is less agreement as to what properties exactly in such a view would pertain to space, as opposed to abstract mathematical structures, on the one hand, and empirical contents, on the other. According to Moritz Schlick, the puzzle can be resolved only by clearly distinguishing the empirical qualities of spatial perception (...) from those describable in terms of axiomatic geometry. This paper offers a partial defense of the group-theoretical reading of Helmholtz along the lines of Ernst Cassirer in the fourth volume of The Problem of Knowledge of 1940. In order to avoid the problem raised by Schlick, Cassirer relied on a Kantian view of space not so much as an object of geometry, but as a precondition for the possibility of measurement. Although the concept of group does not provide a description of space, the modern way to articulate the concept of space in terms of transformation groups reveals something about the structure and the transformation of spatial concepts in mathematical and natural sciences. (shrink)

Within the current mainstream research in the foundations of physics, much attention has been turned to the program of Axiomatic Reconstruction of Quantum Theory in terms of Information-Theoretic principles (ARQIT). ARQIT aims at finding a few general information-theoretic principles from which, once translated into mathematical terms, one can formally derive the structure of quantum theory. This chapter explores the role of mechanistic explanations and mathematical explanations (in particular, structural explanations) within ARQIT. With such considerations as a point of (...) departure, we investigate how ARQIT contributes to the explanation of quantum phenomena, and the possible prospects for explanations provided by mechanical interpretations of quantum theory. (shrink)

On 6 January 1795, the twenty-year-old Schelling—still a student at the Tübinger Stift—wrote to his friend and former roommate, Hegel: “Now I am working on an Ethics à la Spinoza. It is designed to establish the highest principles of all philosophy, in which theoretical and practical reason are united”. A month later, he announced in another letter to Hegel: “I have become a Spinozist! Don’t be astonished. You will soon hear how”. At this period in his philosophical development, Schelling had (...) been deeply under the spell of Fichte’s new philosophy and the Wissenschaftslehre. The text Schelling was writing at the time was the early Vom Ich als Prinzip der Philosophie, though his characterization of this text would much better fit the somewhat later work which is the focus of the current paper: Schelling’s 1801 Darstellung meines System der Philosophie (hereafter: Presentation). The Presentation is a text written more geometrico, following the style of Spinoza’s Ethics. While Spinoza’s influence and inspiration is stated explicitly and unmistakably in Schelling’s preface, the content of this composition might seem quite foreign to Spinoza’s philosophy, so much so, in fact, that Michael Vater—the astute translator and editor of the recent English translation of the text—has contended that “despite the formal similarities between Spinoza’s geometrical method and Schelling’s numbered mathematical-geometrical constructions, Schelling’s direct debts to Spinoza are few”. The Presentation is an extremely dense and difficult text, and while I agree that at first glance Schelling’s engagement with the concept of reason (Vernunft) and the identity formula ‘A=A’ seems to have little if anything to do with Spinoza (especially since Spinoza’s key terminology of ‘God’, ‘causa sui’, ‘substance’, ‘attribute’, and ‘mode’ is barely mentioned in the Presentation), I suspect that at a deeper level Schelling is attempting to transform Spinoza’s system by replacing God, Spinoza’s ultimate reality, with reason. Though this might at first seem bizarre, I believe it can be profitably motivated and explained upon further reflection. It is this transformation of Spinoza’s God into (the early) Schelling’s reason that is the primary subject of this study. I develop this paper in the following order. In the first part I provide a very brief overview of Schelling’s lifelong engagement with Spinoza’s philosophy, which will prepare us for my study of the 1801 Presentation. In the second part, I consider the formal structure and rhetoric of the Presentation against the background of Spinoza’s Ethics, and show how Schelling regularly imitates Spinoza’s tiniest rhetorical gestures. In the third and final part I turn to the opening of the Presentation, and argue that Schelling attempts there to distance himself from Fichte by developing a conception of reason as the absolute, or the identity of the subject and object, just as the thinking substance and the extended substance are identified in Spinoza’s God. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

In this paper, I try to cause some good-natured trouble. The issue is, when will we ever stop burdening the taxpayer with conferences devoted to the quantum foundations? The suspicion is expressed that no end will be in sight until a means is found to reduce quantum theory to two or three statements of crisp physical (rather than abstract, axiomatic) significance. In this regard, no tool appears better calibrated for a direct assault than quantum information theory. Far from a (...) strained application of the latest fad to a time-honoured problem, this method holds promise precisely because a large part---but not all---of the structure of quantum theory has always concerned information. It is just that the physics community needs reminding. (shrink)

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

When beliefs are quantified as credences, they are related to each other in terms of closeness and accuracy. The “accuracy first” approach in formal epistemology wants to establish a normative account for credences based entirely on the alethic properties of the credence: how close it is to the truth. To pull off this project, there is a need for a scoring rule. There is widespread agreement about some constraints on this scoring rule, but not whether a unique scoring rule stands (...) above the rest. The Brier score equips credences with a structure similar to metric space and induces a “geometry of reason.” It enjoys great popularity in the current debate. I point out many of its weaknesses in this article. An alternative approach is to reject the geometry of reason and accept information theory in its stead. Information theory comes fully equipped with an axiomatic approach which covers probabilism, standard conditioning, and Jeffrey conditioning. It is not based on an underlying topology of a metric space, but uses a non-commutative divergence instead of a symmetric distance measure. I show that information theory, despite initial promise, also fails to accommodate basic epistemic intuitions; and speculate on its remediation. (shrink)

Diagrams by Connor Camburn -/- The relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation presents a fascinating interplay of concepts that have significantly influenced various fields, including mathematics, physics, philosophy, and art. This essay explores these relationships by drawing insights from André Weil's "From Metaphysics to Mathematics," Gilles Châtelet's works, and Schmid's discussion on Gnostic Futurism. -/- Axiomatization: Weil and Grothendieck -/- Axiomatization, as discussed in André Weil's "From Metaphysics to Mathematics," represents the transformation of metaphysical concepts into formal (...) mathematical structures. Weil's document highlights the progression from vague metaphysical ideas to concrete mathematical theories. This process is evident in the works of mathematicians like Lagrange and Galois, where initial metaphysical notions eventually crystallized into the formal structures of modern algebra. Similarly, Alexander Grothendieck's work in algebraic geometry involved the creation of an abstract framework that could unify various mathematical concepts, demonstrating the power of axiomatization in providing a foundational structure for complex ideas. -/- Mechanization: Oppenheimer, Watson-Crick, and Von Neumann -/- Mechanization, in the context of scientific development, refers to the application of mechanical principles to solve problems and the automation of processes. Figures like Oppenheimer in physics, Watson and Crick in biology, and Von Neumann in computing and mathematics, represent the pinnacle of mechanization in their respective fields. Their work exemplifies how mechanization has enabled the simplification and automation of complex processes, leading to alienating discoveries such as the atomic bomb, the structure of DNA, and the development of modern computers. -/- Creative Individuation: Gnostic Futurism -/- Eric Schmid's discussion on Gnostic Futurism, as found in his document, offers a perspective on creative individuation. Gnostic Futurism, rooted in Kantian-Hegelian transcendental universalism, represents a departure from conventional realism, emphasizing a transcendental nature and integration of mythopoeia. This movement in art and philosophy underscores the role of creativity and individual expression in transcending traditional forms and norms. It embodies the idea of creative individuation, where individual creativity leads to the formation of new, often revolutionary, artistic and philosophical expressions. -/- Virtual/Physical Individuation: Châtelet's Perspective -/- Gilles Châtelet's works, particularly "Figuring Space: Philosophy, Mathematics, and Physics," delve into the concept of virtual/physical individuation. Châtelet discusses the configuration of space in mathematics and physics, emphasizing the role of diagrams in scientific discovery. This exploration of space, both virtual (as in mathematical abstractions) and physical (as in tangible representations), reflects the process of individuation in both realms. Châtelet's perspective highlights how mathematical and physical representations are not just tools for understanding the world but are also expressions of individual and collective intellectual endeavors. -/- Interconnections and Synthesis -/- The synthesis of these concepts reveals a complex tapestry of intellectual development across disciplines. Axiomatization provides a foundational structure that enables the mechanization of processes, as seen in the works of Oppenheimer, Watson-Crick, and Von Neumann. This mechanization, in turn, paves the way for creative individuation, where individuals can transcend established norms and frameworks, as exemplified in Gnostic Futurism. Finally, the concept of virtual/physical individuation, as explored by Châtelet, represents the culmination of these ideas, where the abstract and the tangible intersect, leading to new forms of understanding and expression. -/- In conclusion, the relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation is a testament to the dynamic and interconnected nature of intellectual progress. From the formal structures of mathematics to the revolutionary changes in art and philosophy, these concepts demonstrate how human thought and creativity continue to evolve, challenging existing paradigms and forging new paths of understanding and expression. (shrink)

In this paper we extend Neutro-Algebra and Anti-Algebra to geometric spaces, founding Neutro/Geometry and AntiGeometry. While Non-Euclidean Geometries resulted from the total negation of a specific axiom (Euclid's Fifth Postulate), AntiGeometry results from the total negation of any axiom or even more axioms of any geometric axiomatic system (Euclidean, Hilbert, etc. ) and of any type of geometry such as Geometry (Euclidean, Projective, Finite, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.), and Neutro-Geometry results from the partial negation of (...) one or more axioms [and without total negation of any axiom] of any geometric axiomatic system and of any type of geometry. Generally, instead of a classical geometric Axiom, one can take any classical geometric Theorem of any axiomatic system and of any type of geometry, and transform it by Neutrosophication or Antisofication into a Neutro-Theorem or Anti-Theorem respectively to construct a Neutro-Geometry or Anti-Geometry. Therefore, Neutro-Geometry and Anti-Geometry are respectively alternatives and generalizations of Non-Euclidean Geometries. In the second part, the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra and Anti-Algebra, then to Neutro-Geometry and Anti-Geometry, and in general to Neutro-Structure and Anti-Structure that arise naturally in any field of knowledge is recalled. At the end, applications of many Neutro-Structures in our real world are presented. (shrink)

This essay suggests an alternative accountability process on the basis of critiques of current evaluation practice in higher education. Using cases in the British university system, with some international commentary and thinking through experience in Asian universities in four countries in the wake of ‘audit culture’, the work of Thorstein Bunde Veblen is revived. With Veblen, the current structures and mechanics of the corporate and fully-monetised university might once more be challenged. The risk of importing the metrics and audit culture (...) of Britain, and the neoliberal managerialist administration-led university of North America, wholesale into Asian universities is questioned by acknowledgment that exiting hierarchies are persistent, and competing on Euro-American terms is a recipe for disaster. Due recognition is curtailed, hard work and standards are ignored, prospects for junior staff are constrained to a kind of intellectual and social penury. Resources based on research skills more robust than the current axiomatic research assessment calculus are suggested from within the university. The solution is not to emulate a declining system, but to innovate and invent new horizons and terms of engagement. The proposals offered here are only a suggestion for reflexive inquiry and informed self-examination—criticism-self-criticism from co-research sociology, ethnographic film and urban geography, among others—offered as alternate concurrent paths to accountability. (shrink)

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

The concept of causation is essential for understanding relationships among various phenomena, yet its fundamental nature and the criteria for establishing it continue to be debated. This paper presents a new theory of causation through a quasi-axiomatic approach. The core of this framework is Probability Distribution Determinism (PDD), which updates traditional determinism by representing states of affairs as probability distributions, with the if-then function serving as its foundational definition. Based on PDD, by merely using appropriate naming strategies, it is (...) possible to derive systems in which the structural characteristics of relationships among things closely resemble those in the real world, such as having various forms of nested hierarchies. Additionally, there are two related yet distinctly different contexts about relationships in PDD: one emphasizes the potential influence of conditions on outcomes in the general sense, while the other focuses on attributing responsibility for the state changes in specific scenarios. The formula for determining the relationship in the general sense is established as S(Y |S1(X), Ψ) ̸≡ S(Y |S2(X), Ψ). Subsequently, within the PDD framework, the paper clarifies the legitimate use of a series of concepts related to causation in those two contexts, thus encompassing the entire detailed connotation of the concept of causation. The comparison with other theories of causation and the analysis of case applications demonstrate that the new theory applies not only to situations where other theories are competent but also to situations where they are not. This suggests that, although certain aspects within the new framework may require further analysis, it provides a highly promising direction for a deeper understanding of causation. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain (...) satisfying the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

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

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