Hak San 鶴山 Yi Jeong-ho 李正浩 conceptualized and drew the “Hunminjeongeum-do” 訓民正音圖 (Diagram of Hunminjeongeum) using the basic initial consonants and 11 medial vowels of Hunminjeongeum 訓民正音 (It is the Korean alphabet, also called Hangeul). In the process, he added several strokes that were not part of the 28 letters of Hunminjeongeum to the “Hunminjeongeum-do” to emphasize the shapes of stars. This was intended to demonstrate the similarity between the “ Hunminjeongeum-do” and the (...) “Jeongyeok Eight Trigrams Diagram” (正易八卦圖), thereby suggesting that the Zhouyi 周易 philosophy embedded in the creation of Hunminjeongeum inherently contains the Jeongyeok 正易 (Correct Zhouyi) philosophy. Furthermore, he created the Celestial Diagram of Hunminjeongeum using the 28 Lunar Mansions of the ecliptic, which he referred to as the Jeongeum cheonmun-do 正音天文圖. In this diagram, he included the two central positions, elevated as the Emperor of Heaven and the Great Emperor, and applied a 30- day month calendar using all of these elements. In fact, it is based on the discussion in the Jeongyeok regarding the “Diagram of the 28 Lunar Mansions’ Energy Flow chart” (二十八宿運氣圖). The Jeongeum cheonmun-do can be found to contain similar concepts to those in the records of astronomical calendrical science from the Lüshi chunqiu 呂氏春秋, written during the Warring States period in China, and the “ Yaodian” 堯典 chapter of the Shujing 書經. Moreover, it is closely related to the circular diagram of the Fuxi 64 Hexagrams and also shares commonality with the star illustrations found in the Cheonsang yeolcha bunyajido 天象列次分 野之圖, a celestial map engraved in the early Joseon Dynasty. Haksan sought to demonstrate through the Jeongeum cheonmundo that ‘the intention of King Sejong, the Sage King, to illuminate the Heavenly Way and care for the affairs of the people upon his ascension to the throne is revealed in the creation of the miraculous letters Hunminjeongeum, and that the spirit of its creation embodies the Confucian concept of the Heavenly Way.’. (shrink)

Volume 34, Issue 4, December 2024, Page 527-560.

Volume 34, Issue 4, December 2024, Page 527-560.

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...) of a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

In a multi-study naturalistic quasi-experiment involving 269 students in a semester-long introductory philosophy course, we investigated the effect of teaching argument diagramming on students’ scores on argument analysis tasks. An argument diagram is a visual representation of the content and structure of an argument. In each study, all of the students completed pre- and posttests containing argument analysis tasks. During the semester, the treatment group was taught AD, while the control group was not. The results were that among the (...) different pretest achievement levels, the scores of low-achieving students who were taught AD increased significantly more than the scores of low-achieving students who were not taught AD, while the scores of the intermediate- and high-achieving students did not differ significantly between the treatment and control groups. The implication of these studies is that learning AD significantly improves low-achieving students’ ability to analyze arguments. (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)

Biologists depend on visual representations, and their use of diagrams has drawn the attention of philosophers, historians, and sociologists interested in understanding how these images are involved in biological reasoning. These studies, however, proceed from identification of diagrams on the basis of their spare visual appearance, and do not draw on a foundational theory of the nature of diagrams as representations. This approach has limited the extent to which we under- stand how these diagrams are involved in biological reasoning. In (...) this paper, I characterize three different kinds of figures among those previously identified as diagrams. The features that make these figures distinctive as representational types, furthermore, illuminate the ways in which they are involved in biological reasoning. (shrink)

This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* (...) theory of diagrams*, that it helps to overcome the rivalry between set theory and category theory as a general semantical framework, and that it suggests a more flexible understanding of the opposition between formal proofs and diagrammatic reasoning. Thus, the aim of the paper is twofold. First, it claims that diagrams* provide a clear example of evolving diagrams, and shed light on them as a general phenomenon. Second, in return, it uses sketches, understood as evolving diagrams, to show how diagrams* in general should be re-evaluated positively. (shrink)

There is substantial evidence from many domains that visual representations aid various forms of cognition. We aimed to determine whether visual representations of argument structure enhanced the acquisition and development of critical thinking skills within the context of an introductory philosophy course. We found a significant effect of the use of argument diagrams, and this effect was stable even when multiple plausible correlates were controlled for. These results suggest that natural⎯and relatively minor⎯modifications to standard critical thinking courses could provide substantial (...) increases in student learning and performance. (shrink)

