We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [8]. We limit our attention to a simple major subclass of V-minimal theories of the form ACV FS, that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by a -generated substructure S in the language (...) . The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski–Kazhdan theory. (shrink)

The interpretation of complex eigenvalues of linear transformations defined on a real geometric algebra presents problems in that their geometric significance is dependent upon the kind of linear transformation involved, as well as the algebraic lack of universal commutivity of bivectors. The present work shows how the machinery of geometric algebra can be adapted to the study of complex linear operators defined on a unitary space. Whereas the well-defined geometric significance of real geometric algebra is not (...) lost, the primary concern here is the study of the algebraic properties of complex eigenvalues and eigenvectors of these operators. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a (...) Łukasiewicz–Moisil Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

No mathematician did more to change mathematics in the second half of the twentieth century than Alexandre Grothendieck. This would have been true even if he had been a quiet figure with a liking for playing the piano and walking in the hills but, as this book makes very clear, he was far from that, and his character and his way of working enhanced his impact. Above all, there was his abrupt departure from the world of mathematics in 1970 and (...) his occasional interventions in it since.This review was submitted a few days before Grothendieck's death in November 2014—Editor.As a teenager, Grothendieck had lived with his mother protected from the Nazis by courageous Huguenots in the village of Le Chambon-sur-Lignon. Immediately after the war, he went to the University of Montpellier where he studied mathematics and soon made his way to Nancy and was introduced to Dieudonné and Schwartz, who were members of Bourbaki. His first original work was in the theory of Banach spaces where, in the wo .. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a (...) Łukasiewicz–Moisil Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

In the early 1930s W. O. Kermack and W. H. McCrea published three papers in which they attempted to prove a result of E. T. Whittaker on the solution of differential equations. In modern parlance, their key idea consisted in using quantized contact transformations over an algebra of differential operators. Although their papers do not seem to have had any impact, either then or at any later time, the same ideas were independently developed in the 1960–1980s in the framework (...) of the theory of modules over rings of microdifferential operators. In this paper we describe the results of Kermack and McCrea and discuss possible reasons why such promising papers had no impact on the mathematics of the twentieth century. (shrink)

Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...) we introduce an analogue of Lawvere–Tierney topology and cotopology in the hyperdoctrinal setting, which gives a unifying perspective on different logical translations, in particular allowing for a uniform treatment of Girard’s exponential translation between linear and intuitionistic logics and of Kolmogorov’s double negation translation between intuitionistic and classical logics. In the hyerdoctrinal conception, type theories are categories, logics over type theories are functors, and logical translations between them, then, are natural transformations, in particular Lawvere–Tierney topologies and cotopologies on hyperdoctrines. The view of logical translations as hyperdoctrinal Lawvere–Tierney topologies and cotopologies has not been elucidated before, and may be seen as a novel contribution of the present work. From a broader perspective, this work may be regarded as taking first steps towards interplay between algebraic and categorical logics; it is, technically, a combination of substructural algebraic logic and hyperdoctrinal categorical logic, as the hyperdoctrinal completeness theorem is shown via the integration of the Lindenbaum–Tarski algebra construction with the syntactic category construction. As such this work lays a foundation for further interactions between algebraic and categorical logics. (shrink)

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

We present an algebraic theory of structured objects based on and generalizing Aczel's theory of form systems. Notions of identity of structured objects and of transformations of systems of such objects are discussed. A generalization of Aczel's representation theorem is proven.

