This textbook for the undergraduate vector calculus course presents a unified treatment of vector and geometric calculus. It is a sequel to my Linear and Geometric Algebra. That text is a prerequisite for this one. -/- Linear algebra and vector calculus have provided the basic vocabulary of mathematics in dimensions greater than one for the past one hundred years. Just as geometric algebra generalizes linear algebra in powerful ways, geometric calculus generalizes vector (...) calculus in powerful ways. (shrink)

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

A new gauge theory of gravity on flat spacetime has recently been developed by Lasenby, Doran, and Gull. Einstein’s principles of equivalence and general relativity are replaced by gauge principles asserting, respectively, local rotation and global displacement gauge invariance. A new unitary formulation of Einstein’s tensor illuminates long-standing problems with energy–momentum conservation in general relativity. Geometric calculus provides many simplifications and fresh insights in theoretical formulation and physical applications of the theory.

We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.

SummaryIn 1693, Gottfried Wilhelm Leibniz published in the Acta Eruditorum a geometrical proof of the fundamental theorem of the calculus. It is shown that this proof closely resembles Isaac Barrow's proof in Proposition 11, Lecture 10, of his Lectiones Geometricae, published in 1670. This comparison provides evidence that Leibniz gained substantial help from Barrow's book in formulating and presenting his geometrical formulation of this theorem. The analysis herein also supports the work of J. M. Child, who in 1920 studied (...) the early manuscripts of Leibniz and concluded that he had frequently copied his diagrams from Barrow's book, but without acknowledgement. It is also shown that the diagram of Leibniz associated with his 1693 proof has often been reproduced with errors that make some aspects of his text difficult to comprehend. (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)