Linear diagrams (sometimes called ‘Line diagrams’) have an old history. Their past supporters include distinguished logicians such as Leibniz, Lambert and (J. N.) Keynes. Although circular diagrams...

This book investigates a number of central problems in the philosophy of Charles Peirce grouped around the realism of his semiotics: the issue of how sign systems are developed and used in the investigation of reality. Thus, it deals with the precise character of Peirce's realism; with Peirce's special notion of propositions as signs which, at the same time, denote and describe the same object. It deals with diagrams as signs which depict more or less abstract states-of-affairs, facilitating reasoning about (...) them; with assertions as public claims about the truth of propositions. It deals with iconicity in logic, the issue of self-control in reasoning, dependences between phenomena in their realist descriptions. A number of chapters deal with applied semiotics: with biosemiotic sign use among pre-human organisms: the multimedia combination of pictorial and linguistic information in human semiotic genres like cartoons, posters, poetry, monuments. All in all, the book makes a strong case for the actual relevance of Peirce's realist semiotics. (shrink)

In this paper, I explore general features of the “architecture” (relations of white space, diagram, and text on the page) of medieval manuscripts and early printed editions of Euclidean geometry. My focus is primarily on diagrams in the Arabic transmission, although I use some examples from both Byzantine Greek and medieval Latin manuscripts as a foil to throw light on distinctive features of the Arabic transmission. My investigations suggest that the “architecture” often takes shape against the backdrop of an (...) educational landscape. The constraints of the economic marketplace and cultural aesthetic ideals also appear to play a role in determining the “architecture” of both manuscripts and early printed editions. (shrink)

We all intuitively know what a diagram is, and still it is surprisingly difficult to describe it as a semiotic function or type. In this article, we present four groups of hypotheses in view of a clarification. We hypothesize: (1) That diagrams are signs of a distinct type, unknown to classical semiotics; (2) That the elementary graphs of a diagram are all derived fromlines and pointsintopologicalmental spaces. The mind applies these diagrammatic spaces to referential spaces in many ways, (...) but basically through conceptual integration (blending). The mind blends topology and reference, which makes the topology unnoticeable; (3) That elementary diagrammatic graphs constitute a natural, phenomenological, spatiotemporal, figurative and dynamic but informal geometry in the embodied, thinking mind; (4) That diagrammatic signs are the active components of the abstract mental figuration in working memory that accompany perception and deliver the schematizing ideas which invest and connect our categories and construe proper descriptive, narrative, patterns of inferentialthoughtand programs of sensorimotor and social action. (shrink)

Six characteristics of effective representational systems for conceptual learning in complex domains have been identified. Such representations should: (1) integrate levels of abstraction; (2) combine globally homogeneous with locally heterogeneous representation of concepts; (3) integrate alternative perspectives of the domain; (4) support malleable manipulation of expressions; (5) possess compact procedures; and (6) have uniform procedures. The characteristics were discovered by analysing and evaluating a novel diagrammatic representation that has been invented to support students' comprehension of electricity—AVOW diagrams (Amps, Volts, Ohms, (...) Watts). A task analysis is presented that demonstrates that problem solving using a conventional algebraic approach demands more effort than AVOW diagrams. In an experiment comparing two groups of learners using the alternative approaches, the group using AVOW diagrams learned more than the group using equations and were better able to solve complex transfer problems and questions involving multiple constraints. Analysis of verbal protocols and work scratchings showed that the AVOW diagram group, in contrast to the equations group, acquired a coherently organised network of concepts, learnt effective problem solving procedures, and experienced more positive learning events. The six principles of effective representations were proposed on the basis of these findings. AVOW diagrams are Law Encoding Diagrams, a general class of representations that have been shown to support learning in other scientific domains. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell cycle and (...) facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

This chapter provides a survey of issues about diagrams in traditional geometrical reasoning. After briefly refuting several common philosophical objections, and giving a sketch of diagram-based reasoning practice in Euclidean plane geometry, discussion focuses first on problems of diagram sensitivity, and then on the relationship between uniform treatment and geometrical generality. Here, one finds a balance between representationally enforced unresponsiveness (to differences among diagrams) and the intellectual agent's contribution to such unresponsiveness that is somewhat different from what one (...) has come to expect in modern logic. Finally, challenges and opportunities for further work are indicated. (shrink)