Though some influentially critical objections have been raised during the ‘classical’ pre-computational simulation philosophy of science tradition, suggesting a more nuanced methodological category for experiments, it safe to say such critical objections have greatly proliferated in philosophical studies dedicated to the role played by computational simulations in science. For instance, Eric Winsberg suggests that computer simulations are methodologically unique in the development of a theory’s models suggesting new epistemic notions of application. This is also echoed in Jeffrey Ramsey’s notions of (...) “transformation reduction,”—i.e., a notion of reduction of a more highly constructive variety. Computer simulations create a broadly continuous arena spanned by normative and descriptive aspects of theory-articulation, as entailed by the notion of transformation reductions occupying a continuous region demarcated by Ernest Nagel’s logical-explanatory “domain-combining reduction” on the one hand, and Thomas Nickels’ heuristic “domain-preserving reduction,” on the other. I extend Winsberg’s and Ramsey’s points here, by arguing that in the field of computational fluid dynamics as well as in other branches of applied physics, the computer plays a constitutively experimental role—supplanting in many cases the more traditional experimental methods such as flow-visualization, etc. In this case, however CFD algorithms act as substitutes, not supplements when it comes to experimental practices. I bring up the constructive example involving the Clifford-Algebraic algorithms for modeling singular phenomena in CFD by Gerik Scheuermann and Steven Mann & Alyn Rockwood who demonstrate that their algorithms offer greater descriptive and explanatory scope than the standard Navier-Stokes approaches. The mathematical distinction between Navier-Stokes-based and Clifford-Algebraic based CFD has essentially to do with the regularization features exhibited to a far greater extent by the latter, than the former. Hence, CACFD indicate that the utilization of computational techniques can be based on principled reasons, as opposed to merely practical. CACFD hence exhibit a new generative role in the field of fluid mechanics, by offering categories of experimental evidence that are optimally descriptive and explanatory—i.e., pace Batterman can be both ontologically and epistemically fundamental. (shrink)

The notion of shape invariance in supersymmetric quantum mechanics is examined in relation with the generalized oscillator algebra. Shape invariance is reformulated as fermion-number independence of a parameter function and seen as a symmetry under a shape-related parameter transformation. It is also shown how shape invariance is implied in the dynamical group approach.

The transformation of mathematics from ancient Greece to the medieval Arab-speaking world is here approached by focusing on a single problem proposed by Archimedes and the many solutions offered. In this trajectory Reviel Netz follows the change in the task from solving a geometrical problem to its expression as an equation, still formulated geometrically, and then on to an algebraic problem, now handled by procedures that are more like rules of manipulation. From a practice of mathematics based on the (...) localized solution we see a transition to a practice of mathematics based on the systematic approach. With three chapters ranging chronologically from Hellenistic mathematics, through late Antiquity, to the medieval world, Reviel Netz offers an alternate interpretation of the historical journey of pre-modern mathematics. (shrink)

In this paper, we use the differential forms of three-dimensional Euclidean space to realize a Clifford algebra which is isomorphic to the algebra of the Pauli matrices or the complex quaternions. This is an associative vector-antisymmetric tensor algebra with division: We provide the algebraic inverse of an eight-component spinor field which is the sum of a scalar + vector + pseudovector + pseudoscalar. A surface of singularities is defined naturally by the inverse of an eight-component spinor and (...) corresponds to a generalized Minkowski “double” light cone in the parameter space. A general description of finite spatial rotations, which utilizes the Baker-Campbell-Hausdorff formula, generalizes the usual infinitesimal treatments of the rotation group. We derive an explicit expression for the angle corresponding to two successive finite rotations in any direction. We also discuss Lorentz transformations and duality rotations of the electromagnetic field and exhibit a relationship between the algebraic inverse and a duality rotated field. Using a combined transformation, one can always transform an arbitrary electromagnetic field (E≠0) into a pure electric field, but never into a pure magnetic field. (shrink)

The Wigner–Weyl mapping of quantum operators to classical phase space functions preserves the algebra, when operator multiplication is mapped to the binary “*” operation. However, this isomorphism is destroyed under the quasiclassical substitution of * with conventional multiplication; consequently, an approximate mapping is required if algebraic relations are to be preserved. Such a mapping is uniquely determined by the fundamental relations of quantum mechanics, as is shown in this paper. The resultant quasiclassical approximation leads to an algebraic derivation of (...) Thomas–Fermi theory, and a new quantization rule which—unlike semiclassical quantization—is non-invariant under action transformations of the Hamiltonian, in the same qualitative manner as the true eigenvalues. The quasiclassical eigenvalues are shown to be significantly more accurate than the corresponding semiclassical values, for a variety of 1D and 2D systems. In addition, certain standard refinements of semiclassical theory are shown to be easily incorporated into the quasiclassical formalism. (shrink)

