This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group (...) are discussed. Finally, a comparison between the Dual of Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods. (shrink)

Some of the most intriguing and important phenomena in modern many-body physics are explainable in terms of self-consistent quantum mechanical field theory. This is the powerful theory developed by Umezawa and co-workers and modified by Benson and Hatch in applications to ferromagnetism. It is usually lengthy and involved mathematically. Thus, it is very helpful and meaningful to see its overall step-by-step progress in simple, diagrammatic flow starting from basic principles, with a ferromagnetic model as an example. As one immediately (...) notes, there are two paths leading to very powerful physical conclusions and implications, and something most interesting is that each path implies the other. Many useful examples of applications of these methods are noted and some future possible applications are cited. (shrink)

This paper proposes a diagrammatic reconstruction of Carnap's formal method of quasianalysis in the Aufbau and then explains on that basis why Quine's criticism of Carnap's constitution of physical space fails.

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than (...) general diagrams are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons of these methodological (...) difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)

Classifications of animals and plants have long been represented by hierarchical lists of taxa, but occasional authors have drawn diagrammatic versions of their classifications in an attempt to better depict the "natural relationships" of their organisms. Ornithologists in 19th-century Britain produced and pioneered many types of classificatory diagrams, and these fall into three groups: (a) the quinarian systems of Vigors and Swainson (1820s and 1830s); (b) the "maps" of Strickland and Wallace (1840s and 1850s); and (c) the evolutionary diagrams (...) of the post-Darwin authors (1860 on). The quinarians distinguished between affinity and analogy and used both in their classifications, whereas Strickland rejected the quinarians' belief in numerical regularity and their use of analogy. Wallace's "maps" are easily given an evolutionary interpretation, and his approach was taken up and modified by later evolutionary anatomists. Sharpe returned to Strickland's methods and merely appended a superficial evolutionary interpretation. Contrary to common belief systematics has a rich conceptual history, and many of the conceptual developments in 19th-century systematics were made by ornithologists. (shrink)

The paper attempts to analyze in some detail the main problems encountered in reasoning using diagrams, which may cause errors in reasoning, produce doubts concerning the reliability of diagrams, and impressions that diagrammatic reasoning lacks the rigour necessary for mathematical reasoning. The paper first argues that such impressions come from long neglect which led to a lack of well-developed, properly tested and reliable reasoning methods, as contrasted with the amount of work generations of mathematicians expended on refining the methods (...) of reasoning with formulae and predicate calculus. Next, two main groups of problems occurring in diagrammatic reasoning are introduced. The second group, called diagram imprecision, is then briefly summarized, its detailed analysis being postponed to another paper. The first group, called collectively the generalization problem, is analyzed in detail in the rest of the paper. The nature and causes of the problems from this group are explained, methods of detecting the potentially harmful occurrences of these problems are discussed, and remedies for possible errors they may cause are proposed. Some of the methods are adapted from similar methods used in reasoning with formulae, several other problems constitute new, specifically diagrammatic ways of reliable reasoning. (shrink)

The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. (...) The paper focuses mainly on the adaptation of the square of opposition in CL and offers an algebraic notation, which corresponds to the diagrammatic representation. (shrink)

Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.

Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic (...) reasoning can be fruitfully advanced by confronting these logical and philosophical analyses with the field of cognitive science. Surprisingly, central aspects of the philosophical and logical analyses resonate in very natural ways with research topics in mathematical cognition, spatial cognition and the psychology of reasoning. The paper develops these connections, concentrating on four issues: (1) the cognitive origins of Euclidean diagrammatic reasoning, (2) the cognitive representations of spatial relations in Euclidean diagrams, (3) the nature of the cognitive processes and cognitive representations involved in Euclidean diagrammatic reasoning seen as a form of visuospatial relational reasoning and (4) the complexity of Euclidean diagrammatic reasoning for the human cognitive system. For each of these issues, our analysis generates concrete experiment proposals, opening thereby the way for further empirical investigations. The paper is thus a prolegomenon to a research program on Euclidean diagrammatic reasoning at the crossroads of logic, philosophy and cognitive science. (shrink)

The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other (...) disciplines and traditions, including those of science, politics, art, religion and technological production. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a (...) satisfactory symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