Not simply set out in accompaniment of the Greek geometrical text, the diagram also is coaxed into existence manually (using straightedge and compasses) by commands in the text. The marks that a diligent reader thus sequentially produces typically sum, however, to a figure more complex than the provided one and also not (as it is) artful for being synoptically instructive. To provide a figure artfully is to balance multiple desiderata, interlocking the timelessness of insight with the temporality of construction. (...) Our account of the diagram complements those of Manders and Macbeth by more strongly emphasizing practical synthesis. (shrink)

This article discusses the role of diagrams in mathematical reasoning in the light of a case study in analysis. In the example presented certain combinatorial expressions were first found by using diagrams. In the published proofs the pictures were replaced by reasoning about permutation groups. This article argues that, even though the diagrams are not present in the published papers, they still play a role in the formulation of the proofs. It is shown that they play a role in concept (...) formation as well as representations of proofs. In addition we note that 'visualization' is used in two different ways. In the first sense 'visualization' denotes our inner mental pictures, which enable us to see that a certain fact holds, whereas in the other sense 'visualization' denotes a diagram or representation of something. (shrink)

This article presents diagrams developed from the insights of three middle school children with limited mobility about their experiences navigating social and spatial relations in their home, school and neighbourhoods. The paper explores the concept of assemblage as well as operationalising the Deleuzian idea of the diagram. The diagrams we produce are developed in connection with dominant idealisations of neighbourhood and home range that function in North America to choreograph children's progression from infancy through adolescence. We undertake this diagramming (...) in order to immediately and affectively illustrate the limits and possibilities of the challenges these young people face. (shrink)

From the mid-1600s to the beginning of the eighteenth century, there were two main circles of German scholars which focused extensively on diagrammatic reasoning and representation in logic. The first circle was formed around Erhard Weigel in Jena and consists primarily of Johann Christoph Sturm and Gottfried Wilhelm Leibniz; the second circle developed around Christian Weise in Zittau, with the support of his students, particularly Samuel Grosser and Johann Christian Lange. Each of these scholars developed an original form of using (...) geometric diagrams in logic. In this paper, I will trace the historical notes of John Venn and other modern logicians back to the original works published in the Weigel and Weise circles and describe the development of using geometric figures for logical reasoning and representation in that period of time. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for (...) a taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

Bayesian networks (BN) and argumentation diagrams (AD) are two predominant approaches to legal evidential reasoning, that are often treated as alternatives to one another. This paper argues that they are, instead, complimentary and proposes the beginnings of a method to employ them in such a manner. The Bayesian approach tends to be used as a means to analyse the findings of forensic scientists. As such, it constitutes a means to perform evidential reasoning. The design of Bayesian networks that accurately and (...) comprehensively represent the relationships between investigative hypotheses and evidence remains difficult and sometimes contentious, however. Argumentation diagrams are representations of reasoning, and are used as a means to scrutinise reasoning (among other applications). In evidential reasoning, they tend to be used to represent and scrutinise the way humans reason about evidence. This paper examines how argumentation diagrams can be used to scrutinise Bayesian evidential reasoning by developing a method to extract argument diagrams from BN. (shrink)

This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light (...) on the semantic behaviour of some non-classical and modal logics. (shrink)

Molecular biologists and biochemists often use diagrams to present hypotheses. Analysis of diagrams shows that their content can be expressed with linguistic representations. Why do biologists use visual representations instead? One reason is simple comprehensibility: some diagrams present information which is readily understood from the diagram format, but which would not be comprehensible if the same information was expressed linguistically. But often diagrams are used even when concise, comprehensible linguistic alternatives are available. I explain this phenomenon by showing why (...) diagrammatic representation is especially well suited for a particular kind of explanation common in molecular biology and biochemistry: namely, functional analysis, in which a capacity of the system is explained in terms of capacities of its component parts. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and function (...) of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

The way from the path integral to Feynman diagrams is sketched. The emphasis is put on the decrease of complexity in this process, from infinite-dimensional integrals down to the apparent simplicity of child’s play. On the other hand, also the subsequent increase in complexity when using Feynman diagrams to make realistic physical predictions is described, thus illustrating the dialectic between the simplicity and clarity of Feynman diagrams, and the complexity in their practical applications.

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind (...) does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, (...) we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning. (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)

In this paper we introduce a recursive notation system $O(\mu)$ of ordinals. An element of the notation system is called an ordinal diagram following G. Takeuti [25]. The system is designed for proof theoretic study of theories of recursively Mahlo universes. We show that for each $\alpha<\Omega$ in $O(\mu)$ KPM proves that the initial segment of $O(\mu)$ determined by $\alpha$ is a well ordering. Proof theoretic study for such theories will be reported in [9].