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.

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)

During 17th century a scientific controversy existed on the derivation of Snell’s laws of reflection and refraction. Descartes gave a derivation of the laws, independent of the minimality of travel time of a ray of light between two given points. Fermat and Leibniz gave a derivation of the laws, based on the minimality of travel time of a ray of light between two given points. Leibniz’s calculus method became the standard method of derivation of the two laws. We demonstrate (...) in this article that Snell’s law of reflection follows from simple results of geometry. We do not use the concept of motion or the time of travel in our demonstration. That is, time plays no role in our demonstration. (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)

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)

At the turn of the seventeenth century, Bruno and Cavalieri independently developed two theories, central to which was the concept of the geometrical indivisible. The introduction of indivisibles had significant implications for geometry – especially in the case of Cavalieri, for whom indivisibles provided a forerunner of the calculus. But how did this event occur? What can we learn from the fact that two theories of indivisibles arose at about the same time? These are the questions addressed in this (...) paper. Relying on the methodology of “historical epistemology”, this paper asserts that the similarities and differences between the theories of Bruno and Cavalieri can be explained in terms of “shared knowledge”. The paper shows that the idea – on which both Bruno and Cavalieri build – that geometrical objects are generated by motion was part of the mathematical culture of the time. Tracing this idea back to its Pythagorean origins thus sheds light on the relationship between motion and continuum in mathematics. (shrink)