Leibnizian-Newtonian calculus was a theory that dealt with geometrical objects; the figure continued to play one of the fundamental roles it had played in Greek geometry: it susbstituted a part of reasoning. During the eighteenth century a process of de-geometrization of calculus took place, which consisted in the rejection of the use of diagrams and in considering calculus as an 'intellectual' system where deduction was merely linguistic and mediated. This was achieved by interpreting variables as universal quantities (...) and introducing the notion of function, which replaced the study of curves. However, the emancipation of calculus from its basis in geometry was not comprehensive. In fact, the geometrical properties of curves were attributed de facto to functions and thus eighteenth-century calculus continued implicitly to use principles borrowed from geometry. There was therefore no transition to a purely syntactical theory based on axiomatically introduced terms, a shift which only took place subsequently in modern times. (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi (...) for both classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach (...) laws and Switching laws. (shrink)

In an accompanying paper (I), it is shown that the basic equations of the theory of Lorentzian connections with teleparallelism (TP) acquire standard forms of physical field equations upon removal of the constraints represented by the Bianchi identities. A classical physical theory results that supersedes general relativity and Maxwell-Lorentz electrodynamics if the connection is viewed as Finslerian. The theory also encompasses a short-range, strong, classical interaction. It has, however, an open end, since the source side of the torsion field equation (...) is not geometric.In this paper, Kaehler's partial geometrization of the Dirac equation is taken as a starting point for the development of fully geometric Dirac equations via the correspondence principle given in I. For this purpose, Kaehler's calculus (where the spinors are differential forms) is generalized so that it also applies when the torsion is not zero. The point is then made that the forms can take values in tangent Clifford algebras rather than in tensor algebras. The basic “Eigenschaft” of the Kaehler calculus also is examined from the physical perspective of dimensional analysis.Geometric Dirac equations of great structural simplicity are finally inferred from the standard Dirac equation by using the aforementioned correspondence principle. The realm of application of the Dirac theory is thus enriched in principle, though only at an abstract level at this point: the standard spinors, which are scalar-valued forms in the Kaehler version of that theory, become Clifford-valued. In addition, the geometrization of the Dirac equation implies a geometrization of the Dirac current. When this current is replaced in the field equations for the torsion, the theory of Paper I becomes fully geometric. (shrink)

The aim of this paper is to give a geometric interpretation of quantifiers in the intutionistic predicate calculus. We obtain it treating formulae withn free variables as functions withn arguments which run over an abstract set whereas the values of functions are open subsets of a suitable topological space.

In a previous article, the writer explored the geometric foundation of the generally covariant spinor calculus. This geometric reasoning can be extended quite naturally to include the Lie covariant differentiation of spinors. The formulas for the Lie covariant derivatives of spinors, adjoint spinors, and operators in spin space are deduced, and it is observed that the Lie covariant derivative of an operator in spin space must vanish when taken with respect to a Killing vector. The commutator of (...) two Lie covariant derivatives is calculated; it is noted that the result is consistent with the geometric interpretation of the Jacobi identity for vectors. Lie current conservation is seen to spring from the result that the operator of spinor affine covariant differentiation commutes with the operator of spinor Lie covariant differentiation with respect to a Killing vector. It is shown that differentiations of the spinor field defined geometrically are Lorentz-covariant. (shrink)

The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. (...) Next, the geometrical meaning of the double contradiction is considered as follows. A tangent at a point on a convex curve is iterated. Then, the slope of the tangent at the point is sandwiched by two kinds of lines. The first kind of line crosses the curve at the original point and a point to the right of it. The second kind of line crosses the curve at the original point and a point to the left of it. Then, the double contradiction can be applied, and the slope of the tangent is determined as a single value. Finally, the meaning of this method for the foundation of mathematics is considered. We reflect on Dehaene’s notion that the foundation of mathematics is based on the intuitions, which evolve independently. Hence, there may be gaps between intuitions. In fact, the Ancient Greeks identified inconsistency between arithmetic and geometry. However, Eudoxus developed the theory of proportion, which is equivalent to the Dedekind Cut. This allows the iteration of an irrational number by rational numbers as precisely as desired. Simultaneously, we can define the irrational number by the double contradiction, although its existence is not guaranteed. Further, an area of a curved figure is iterated and defined by rectilinear figures using the double contradiction. (shrink)

This paper aims to address the difficulties of high school students in bridging their computational understanding with their visualization skills in understanding the notion of the limits in their calculus class. This research used a pre-experimental one-group pretest-posttest design research on 62 grade 10 students enrolled in the Science, Technology, and Engineering Program (STEP) in one of the public high schools in Zamboanga del Sur, Philippines. A series of remedial sessions were given to help them understand the function values, (...) one-sided limits, limits of a function, and its discontinuities with the aid of the GeoGebra. Results revealed that there is a significant improvement in their mathematics performance before and after the remediation, t(61) = -19.99, p<.05. The real-time feedback provided by the drawing interface of GeoGebra has provided the students the insights into how objects behave in geometrical space, bridging their understanding in locating the values shown by the computational algebraic processes. Additionally, the significant difference in the achievement reveals a large effect size (Cohen’s =2.54) which could be accounted for by the remediation using interactive activities in the GeoGebra. (shrink)

Do there exist real numbers d with d2 = 0? The question is formulated provocatively, to stress a formalist view about existence: existence is consistency, or better, coherence.Also, the provocation is meant to challenge the monopoly which the number system, invented by Dedekind et al., is claiming for itself as THE model of the geometric line. The Dedekind approach may be termed “arithmetization of geometry”.We know that one may construct a number system out of synthetic geometry, as Euclid and (...) followers did : “geometrization of arithmetic”..Starting from the geometric side, nilpotent elements are somewhat reasonable, although Euclid excluded them. The sophist Protagoras presented a picture of a circle and a tangent line; the apparent little line segment D which tangent and circle have in common, are, by Pythagoras' Theorem, precisely the points, whose abscissae d have d2 = 0. Protagoras wanted to use this argument for destructive reasons: to refute the science of geometry.A couple of millenia later, the Danish geometer Hjelmslev revived the Protagoras picture. His aim was more positive: he wanted to describe Nature as it was. According to him, the Real Line, the Line of Sensual Reality, had many nilpotent infinitesimals, which we can see with our naked eyes. (shrink)

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov (...) constructed spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

The translation of Newton’s geometrical Propositions in the Principia into the language of the differential calculus in the form developed by Leibniz and his followers has been the subject of many scholarly articles and books. One of the most vexing problems in this translation concerns the transition from the discrete polygonal orbits and force impulses in Prop. 1 to the continuous orbits and forces in Prop. 6. Newton justified this transition by lemma 1 on prime and ultimate ratios which (...) was a concrete formulation of a limit, but it took another century before this concept was established on a rigorous mathematical basis. This difficulty was mirrored in the newly developed calculus which dealt with differentials that vanish in this limit, and therefore were considered to be fictional quantities by some mathematicians. Despite these problems, early practitioners of the differential calculus like Jacob Hermann, Pierre Varignon, and Johann Bernoulli succeeded without apparent difficulties in applying the differential calculus to the solution of the fundamental problem of orbital motion under the action of inverse square central forces. By following their calculations and describing some essential details that have been ignored in the past, I clarify the reason why the lack of rigor in establishing the continuum limit was not a practical problem. (shrink)

Euler developed a program which aimed to transform analysis into an autonomous discipline and reorganize the whole of mathematics around it. The implementation of this program presented many difficulties, and the result was not entirely satisfactory. Many of these difficulties concerned the integral calculus. In this paper, we deal with some topics relevant to understand Euler’s conception of analysis and how he developed and implemented his program. In particular, we examine Euler’s contribution to the construction of differential equations and (...) his notion of indefinite integrals and general integrals. We also deal with two remarkable difficulties of Euler’s program. The first concerns singular integrals, which were considered as paradoxical by Euler since they seemed to violate the generality of certain results. The second regards the explicitly use of the geometric representation and meaning of definite integrals, which was gone against his program. We clarify the nature of these difficulties and show that Euler never thought that they undermined his conception of mathematics and that a different foundation was necessary for analysis. (shrink)

It is well known that over the eighteenth century the calculus moved away from its geometric origins; Euler, and later Lagrange, aspired to transform it into a “purely analytical” discipline. In the 1780 s, the Portuguese mathematician José Anastácio da Cunha developed an original version of the calculus whose interpretation in view of that process presents challenges. Cunha was a strong admirer of Newton (who famously favoured geometry over algebra) and criticized Euler’s faith in analysis. However, the (...) fundamental propositions of his calculus follow the analytical trend. This appears to have been possible due to a nominalistic conception of variable that allowed him to deal with expressions as names, rather than abstract quantities. Still, Cunha tried to keep the definition of fluxion directly applicable to geometrical magnitudes. According to a friend of Cunha’s, his calculus had an algebraic (analytical) branch and a geometrical branch, and it was because of this that his definition of fluxion appeared too complex to some contemporaries. (shrink)

Starting from the geometric calculus based on Clifford algebra, the idea that physical quantities are Clifford aggregates (“polyvectors”) is explored. A generalized point particle action (“polyvector action”) is proposed. It is shown that the polyvector action, because of the presence of a scalar (more precisely a pseudoscalar) variable, can be reduced to the well known, unconstrained, Stueckelberg action which involves an invariant evolution parameter. It is pointed out that, starting from a different direction, DeWitt and Rovelli postulated the (...) existence of a clock variable attached to particles which serve as a reference system for identification of spacetime points. The action they postulated is equivalent to the polyvector action. Relativistic dynamics (with an invariant evolution parameter) is thus shown to be based on even stronger theoretical and conceptual foundations than usually believed. (shrink)

In Hegel ou Spinoza,1 Pierre Macherey challenges the influence of Hegel’s reading of Spinoza by stressing the degree to which Spinoza eludes the grasp of the Hegelian dialectical progression of the history of philosophy. He argues that Hegel provides a defensive misreading of Spinoza, and that he had to “misread him” in order to maintain his subjective idealism. The suggestion being that Spinoza’s philosophy represents, not a moment that can simply be sublated and subsumed within the dialectical progression of the (...) history of philosophy, but rather an alternative point of view for the development of a philosophy that overcomes Hegelian idealism. Gilles Deleuze also considers Spinoza’s philosophy to resist the totalising effects of the dialectic. Indeed, Deleuze demonstrates, by means of Spinoza, that a more complex philosophy antedates Hegel’s, which cannot be supplanted by it. Spinoza therefore becomes a significant figure in Deleuze’s project of tracing an alternative lineage in the history of philosophy, which, by distancing itself from Hegelian idealism, culminates in the construction of a philosophy of difference. It is Spinoza’s role in this project that will be demonstrated in this paper by differentiating Deleuze’s interpretation of the geometrical example of Spinoza’s Letter XII (on the problem of the infinite) in Expressionism in Philosophy, Spinoza,2 from that which Hegel presents in the Science of Logic.3. (shrink)

In this paper I illustrate the evolution of series theory from Leibniz and Newton to the first decades of the eighteenth century. Although mathematicians used convergent series to solve geometric problems, they manipulated series by a mere extension of the rules valid for finite series, without considering convergence as a preliminary condition. Further, they conceived of a power series as a result of a process of the expansion of a finite analytical expression and thought that the link between series (...) and analytical expression was not restricted to the interval of convergence. This gave rise to formal aspects that became progressively more evident while the complexity of the theory increased. Asymptotic and recurrence series emerged as the result of the natural evolution of theory, without the difference between these infinite processes with respect to ordinary series being highlighted. The various aspects of dealing with series can be viewed today as derived from different definitions of the sum. However, mathematicians of that time always considered them as different approaches to a single theory that was based on a unique notion of the sum (even though, later in the eighteenth century, they disagree about what this notion was). (shrink)

: This paper examines two features of Kant’s 1768 critique of Leibniz’ conception of space. Firstly, Leibniz’ proposed geometrical calculus called ‘analysis situs’; secondly, Leibniz’ relational conception of space. The main thesis of the paper is that Kant’s arguments are more powerful than generally recognized. With regard to the analysis situs, I will show that Kant was quite well informed about this proposed science and that his arguments severely undermine Leibniz’ claims to what it could perform. With regard to (...) the relational theory of space, Kant’s argument would require Leibniz to present a complex story about the relation between God’s act of creation and our spatial experience to defend his relational view, rather than using the simple principle of sufficient reason. (shrink)

In Proposition 10, Book 2 of the Principia, Newton applied his geometrical calculus and power series expansion to calculate motion in a resistive medium under the action of gravity. In the first edition of the Principia, however, he made an error in his treatment which lead to a faulty solution that was noticed by Johann Bernoulli and communicated to him while the second edition was already at the printer. This episode has been discussed in the past, and the source (...) of Newton’s initial error, which Bernoulli was unable to find, has been clarified by Lagrange and is reviewed here. But there are also problems in Newton’s corrected version in the second edition of the Principia that have been ignored in the past, which are discussed in detail here. (shrink)

In a letter of September 1679 to Huygens, Leibniz proposed a calculus situs directly applicable to geometric relations without use of magnitudes. His researehes on this kind of Geometric Calculus were developed along all his life but, unfortunately, only a few Leibniz’ s writings on these matters had been published by Gerhardt and Couturat. They were closely connected to his own researches on Logic Calculus. From a chronological point of view, the unpublished manuscript Circa Geometrica (...) Generalia may be considered as the third most important Leibniz’ contribution on Calculus Situs. CGG summarizes several results obtained by Leibniz from 1679 to 1682 and contains some interesting ideas concerning set theory, geometric axioms, General Topology and Logic Foundations of Geometry.En una carta a Huygens escrita en septiembre de 1679, Leibniz propuso un calculus situs que fuese aplicable al estudio directo de las relaciones geometricas, sin utilizar magnitudes. Sus investigaciones en torno a los Cálculos Geometricos continuaron a lo largo de toda su vida, pero, lamentablemente, Gerhardt y Couturat sólo publicaron una pequeña parte de sus manuscritos sobre estos temas. Estasinvestigaciones estuvieron estrechamente conectadas con los trabajos de Leibniz sobre Cálculos Lógicos. El manuscrito inédito Circa Geometrica Generalia puede ser considerado, desde un punto de vista cronológico, como la tercera más importante contribución de Leibniz al Calculus Situs. En CGG Leibniz resume varios logros obtenidos desde 1679 hasta 1682 y expone ideas interesantes en relación con la Teoría de Conjuntos, los axiomas de la geometria, la Topologia General y los fundamentos logicos de la Geometría. (shrink)

A new theory is considered according to which extended objects in n-dimensional space are described in terms of multivector coordinates which are interpreted as generalizing the concept of center of mass coordinates. While the usual center of mass is a point, by generalizing the latter concept, we associate with every extended object a set of r-loops, r=0,1,...,n−1, enclosing oriented (r+1)-dimensional surfaces represented by Clifford numbers called (r+1)-vectors or multivectors. Superpositions of multivectors are called polyvectors or Clifford aggregates and they are (...) elements of Clifford algebra. The set of all possible polyvectors forms a manifold, called C-space. We assume that the arena in which physics takes place is in fact not Minkowski space, but C-space. This has many far reaching physical implications, some of which are discussed in this paper. The most notable is the finding that although we start from the constrained relativity in C-space we arrive at the unconstrained Stueckelberg relativistic dynamics in Minkowski space which is a subspace of C-space. (shrink)

Mate Meršić (Merchich, 1850-1928) sees the origin of Zeno’s paradox ‘Achilles’ in the ambiguities of the concept of the infinity. According to him (and to the tradition started by Gregory St. Vincent), those ambiguities are resolved by the concept of convergent geometric series. In this connection, Meršić proposes a general ontological theory with the priority of the finite over the infinite, and, proceeding from Newton’s concept of fluxion, he develops a modal interpretation of differential calculus.

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an (...) intuitionistic version of any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)