A Dedekind algebra is an order pair (B, h) where B is a non-empty set and h is a similarity transformation on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called the configurations of the algebra. There are 0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on called its configuration signature. The configuration signature counts the number of configurations in each isomorphism type which (...) occur in the decomposition of the algebra. Two Dedekind algebras are isomorphic iff their configuration signatures are identical. It is shown that configuration signatures can be used to characterize the homogeneous, universal and homogeneous-universal Dedekind algebras. This characterization is used to prove various results about these subclasses of Dedekind algebras. (shrink)

This textbook for the second year undergraduate linear algebra course presents a unified treatment of linear algebra and geometric algebra, while covering most of the usual linear algebra topics. -/- Geometric algebra and its extension to geometric calculus simplify, unify, and generalize vast areas of mathematics that involve geometric ideas. Geometric algebra is an extension of linear algebra. The treatment of many linear algebra topics is enhanced by geometric algebra, for example, (...) determinants and orthogonal transformations. And geometric algebra does much more, as it incorporates the complex, quaternion, and exterior algebras, among others. (shrink)

By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?

This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behavior is explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on a single program construct (the first-order theory of categories); others are derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean (...) algebras of "predicates" loop-free constructs, and a calculus of partial and total correctness, which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. (shrink)

We apply the Galilean covariant formulation of quantum dynamics to derive the phase-space representation of the Pauli–Schrödinger equation for the density matrix of spin-1/2 particles in the presence of an electromagnetic field. The Liouville operator for the particle with spin follows from using the Wigner–Moyal transformation and a suitable Clifford algebra constructed on the phase space of a (4 + 1)-dimensional space–time with Galilean geometry. Connections with the algebraic formalism of thermofield dynamics are also investigated.

The notion of an instrument in the quantum theory of measurement is studied in the context of transformation valued linear maps on von Neumann algebras and their *-subalgebras. An extension theorem is proved which yields among other things characterizations of the Fourier transforms of instruments and their noncommutative analogues. As an application, an ergodic type theorem for a general class of transformation valued functions on a locally compact group is obtained.

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. (...) Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations. (shrink)

We approach the relationship between classical and quantum theories in a new way, which allows both to be expressed in the same mathematical language, in terms of a matrix algebra in a phase space. This makes clear not only the similarities of the two theories, but also certain essential differences, and lays a foundation for understanding their relationship. We use the Wigner-Moyal transformation as a change of representation in phase space, and we avoid the problem of “negative probabilities” (...) by regarding the solutions of our equations as constants of the motion, rather than as statistical weight factors. We show a close relationship of our work to that of Prigogine and his group. We bring in a new nonnegative probability function, and we propose extensions of the theory to cover thermodynamic processes involving entropy changes, as well as the usual reversible processes. (shrink)

In this note, it is shown that, given a π -institution ℐ = 〈Sign, SEN, C 〉, with N a category of natural transformations on SEN, every theory family T of ℐ includes a unique largest theory system equation image of ℐ. equation image satisfies the important property that its N -Leibniz congruence system always includes that of T . As a consequence, it is shown, on the one hand, that the relation ΩN = ΩN characterizes N -protoalgebraicity inside the (...) class of N -prealgebraic π -institutions and, on the other, that all N -Leibniz theory families associated with theory families of a protoalgebraic π -institution ℐ are in fact N -Leibniz theory systems. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free (...) proofs in CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

