In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality (...) of the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be used to (...) define point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events (...) and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

If you have enjoyed any of the 7 (seven) other books I have published over 20 years, including literally thousands of pages of mathematical and topological concepts, Python programs and conceptually expanding papers, please consider buying this book for $20.00 on google play books. -/- Introduction: -/- Though the following pages provide extensive exposition and dedicated descriptions of the phenomenological velocity formulas, theory and mystery, I thought it appropriate to write this introduction as a partial explanation for what phenomenal velocity (...) is, and describe, briefly its theory and applications. Phenomenological Velocity is a method for solving for something that ought cancel out with itself, but there are specific implicit forms for this thing that, “ought cancel out with itself,” namely the Lorentz coefficient ought cancel out with itself when applied to the height of a cone derived from the difference between the circumferences of two circles applied to the Pythagorean Theorem, or, more generally, the height implied by application of the Pythagorean theorem to the difference between two arc lengths’ equaling a third arc length. These difference equations are essential to conceptualizing differentiation, and in these further chapters, I demonstrate that the phenomenological velocity is, indeed the conditional derivative in the chapter, “Conditional Integral of Phenomenological Velocity.” The phenomenological velocity algebraic solution to the velocity within the Lorentz coefficient when applied to the height function in such a way that it ought cancel out with itself is both constructive mathematics and it employs the concept of, “bracketing,” - first introduced by Edmund Husserl in his writings on the phenomenological reduction. Phenomenological Velocity’s algebraic solution from the difference between two arc lengths applied to the Pythagorean Theorem to solve for a theoretical height (which is a projected distance in space), employs bracketing, because we, “set aside,” the existence of an undefined solution, namely due to the presence of necessitated complex analytical forms by the architecture of the equation, or the “mathetecture,” of the algebraic form. -/- With respect to theology, the phenomenological velocity is somehow symbolic of the creation itself; symbolic of creation due to the fact that we find the canceling out of the Lorentz coefficient as, “impotent,” non-existent or non-effecting to the mathetecture of the height function. However, via the modus-ponens work around to phenomenological velocity, which in itself does not require the complex field, but embeds implied complex field solutions to the equation while maintaining logical consistency, we find existence from non-existence. This is directly linguistically applicable to the concept of the big-bang, the resurrection of Yeshua the Messiah, and opens analogies for us to draw relationships between the, “fall,” of Adam and Eve as the generation of error, or the introduction of paradox, as we see the phallus representing paradox topologically. -/- The phenomenological velocity is a gestalt concept, relevant to cosmology, because we find that it is the perfect language-form for discussing dark matter. It does, however, require the reader to re-conceive or re-frame rather, some of the fundamental aspects of assumed physical reality like time, experience, solidity of dark matter, etc. We find the hidden dimension of phenomenological velocity to have been an overlooked aspect of mathematical physics by the researchers of Bell’s theorem and undoubtedly a host of other theorems. Thus, raising awareness about the real existence and necessitated reality of phenomenological velocity is in no way an endeavor deserving further procrastination by the scientific community, for doing so would be intellectually dishonest and further the propagation of incomplete or misleading theories on reality. -/- This work details how the Lorentz coefficient, when applied to the height of a cone in such a way as to cancel out with itself, permits the velocity variable to have a solution to it anyway, even though it ought cancel out with itself. This mathe-tecture, so to speak has consequences for complex analysis, and pave the way for, "transcendental relativity," building an adaptive framework for consciousness and physical reality. (shrink)

In a series of papers, Robin Jeshion has forcefully criticized both Donnellan's and Evans’ claims on the contingent a priori, and she has developed an “acquaintanceless” account of singular thoughts as an alternative view. Jeshion claims that one can fully grasp a singular thought expressed by a sentence including a proper name, even if its reference has been descriptively fixed and one’s access to the referent is “mediated” by that description. But she still wants to reject “semantic instrumentalism”, the view (...) that “there are no substantive conditions of any sort on having singular thought. We can freely generate singular thoughts at will by manipulating the apparatus of direct reference.” Her account of singular thoughts is a psychological one, rejecting any epistemic requirement. Having singular thoughts is for her a matter of deploying “mental files” or “dossiers” that play a significant role in the cognitive life of the individual. This paper elaborates on an alternative descriptivist-friendly view, which has important points of contact with Jeshion’s. It differs, particularly in that it is an epistemic view; it is only a broadly understood acquaintance view, as it will transpire, but this does not make it a mere terminological variation on Jeshion’s acquaintanceless one. To argue for it, the paper discusses some relevant aspects of the semantics of fictional discourse. (shrink)