The geometrical results included in De Corpore were intended to demonstrate the power of Hobbes’s approach to philosophy and cement his standing as a mathematician. They were promptly refuted, making his geometry an object of derision. I defend Hobbes’s mathematical program by showing that it addressed important needs and that similar ideas formed the basis of Newton’s calculus. In closing, I consider how placing Hobbes’s geometrical doctrine in its historical setting can further our understanding of his philosophy.

This paper shows an analysis of some found solutions for the famous aporia of the race between Achilles and the Tortoise. As an introduction, we present the mechanical solution, to establish that it is not in the field of matters of fact where you can resolve a purely rational problem like the one raised by Zeno of Elea. And so, the main part of the article is dedicated to the mathematical solutions, which face the problem under the point of view (...) of the single, mathematical reason. There are two mathematical solutions for Zeno’s paradox. First, we attend to that which we denominate “classical” (because it is the most habitually used by mathematicians), which is based on the calculus of addiction of terms of a geometrical series in progressive decrease. The second considered solution is the one that was proposed by Russell, based upon the theory of the transfinite numbers. The analysis we have made gets us to discover that no one of those solutions can save itself from falling into logical contradictions, therefore it seems that Zeno’s problem is an authentic aporia, which, after so much time, continues challenging human intelligence. As the article’s conclusion, we suggest that the cause of the impossibility of solving Zeno’s problem is the very notion of mathematical continuum, because this notion infringes the logic of facts. (shrink)