In this paper, we would show how the logical object “square of opposition”, viewed as semiotic object, has been historically transformed since its appearance in Aristotle’s texts until the works of Vasiliev. These transformations were accompanied each time with a new understanding and interpretation of Aristotle’s original text and, in the last case, with a transformation of its geometric configuration. The initial textual codification of the theory of opposition in Aristotle’s works is transformed into a diagrammatic one, based on (...) a new “reading” of the Aristotelian text by the medieval scholars that altered the semantics of the O form. Further, based on the medieval “Neo-Aristotelian” reading, the logicians of the nineteenth century suggest new diagrammatic representations, based on new interpretations of quantification of judgements within the algebraic and the functional logical traditions. In all these interpretations, the original square configuration remains invariant. However, Nikolai A. Vasiliev marks a turning point in history. He explicitly attacks the established logical tradition and suggests a new alternation of semantics of the O form, based on Aristotelian concepts that were neglected in the Aristotelian tradition of logic, notably the concept of indefinite judgement. This leads to a configurational transformation of the “square” of opposition into a “triangle”, where the points standing for the O and I forms are contracted into one point, the M form that now stands for particular judgement with altered semantics. The new transformation goes beyond the Aristotelian logic paradigm to a new “Non-Aristotelian” logic, i.e. to paraconsistent logic, although the argumentation used in support of it is phrased in Aristotelian style and the context of discovery is foundational. It establishes a bifurcation point in the development of logic. No unique logic is recognized, but different logics concerning different domains. One branch of logic remains to be the “Neo-Aristotelian” one, while the new logic is “Non-Aristotelian”. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs (...) in CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

I discuss Earman's program to achieve an objective account of the Higgs mechanism within the C∗ algebraic approach to quantum field theory. Pointing to three results obtained within this approach, I argue that if one follows Earman and understands the Higgs mechanism as a constraint, it appears to be a genuine quantum phenomenon that does not simply arise through the correspondence principle. This casts further this casts doubts on the validity of the Dirac conjecture that identifies first-class constraints and gauge (...) transformations and that provides a major motivation for both Earman's program and Struyve's demonstration that a gauge-invariant account of the Higgs mechanism can be accomplished at the classical level. (shrink)

Schwinger’s algebra of microscopic measurement, with the associated complex field of transformation functions, is shown to provide the foundation for a discrete quantum phase space of known type, equipped with a Wigner function and a star product. Discrete position and momentum variables label points in the phase space, each taking \(N\) distinct values, where \(N\) is any chosen prime number. Because of the direct physical interpretation of the measurement symbols, the phase space structure is thereby related to definite (...) experimental configurations. (shrink)

The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are reviewed and an emerging link between them is outlined. It is shown that these methods employ a wide range of important mathematical concepts like, e.g., Fourier transforms, Galois fields and rings, finite, and related projective geometries, and entanglement, to mention a few. Some applications of the theory to quantum information tasks are also mentioned.

This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a “geometric product” of vectors in 2-and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analyzed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics), Physics is greatly facilitated (...) by the use of Hestenes' spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained—results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics. (shrink)

Peirce introduced Existential Graphs in late 1896, and they were systematically investigated in his 1903 Lowell Lectures. Alpha graphs for classical propositional logic constitute the first part of EGs. The second and the third parts are the beta graphs for first-order logic and the gamma graphs for modal and higher-order logics, among others. As a logical syntax, EGs are two-dimensional graphs, or diagrams, in contrast to the linear algebraic notations. Peirce's theory of EGs is not only a theory of logical (...) syntax but also a proof theory for many logics. A set of transformation rules of graphs defines a proof system for a graphical logic. In this... (shrink)

This paper employs the ideas of geometric algebra to investigate the physical content of Dirac's electron theory. The basis is Hestenes' discovery of the geometric significance of the Dirac spinor, which now represents a Lorentz transformation in spacetime. This transformation specifies a definite velocity, which might be interpreted as that of a real electron. Taken literally, this velocity yields predictions of tunnelling times through potential barriers, and defines streamlines in spacetime that would correspond to electron paths. We (...) also present a general, first-order diffraction theory for electromagnetic and Dirac waves. We conclude with a critical appraisal of the Dirac theory. (shrink)