Jakob Friedrich Fries (1773-1843): A Philosophy of the Exact Sciences -/- Shortened version of the article of the same name in: Tabula Rasa. Jenenser magazine for critical thinking. 6th of November 1994 edition -/- 1. Biography -/- Jakob Friedrich Fries was born on the 23rd of August, 1773 in Barby on the Elbe. Because Fries' father had little time, on account of his journeying, he gave up both his sons, of whom Jakob Friedrich was the elder, to the Herrnhut Teaching (...) Institution in Niesky in 1778. Fries attended the theological seminar in Niesky in autumn 1792, which lasted for three years. There he (secretly) began to study Kant. The reading of Kant's works led Fries, for the first time, to a deep philosophical satisfaction. His enthusiasm for Kant is to be understood against the background that a considerable measure of Kant's philosophy is based on a firm foundation of what happens in an analogous and similar manner in mathematics. -/- During this period he also read Heinrich Jacobi's novels, as well as works of the awakening classic German literature; in particular Friedrich Schiller's works. In 1795, Fries arrived at Leipzig University to study law. During his time in Leipzig he became acquainted with Fichte's philosophy. In autumn of the same year he moved to Jena to hear Fichte at first hand, but was soon disappointed. -/- During his first sojourn in Jenaer (1796), Fries got to know the chemist A. N. Scherer who was very influenced by the work of the chemist A. L. Lavoisier. Fries discovered, at Scherer's suggestion, the law of stoichiometric composition. Because he felt that his work still need some time before completion, he withdrew as a private tutor to Zofingen (in Switzerland). There Fries worked on his main critical work, and studied Newton's "Philosophiae naturalis principia mathematica". He remained a lifelong admirer of Newton, whom he praised as a perfectionist of astronomy. Fries saw the final aim of his mathematical natural philosophy in the union of Newton's Principia with Kant's philosophy. -/- With the aim of qualifying as a lecturer, he returned to Jena in 1800. Now Fries was known from his independent writings, such as "Reinhold, Fichte and Schelling" (1st edition in 1803), and "Systems of Philosophy as an Evident Science" (1804). The relationship between G. W. F. Hegel and Fries did not develop favourably. Hegel speaks of "the leader of the superficial army", and at other places he expresses: "he is an extremely narrow-minded bragger". On the other hand, Fries also has an unfavourable take on Hegel. He writes of the "Redundancy of the Hegelistic dialectic" (1828). In his History of Philosophy (1837/40) he writes of Hegel, amongst other things: "Your way of philosophising seems just to give expression to nonsense in the shortest possible way". In this work, Fries appears to argue with Hegel in an objective manner, and expresses a positive attitude to his work. -/- In 1805, Fries was appointed professor for philosophy in Heidelberg. In his time spent in Heidelberg, he married Caroline Erdmann. He also sealed his friendships with W. M. L. de Wette and F. H. Jacobi. Jacobi was amongst the contemporaries who most impressed Fries during this period. In Heidelberg, Fries wrote, amongst other things, his three-volume main work New Critique of Reason (1807). -/- In 1816 Fries returned to Jena. When in 1817 the Wartburg festival took place, Fries was among the guests, and made a small speech. 1819 was the so-called "Great Year" for Fries: His wife Caroline died, and Karl Sand, a member of a student fraternity, and one of Fries' former students stabbed the author August von Kotzebue to death. Fries was punished with a philosophy teaching ban but still received a professorship for physics and mathematics. Only after a period of years, and under restrictions, he was again allowed to read philosophy. From now on, Fries was excluded from political influence. The rest of his life he devoted himself once again to philosophical and natural studies. During this period, he wrote "Mathematical Natural Philosophy" (1822) and the "History of Philosophy" (1837/40). -/- Fries suffered from a stroke on New Year's Day 1843, and a second stroke, on the 10th of August 1843 ended his life. -/- 2. Fries' Work Fries left an extensive body of work. A look at the subject areas he worked on makes us aware of the universality of his thinking. Amongst these subjects are: Psychic anthropology, psychology, pure philosophy, logic, metaphysics, ethics, politics, religious philosophy, aesthetics, natural philosophy, mathematics, physics and medical subjects, to which, e.g., the text "Regarding the optical centre in the eye together with general remarks about the theory of seeing" (1839) bear witness. With popular philosophical writings like the novel "Julius and Evagoras" (1822), or the arabesque "Longing, and a Trip to the Middle of Nowhere" (1820), he tried to make his philosophy accessible to a broader public. Anthropological considerations are shown in the methodical basis of his philosophy, and to this end, he provides the following didactic instruction for the study of his work: "If somebody wishes to study philosophy on the basis of this guide, I would recommend that after studying natural philosophy, a strict study of logic should follow in order to peruse metaphysics and its applied teachings more rapidly, followed by a strict study of criticism, followed once again by a return to an even closer study of metaphysics and its applied teachings." -/- 3. Continuation of Fries' work through the Friesian School -/- Fries' ideas found general acceptance amongst scientists and mathematicians. A large part of the followers of the "Fries School of Thought" had a scientific or mathematical background. Amongst them were biologist Matthias Jakob Schleiden, mathematics and science specialist philosopher Ernst Friedrich Apelt, the zoologist Oscar Schmidt, and the mathematician Oscar Xavier Schlömilch. Between the years 1847 and 1849, the treatises of the "Fries School of Thought", with which the publishers aimed to pursue philosophy according to the model of the natural sciences appeared. In the Kant-Fries philosophy, they saw the realisation of this ideal. The history of the "New Fries School of Thought" began in 1903. It was in this year that the philosopher Leonard Nelson gathered together a small discussion circle in Goettingen. Amongst the founding members of this circle were: A. Rüstow, C. Brinkmann and H. Goesch. In 1904 L. Nelson, A. Rüstow, H. Goesch and the student W. Mecklenburg travelled to Thuringia to find the missing Fries writings. In the same year, G. Hessenberg, K. Kaiser and Nelson published the first pamphlet from their first volume of the "Treatises of the Fries School of Thought, New Edition". -/- The school set out with the aim of searching for the missing Fries' texts, and re-publishing them with a view to re-opening discussion of Fries' brand of philosophy. The members of the circle met regularly for discussions. Additionally, larger conferences took place, mostly during the holidays. Featuring as speakers were: Otto Apelt, Otto Berg, Paul Bernays, G. Fraenkel, K. Grelling, G. Hessenberg, A. Kronfeld, O. Meyerhof, L. Nelson and R. Otto. On the 1st of March 1913, the Jakob-Friedrich-Fries society was founded. Whilst the Fries' school of thought dealt in continuum with the advancement of the Kant-Fries philosophy, the members of the Jakob-Friedrich-Fries society's main task was the dissemination of the Fries' school publications. In May/June, 1914, the organisations took part in their last common conference before the gulf created by the outbreak of the First World War. Several members died during the war. Others returned disabled. The next conference took place in 1919. A second conference followed in 1921. Nevertheless, such intensive work as had been undertaken between 1903 and 1914 was no longer possible. -/- Leonard Nelson died in October 1927. In the 1930's, the 6th and final volume of "Treatises of the Fries School of Thought, New Edition" was published. Franz Oppenheimer, Otto Meyerhof, Minna Specht and Grete Hermann were involved in their publication. -/- 4. About Mathematical Natural Philosophy -/- In 1822, Fries' "Mathematical Natural Philosophy" appeared. Fries rejects the speculative natural philosophy of his time - above all Schelling's natural philosophy. A natural study, founded on speculative philosophy, ceases with its collection, arrangement and order of well-known facts. Only a mathematical natural philosophy can deliver the necessary explanatory reasoning. The basic dictum of his mathematical natural philosophy is: "All natural theories must be definable using purely mathematically determinable reasons of explanation." Fries is of the opinion that science can attain completeness only by the subordination of the empirical facts to the metaphysical categories and mathematical laws. -/- The crux of Fries' natural philosophy is the thought that mathematics must be made fertile for use by the natural sciences. However, pure mathematics displays solely empty abstraction. To be able to apply them to the sensory world, an intermediatory connection is required. Mathematics must be connected to metaphysics. The pure mechanics, consisting of three parts are these: a) A study of geometrical movement, which considers solely the direction of the movement, b) A study of kinematics, which considers velocity in Addition, c) A study of dynamic movement, which also incorporates mass and power, as well as direction and velocity. -/- Of great interest is Fries' natural philosophy in view of its methodology, particularly with regard to the doctrine "leading maxims". Fries calls these "leading maxims" "heuristic", "because they are principal rules for scientific invention". -/- Fries' philosophy found great recognition with Carl Friedrich Gauss, amongst others. Fries asked for Gauss's opinion on his work "An Attempt at a Criticism based on the Principles of the Probability Calculus" (1842). Gauss also provided his opinions on "Mathematical Natural Philosophy" (1822) and on Fries' "History of Philosophy". Gauss acknowledged Fries' philosophy and wrote in a letter to Fries: "I have always had a great predilection for philosophical speculation, and now I am all the more happy to have a reliable teacher in you in the study of the destinies of science, from the most ancient up to the latest times, as I have not always found the desired satisfaction in my own reading of the writings of some of the philosophers. In particular, the writings of several famous (maybe better, so-called famous) philosophers who have appeared since Kant have reminded me of the sieve of a goat-milker, or to use a modern image instead of an old-fashioned one, of Münchhausen's plait, with which he pulled himself from out of the water. These amateurs would not dare make such a confession before their Masters; it would not happen were they were to consider the case upon its merits. I have often regretted not living in your locality, so as to be able to glean much pleasurable entertainment from philosophical verbal discourse." -/- The starting point of the new adoption of Fries was Nelson's article "The critical method and the relation of psychology to philosophy" (1904). Nelson dedicates special attention to Fries' re-interpretation of Kant's deduction concept. Fries awards Kant's criticism the rationale of anthropological idiom, in that he is guided by the idea that one can examine in a psychological way which knowledge we have "a priori", and how this is created, so that we can therefore recognise our own knowledge "a priori" in an empirical way. Fries understands deduction to mean an "awareness residing darkly in us is, and only open to basic metaphysical principles through conscious reflection.". -/- Nelson has pointed to an analogy between Fries' deduction and modern metamathematics. In the same manner, as with the anthropological deduction of the content of the critical investigation into the metaphysical object show, the content of mathematics become, in David Hilbert's view, the object of metamathematics. -/-. (shrink)