In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced originally in the framework of hypersequent calculi but it works well also for standard sequent calculi. Sequent calculus examined in the paper works on so called satisfaction formulae and cover all logics adequate with respect to classes of frames defined by so called geometric (...) conditions. (shrink)

We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it (...) with a metalinguistic link between assertions, and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection. To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued ukasiewicz logic to a suitable m-valued ukasiewicz logic m , where m only depends on the length of the formulas to be proved. Using geometrical arguments we find a better upper bound for the least integer m such that a formula is valid in if and only if it is also valid in m. We also reduce the notion of logical consequence in to the same (...) notion in a suitable finite set of finite-valued ukasiewicz logics. Finally, we define an analytic and internal sequent calculus for infinite-valued ukasiewicz logic. (shrink)

G. W. Leibniz developed a new model for rational decision-making which is suited to complicated decisions, where goods do not rule each other out, but compete with each other. In such cases the deliberator has to consider all of the goods and pick the ones that contribute most to the desired goal which in Leibniz’s system is ultimately the advancement of universal perfection. The inclinations to particular goods can be seen as vectors leading to different directions much like forces in (...) Leibniz’s dynamics. The vectorial model of rational decision-making is related to Leibniz’s work with metaphysical physics and the calculus of variations and is a heuristic tool which helps in finding reasonable combinations – in ideal cases optimums - between competing goods. By applying the model, the decision-maker can map and compare outcomes of combinations of goods in question and practice a kind of pseudo-mechanical arithmetic of reasons. A central feature of the model is the possibility to employ geometrical figures to help the conceptualization. In this paper I present the vectorial model, examine its applications in practical cases from political theory, jurisprudence and ethics Leibniz presented, and compare the model to recent theories of acting under uncertainty, such as bounded rationality and optimizing under constraints. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting (...) with the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