The study aims to investigate how prior experience of interlocutors interacts with actual situational context in intercultural interactions when the latter is represented by a well-known frame: getting acquainted with others. It attempts to demonstrate how the cultural frame of the target language is broken up and substituted with an emergent frame that is co-constructed from elements from prior experience with the target language, the first language and the actual situational experience. Getting acquainted with others is a closed social situation, (...) a cultural frame in which interlocutors usually have to follow a behavior pattern dictated by the requirements of the socio-cultural background in a given speech community. There is a ‘skeleton’ of these ‘getting to know you’ procedures that can be considered universal but is substantiated differently in every language. In each conversation in any language, ‘flesh’ is added to the ‘skeleton’ in a dynamic and co-constructed manner. However, there is a difference between how this happens in L1 and in intercultural interactions. While in L1 the ‘flesh’ on the skeleton is predetermined to a significant extent by requirements of core common ground in the given language, in intercultural encounters this ‘flesh building’ process in the target language is not set but is co-constructed by the interlocutors as emergent common ground relying on their prior experience with their own L1 culture, limited experience with the target culture and the assessment of the actual situational context. In this study the co-construction process, i.e. emergent common ground will be analyzed by examining the use of formulaic language and freely generated language in several discourse segments. (shrink)

The concept and usage of the word 'metric' within General Relativity is briefly described. The early work of Roy Kerr led to his original 1963 algebraic, rotating metric. This discovery and his subsequent recollection in 2008 are summarised as the motivation for this article. Computer algebra has confirmed that nominal transformations of this early metric can generate further natural algebraic metrics. The algebra is not abstract, nor advanced, and these metrics have been overlooked for many years. The 1916 metric due (...) to Schwarzschild misled Kerr into seeking a similar metric for rotation. The philosophy of astrophysics for Penrose, Hawking and others would have been very different had they used the two lost metrics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

In this paper we consider the logics L(i,n) obtained from the (n+1)-valued Lukasiewicz logics L(n+1) by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analyzed. We present a very general theorem that provides sufficient conditions for maximality between logics. As a consequence of this theorem, it is shown that L(i,n) is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality (i.e. maximality (...) w.r.t. rules instead of only axioms), we provide algebraic arguments in order to show that the logics L(i,n) are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show that there is just one extension between L(i,n) and CPL obtained by adding to L(i,n) a kind of graded explosion rule. Finally, using these results, we show that the logics L(i,n) with n prime and i/n < 1/2 are ideal paraconsistent logics. (shrink)

Imagination seems to play an epistemic role in philosophical and scientific thought experiments, mindreading, and ordinary practical deliberations insofar as it generates new knowledge of contingent facts about the world. However, it also seems that imagination is limited to creative generation of ideas. Sometimes we imagine fanciful ideas that depart freely from reality. The conjunction of these claims is what I call the puzzle of knowledge through imagination. This chapter aims to resolve this puzzle. I argue that imagination has (...) an epistemic role to play, but it is limited to the context of discovery. Imagination generates ideas, but other cognitive capacities must be employed to evaluate these ideas in order for them to count as knowledge. Consideration of the Simulation Theory's so-called "threat of collapse” provides further evidence that imagination does not, on its own, yield new knowledge of contingent facts, and it suggests a way to supplement imagination in order to get such knowledge. (shrink)