We consider semi‐algebraic sets and properties of these sets that are expressible by sentences in first‐order logic over the reals. We are interested in first‐order properties that are invariant under topological transformations of the ambient space. Two semi‐algebraic sets are called topologically elementarily equivalent if they cannot be distinguished by such topological first‐order sentences. So far, only semi‐algebraic sets in one and two‐dimensional space have been considered in this context. Our contribution is a natural characterisation of topological elementary equivalence of (...) regular closed semi‐algebraic sets in three‐dimensional space, extending a known characterisation for the two‐dimensional case. Our characterisation is based on the local topological behaviour of semi‐algebraic sets and the key observation that topologically elementarily equivalent sets can be transformed into each other by means of geometric transformations, each of them mapping a set to a first‐order indistinguishable one. (shrink)

This paper aims to clarify Merleau-Ponty’s contribution to an embodied-enactive account of mathematical cognition. I first identify the main points of interest in the current discussions of embodied higher cognition and explain how they relate to Merleau-Ponty and his sources, in particular Husserl’s late works. Subsequently, I explain these convergences in greater detail by more specifically discussing the domains of geometry and algebra and by clarifying the role of gestalt psychology in Merleau-Ponty’s account. Beyond that, I explain how, for (...) Merleau-Ponty, mathematical cognition requires not only the presence and actual manipulation of some concrete perceptible symbols but, more strongly, how it is fundamentally linked to the structural transformation of the concrete configurations of symbolic systems to which these symbols appertain. Furthemore, I fill a gap in the literature by explaining Merleau-Ponty’s claim that these structural transformations are operated through motor intentionality. This makes it possible, in turn, to contrast Merleau-Ponty’s approach to ontologically idealistic and realistic views on mathematical objects. On Merleau-Ponty’s account, mathematical objects are relational entities, that is, gestalts that necessarily imply situated cognizers to whom they afford a specific type of engagement in the world and on whom they depend in their eventual structural transformations. I argue that, by attributing a strongly constitutive role to phenomenal configurations and their motor transformation in mathematical thinking, Merleau-Ponty contributes to clarifying the worldly, historical, and socio-cultural aspects of mathematical truths without compromising what we perceive as their universality, certainty, and necessity. (shrink)

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in [13–15, 25]. Due to the fact that the language of modal subordination algebras involves a binary subordination relation, we will find it convenient to use the so-called quasi-inequalities and |$\varPi _{2}$|-statements. We use an algorithm to transform (restricted) inductive quasi-inequalities and (restricted) inductive |$\varPi _{2}$|-statements to equivalent first-order correspondents on the (...) dual Stone spaces with two relations with respect to arbitrary (resp. admissible) valuations. (shrink)

I summarize Silberstein, et. al’s (2006) discussion of the derivation of the Heisenberg commutators, whose work is based on Kaiser (1981, 1990) and Bohr, et. al. (1995, 2004a,b). I argue that Bohr and Kaiser’s treatment is not geometric enough, as it still relies on some unexplained residual notions concerning the unitary representation of transformations in a Hilbert space. This calls for a more consistent characterization of the role of i than standard QM can offer. I summarize David Hestenes’ (1985,1986) major (...) claims concerning the essential role Clifford algebras play in such a fundamental characterization of i, and I present a Clifford- algebraic derivation of the Heisenberg commutation relations (taken from Finkelstein, et. al. (2001)). I argue that their derivation exhibits a more fundamentally geometrical approach, which unifies geometric and ontological content. I also point out how some of Finkelstein’s ontological notions of “chronon dynamics” can give a plausible explanatory account of RBW’s “geometric relations.”. (shrink)