Fodor advocates a view of cognitive processes as computations defined over the language of thought (or Mentalese). Even among those who endorse Mentalese, considerable controversy surrounds its representational format. What semantically relevant structure should scientific psychology attribute to Mentalese symbols? Researchers commonly emphasize logical structure, akin to that displayed by predicate calculus sentences. To counteract this tendency, I discuss computational models of navigation drawn from probabilistic robotics. These models involve computations defined over cognitive maps, which have geometric rather (...) than logical structure. They thereby demonstrate the possibility of rational cognitive processes in an exclusively non-logical representational medium. Furthermore, they offer much promise for the empirical study of animal navigation. (shrink)

The theory of exterior differential systems plays a crucial role in Cartan’s whole mathematical production. As he once recognized, all the germs of his subsequent work were contained there. Indeed, it provided him with powerful technical tools that turned out to be very useful in many different fields such as the theory of partial differential equations, the theory of infinite dimensional Lie groups (Lie pseudogroups) and differential geometry. Nevertheless, scarce attention has been paid to this area of historical research thus (...) far. Although authoritative scholars have investigated the foundation of exterior differential calculus in Cartan’s early papers, no specific analysis of Cartan’s subsequent works laying the foundations of what nowadays is known as the Cartan–Kähler theory has been yet provided. This article represents a first attempt to remedy this unsatisfactory state of affairs by focusing on Cartan’s work on Pfaffian systems at the very beginning of the past century. The analysis of Cartan’s relevant papers is preceded by a description of the historical context in which such contributions were conceived. In this respect, special emphasis will be put on some works by Engel and von Weber on Pfaffian systems, which laid the basis for the subsequent geometrical developments of Cartan’s theory of exterior differential systems. (shrink)

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms (...) and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations. (shrink)