In this paper I explain how, for Spinoza, humans can acquire the “habit of virtue” from “fatal necessity” (Ep.58). Spinoza claims that no decision can be made without memory of the thing that one wants to do. However, his rejection of free will also implies that nobody can freely select what to remember. It seems that, as it is not in the power of an individual to freely choose what to remember and do, it is not possible to (...) establish a disposition towards virtuous behavior. To solve this puzzle, I focus on the way in which memory interacts with reason, in Spinoza’s system. I argue that this interaction allows the unfolding in time of reasoning processes. Reasoning can, in turn, be conceived as a kind of habit, which generates and sustains virtuous behavior. First, I clarify what the notion “habit of virtue” signifies for Spinoza. Then, I briefly review his account of memory. Next, I elucidate his conception of reason and its building blocks, “common notions.” On these grounds, I show how reason can be understood as an activity by which mnemonic associations are reconfigured. Finally, I point out how reason relies on memory to preserve itself in time, determining virtuous habits. (shrink)

It seems to be a humdrum fact of human agency that we act on intentions or decisions that we have made at an earlier time. At breakfast, you look at the Taco Hut menu online and decide that later today you’ll have one of their avocado burritos for lunch. You’re at your desk and you hear the church bells ring the noon hour. You get up, walk to Taco Hut, and order the burrito as planned. As mundane as this sort (...) of scenario might seem to be, philosophers have raised a problem in understanding it. If you are simply abiding by this morning’s decision, how are you acting autonomously? Your earlier self seems to be calling the shots; if you are just acting accordingly, without thinking through it or in some other way trying to ensure that the past decision conforms to your present standpoint, it is not clear how this amounts to an exercise of your present autonomous agency. It seems, rather, that your earlier self has succeeded in slaving you to her own purposes. She was the one who wanted (intended, judged it to be good, etc.) to have an avocado burrito. In simply following through, your current self seems to be just an automaton performing the commands left behind by your former self. Of course, you might not allow yourself to be shackled by your earlier self. You might refuse to follow anything but your own present judgments: you will only go to Taco Hut if this is what you judge you should do right now, and once at Taco Hut you will only eat the avocado burrito if that is what you want to eat once there. But if this is the way you generally operate, this seems to block your ability to make effective future-directed decisions. The puzzle, then, is one of explaining how the future self can do the bidding of her past self without losing her autonomy. We call this “the Problem of Diachronic Autonomy.” Philosophers raising this problem take it to show that there must be reasons or rational requirements to follow-through with our past decisions. According to these philosophers, we can only make sense of our diachronic autonomy if our past decisions put rational pressure on us to follow through. We argue that there is no Problem of Diachronic Autonomy. There is, in other words, no puzzling situation that needs explaining. Consequently, there is no need coming from this purported puzzle to think that our future-directed decisions generate reasons or rational requirements to follow through. The correct view of our diachronic autonomy is the “naïve” one: the “future self” can do the bidding of the “past self” without giving up its autonomy because, very simply, the past self is the same agent as the future self. I am acting autonomously when I get the avocado burrito, because I was the one who decided to get the burrito. I am acting on my own freely-formed decision. (shrink)

This paper presents a new analysis of the concept of non-instrumental need, and, using it, demonstrates how a need-satisfaction theory of well-being is much more plausible than might otherwise be supposed. Its thesis is that in at least some contexts of evaluation a central part of some persons’ well-being consists in their satisfying certain “personal needs”. Unlike common conceptions of other non-instrumental needs, which make those out to be moralised, universal, and minimal, personal needs are expansive and particular to particular (...) persons, generated rather by persons’ non-moral personal commitments. Against objections to the contrary, I show how these are genuine necessities, since unlike mere desires and freely escapable aims, personal needs constitute objective, inescapable, and non-compensable practical requirements. The personal-need-satisfaction theory of well-being combines objectivity with subject-dependence in novel ways, and motivates well-being pluralism at the level of individual agency. Implicating necessity as it does in the structure of individual well-being, this account presents a robust challenge to ethical and political theories that rely on the intrapersonal aggregation of well-being to be unproblematic. (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)