Our visual experience seems to suggest that no continuous curve can cover every point of the unit square, yet in the late nineteenth century Giuseppe Peano proved that such a curve exists. Examples like this, particularly in analysis (in the sense of the infinitesimal calculus) received much attention in the nineteenth century. They helped instigate what Hans Hahn called a “crisis of intuition”, wherein visual reasoning in mathematics came to be thought to be epistemically problematic. Hahn described this “crisis” (...) as follows: Mathematicians had for a long time made use of supposedly geometric evidence as a means of proof in much too naive and much too uncritical a way, till the unclarities and mistakes that arose as a result forced a turnabout. Geometrical intuition was now declared to be inadmissible as a means of proof... (p. 67) Avoiding geometrical evidence, Hahn continued, mathematicians aware of this crisis pursued what he called “logicization”, “when the discipline requires nothing but purely logical fundamental concepts and propositions for its development.” On this view, an epistemically ideal mathematics would minimize, or avoid altogether, appeals to visual representations. This would be a radical reformation of past practice, necessary, according to its advocates, for avoiding “unclarities and mistakes” like the one exposed by Peano. (shrink)

According to current history of science, Levi-Civita introduced parallel transport solely to give a geometrical interpretation to the covariant derivative of absolute differential calculus. Levi-Civita, however, searched a simple computation of the curvature of a Riemannian manifold, basing on notions of the Italian school of mathematical physics of his time: holonomic constraints, virtual displacements and work, which so have a remarkable, if not dominant, role in the origin of parallel transport.

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (shrink)

When faced with uncertainty, consequentialists often advocate choosing the option with the largest expected utility, as calculated using the arithmetic average. I provide some arguments to suggest that instead, one should consider choosing the option with the largest geometric average of utility. I explore the difference between these two approaches in a variety of ethical dilemmas and argue that geometric averaging has some appealing properties as a normative decision-making tool.

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, (...) class='Hi'>geometric and Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist (...) reasoning, since they do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and (...) figures. Geometric objects are defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...) in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a (...) natural dual of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper (...) "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"; online available at http://philpapers.org/rec/CORERE.). (shrink)