Using labelled formulae, a cut-free sequent calculus for intuitionistic propositional logic is presented, together with an easy cut-admissibility proof; both extend to cover, in a uniform fashion, all intermediate logics characterised by frames satisfying conditions expressible by one or more geometric implications. Each of these logics is embedded by the Gödel–McKinsey–Tarski translation into an extension of S4. Faithfulness of the embedding is proved in a simple and general way by constructive proof-theoretic methods, without appeal to semantics other than (...) in the explanation of the rules. (shrink)

This paper examines an annotation in Newton’s hand found by H. W. Turnbull in David Gregory’s papers in the Library of the Royal Society. It will be shown that Gregory asked Newton to explain to him how the trajectories of a body accelerated by an inverse-cube force are determined in a corollary in the Principia: an important topic for gravitation theory, since tidal forces are inverse cube. This annotation opens a window on the more hidden mathematical methods which Newton deployed (...) in his magnum opus. The received view according to which the Principia are written in a geometric style with no help from calculus techniques must be revised. (shrink)

We study the complexity of proving the Pigeon Hole Principle in a monotone variant of the Gentzen Calculus, also known as Geometric Logic. We prove a size-depth trade-off upper bound for monotone proofs of the standard encoding of the PHP as a monotone sequent. At one extreme of the trade-off we get quasipolynomia -size monotone proofs, and at the other extreme we get subexponential-size bounded-depth monotone proofs. This result is a consequence of deriving the basic properties of certain (...) monotone formulas computing the Boolean threshold functions. We also consider the monotone sequent expressing the Clique-Coclique Principle defined by Bonet, Pitassi and Raz [9]. We show that monotone proofs for this sequent can be easily reduced to monotone proofs of the one-to-one and onto PHP, and so CLIQUE also has quasipolynomia -size monotone proofs. As a consequence of our results, Resolution, Cutting Planes with polynomially bounded coefficients, and Bounded-Depth Frege are exponentially separated from the monotone Gentzen Calculus. Finally, a simple simulation argument implies that these results extend to the Intuitionistic Gentzen Calculus. Our results partially answer some questions left open by P. Pudlák. (shrink)