We consider momentum operators on intrinsically curved manifolds. Given that the momentum operators are Killing vector fields whose integral curves are geodesics, it is shown that the corresponding manifold is either flat, or otherwise of compact type with positive constant sectional curvature and dimension equal to 1, 3 or 7. Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere. It will be verified that the structure constants of the underlying Lie algebra are proportional (...) to 2ħ/R, where R is the curvature radius of the sphere. This results in a countable energy and momentum spectrum of freely moving particles. It is shown that the maximum resolution of the possible momenta is given by the de-Broglie wave length λ=πR, which is identical to the diameter of the manifold. The corresponding covariant position operators are defined in terms of geodesic normal coordinates and the associated commutator relations of position and momentum are established. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (OY-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner’s dilemma tournaments, competitions between prisoner’s dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine contribution (...) to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, and the process of creating new prisoner’s dilemma strategies is both easy to teach and easy for students to grasp. We illustrate with two interesting examples taken from actual use of Oyun in the classroom. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called (...) classical categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating (...) readings first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

Progress may be made in resolving the tension between free will and determinism by analysis of the necessary conditions of freedom. It is of the essence that these conditions include causal and deterministic regularities. Furthermore, the human expression of free will is informed by understanding some of those regularities, and increments in that understanding have served to enhance freedom. When the possible character of a deterministic system based on physical theory is considered, it is judged that, far from implying the (...) elimination of human freedom, such a theory might simply set parameters for it; indeed knowledge of that system could again prove to be in some respects liberating. On the other hand, it is of the essence that the overarching biological framework is not a deterministic system and it foregrounds the behavioural flexibility of humans in being able to choose within a range of options and react to chance occurrences. Furthermore, an issue for determinism flows from the way in which randomness (e.g. using a true random number generator) and chance events could and do enter human life. Once the implications of that issue are fully understood, other elements fit comfortably together in our understanding of freely undertaken action: the contribution of reasons and causes; the fact that reasons are never sufficient to account for outcomes; the rationale for the attribution of praise and blame. (shrink)

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – (...) Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem. (shrink)

The paper aims to establish if Grassmann’s notion of an extensive form involved an epistemological change in the understanding of geometry and of mathematical knowledge. Firstly, it will examine if an ontological shift in geometry is determined by the vectorial representation of extended magnitudes. Giving up homogeneity, and considering geometry as an application of extension theory, Grassmann developed a different notion of a geometrical object, based on abstract constraints concerning the construction of forms rather than on the homogeneity conditions required (...) by the modern version of the theory of proportions. Secondly, Grassmann’s conception of mathematical knowledge will be investigated. Parting from the traditional definition of mathematics as a science of magnitudes, Grassmann considered mathematical forms as particulars rather than universals: the classification of the branches of mathematics was thus based on different operational rules, rather than on empirical criteria of abstraction or on the distinction of different species belonging to a common genus. It will be argued that a different notion of generalization is thus involved, and that the knowledge of mathematical forms relies on the understanding of the rules of generation of the forms themselves. Finally, the paper will analyse if Grassmann’s approach in the first edition of the Ausdehnungslehre should be explained in terms of the notion of purity of method, and if it clashes with Grassmann’s later conventionalism. Although in the second edition the features of the operations are chosen by convention, as it is the case for the anti-commutative property of the multiplication, the choice is oriented by our understanding of the resulting forms: a simplification in the algebraic calculus need not correspond to a simplification in the ‘dimensional’ interpretation of the result of the multiplicative operation. (shrink)

Immunology researchers are beginning to explore the possibilities of reproducibility, reuse and secondary analyses of immunology data. Open-access datasets are being applied in the validation of the methods used in the original studies, leveraging studies for meta-analysis, or generating new hypotheses. To promote these goals, the ImmPort data repository was created for the broader research community to explore the wide spectrum of clinical and basic research data and associated findings. The ImmPort ecosystem consists of four components–Private Data, Shared Data, Data (...) Analysis, and Resources—for data archiving, dissemination, analyses, and reuse. To date, more than 300 studies have been made freely available through the ImmPort Shared Data portal , which allows research data to be repurposed to accelerate the translation of new insights into discoveries. (shrink)

The aim of this paper is to determine whether Kant’s account of freedom fits with his theory of the human sciences. Several Kant scholars have recently acknowledged a tension between Kant’s metaphysics and his works on anthropology in particular. I believe that in order to clarify the issue at stake, the tension between Kant’s metaphysics and his anthropology should be broken down into three distinct problems. -/- First, Kant’s Anthropology studies the human being ‘as a freely acting being.’5 This (...) approach thus presupposes that such an inquiry can acknowledge freedom and appeal to it in its accounts of human behaviour. Yet the Critique of Pure Reason clearly asserts that ‘as regard [man’s] empirical character there is no freedom; and yet it is only in the light of this character that man can be studied.’ This, in contrast, seems to indicate that the human sciences should be carried out independently of freedom. -/- Second, the Anthropology seems to suggest that empirical factors encompassed by culture, civilisation and mores can have an impact on the human being’s moral status by generating some form of moral progress. Yet if freedom and moral agency are restricted to the domain of the intelligible, they cannot be influenced by anything empirical. -/- Third, the Anthropology provides numerous moral and prudential recommendations as to how one should behave in particular circumstances. Thus it seems to presuppose that anthropological knowledge, as well as the practical guidance based on this knowledge, can have an impact on the free choices we make. Yet how can the human sciences be legitimately, and efficaciously, prescriptive vis-à-vis our free choices? -/- Regarding the first problem, which I tackle in section I, I will hold that the human sciences can legitimately refer to ‘practical freedom’ understood as the power to determine one’s aims and to act independently of sensuous impulses, through intentions and the representation of purposes. I will address the second and third problems in two steps. Section II will tackle them negatively through a distinction between the conditions of moral agency and the conditions of moral improvement. It will allow me to argue that the possibility of any direct influence of the empirical on the intelligible is metaphysically invalid in principle, and hence, that empirical factors cannot effect any direct change in one’s moral character. In the third section, I will turn to the positive side of my account by focusing on the issue of the moral relevance of culture and civilisation as well as that of the human sciences (which study their influence), and suggest that they are morally relevant insofar as they make us more morally efficacious. (shrink)

For Tarski talk about the truth in a language, and not generate contradictions, it requires doing it from a different language with greater expressive power: the metalanguage. So, a metalanguage is a language that is used to talk about another language. In scientific language this distinction is very important. In physics, the notion of symmetry is shown through the language used within physical theories. In this way, through algebraic language ─automorphism─ we shown the symmetry ─invariancia, order, equilibrium─ finding (within the (...) language of these theories) the use of the notion sometimes as a principle and sometimes as argument. The distinction in use of the notion of symmetry, on the part of physics, allows us to glimpse symmetry as a term of the metalanguage. Through a brief historical reconstruction ─from the Greeks to present time─ we show the notion of symmetry as a metalanguage term distinguishing the use ─principle and argument─ that physics makes of the concept. Keywords: symmetry, automorphism, principle, argument. (shrink)

At the heart of chemistry lies the periodic system of chemical elements. Despite being the cornerstone of modern chemistry, the overall structure of the periodic system has never been fully understood from an atomic physics point of view. Group-theoretical models have been proposed instead, but they suffer from several limitations. Among others, the identification of the correct symmetry group and its decomposition into subgroups has remained a problem to this day. In an effort to deepen our limited understanding of the (...) periodic law, we have extended the traditional Lie algebraic framework to account for the peculiar degeneracy structure of the periodic system. Starting from the four-dimensional hidden symmetry and accidental degeneracy of the hydrogen atom, as first revealed by Fock in 1935, our research has mainly focussed on the way this SO(4) symmetry of the Coulomb potential gets broken in the periodic system as a consequence of the transformation of the hydrogenic (n, l) filling order to the Madelung (n+l, n) order due to electronic repulsions, relativistic effects and spin-orbit couplings. In this PhD dissertation, a new left-step format of the periodic table is first proposed on the basis of the Madelung rule. Following the particle physics tradition, the chemical elements are then considered as various states of some 'atomic matter', which is described by a non-compact spectrum-generating dynamical Lie group. The chemical elements are shown to form a basis for a single infinite-dimensional degeneracy space of the SO(4,2) ⊗ SU(2) group. An explanation for the period doubling is then proposed in terms of a particular symmetry breaking of the SO(4,2) group to the anti de Sitter SO(3,2) group. The Madelung rule is rationalised on the basis of nonlinear Lie algebras which reflect the screening of the Coulomb hole. This opens new perspectives for a symmetry-based understanding of how the periodic law emerges from its quantum mechanical foundations, and holds the future promise of complementing our current phenomenological approach by a direct atomic physics approach. (shrink)

Dear Editors, -/- I found the content of your editorials to be highly intriguing [1,2]. Scientific journals are witnessing a growing prevalence of publications related to artificial intelligence (AI). Three letters to the editor were recently published in your journal [3-5]. The renowned journal Nature has dedicated approximately 25 publications solely to the subject of ChatGPT. Moreover, a quick search on Pubmed using the term "ChatGPT" yields around 900 articles, with the vast majority originating in 2023. These statistics underscore the (...) substantial interest of the scientific community in this area. -/- AI, especially the ChatGPT tool and the recent Bard, have faced criticism and been portrayed as significant adversaries of science. It is evident that many authors or researchers, who may not be well-versed in writing, can greatly benefit from these tools, as mentioned earlier. Without taking a contrarian stance, one should consider the potential advantages of such technologies for researchers in less privileged regions, where access to new technologies is limited, and local or regional challenges abound [6]. AI cannot be confounded with other technologies, as it specifically focuses on replicating human-like intelligence and decision-making processes, rather than simply automating tasks or improving performance based on data patterns. -/- The translation into English poses challenges due to the dominance of English in worldwide publications, with over 95% of articles being published in this language, and even reaching 98% in some fields. Although this manuscript was partially translated using AI, it can still benefit researchers from non-native English regions. Even simple tasks like text editing can be problematic for researchers in underprivileged areas. AI can play a crucial role in the evolution of online lectures and classes, providing valuable support for African maxillofacial surgeons who lack the luxury of taking breaks from work to update their knowledge, as they may be the only available option [7]. One of the remarkable features of AI is its ability to discover knowledge gaps. The use of simple tools like reference organizers is rapidly evolving and can become automated or semi-automated through AI. However, we must carefully consider whether we should refrain from relying too heavily on AI in certain cases, as this could be seen as a significant regression. -/- On the other hand, we must be cautious about freely allowing AI tools to circulate in scientific journals and books without proper regulation [8]. Currently, accurately identifying texts generated by AI is challenging, and their effectiveness remains relatively low, at less than 30%. This means that only about 30 out of every 100 texts can be confidently classified as AI-generated. The technology must advance further to increase detection accuracy or at least raise suspicion. Academic journals no longer view authors acknowledging artificial intelligence tools as co-authors in their research favorably. This is crucial to prevent certain unscrupulous individuals, such as "false prophets," charlatans, and flat-earthers, from infiltrating the realm of science, potentially impeding the progress of serious research conducted by professionals dedicated to advancing humanity through science. -/- It is essential to keep in mind that AI does not generate anything novel. Human authors can not be fully substituted [9]. In research involving groundbreaking concepts, innovations, case reports, or technical notes, the use of AI tends to be less frequent due to its lack of capability in creating innovative outcomes. On the other hand, reviews, whether narrative, systematic, or scoping, are based on existing publications. To address potential fraudulent practices, editors, reviewers, and journals themselves should exercise greater vigilance and apply more stringent filters for this type of publication. -/- An article from over a decade ago already discussed the professions most susceptible to replacement by computerization [10]. Maxillofacial surgeons, physicians, dentists, and psychologists are among the professions that are less likely to be displaced. This position can be attributed to the significant level of patient-professional interaction, the development of specific manual skills over time, and the ability to make adaptable decisions during procedures. These intricacies pose formidable challenges for AI to grasp, regardless of its level of advancement. -/- We should maintain a composed yet vigilant stance at this juncture. Just as Portuguese navigators feared encountering serpents and sea monsters when they ventured into uncharted waters, the uncertainty and novelty of AI can evoke apprehension in us all. Nonetheless, we must embrace the benefits that AI can offer while imposing strict regulations and appropriate penalties to prevent any potential abuses carried out "in the name of science." -/- Sincerely yours,. (shrink)

Continuing his series of books on the mathematics of gambling, the author shows how a simple-rule game such as roulette is suited to a complex mathematical model whose applications generate improved betting systems that take into account a player's personal playing criteria. The book is both practical and theoretical, but is mainly devoted to the application of theory. About two-thirds of the content is lists of categories and sub-categories of improved betting systems, along with all the parameters that might stand (...) as the main objective criteria in a personal strategy - odds, profits and losses. The work contains new and original material not published before. The mathematical chapter describes complex bets, the profit function, the equivalence between bets and all their properties. All theoretical results are accompanied by suggestive concrete examples and can be followed by anyone with a minimal mathematical background because they involve only basic algebraic skills and set theory basics. The reader may also choose to skip the math and go directly to the sections containing applications, where he or she can pick desired numerical results from tables. The book offers no new so-called winning strategies, although it discusses them from a mathematical point of view. It does, however, offer improved betting systems and helps to organize a player's choices in roulette betting, according to mathematical facts and personal strategies. It is a must-have roulette handbook to be studied before placing your bets on the turn of either a European or American roulette wheel. (shrink)

Open access publishing delivers on the dream of centuries - the free and unfettered access to the written word - however there are multiple shades of openness. Is there a world’s best practice? And best for whom? The issue is considered from the point of view of the clientele - readers and authors. Four criteria are proposed which will generate a star rating for an open access journal - for ‘openness’ - with a star available for meeting each criterion, to (...) a maximum of four.The criteria for scoring star ratings are: (1) There is no barrier to access for the reader; (2) It is free to the author/s; (3) Copyright is retained by the author/s; and (4) The paper can be freely distributed under licence. (shrink)

The paper considers a generalization of Peano arithmetic, Hilbert arithmetic as the basis of the world in a Pythagorean manner. Hilbert arithmetic unifies the foundations of mathematics (Peano arithmetic and set theory), foundations of physics (quantum mechanics and information), and philosophical transcendentalism (Husserl’s phenomenology) into a formal theory and mathematical structure literally following Husserl’s tracе of “philosophy as a rigorous science”. In the pathway to that objective, Hilbert arithmetic identifies by itself information related to finite sets and series and quantum (...) information referring to infinite one as both appearing in three “hypostases”: correspondingly, mathematical, physical and ontological, each of which is able to generate a relevant science and area of cognition. Scientific transcendentalism is a falsifiable counterpart of philosophical transcendentalism. The underlying concept of the totality can be interpreted accordingly also mathematically, as consistent completeness, and physically, as the universe defined not empirically or experimentally, but as that ultimate wholeness containing its externality into itself. (shrink)

We investigate the topological properties of scalar field configurations influenced by non-commutative geometry and time-dependent perturbations. Specifically, we analyze the connectedness of level sets of scalar fields, compute the fractal dimensions of generated patterns, and study the impact of varying non-commutative parameters. Utilizing numerical simulations, we provide evidence of topological bifurcations induced by non-commutative corrections. The analysis is framed within point set topology, and the results are formalized using the theorem-proof structure.

The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum theory to define (...) the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)