In this paper, we interpret a 19th century diagram, which is meant to visualise G.W.F. Hegel’s entire method of the `Science of Logic' on the basis of bitwise operations. For the interpretation of the diagram we use a binary numeral system, and discuss whether the anti-Hegelian argument associated with it is valid or not. The reinterpretation is intended to make more precise rules of construction, a stricter binary code and a review of strengths and weaknesses of the critique.

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery (...) of first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

Media archaeological methods for extending the lifetime of new media into ‘old media’ have experienced a revival during the past years. In recent media theory, a new context for a debate surrounding media archaeology is emerging. So far media archaeology has been articulated together with such a heterogeneous bunch of theorists as Erkki Huhtamo, Siegfried Zielinski, Thomas Elsaesser and to a certain extent Friedrich Kittler. However, debates surrounding media archaeology as a method seem to be taking it forward not (...) only as a subdiscipline of (media) history, but increasingly into what will be introduced as materialist media diagrammatics. This article maps some recent media archaeological waves in German media theory. The text addresses Wolfgang Ernst’s mode of media archaeology and his provocative accounts on how to rethink media archaeology as a fresh way of looking into the use and remediation of media history as a material monument instead of a historical narrative and as a recent media theoretical wave from Germany that seems to not only replicate Kittler’s huge impact in the field of materialist media studies but develop that in novel directions. However, as will be argued towards the end, Ernst’s provocative take that hopes to distinguish itself as a Berlin brand of media theory in its hardware materiality and time-critical focus resonates strongly with some of the recent new directions coming from US media studies, namely in software and platform studies. (shrink)

The case of the Juke family is one of the most notable episodes of the history of eugenics in the USA. The Jukes were initially brought to the fore in the 1870s by a famous investigation that aimed at estimating the interplay of heredity and environment in determining the problems of poverty and crime. This inquiry triggered a harsh confrontation between two polar interpretations of the study, an “environmentalist” one and a “hereditarian” one. It was with the later reassessment of (...) the case made by the Eugenics American Office (ERO) in the 1910s that the controversy was considered closed with the victory of the eugenicists’ hereditarian stance. As a result, the family was made a living proof of the alleged hereditary nature of crime and pauperism and a case study in support of the eugenicists’ plea for the sterilization of people deemed the bearers of hereditary defectiveness. In this article, I explore the role played by pedigrees and other diagrammatic representations in the eugenicists’ appropriation of the meaning of the case of the Juke family and the role played by this appropriation in asserting the superiority of the ERO’s method of work over rival approaches. (shrink)

In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give (...) an account of the validity of some obviously valid arguments that contain these types of statements as constituents. In this paper, owing to the developments in the literature on Venn diagrams, we offer a way of supplementing the rules of the Venn diagram found in textbooks, and show how this retooled Venn diagram technique could account for the problem cases. (shrink)

This paper discusses four diagrams in the Archimedes Palimpsest, a manuscript that provides among other texts the only extant witness to Archimedes’ Method. My study of the two diagrams for Method 12 aims to open up discussions about the following two questions. First, I want to question the assumed relationship between diagram and geometric configuration. Rather than a representation-represented relation, I argue that the two diagrams for Method 12 have a stronger independence from the geometric configuration they (...) are related to. Their connection with the theorem rather lies in their role in shaping the way in which the proof is written. Secondly, I want to examine the connection between geometric intuition and figure. Geometric intuition is the recognition of certain properties or relations in a geometric configuration not through deduction and is held to be parallel to, if not dependent on, the empirical observation of a physical figure. Method 12 provides a curious case where an intuitive fact is not only unrepresented, but even hindered by the diagrams, and the proof assumes that the reader has come to realise that fact, which is most easily achieved when the diagrams are ignored. (shrink)

This paper proposes to recover the topic of the philosophy of scientific method from its late nineteenth-century roots. The subject matter of scientific method sprouted from key inferential ingredients identified by Charles Peirce. In this paper, the historical path is traversed from the viewpoint of contemporary Cognitive Structural Realism (CSR). Peirce’s semiotic theory of methods and practices of scientific inquiry prefigured CSR’s reliance on embodied informational structures and experimentation upon forms of relations that model generic scientific domains. Three (...) results are shown to follow from this convocation: (i) a naturalization of Peirce’s interconnected abductive, deductive and inductive stages of the logic of science, here characterized de novo in terms of CSR. (ii) a perspective to scientific modeling that incorporates processes of abstraction and generalization as originated from Peirce’s logic of science, and (iii) diagrammatic reasoning as a pivotal method in analyzing scientific reasoning in experimental practices. (shrink)

A crucial problem of conflict management is that whatever happens in negotiations will be interpreted and framed by stakeholders based on their different belief-value systems and world views. This problem will be discussed in the first part of this article as the main cognitive problem of conflict management. The second part develops a general semiotic solution of this problem, based on Charles Peirce's concept of "diagrammatic reasoning." The basic idea is that by representing one 's thought in diagrams, the (...) conditions that determine interpretations can become visible, we can "experiment" with them, and we can change them eventually. The third part, finally, focuses on a concrete tool, called Logical Argument Mapping , that can be used in conflict management to perform such diagrammatic reasoning and to cope with the cognitive problems discussed in the first part. The Israeli-Palestinian conflict on the sovereignty over Jerusalem will be used as an example to show how LAM could work in practice. (shrink)

In line with Ken Manders’s seminal account of Euclid’s diagrammatic method in the “The Euclidean Diagram,” two proof systems with a diagrammatic syntax have been advanced as formalizations of the method FG and Eu. In a paper examining Eu, Nathaniel Miller, the creator of FG, has identified a variety of technical problems with the formal details of Eu. This response shows how the problems are remedied.

History shows that up to 1870’s, the thermodynamic cycles, particularly Carnot’s cycle, were the most important heuristic instruments as much to formulate the general laws of physics as well to deduce the experimental laws. From this moment on, this instrument falls into disuse with surprising rapidity. At the end of this decade emerges a new thermodynamic formulation, proposed by Gibbs, the thermodynamics of the potentials. This sudden transition from thermodynamic of cycles to potentials was triggered by the difficult to approach (...) the emergence of the phase transition phenomena with the diagrammatic method. The main objective of the article is, then, to analyze the consequences of the substitution, by Gibbs, of the diagrammatic by the geometric method, particularly, its heuristic potential related to the proposal of the formulation of the thermodynamic of potentials. (shrink)

In his Berlin Lectures of the 1820s, the German philosopher Arthur Schopenhauer (1788–1860) used spatial logic diagrams for philosophy of language. These logic diagrams were applied to many areas of semantics and pragmatics, such as theories of concept formation, concept development, translation theory, clarification of conceptual disputes, etc. In this paper we first introduce the basic principles of Schopenhauer’s philosophy of language and his diagrammatic method. Since Schopenhauer often gives little information about how the individual diagrams are to (...) be understood, we then make the attempt to reconstruct, specify and further develop one diagram type for the field of conceptual analysis. (shrink)

This short paper grew out of an observation—made in the course of a larger research project—of a surprising convergence between, on the one hand, certain themes in the work of Mary Hesse and Nelson Goodman in the 1950/60s and, on the other hand, recent work on the representational resources of science, in particular regarding model-based representation. The convergence between these more recent accounts of representation in science and the earlier proposals by Hesse and Goodman consists in the recognition that, in (...) order to secure successful representation in science, collective representational resources must be available. Such resources may take the form of (amongst others) mathematical formalisms, diagrammatic methods, notational rules, or—in the case of material models—conventions regarding the use and manipulation of the constituent parts. More often than not, an abstract characterization of such resources tells only half the story, as they are constituted equally by the pattern of (practical and theoretical) activities—such as instances of manipulation or inference—of the researchers who deploy them. In other words, representational resources need to be sustained by a social practice; this is what renders them collective representational resources in the first place. (shrink)

While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas (...) as “written diagrams”, thus suggesting that the former encapsulate propositional information which can be extracted and translated into formulas. In the case of Minkowski diagrams, local geometrical axioms were actually being produced, starting with the diagrams, by a process that was both constrained and fostered by the requirement, brought about by the axiomatic method itself, that geometry ought to be made independent of analysis. This paper aims at making a twofold point. On the one hand, it shows that Minkowski’s diagrammatic methods in number theory prompted Hilbert’s axiomatic investigations into the notion of a straight line as the shortest distance between two points, which start from his earlier work focused on the role of the triangle inequality property in the foundations of geometry, and lead up to his formulation of the 1900 Fourth Problem. On the other hand, it purports to make clear how Hilbert’s assessment of Minkowski’s diagram-based reasoning in number theory both raises and illuminates conceptual compatibility concerns that were crucial to his philosophy of mathematics. (shrink)

In his Berlin Lectures of the 1820s, the German philosopher Arthur Schopenhauer (1788–1860) used spatial logic diagrams for philosophy of language. These logic diagrams were applied to many areas of semantics and pragmatics, such as theories of concept formation, concept development, translation theory, clarification of conceptual disputes, etc. In this paper we first introduce the basic principles of Schopenhauer’s philosophy of language and his diagrammatic method. Since Schopenhauer often gives little information about how the individual diagrams are to (...) be understood, we then make the attempt to reconstruct, specify and further develop one diagram type for the field of conceptual analysis. (shrink)

This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood with examples (...) bringing the subjects to life. Traditionally, Venn diagrams have been employed to test arguments. These are very useful but their application is limited and they are not open to quantification. The mid-section of this book introduces a methodology that makes the analysis of arguments accessible with the use of a new form of diagram, modified from those of the mathematician Leonhard Euler. These new diagrammatic methods will be employed to demonstrate an addition to the basic form of syllogism. This includes a refined definition of the terms ‘most’ and ‘some’ within propositions. This may seem a little obscure at the moment but one will readily apprehend these new methods and principles of a more modern logic. (shrink)

We can regard operations that discard information, like specializing to a particular case or dropping the intermediate steps of a proof, as projections, and operations that reconstruct information as liftings. By working with several projections in parallel we can make sense of statements like “Set is the archetypal Cartesian Closed Category”, which means that proofs about CCCs can be done in the “archetypal language” and then lifted to proofs in the general setting. The method works even when our archetypal (...) language is diagrammatical, has potential ambiguities, is not completely formalized, and does not have semantics for all terms. We illustrate the method with an example from hyperdoctrines and another from synthetic differential geometry. (shrink)

This paper outlines a method to assess the effectiveness of diagrams, from semiotic foundations. In doing so, we explore the Peircian notion of signification, as applied to diagrammatic representations. We review a history of diagrams, with particular emphasis on schematics used for representing systems, and uncover the neglect of semiotic analysis of diagrammatic representations. Through application of category theory to the Peircian triadic model, we propose a set of quantitative quality measures for diagrams, and a framework for (...) their assessment, based on the properties of their encoding, pragmatic and perceptual morphisms. These measures include diagram complexity, utility, aesthetics and expert assessment of semiotic content, together with qualitative feedback. We consider the diagrams as an aid to cognitive processes, rather than a purely communication media. This utility-focused perspective on diagram quality dimensions allows for fresh insights into the creation of effective diagrams. (shrink)

This first volume of the Logic of the Future edition collects Peirce's writings on the historical development, theory and application of his graphical method and diagrammatic reasoning. Its 28 selections of texts and extensive general and volume int.

Abductive conclusions are drawn in a special, co-hortative mood. Abductive conclusions are representative interpretants that represent abduction as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple and natural, hence assuring us of its justified assertibility. Hence abductive reasoning is at home in addressing ‘How Possible’-questions in science. Abductive reasoning concerns the question of how things might, (...) could or would conceivably be such that they can be plausibly asserted. Peirce took all reasoning to be diagrammatic and representable using the graphical method of logic. Yet no examples have previously been found in his large manuscript corpus of what such non-deductive graphs might look like. This paper proposes a new interpretation of a sole exception, a sketch of two graphs from a rejected page from 1903, which might be the only surviving example of Peirce’s abductive graphs. The proposed interpretation takes them to be representative interpretants of this special inverse type of inference. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of (...) which he found indispensable in fulfilling the tasks –. (shrink)

It is well-known that by 1882, Peirce, influenced by Cayley’s, Clifford’s and Sylvester’s works on algebraic invariants and by the chemical analogy, had already achieved something like a diagrammatic treatment of quantificational logic of relatives. The details of that discovery and its implications to some wider issues in logical theory merit further investigation, however. This paper provides a reconstruction of the genesis of Peirce’s logical graphs from the early 1880s until 1896, covering the period of time during which he (...) already was acquainted with the works of his Johns Hopkins colleagues on the mathematical theory of graphs and was reaching the very first forms of his theory and method of... (shrink)

A detailed analysis of joint-contribution of premises and conclusions in classically valid sequents is presented in terms of hypergraphs. In (Saint-Germier, P., Verdée, P., & Villalonga, P. T. (2024). _Relevant entailment and logical ground. Philosophical Studies_ (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1 ), this idea of joint-contribution is introduced and motivated as a method for characterizing four kinds of relevant validity, in the sense of selecting the relevantly valid sequents among the classically valid sequents. The account in (Saint-Germier, P., Verdée, P., & (...) Villalonga, P. T. (2024). _Relevant entailment and logical ground. Philosophical Studies_ (pp. 1–43). https://doi.org/10.1007/s11098-024-02101-1 ) is built on a calculus, called \(\textsf{GLK}^{\hbox {a}}\), which proves grounding claims for (enthymematically) valid sequents. In the present paper an adequate representation of \(\textsf{GLK}^{\hbox {a}}\) is given in terms of hypergraphs. The hypergraphs are a kind of diagrammatic proofs for Classical Propositional Logic, entirely based on the grounds of premises and conclusions. The hypergraphs and their visualization provide insights into the relations between premises and conclusions and into the way validity is produced by the binding of premises and conclusions via their partial grounds. They visualize the network of elements of the sequent that contribute to its logical validity. Non-contributing (i.e. irrelevant) premises and conclusions are then specified to be those that are disconnected from the network, however one constructs the graphs. (shrink)

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce’s most important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be a significant contribution to human thought. The manuscripts from 1895–1913, with many of them being published here for the first time, testify to the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well (...) as the conventional stories concerning the evolution of modern logic. This first volume of Logic of the Future is on the historical development, theory and application of Peirce’s graphical method and diagrammatic reasoning. It also illustrates the abundant further developments and applications Peirce envisaged existential graphs to have on the analysis of mathematics, language, meaning and mind. (shrink)

The Distributional Compositional Categorical model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consists of a computational procedure for constructing meanings of sentences, given their grammatical structure in terms of compositional type-logic, and given the empirically derived meanings of their words. For the particular case that the meaning of words is modelled within a distributional vector space model, its experimental predictions, derived from real large scale data, have outperformed other empirically validated methods that (...) could build vectors for a full sentence. This success can be attributed to a conceptually motivated mathematical underpinning, something which the other methods lack, by integrating qualitative compositional type-logic and quantitative modelling of meaning within a category-theoretic mathematical framework. The type-logic used in the DisCoCat model is Lambekʼs pregroup grammar. Pregroup types form a posetal compact closed category, which can be passed, in a functorial manner, on to the compact closed structure of vector spaces, linear maps and tensor product. The diagrammatic versions of the equational reasoning in compact closed categories can be interpreted as the flow of word meanings within sentences. Pregroups simplify Lambekʼs previous type-logic, the Lambek calculus. The latter and its extensions have been extensively used to formalise and reason about various linguistic phenomena. Hence, the apparent reliance of the DisCoCat on pregroups has been seen as a shortcoming. This paper addresses this concern, by pointing out that one may as well realise a functorial passage from the original type-logic of Lambek, a monoidal bi-closed category, to vector spaces, or to any other model of meaning organised within a monoidal bi-closed category. The corresponding string diagram calculus, due to Baez and Stay, now depicts the flow of word meanings, and also reflects the structure of the parse trees of the Lambek calculus. (shrink)

Computer-based logic proofs are a form of unnatural language in which the process and structure of proof generation can be observed in considerable detail. We have been studying how students respond to multimodal logic teaching, and performance measures have already indicated that students' pre-existing cognitive styles have a significant impact on teaching outcome. Furthermore, a large corpus of proofs has been gathered via automatic logging of proof development. This paper applies a series of techniques, including corpus statistical methods, to the (...) proof logs. The results indicate that students' cognitive styles influence the structure of their logical discourse, via their differing methods of handling abstract information in diagrams, and transferring information between modalities. (shrink)

Deduction systems and graph transformation systems are compared within a common categorical framework. This comparison results in a proposal for a new deduction method in diagrammatic logics, allowing the deletion of intermediate lemmas.

Positional notation and related numerical manipulation techniques of Indian origin were introduced to Europe during the twelfth century through Arabic mediation and vividly described by Fibonacci as modus Indorum, the method of the Indians. This article aims to juxtapose Sanskrit and Latin texts to highlight the connections and differences between matrix and reflection in a complex cultural process of diffusion and assimilation. With reference to positional notation, this contribution examines a conceptual distinction between the graphical notion of position and (...) a logical-classificatory principle hitherto perhaps not fully recognized, although present in the texts of both traditions. The thesis of a consequent diagrammatic conception of positional notation in its origins, as a system of rules relating graphical position and order of magnitude, is also advanced. (shrink)

This article describes an artwork in progress; a digital video of synchronized visual patterns based in part on rhythmic practices that are said to reliably lead to a shifted state of consciousness. The artwork is being developed to further understand the correlation of rhythm and consciousness. The investigation is based on a comparative study of the following practices: ‘The Art of Memory’ and Raymon Llull’s thirteenth-century diagrammatic mnemonics, the Lucid Dreaming exercises developed at Stanford University and the African Yoruba (...) rhythms of ritualized possession. Throughout history, states of extreme lucidity, whether described as ‘ah-ha’ moments or life-transforming epiphanies, have been described with striking consistently and with such frequency that, rather than extraordinary, they seem to be fundamental to the human condition. The paradoxical state of lucid dreaming has been scientifically identified at Stanford University as a state of wakeful awareness that occurs during REM sleep, while dreaming. We might anticipate in the near future, the identification of a wakeful state of lucidity, a state as distinct from normal wakeful awareness as the state of dreaming. Those who have experienced altered states of consciousness can lend unique perspective and insight into the nature of consciousness. Analysis of practices that lead to such states add further insight. From running, to rhythmic breathing, to the circular movement of pilgrims at Mecca, to circular mosh pits, rhythmic activity is prevalent among practices that are said to lead to a shifted state of consciousness. The research suggests that in addition to rhythm itself, the relationship between rhythms is a significant factor corresponding to shifted states of consciousness. The digital video artwork discussed in this article might be thought of as a visualization of such rhythmic sequencing, and its development a creative method of inquiry. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Periodic Table for Peirce's Sixty-Six Classes of SignsVinicius RomaniniI. IntroductionOne hundred and ten years after his death, the most important task left by Charles S. Peirce (1839–1914) to future generations of semioticians remains incomplete: a taxonomy of sign classes, with detailed descriptions and examples to justify its claim as a general logic (Houser 502). In his final years, Peirce made several attempts to present what would be a (...) rationale for deriving, from his three categories and a detailed analysis of the aspects of the sign, the sixty-six classes of signs that would be the elements of a grammar serving as the foundation for both critical semiotics (an expanded logic to encompass all mental states) and a universal theory of communication (where semiosis, or the action of the sign, can be thought of as the most fundamental layer of reality).Drafts and sketches of diagrams found in Peirce's notebooks and letters to Lady Welby and William James depict frenetic activity, even a struggle against time, to leave as a legacy a semiotics fused with his strand of pragmatism. For Peirce (CP 5.3881), pragmatism is primarily a method for clarifying concepts, and concepts are symbols that act in tandem with indices (to denote the subject of an assertion) and icons (to embody the information to be expressed in the assertion). Without a complete and well-articulated typology in a consistent grammar, the promise of pragmatism to be the method of scientific inquiry would never be fulfilled.Many scholars have proposed solutions to the puzzle, such as Burks and Weiss; Sanders; Savan; Jappy ("Peirce's Sixty-Six"; Peirce's Twenty-Eight); Farias and Queiroz ("On Diagrams"; "On Peirce's Diagrammatic Models"); and Romanini (Semiótica minuta; "Prolegomena"). Others, after careful analysis, believe that the project to assemble the bits and pieces left by Peirce into a coherent system is hopeless. Nothing justifies, for example, adopting the [End Page 1] latest classificatory exercises found in Peirce's notebooks as his final word, since he himself sometimes expresses that versions produced many months earlier were better.II. Categories and Their DegenerationsOur starting point is Peirce's categoriology and the table of ten sign classes that he presented in a syllabus brochure (Peirce, "Syllabus") accompanying one of his 1903 public lectures in Lowell, Massachusetts. We know the categories are three: Firstness (quality, possibility); Secondness (reaction, brute force); Thirdness (mediation, generality). A book is an object of many qualities, and I can sufficiently determine it by listing the comprehension we have of these qualities. If we find a book on the ground, there is a shocking reaction to the event. But if we gift Mary with a book, there is a telos involved in my action that prevents its reduction, for example, to the pure action of placing the book in Mary's hands and her taking it for herself. So predicates can be monadic, dyadic, or triadic, according to the categories.In this same period (as we can find in Peirce's Harvard lectures delivered a few months before in 1903), Peirce held the opinion that categories can exhibit degenerations (EP 2:160; CP 5.68–70). While Firstness does not degenerate, Secondness can degenerate into Firstness of Secondness (an imperfect reference destined to dissolve into Firstness), and Thirdness can undergo two degrees of degeneration: Firstness of Thirdness (an unstable pattern that dissipates into possibility) and Secondness of Thirdness (the instantiation of a law in a replica). To simplify, let's use the numbers 1, 2, and 3 for the non-degenerate categories. In our notation, a single prime symbol (') signifies one degree of degeneration, and a double prime symbol (') signifies two degrees of degeneration. We then have the triangular figure below (see Fig. 1) Click for larger view View full resolutionFig 1.A triangle with six blocks can represent the categories, their degeneration, and the relations among them: Firstness (1) is involved in all others, and Thirdness (3) involves all others. Secondness (2) is an instantiation of Thirdness (3), which subsumes it.[End Page 2] that organizes the categories and their degenerations (in grey, the genuine categories at the vertices of the... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 38.2 (2004) 20-37 [Access article in PDF] Aesthetic Teaching Mark A. Pike I think aesthetic teaching is the highest of all teaching because it deals with life in its highest complexity. But if it ceases to be purely aesthetic — if it lapses anywhere from the picture to the diagram — it becomes the most offensive of all teaching.1George Eliot asserts that "the highest (...) of all teaching" which "deals with life in its highest complexity" is essentially aesthetic in character for it has features of the "picture" or work of art rather than the more straightforwardly instructional "diagram." Yet, George Eliot not only ascribes greatest worth to teaching that is aesthetic but considers teaching that is merely diagrammatic to be "the most offensive of all teaching." Evidently, there are similarities between pictures and diagrams but essential features present in the former are conspicuously absent from the latter. The current obsession with effectiveness in teaching and repeated attempts to reduce that which should be aesthetic and inspired to the wholly rational, diagrammatic and instrumental make George Eliot's views remarkably pertinent. Consequently, features of aesthetic teaching will be explored in this essay. In doing so it will be suggested that Martin Heidegger's ontology (theory of existence) offers a philosophical foundation for conceiving teaching in the arts as a form of engagement with students which is unreservedly aesthetic in character. As such, Heidegger provides us with a valuable position from which to counter forces that militate against the aesthetic in our schools and also provokes us to eschew all that is diagrammatic in our approach to that which is rightly aesthetic. Teaching: Drawing the Diagram or Painting the Picture? Teaching is currently being construed, in both the United Kingdom and the United States, as a technology with which to get something done or as a [End Page 20] vehicle which "delivers" a subject in an efficient or effective manner, or even as a science where the analytical approach is the method for problem solving. Even as I write, I find myself part of a proposed "delivery team" for literature education. It appears that this is the sort of language policy makers in a rational economy like to hear. Any dissenting voices, those subscribing to a view of teaching as an art itself, are considered dangerous as they jeopardize progress in our brave new world. For example, in their introduction to Effective Teaching — Evidence and Practice, Daniel Muijs and David Reynolds articulate the view that construing teaching as an art rather than a technology may be responsible for the lack of excellent teachers in our schools.2 In marked contrast to George Eliot, they suggest "the view that teaching is an 'art,' not a science" results in attention being devoted to "personal factors and qualities" which are "often idiosyncratic and difficult to influence by educational policies."3 Further, they suggest that the placing of education within the humanities tradition — is clearly wrong and probably condemns societies where it is prevalent to having only those small number of excellent teachers who inherit the "art," rather than the larger number who could acquire the applied science of a teaching methodology.4It is difficult to conceive of a position further removed from George Eliot's ideal of aesthetic teaching. There are, of course, a number of problems with reducing teaching to a technology, or an applied science, as Muijs and Reynolds prefer to call it. Such argument betrays the assumption that the world can be known in a rational, analytical and scientific way. The concomitant of this view is the misguided belief that teaching about such a world can be precisely planned, implemented and assessed. Elliot Eisner is surely more accurate when he explains that "teaching is a form of human action in which many of the ends achieved are emergent" and that these ends are often "found in the course of interaction with students rather than preconceived."5 Clearly, allowing "for the creation of ends in process" necessitates "a model of teaching akin to other arts."6 This is more... (shrink)

For over half a century I have been interested in the role of intuitive spatial reasoning in mathematics. My Oxford DPhil Thesis (1962) was an attempt to defend Kant's philosophy of mathematics, especially his claim that mathematical proofs extend our knowledge (so the knowledge is "synthetic", not "analytic") and that the discoveries are not empirical, or contingent, but are in an important sense "a priori" (which does not imply "innate") and also necessarily true. -/- I had made my views clear (...) in courses on philosophy of science and mathematics when teaching at Sussex University (from 1964) which was why one of our former students, Mary Pardoe (then Mary Ensor) who had become a mathematics teacher informed me, while visiting the university, that she had found a new diagrammatic proof of the triangle sum theorem. I reported her proof in some papers and presentations on methods of representation and reasoning, e.g. here, but neither she nor I has encountered anyone else who knew about the proof. (shrink)

Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structural correspondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use (...) of Euler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem to preclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśeṣika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya. (shrink)

Abstraction and generalization are two processes of reasoning that have a special role in the construction of scientific theories and models. They have been important parts of the scientific method ever since the nineteenth century. A philosophical and historical analysis of scientific practices shows how abstraction and generalization found their way into the theory of the logic of science of the nineteenth-century philosopher Charles S. Peirce. Our case studies include the scientific practices of Francis Galton and John Herschel, who (...) introduced composite photographs and graphical methods, respectively, as technologies of generalization and thereby influenced Peirce’s logic of abstraction. Herschel’s account of generalization is further supported by William Whewell, who was very influential on Peirce. By connecting Herschel’s scientific technology of abstraction to Peirce’s logical technology of abstraction—namely, diagrams—we highlight the role of judgments in scientific observation by hypostatic abstractions. We also relate Herschel’s discovery-driven logic of science and Peirce’s open-ended diagrammatic logic to the use of models in science. Ultimately, Peirce’s theory of abstraction is a case of showing how logic applies to reality. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments (...) in a dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Advances in Peircean Mathematics: The Colombian School ed. by Fernando ZalameaGianluca CaterinaFernando Zalamea (Ed.) Advances in Peircean Mathematics: The Colombian School Berlin, Boston: De Gruyter, 2022. 212 pp. (incl. index).The volume Advances in Peircean Mathematics is an important, very much needed contribution towards a deeper understanding of the impact of Peirce's work especially in the fields of mathematics, logic, and semiotic. It fills a gap in the current (...) literature by recasting some of [End Page 373] Peirce's profound mathematical insights into a formal framework. This is a finely edited editorial project, which summarizes the work of more than two decades done by a group of scholars—the Colombian School—lead by Fernando Zalamea, a pioneer of Peirce studies, and pragmatism in general, in Latin America.The structure of the volume unfolds in three dense chapters, each corresponding to a specific mathematical context connected to various aspects of Peirce's work. Broadly speaking, in the first chapter, Gustavo Arengas proposes the theory of higher category theory as a natural framework to represent the main traits of Peirce's semiotic; in the second chapter, Francisco Vargas develops a thorough set-theoretical model of Peirce's continuum; in the third chapter, Arnold Oostra, in a truly Peircean spirit, formalizes the notion of Intuitionistic Existential Graphs, emphasizing the idea that intuitionistic logic is the most natural context to represent and understand Peirce's diagrammatic logic. The fourth and last chapter, penned by Zalamea, provides the reader with a solid summary of the main results presented in the volume along with a robust road map to navigate through the technical details of the text.Mathematics, as implied by the title of the volume, is at the core of this project, and the authors do not shy away from the complexity, details, and depth of it in order to shed light on some of the most fundamental and groundbreaking nature of Peirce's ideas. That level of rigor and formal soundness is certainly one of the strengths of the volume, although readers who may not be acquainted with at least some basic notions of category theory or with the mathematics of Peirce's work, may find some of the text a bit terse—this is not a casual reading and it does require a certain level of commitment in order to appreciate the depth of the provided insights. On the other hand, all the background material is clearly laid out, making the volume a self-contained work which can be thoroughly enjoyed by a general audience.The real upshot of recasting some of Peirce's intuitions within the fabric of formal mathematics is not only that of providing the instruments to clarify those ideas, but also that of highlighting the role that Peirce's work has been playing in the development of modern mathematics in many relevant aspects, from the very genesis of category theory—which today is widely regarded as a necessary and unifying language in several fields of the mathematical and physical sciences—to the development of non-standard analysis, just to mention a few of them.An elegant instance of such perspective is offered by Gustavo Arengas in the first chapter, where it is argued that ∞-categories can be used to model the natural order of hierarchies implicit in Peirce's conception of the basic triadic relation between sign, object, and interpreter. What, at first glance, may seem just a simple analogy, unfolds onto a methodical and enlightening analysis of Peirce's semiotic, as the author builds [End Page 374] the connections with the relevant categorical constructions in a precise manner. Most of the rest of the chapter focuses on Peirce's notions of the pragmatic and pragmaticist maxim, and the use of basic structures such as monads, limits, presheaves and sheaves as the natural environment to better convey their meaning, both from a mathematical and a philosophical perspective. The reader will find it interesting to realize that, by delving deeper into the understanding of the relational nature of category theory, a great chunk of Peirce's work can be seen as fundamentally intertwined with the apparatus and the language of modern mathematics... (shrink)

This article is primarily concerned with Aristotle’s theory of the syllogistic, and the investigation of the hypothesis that logical symbolism and methodology were in these early stages of a geometrical nature; with the gradual algebraization that occurred historically being one of the main reasons that some of the earlier passages on logic may often appear enigmatic. The article begins with a brief introduction that underlines the importance of geometric thought in ancient Greek science, and continues with a short exposition of (...) Aristotle’s views and methods in regard to logic. We then offer an interpretation of syllogisms, as well as of the main proof methods that are utilized by Aristotle, in terms of diagrams that can be seen as analogous to those of Euclidean geometry; where the various proofs proceed by appropriately manipulating an initially drawn diagram, in a way parallel to constructions that occur in Euclid’s Elements. In this way, logic is presented as following, to a large degree, methodological tenets established by the practice of geometry. Finally, we present a diagrammatic decision procedure that allows one to directly read off the validity of syllogisms from a corresponding diagram, in a way such that no further manipulation of it is necessitated. (shrink)

Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an important (...) role in the improvement of critical-thinking skills. While these studies do not offer a direct comparison between the two methods, it is important for anyone wishing to employ argument mapping in the classroom to know that significant results can be obtained even with the most rudimentary of tools. (shrink)