In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made (...) to axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system. (shrink)

This study presents a new type of foundational model unifying quantum theory, relativity theory and gravitational physics, with a novel cosmology. It proposes a six-dimensional geometric manifold as the foundational ontology for our universe. The theoretical unification is simple and powerful, and there are a number of novel empirical predictions and theoretical reductions that are strikingly accurate. It subsequently addresses a variety of current anomalies in physics. It shows how incomplete modern physics is by giving an example of a (...) theory that is genuinely unified. In doing this, it radically alters the metaphysical interpretation of the nature of time, space and matter currently interpreted from modern physics. It also profoundly challenges materialist expectations about a naturalistic account our own existence. I contend here that there is sufficient evidence to support this theory as a leading paradigm for a unified foundational theory. (shrink)

Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel logical vocabulary for (...) expressing structural features of inference (§4). (shrink)

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘ (...) class='Hi'>Geometric Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I (...) argue that when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)

The basic idea is to put qualia into equations (broadly understood) to get what might as well be called qualations. Qualations arguably have different truth behaviors than the analogous equations. Thus ‘black’ has a different behavior than ‘ █ ’. This is a step in the direction of a ‘calculus of qualia’. It might help clarify some issues.

We give a brief overview of the evolution of mathematics, starting from antiquity, through Renaissance, to the 19th century, and the culmination of the train of thought of history’s greatest thinkers that lead to the grand unification of geometry and algebra. The goal of this paper is not a complete formal description of any particular theoretical framework, but to show how extremisation of mathematical rigor in requiring everything be drivable directly from first principles without any arbitrary assumptions actually leads to (...) relaxing the computational difficulty along with maximal conceptual clarity. With this, we consider a revision of the foundations of elementary geometry and algebra based on the work of Grassmann and Clifford and apply it to conceptual and practical problems of past and present modern mathematics and mathematical physics. (shrink)

The idea of this paper is to put actual qualia into equations (broadly understood) to get what might be called qualations. Qualations arguably have different meanings and truth behaviors than the analogous equations. For example, the term ‘ black ’ arguably has a different meaning and behavior than the term ‘ █ ’. This is a step in the direction of a ‘calculus of qualia’ and of expanding science to include 1st-person phenomena.

John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. (...) W. Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations. (shrink)

This paper examines Aristotle's discussion of the priority of actuality to potentiality in geometry at Metaphysics Θ9, 1051a21–33. Many scholars have assumed what I call the "geometrical construction" interpretation, according to which his point here concerns the relation between an inquirer's thinking and a geometrical figure. In contrast, I defend what I call the "geometrical analysis" interpretation, according to which it concerns the asymmetrical relation between geometrical propositions in which one is proved by means of the other. His argument as (...) so construed is ultimately based on the asymmetrical relation between the corresponding geometrical facts. Then I explore this ontological priority in geometry by drawing attention to a parallel passage, Posterior Analytics II.11, 94a24–35, where Aristotle explains the relation between the same geometrical propositions in connection to material causation. (shrink)

To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian (...) infinitesimal calculus, then modern infinitesimal frameworks are more appropriate to interpreting Leibnizian infinitesimal calculus than modern Weierstrassian ones. (shrink)

We develop some of Williamson’s ideas regarding how propositional calculus aids in comprehending Aristotelian logic. Specifically, we enhance the utilisation of truth tables to examine the structure of opposition diagrams. Using ‘conditioned truth tables’, we establish logical dependency relationships between the truth values of different propositions. This approach proves effective in interpreting various texts of the Organon concerning the doctrine of opposition.

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity (...) fails, but for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a (...) calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof. (shrink)

This paper examines systematically which features of a life story (or history) make it good for the subject herself - not aesthetically or morally good, but prudentially good. The tentative narrative calculus presented claims that the prudential narrative value of an event is a function of the extent to which it contributes to her concurrent and non-concurrent goals, the value of those goals, and the degree to which success in reaching the goals is deserved in virtue of exercising agency. (...) The narrative value of a life is a simple sum of the values of individual events that comprise it. I claim that this view best explains and support common intuitions about the significance of the shape of a life. (shrink)