This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.

We define emergence algebraically in the context of discrete dynamical systems modeled as transformation semigroups. Emergence happens when a quotient structure (coarse-grained dynamics) is not a substructure of the original system. We survey small groups to show that algebraic emergence is neither ubiquitous nor rare. Then, we describe connections with hierarchical decompositions and explore some of the philosophical implications of the algebraic constraints.

The Belnap–Dunn logic is a well-known and well-studied four-valued logic, but until recently little has been known about its extensions, i.e. stronger logics in the same language, called super-Belnap logics here. We give an overview of several results on these logics which have been proved in recent works by Přenosil and Rivieccio. We present Hilbert-style axiomatizations, describe reduced matrix models, and give a description of the lattice of super-Belnap logics and its connections with graph theory. We adopt the point of (...) view ofAlgebraic Logic, exploring applications of the general theory of algebraization of logics to the super-Belnap family. In this respect we establish a number of new results, including a description of the algebraic counterparts, Leibniz filters, and strong versions of super-Belnap logics, as well as the classification of these logics within the Leibniz and Frege hierarchies. (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)

Katie Steele and H. Orri Stefánsson argue that, to reflect an agent’s limited awareness, the algebra of propositions on which that agent’s credences are defined should be relativised to their awareness state. I argue that this produces insurmountable difficulties. But the project of relativising the agent’s algebra to reflect their partial perspective need not be abandoned: the algebra can be relativised, not to the agent’s awareness state, but to what we might call their subjective modality.