This paper presents the first edition, translation and analyse of al-Mns commentary of the Book X of Euclid one. For the first time, irrational numbers are defined and classified. The algebraisation of Elementsrizms Algebra, shows irrational numbers as solution to algebraic quadratic equations. The algebraic calculus makes here the first steps. On this occasion, negative numbers and their calculation rules appears. Simplifications imposed by the algebraic writings are sometimes in opposition with the conclusions of propositions conceived in a purely (...) geometrical framework, revealing a contradiction between geometrical and algebraic goals. It will be resolved by the independant way algebra will take with mathematicians belonging to the tradition of al-Karajal from the 11th-12th centuries on. (shrink)

The wedge problem, that is, the propagation of radiation or particles in the presence of a wedge, is examined in different contexts. Generally, the paper follows the historical order from Sommerfeld's early work to recent stochastic results—hindsights and new results being woven in as appropriate. In each context, identifying the relevant mathematical problem has been the key to the solution. Thus each section can be given both a physics and a mathematics title: Section 2: diffraction by reflecting wedge; boundary value (...) problem of differential equations; solutions defined on mutiply connected spaces. Section 3: geometrical theory of diffraction; identificiation of function spaces. Section 4: path integral solutions; path integration on multiply connected spaces; asymptotics on the boundaries of function spaces. Section 5: probing the shape of the wedge and the roughness of its surface; stochastic calculus. Several propagators and Green functions are given explicitly, some old ones and some new ones. They include the knife-edge propagator for Dirichlet and Neumann boundary conditions, the absorbing knife edge propagator, the wedge propagators, the propagator for a free particle on a μ-sheeted Riemann surface, the Dirichlet and the Neumann wedge Green function. (shrink)

In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus. We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.

I develop a notion of nonlinear stochastic integrals for hyperfinite Lévy processes and use it to find exact formulas for expressions which are intuitively of the form $\sum_{s=0}^t\phi(\omega,dl_{s},s)$ and $\prod_{s=0}^t\psi(\omega,dl_{s},s)$ , where l is a Lévy process. These formulas are then applied to geometric Lévy processes, infinitesimal transformations of hyperfinite Lévy processes, and to minimal martingale measures. Some of the central concepts and results are closely related to those found in S. Cohen’s work on stochastic calculus for processes (...) with jumps on manifolds, and the paper may be regarded as a reworking of his ideas in a different setting and with totally different techniques. (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)