Luminance and color are strong and self-sufficient cues to pictorial depth in visual scenes and images. The present study investigates the conditions Under which luminance or color either strengthens or overrides geometric depth cues. We investigated how luminance contrasts associated with color contrast interact with relative height in the visual field, partial occlusion, and interposition in determining the probability that a given figure is perceived as ‘‘nearer’’ than another. Latencies of ‘‘near’’ responses were analyzed to test for effects of (...) attentional selection. Figures in a pair were supported by luminance contrast or isoluminant color contrast and combined with one of the three geometric cues. The results of Experiment 1 show that luminance contrasts associated with hue, when it does not interact with other hues, produces the same effects as achromatic luminance contrasts: The probability of‘‘near’’ increases with luminance contrast while the latencies for ‘‘near’’ responses decrease. Partial occlusion is found to be a strong enough pictorial cue to support a weaker red luminance contrast. Interposition cues lose out against cues of spatial position and partial occlusion. The results of Experiment 2, with isoluminant displays of varying color contrast, reveal that red color contrast on a light background supported by any of the three geometric cues wins over green or white supported by any of the three geometric cues. On a dark background, red color contrast supported by the interposition cue loses out against green or white color contrast supported by partial occlusion. These findings reveal that color is not an independent depth cue, but is strongly influenced by luminance contrast and stimulus geometry. Systematically shorter response latencies for stronger ‘‘near’’ percepts demonstrate that selective visual attention reliably detects the most likely depth cue combination in a given configuration. (shrink)

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand (...) disjunctions of existential theorems obtained by this elimination procedure. (shrink)

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions (...) as value. Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

This essay offers an in-depth reading of the geometrical illustration of Ethics IIP8S and shows how it can be used to explicate the whole architecture of Spinoza’s system by specifying the way in which all the key structural features of his basic ontology find their analogies in the example. The illustration can also throw light on Spinoza’s ontology of finite things and inform us about what is at stake when we form universal ideas. In general, my reading of IIP8S thus (...) elucidates what it means, for Spinoza, to think geometrically or to consider geometry as a model: fundamentally, geometricity is not a form of exposition but the way in which reality itself is structured. (shrink)

Focused attention is needed to perceive change (Rensink et al., 1997; Psychological Science, 8: 368-373) . But how much attentional processing is given to an item? And does this depend on the nature of the task? To answer these questions, "flicker" displays were created, where an original and a modified image continually alternated, with brief blanks between them. Each image was an array of simple figures, half being horizontal and the other half vertical. In half the trials, one of the (...) items changed orientation; in the remainder, all items remained the same. Observers were asked to detect whether a change was occurring in each trial. -/- Within-observer comparisons for different shapes of items yielded two classes of speed: relatively fast search (50 ms/item) for simple lines, and slower search (90 ms/item) for compound figures made of two or more lines. Evidently, more processing was given to compound figures, even though shape was irrelevant to the task. A similar set of experiments asked observers to detect changes in contrast polarity. Here, no differences were found for different shapes, indicating that geometric information is not processed as much when the task involves only nongeometric properties. (shrink)

This paper examines the second geometrical problem in the Meno. Its purpose is to explore the implication of Cook Wilson’s interpretation, which has been most widely accepted by scholars, in relation to the nature of hypothesis. I argue that (a) the geometrical hypothesis in question is a tentative answer to a more basic problem, which could not be solved by available methods at that time, and that (b) despite the temporary nature of a hypothesis, there is a rational process for (...) formulating it. The paper also contains discussion of the method of analysis, problem reduction and a diorism, which have often been ambiguously explained in relation to the geometrical problem in question. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of (...) ancient Greek practical geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other (...) modal logics. (shrink)

It is fair to say that Georg Wilhelm Friedrich Hegel's philosophy of mathematics and his interpretation of the calculus in particular have not been popular topics of conversation since the early part of the twentieth century. Changes in mathematics in the late nineteenth century, the new set-theoretical approach to understanding its foundations, and the rise of a sympathetic philosophical logic have all conspired to give prior philosophies of mathematics (including Hegel's) the untimely appearance of naïveté. The common view was (...) expressed by Bertrand Russell: -/- The great [mathematicians] of the seventeenth and eighteenth centuries were so much impressed by the results of their new methods that they did not trouble to examine their foundations. Although their arguments were fallacious, a special Providence saw to it that their conclusions were more or less true. Hegel fastened upon the obscurities in the foundations of mathematics, turned them into dialectical contradictions, and resolved them by nonsensical syntheses. . . .The resulting puzzles [of mathematics] were all cleared up during the nineteenth century, not by heroic philosophical doctrines such as that of Kant or that of Hegel, but by patient attention to detail (1956, 368–69). (shrink)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient in (...) their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The (...) author's model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, so (...) the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)