It is shown that a locally finite polyadic algebra on an infinite set V of variables is a Boolean-algebra object, endowed with some internal supremum morphism, in the category of locally finite transformation sets on V. Then, this new categorical definition of polyadic algebras is used to simplify the theory of these algebras. Two examples are given: the construction of dilatations and the definition of terms and constants.

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

In this paper it is exactly proved that the standard transformations of the three-dimensional (3D) vectors of the electric and magnetic fields E and B are not relativistically correct transformations. Thence the 3D vectors E and B are not well-defined quantities in the 4D space-time and, contrary to the general belief, the usual Maxwell equations with the 3D E and B are not in agreement with the special relativity. The 4-vectors E a and B a , as well-defined 4D quantities, (...) are introduced instead of ill-defined 3D E and B. The proof is given in the tensor and the Clifford algebra formalisms. (shrink)

Application of recently developed non-Archimedean algebra to a flat and finite universe of total mass M 0 and radius R 0 is described. In this universe, mass m of a body and distance R between two points are bounded from above, i.e., 0≤m≤M 0, 0≤R≤R 0. The universe is characterized by an event horizon at R 0 (there is nothing beyond it, not even space). The radial distance metric is compressed toward horizon, which is shown to cause the phenomenon (...) of red shift. The corresponding modified Minkowski's metric and Lorentz transforms are obtained. Applications to Newtonian gravity shows a weakening at large scales (R→R 0) and a regular behavior as R→0. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

In this paper the Lorentz transformations (LT) and the standard transformations (ST) of the usual Maxwell equations (ME) with the three-dimensional (3D) vectors of the electric and magnetic fields, E and B, respectively, are examined using both the geometric algebra and tensor formalisms. Different 4D algebraic objects are used to represent the usual observer dependent and the new observer independent electric and magnetic fields. It is found that the ST of the ME differ from their LT and consequently that (...) the ME with the 3D E and B are not covariant upon the LT but upon the ST. The obtained results do not depend on the character of the 4D algebraic objects used to represent the electric and magnetic fields. The Lorentz invariant field equations are presented with 1-vectors E and B, bivectors EHv and BHv and the abstract tensors, the 4-vectors Ea and Ba. All these quantities are defined without reference frames, i.e., as absolute quantities. When some basis has been introduced, they are represented as coordinate-based geometric quantities comprising both components and a basis. It is explicitly shown that this geometric approach agrees with experiments, e.g., the Faraday disk, in all relatively moving inertial frames of reference, which is not the case with the usual approach with the 3D bf E and B and their ST. (shrink)

A formulation of quantum mechanics (QM) in the relativistic configurational space (RCS) is considered. A transformation connecting the non-relativistic QM and relativistic QM (RQM) has been found in an explicit form. This transformation is a direct generalization of the Kontorovich–Lebedev transformation. It is shown also that RCS gives an example of non-commutative geometry over the commutative algebra of functions.

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical (...) algebraic geometry a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

We interpret the modal µ-calculus over a new model [10], to give a temporal logic suitable for systems exhibiting both probabilistic and demonic nondeterminism. The logical formulae are real-valued, and the statements are not limited to properties that hold with probability 1. In achieving that conceptual step, our technical contribution is to determine the correct quantitative generalisation of the Boolean operators: one that allows many of the standard Boolean-based temporal laws to carry over the reals with little or no structural (...) alteration, even for properties that hold with probability strictly between 0 and 1. The generalisation is not obvious, but is dictated by our discovery elsewhere of the algebraic property that characterises the next-time operator over the new model: it is arithmetic 'sublinearity' [20, Fig. 4 p. 342], which replaces the Boolean conjunctivity that characterises next-time in a modal algebra.We confirm by example that the new modal laws can be used for quantitative reasoning about probabilistic/demonic behavior. The random walk is treated using only those laws and real-number arithmetic: arguing from precise numeric premises, more specific than simply 'with some non-zero probability', we reach numeric conclusions that are not simply 'with probability 1'. (shrink)