The way in which one understands information and concepts, and the way a student works to develop this, is an individual aspect of learning that cannot be universally defined as (at least manifested) the same for everyone. ‘Understanding’ is a broad term, and the way one achieves understanding is dependent on the way that material is presented. In this article, we argue that the philosophy of science can be important to nursing education—in particular, by showing that the way we imbue (...) understanding might depend on the meaning of ‘understanding’. Diagrams and concept maps are meant to guide newly formed knowledge and connections to develop proper thinking (e.g., the order in which nursing students must prioritize data) that a student requires in the field. We argue that whether or not an image/diagram/concept map confers understanding will depend on both what the object is and what we mean by ‘understanding’. (shrink)

Diagrams are ubiquitous in mathematics. From the most elementary class to the most advanced seminar, in both introductory textbooks and professional journals, diagrams are present, to introduce concepts, increase understanding, and prove results. They thus fulfill a variety of important roles in mathematical practice. Long overlooked by philosophers focused on foundational and ontological issues, these roles have come to receive attention in the past two decades, a trend in line with the growing philosophical interest in actual mathematical practice.

What is the primacy of logic? Concepts, judgments, or inferences? Whereas representationalists traditionally argue for a primacy of the conceptual, rationalists, referring to the context principle and the use theory of meaning, consider judgments and inferences to be primary. This dispute also seems to be applicable to logic diagrams: Whereas “Euler-type diagrams” are actually only for judgments and inferences, “concept diagrams” represent ontologies by using concepts. With reference to Schopenhauer, the paper develops a position called “rational representationalism.” According to this (...) point of view, the question of primacy is decided by analyzing the functions of the logic principles: For the explanation of logic and language, concepts are primary, but for understanding it is judgments. The mediation between intuitive representation and logical rationality is ensured by concept diagrams. (shrink)

Many systems of logic diagrams have been offered both historically and more recently. Each of them has clear limitations. An original alternative system is offered here. It is simpler, more natural, and more expressively and inferentially powerful. It can be used to analyze not only syllogisms but arguments involving relational terms and unanalyzed statement terms.

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)

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)

In this paper we introduce a recursive notation system O(Π 3 ) of ordinals. An element of the notation system is called an ordinal diagram. The system is designed for proof theoretic study of theories of Π 3 -reflection. We show that for each $\alpha in O(Π 3 ) a set theory KP Π 3 for Π 3 -reflection proves that the initial segment of O(Π 3 ) determined by α is a well ordering. Proof theoretic study for such (...) theories will be reported in [4]. (shrink)

We contend that diagrams are tools not only for communication but also for supporting the reasoning of biologists. In the mechanistic research that is characteristic of biology, diagrams delineate the phenomenon to be explained, display explanatory relations, and show the organized parts and operations of the mechanism proposed as responsible for the phenomenon. Both phenomenon diagrams and explanatory relations diagrams, employing graphs or other formats, facilitate applying visual processing to the detection of relevant patterns. Mechanism diagrams guide reasoning about how (...) the parts and operations work together to produce the phenomenon and what experiments need to be done to improve on the existing account. We examine how these functions are served by diagrams in circadian rhythm research. (shrink)

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically correct way (...) theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (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)

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)

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)

From his earliest student days through the writing of his last book, Charles Darwin drew diagrams. In developing his evolutionary ideas, his preferred form of diagram was the tree. An examination of several of Darwin’s trees—from sketches in a private notebook from the late 1830s through the diagram published in the Origin—opens a window onto the role of diagramming in Darwin’s scientific practice. In his diagrams, Darwin simultaneously represented both observable patterns in nature and conjectural narratives of evolutionary (...) history. He then brought these natural patterns and narratives into dialogue, allowing him to explore whether the narratives could explain the patterns. But Darwin’s diagrams did not reveal their meaning directly to passive readers; they required readers to engage dynamically with them in order to understand the connections they disclosed between patterns and narratives. Moreover, the narratives Darwin depicted in his diagrams did not represent past sequences of events that he claimed had actually occurred; the narratives were conjectural, schematic, and probabilistic. Instead of depicting actual histories in all their particularity, Darwin depicted narratives in his diagrams in order to make general claims about how nature works. The conjunction of these features of Darwin’s diagrams is central to how they do their epistemic work. (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 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 paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...) an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (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)

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)

Based on a typology of five basic forms of abduction, I propose a new definition of abductive insight that empha sizes in particular the inferential structure of a belief system that is able to explain a phenomenon after a new, abductive ly created component has been added to this system or the entire system has been abductively restructured. My thesis is, first, that the argumentative structure of the pursued problem solution guides abductive creativity and, second, that diagrammatic reasoning—if conceptualized according (...) to the requirements defined by Charles Peirce—can support this guidance. This support is mainly possible based on the normative power of the system of representation that has to be used to construct diagrams and to perform experiments with them. (shrink)

