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 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)

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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 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)

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)

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 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 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)

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)

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)

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)

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)

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 book consolidates and extends the authors’ work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge and its prevalent use of mathematics. To find an answer to the question “What kind of experimental activity is the scientific employment of mathematics?” the book addresses the problems involved in formalizing abductive cognition. For this, it implements the concept and (...) method of iconicity, modeling this theoretical framework mathematically through category theory and topoi. Peirce's concept of iconic signs is treated in depth, and it is shown how Peirce's diagrammatic logical notation of Existential Graphs makes use of iconicity and how important features of this iconicity are representable within category theory. Alain Badiou’s set-theoretical model of truth procedures and his relational sheaf-based theory of phenomenology are then integrated within the Peircean logical context. Finally, the book opens the path towards a more naturalist interpretation of the abductive models developed in Peirce and Badiou through an analysis of several recent attempts to reformulate quantum mechanics with categorical methods. Overall, the book offers a comprehensive and rigorous overview of past approaches to iconic semiotics and abduction, and it encompasses new extensions of these methods towards an innovative naturalist interpretation of abductive reasoning. (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)

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 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)

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)

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)

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.

Summary Several subdisciplines within historiography, most notably the arms and armour or martial arts studies, are interested in inferring physical qualities of historical material objects from historical sources. Scholars from these fields face serious deficiency of written accounts when it comes to various crucial information regarding their subject matter. Therefore, researchers’ attention is often drawn to iconographical sources, sometimes resulting in certain fascination with the material culture depicted in primary technical literature (Fachliteratur). This tendency seems particularly strong in studies on (...) HEMA which rely heavily on pre-modern combat treatises known as ‘fight books’ (Fechtbücher) and are tempted either to treat the available iconography as a faithful representation of its corresponding material reality or to interpret apparent mismatch between icono-graphical representations and their material source domain as evidence for the inferior skills of the illustrator. We would like to put forward that there is a fundamental oversight in such approach to Fachliteratur in general and fight books in particular, namely the lack of consideration for the artwork as a diagrammatic representation of the functional aspects of depicted embodied technique, where proportional ‘realism’ is of lesser priority. It may be fruitful to develop a more nuanced method of ‘reading’ such images. Our survey of select late-medieval fight books shows that equipment, and even body parts, are regularly distorted in their depictions in the fight books to better communicate the subject matter, especially where textual descriptions would be complicated. Interpreted in Gestalt terms, this phenomenon may serve as an example of historical pragmatic application of the cognitive principle of holism – that the whole is something different than the sum of its parts. (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)

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)

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)

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)

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)

In the present study, cross-modal (i.e., across sensory modalities such as smell and sound) iconicity (i.e., resemblance) and indexicality (i.e., contiguity) in lexical sensory and emotional signs in Finnish Sign Language will be considered from an articulatory perspective (i.e., the production of signs). Such cross-modal iconicity has not been extensively studied previously, so here, with the help of cognitive semiotics, I aim to carefully describe the cross-modal patterns observed across 118 signs, including 60 sensory signs and 58 emotional signs. The (...) analysis is framed within the theoretical model of Semiotic Hierarchy, which entails a non-reductionist view of meaning. In addition, a pheno-methodological triangulation will be applied: phenomenology (first-person method), literature of phenomenological and semiotic descriptions (second-person perspective) and experimental findings (third-person perspective). The results of this analysis show that (a) 71 of the 118 sensory and emotional signs are cross-modally indexical, (b) only 10 of the 71 signs can be regarded as cross-modally iconic, (c) cross-modal iconicity is highly diagrammatic, (d) iconicity and indexicality are highly integrated, and (e) articulatory feedback matters in the formation of semiotic patterns. This study contributes to our understanding of cross-modal iconicity in signed languages, as well as studies in semiotic systems more generally. (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)

In recent years, academics and educators have begun to use software mapping tools for a number of education-related purposes. Typically, the tools are used to help impart critical and analytical skills to students, to enable students to see relationships between concepts, and also as a method of assessment. The common feature of all these tools is the use of diagrammatic relationships of various kinds in preference to written or verbal descriptions. Pictures and structured diagrams are thought to be (...) more comprehensible than just words, and a clearer way to illustrate understanding of complex topics. Variants of these tools are available under different names: “concept mapping”, “mind mapping” and “argument mapping”. Sometimes these terms are used synonymously. However, as this paper will demonstrate, there are clear differences in each of these mapping tools. This paper offers an outline of the various types of tool available and their advantages and disadvantages. It argues that the choice of mapping tool largely depends on the purpose or aim for which the tool is used and that the tools may well be converging to offer educators as yet unrealised and potentially complementary functions. (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.

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)

This special issue of Synthese on Peirce’s Logic and Philosophy of Language collects papers by Rocco Gangle & Gianluca Caterina, Chuangshen He, Risto Hilpinen, Matthew Moore, Charles S. Peirce, Ahti-Veikko Pietarinen and Frederik Stjernfelt.Charles Sanders Peirce was a scientist, philosopher, mathematician and semiotician, as well as one of the undisputed giants in the founding of modern logic. He advanced virtually endless areas in exact sciences. He worked throughout his long career as a scientist, logician, philosopher, mathematician, and meaning analyst. As (...) an advocate of developing and applying new methods and theories to improve logical analysis, his innovations included algebraic methods, quantification theory, semantics and pragmatics of communication, ethics and philosophy of notation, as well as comprehensive systems of diagrammatic logics which he termed existential graphs. Peirce held an exceptionally wide conception of logic, conceived as semeiotic, which he to .. (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)