We present an algebraic account of the Tongan kinship terminology (TKT) that provides an insightful journey into the fabric of Tongan culture. We begin with the ethnographic account of a social event. The account provides us with the activities of that day and the centrality of kin relations in the event, but it does not inform us of the conceptual system that the participants bring with them. Rather, it is a slice in time of an ongoing dynamic process that links (...) behavior with a conceptual system of kin relations and vice versa. To understand this interplay, we need an account of the underlying conceptual system that is being activated during the event. Thus, we introduce a formal, algebraically based account of TKT. This account brings to the fore the underlying logic of TKT and allows us to distinguish between features of the kinship system that arise from the logic of TKT as a generative structure and features that must have arisen through cultural intervention. (shrink)

In this review, we present a rigorous construction of an algebraic method for quantum unstable states, also called Gamow states. A traditional picture associates these states to vectors states called Gamow vectors. However, this has some difficulties. In particular, there is no consistent definition of mean values of observables on Gamow vectors. In this work, we present Gamow states as functionals on algebras in a consistent way. We show that Gamow states are not pure states, in spite of their (...) representation as Gamow vectors. We propose a possible way out to the construction of averages of observables on Gamow states. The formalism is intended to be presented with sufficient mathematical rigor. (shrink)

The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in (...) terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis's logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis's sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis's logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