Diagrams have played an important role throughout the entire history of differential equations. Geometrical intuition, visual thinking, experimentation on diagrams, conceptions of algorithms and instruments to construct these diagrams, heuristic proofs based on diagrams, have interacted with the development of analytical abstract theories. We aim to analyze these interactions during the two centuries the classical theory of differential equations was developed. They are intimately connected to the difficulties faced in defining what the solution of a differential equation is and in (...) describing the global behavior of such a solution. (shrink)

Proposition I.1 is, by far, the most popular example used to justify the thesis that many of Euclid’s geometric arguments are diagram-based. Many scholars have recently articulated this thesis in different ways and argued for it. My purpose is to reformulate it in a quite general way, by describing what I take to be the twofold role that diagrams play in Euclid’s plane geometry (EPG). Euclid’s arguments are object-dependent. They are about geometric objects. Hence, they cannot be diagram-based (...) unless diagrams are supposed to have an appropriate relation with these objects. I take this relation to be a quite peculiar sort of representation. Its peculiarity depends on the two following claims that I shall argue for: ( i ) The identity conditions of EPG objects are provided by the identity conditions of the diagrams that represent them; ( ii ) EPG objects inherit some properties and relations from these diagrams. (shrink)

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the truth (...) value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

In the recent debate on future contingents and the nature of the future, authors such as G. A. Boyd, W. L. Craig, and E. Hess have made use of various logical notions, such as the Aristotelian relations of contradiction and contrariety, and the ‘open future square of opposition.’ My aim in this paper is not to enter into this philosophical debate itself, but rather to highlight, at a more abstract methodological level, the important role that Aristotelian diagrams can play in (...) organizing and clarifying the debate. After providing a brief survey of the specific ways in which Boyd and Hess make use of Aristotelian relations and diagrams in the debate on the nature of the future, I argue that the position of open theism is best represented by means of a hexagon of opposition. Next, I show that on the classical theist account, this hexagon of opposition ‘collapses’ into a single pair of contradictory statements. This collapse from a hexagon into a pair has several aspects, which can all be seen as different manifestations of a single underlying change. (shrink)

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)

Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to (...) give a natural explanation of Saccheri’s proofs as well as standard geometric proofs and even number-theoretic proofs. (shrink)

Biologists often hypothesize mechanisms to explai phenomena. Our interest is how their understanding of the phenomena and mechanisms develops as they construct diagrams to communicate their claims. We present two case studies in which scientists integrate various data to create a single diagram to communicate their major conclusions in a research publication. In both cases, the history of revisions suggests that scientists' initial drafts encode biases and oversights that are only gradually overcome through prolonged, reflective re-design. To account for (...) this, we suggest that scientists only develop a unitary understanding of their results through their attempts to communicate them. (shrink)

Arguments with what are called "independent" or "convergent" premises are typically diagrammed by using an arrow between each premise and the conclusion. This makes diagramming objections to the reasoning difficult. It also obscures differences in argument structure. I suggest that a single arrow should be used for such arguments and that this is so even in the extreme form of independent premises when the argument is entirely unstructured. I then discuss the diagramming of objections.

This contribution examines the role of diagrams in early modern pedagogy. It begins with an analysis of images from the 1632 Dialogo and 1638 Discorsi. I claim that Galileo often employed images in a pedagogical context, illustrating to readers through his dialogue how he may have used images in his own teaching. Building on the work of previous historians, I argue that a classification of Galileo’s images should include not only heuristic images and images used for virtual witnessing, but also (...) pedagogical images designed to illustrate to the reader (or student) how to reach conclusions about a given question. I then turn to the way Galileo’s readers at the University of Pisa employed Galileo’s images in their own teaching. I argue that Galileo’s readers employed his images in their own works in ways which reflected their training and the genre in which they wrote and taught. (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)

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces to established notations for which verification is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable of expressing certain context-free and context-sensitive properties. It shows that verification is decidable for properties expressible in this logic. More specifically, it shows that (...) containment of -regular languages generated by Büchi automata in timing diagram languages is decidable. The result relies on a correlation between timing diagram and reversal bounded counter machine languages. (shrink)

Some very good arguments can be given in favor of the Augustinean wisdom, according to which it is impossible to provide a satisfactory definition of the concept of time. However, even in the absence of a proper definition, it is possible to deal with conceptual problems regarding time. It can be done in terms of analogies and metaphors. In particular, it is attractive to make use of Peirce's diagrams by means of which various kinds of conceptual experimentation can be carried (...) out. This paper investigates how Peircean diagrams can be used within the study of time. In particular, we discuss 1) the topological properties of time, 2) the implicative structure in tense logic, 3) the notions of open future and branching time models, and finally 4) tenselogical alternatives to branching time models. (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)

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)

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)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore (...) the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly judged an (...) inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (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)