In the recent years, problem-solving become a central topic that discussed by educators or researchers in mathematics education. it’s not only as the ability or as a method of teaching. but also, it is a little in reviewing about the components of the support to succeed in problem-solving, such as student's belief and attitude towards mathematics, algebraic thinking skills, resources and teaching materials. In this paper, examines the algebraic thinking skills as a foundation for problem-solving, and learning cycle as a (...) breath of continuous learning. In this paper, learning cycle to be used is a modified type of 5E based on beliefs. (shrink)

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O (...) comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type. (shrink)

The purpose of this study is to compile a selection of the various formalisms found in conversation theory to introduce readers to Pask's discursive algebra. In this way, the text demonstrates how concept sharing and concept formation by means of the interaction of two participants may be formalized. The approach taken in this study is to examine the formal notation system used by Pask and demonstrate how such formalisms may be used to represent concept sharing and concept formation through conversation. (...) The compilation of the discursive algebra using the framework provided by conversation theory could potentially be used as an auxiliary framework to study conversational interactions in multi-agent systems theory. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Neutrosophic theory and its applications have been expanding in all directions at an astonishing rate especially after of the introduction the journal entitled “Neutrosophic Sets and Systems”. New theories, techniques, algorithms have been rapidly developed. One of the most striking trends in the neutrosophic theory is the hybridization of neutrosophic set with other potential sets such as rough set, bipolar set, soft set, hesitant fuzzy set, etc. The different hybrid structures such as rough neutrosophic set, single valued neutrosophic rough set, (...) bipolar neutrosophic set, single valued neutrosophic hesitant fuzzy set, etc. are proposed in the literature in a short period of time. Neutrosophic set has been an important tool in the application of various areas such as data mining, decision making, e-learning, engineering, law, medicine, social science, and some more. -/- This book explores the emerging field of Neutrosophic Algebraic Structures, focusing on both their theoretical foundations and practical applications. We apply innovative algorithmic methods to investigate the complex interactions of neutrosophic elements, such as neutrosophic numbers, sets, and functions, within algebraic systems. Our goal is to show how neutrosophic structures challenge and expand traditional algebraic approaches, offering solutions to problems across diverse fields like computer science, engineering, artificial intelligence, and decision-making. (shrink)