Abstract The artwork of Joseph Beuys was provocative in his time. Although he was very successful on the international art scene and on the art market, the larger The public is still bewildered by his Fat Chair or his installations and his performances. The article shows the evolution of his artwork from classical materials (stone, steel) to soft materials (animals, products of animals) and further to his concept of “social sculpture” and to programmatic diagrams (with words and graphics). A special (...) point of interest is the transition towards language (phonic and conceptual), the philosophy of art exposed in his drawings, and diagrams and the relation between art and science in his artwork. (shrink)

In this paper, I take up the following puzzle: If Feynman diagrams represent states of affairs, but do not do so truthfully what can their epistemic value be? I argue that Feynman diagrams have been epistemically powerful (at least in part) because, as pictorial representations, they facilitate an understanding of quantum electrodynamics, and quantum field theories more generally. Drawing on Richard Feynman’s own remarks and Catherine Z. Elgin’s account of the role of understanding in science, I tease out what it (...) might mean to have an understanding of something that is not factive. Although my approach allows for a thin sense of substantively non-factive epistemic success, it is continuous with a factive sense of understanding that is more familiar in the sciences. (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)

What potential can be found in the work of Deleuze and Guattari for critical legal scholarship? The authors argue that their work can be deployed to re-think ‘critique’ by directly addressing the place and role of the ‘critic’. It is argued that the continued commitment to a stance of ‘resistance’ in CLS is underpinned by never-ending dualisms which, if not confronted and replaced, can only make CLS ever more redundant. The authors ask: ‘what is critique beyond the dualism of power (...) and resistance, of state and nomad?’ This question arises from a belief that critique is still capable of being effective, but only if there is the courage to experiment, and to think creatively. In this sense, the ‘exhaustion’ of critique is framed as an opportunity to re-think and re-engage with the politics of law. The paper diagrams, through image and film, a critical thought: the potential of the artisan. Film is utilised not as representation, nor as illustration, but as a thinking mind in its own right, through which questions relating to the state, political action, and creative thinking can be framed. Such a re-framing is essential, it is argued, for an engagement with the emergence of societies of control. (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].

The recent wave of data on exoplanets lends support to METI ventures (Messaging to Extra-Terrestrial Intelligence), insofar as the more exoplanets we find, the more likely it is that “exominds” await our messages. Yet, despite these astronomical advances, there are presently no well-confirmed tests against which to check the design of interstellar messages. In the meantime, the best we can do is distance ourselves from terracentric assumptions. There is no reason, for example, to assume that all inferential abilities are language-like. (...) With that in mind, I argue that logical reasoning does not have to be couched in symbolic notation. In diagrammatic reasoning, inferences are underwritten, not by rules, but by transformations of self-same qualitative signs. I use the Existential Graphs of C. S. Peirce to show this. Since diagrams are less dependent on convention and might even be generalized to cover non-visual senses, I argue that METI researchers should add some form of diagrammatic representations to their repertoire. Doing so can shed light, not just on alien minds, but on the deepest structures of reasoning itself. (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)

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)

The representational epistemic approach to the design of visual displays and notation systems advocates encoding the fundamental conceptual structure of a knowledge domain directly in the structure of a representational system. It is claimed that representations so designed will benefit from greater semantic transparency, which enhances comprehension and ease of learning, and plastic generativity, which makes the meaningful manipulation of the representation easier and less error prone. Epistemic principles for encoding fundamental conceptual structures directly in representational schemes are described. The (...) diagrammatic recodification of probability theory is undertaken to demonstrate how the fundamental conceptual structure of a knowledge domain can be analyzed, how the identified conceptual structure may be encoded in a representational system, and the cognitive benefits that follow. An experiment shows the new probability space diagrams are superior to the conventional approach for learning this conceptually challenging topic. (shrink)

Scientists use a variety of modes of representation in their work, but philosophers have studied mainly sentences expressing propositions. I ask whether diagrams are mere conveniences in expressing propositions or whether they are a distinct, ineliminable mode of representation in scientific texts. The case of path analysis, a statistical method for quantitatively assessing the relative degree of causal determination of variation as expressed in a causal path diagram, is discussed. Path analysis presents a worst case for arguments against eliminability (...) since path diagrams are usually presumed to be mathematically or logically “equivalent” in an important sense to sets of linear path equations. I argue that path diagrams are strongly generative, i.e., that they add analytical power to path analysis beyond what is supplied by linear equations, and therefore that they are ineliminable in a strong scientific sense. (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)

For Viennese artist Florian Pumhösl »abstraction is a method«, not a category. Or rather, if abstraction is the defining category of modernism, the objective is to reproduce modernism's problems and limits and exploit relationships among its parts. Considering what Pumhösl calls the »textile complex« of modernism, this essay examines the artist's work in parallel with Charles Sanders Peirce's diagram concept and Gottfried Semper's use of textile diagrams throughout Style in the Technical and Tectonic Arts.