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)
This article attends to Deleuze and Guattari's idea of a ‘minor literature’ as well as to Deleuze's concepts of the figural, probe-heads and the diagram in relation to Bacon's paintings. The paper asks specifically what might be usefully taken from this Deleuze–Bacon encounter for the expanded field of contemporary art practice.
What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...) Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains. (shrink)
This article aims to consider how the ‘diagram’ or ‘little machine’ is integral to the dissociative, at once polyvocal and polymorphous writing that marks the work of Blanchot and that, in turn, informs the disjunctive – hence critical and productive – operation within the register of Deleuze's writings on cinema. I shall consider a number of Deleuze's ‘keywords’ or recurring formulas as diagrams, that is, as intermediate configurations at once visual and lexical, in order to show how, like rebuses (...) or ideograms, they form collisions and ruptures of voice and graphic form, in order to bring forward the ‘outside’ of thought – what cannot be put into language yet is conveyed in language. (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 reports the results of an experiment involving 108 college students with varying backgrounds in biology. Subjects answered questions about the evolutionary history of sets of hominid and equine taxa. Each set of taxa was presented in one of three diagrammatic formats: a noncladogenic diagram found in a contemporary biology textbook or a cladogram in either the ladder or tree format. As predicted, the textbook diagrams, which contained linear components, were more likely than the cladogram formats to yield (...) explanations of speciation as an anagenic process, a common misconception among students. In contrast, the branching cladogram formats yielded more appropriate explanations concerning levels of ancestry than did the textbook diagrams. Although students with stronger backgrounds in biology did better than those with weaker biology backgrounds, they generally showed the same effects of diagrammatic format. Implications of these results for evolution education and for diagram design more generally are discussed. (shrink)
We prove that in many situations it is consistent with ZFC that part of the invariants involved in Cichon's diagram are equal to κ while the others are equal to λ, where $\kappa < \lambda$ are both arbitrary regular uncountable cardinals. We extend some of these results to the case when λ is singular. We also show that $\mathrm{cf}(\kappa_U(\mathscr{L})) < \kappa_A(\mathscr{M})$ is consistent with ZFC.
Some cardinal invariants from Cichon's diagram can be characterized using the notion of cut-and-choose games on cardinals. In this paper we give another way to characterize those cardinals in terms of infinite games. We also show that some properties for forcing, such as the Sacks Property, the Laver Property and ω ω -boundingness, are characterized by cut-and-choose games on complete Boolean algebras.
In this article, the diagram is used to chart the movement from Deleuze's transcendental empiricism and engagement with structuralism in the 1960s to Deleuze and Guattari's ethico-aesthetic constructivism of the 1970s and 1980s. This is shown to culminate in a biopolitical critique and decoding of philosophy, which is part of the unfolding of a transdisciplinary research programme where art is seen to come ontologically ahead of philosophy.
We conclude the discussion of additivity, Baire number, uniformity, and covering for measure and category by constructing the remaining 5 models. Thus we complete the analysis of Cichon's diagram.
We make a more systematic study of the van Douwen diagram for cardinal coefficients related to combinatorial properties of partitions of natural numbers.
The authors investigated whether college students possess abstract rules concerning the applicability conditions for three spatial diagrams that are important tools for thinking—matrices, networks, and hierarchies. A total of 127 students were asked to select which type of diagram would be best for organising the information in each of several short scenarios. The scenarios were written using three different story contexts: (a) neutral, presenting a real-life situation but not cueing a particular representation; (b) abstract, presenting only variable names and (...) relations; and (c) incongruent, in which the context and informational structure cued different representations. The results indicated above-chance performance on the abstract scenarios, as well as comparable performance on the abstract and neutral context scenarios. In a follow-up study in which eight students thought out loud while selecting diagrams for the abstract scenarios, there were almost no references to concrete examples. The results of these studies suggest that students possess abstract rules concerning the applicability conditions for matrices, networks, and hierarchies. (shrink)
This article tracks the historical emergence of a new visual convention in the representation of the risks associated with climate change. The “reasons for concern” or “burning embers” diagram has become a prominent visual element of the climate change debate. By drawing on a number of cultural resources, the image has gained a level of discursive power which has resulted both in material mobility and epistemic transformation as the diagram itself has become a tool for a variety of (...) actors to reason with. The case brings to light a number of challenges associated with attempts to know and visualize abstract concepts such as risk and danger, including the social organisation of knowledge production and the role of expert judgment in contexts where science is asked to retreat from normativity. (shrink)
System -- Black line, white surface -- Gilles Deleuze's diagram (complicated by a comparison to Immanuel Kant's schema) -- The extraordinary contraction -- Skin, aesthetics, incarnation : Deleuze's diagram of Francis Bacon : an epilogue.
In an article in the Journal of Philosophical Logic in 1996, “Towards a Model Theory of Venn Diagrams,” (Vol. 25, No. 5, pp. 463–482), Hammer and Danner proved the full completeness of Shin’s formal system for reasoning with Venn Diagrams. Their proof is eight pages long. This note gives a brief five line proof of this same result, using connections between diagrammatic and sentential representations.
After explaining general characteristics such as overspecification, found in the diagrams of Greek manuscripts of Euclid’s Elements, diagrams in some propositions of Book III are examined in detail. Codex P (Vat. gr. 190) and b (Bologna) are common in avoiding overspecification in a couple of propositions. However, further examination of diagrams of Book III in other manuscripts including those in the Arabic tradition, and collation of the text suggest that the common feature in the diagrams of codex P and b (...) is rather due either to independent efforts to avoid overspecification or to contamination of traditions. It is codex F (Florence, Laurenziana 28.3) that most often coincides with codex P in Book III. (shrink)
Translations across symbolic forms necessarily involve shifts and transformations of meaning due to the logic of the medium. They challenge us to examine fundamental metaphors as an aspect of design reasoning, particularly in relation to the construction of spatial relationships and meanings. They also involve the exploration of diagrams as a way of moving from the space of linguistic description to architectural space where topology and visual image are tightly interfaced. In this paper, Terragni's unrealized design for a monument to (...) Dante, which projects The Divine Comedy into an architectural schema is examined as a case study. The Divine Comedy is treated as an expanded body of work that includes, in addition to the original text, a multitude of paintings, as well as Terragni's project. The paper draws a distinction between transformations of meaning that arise of necessity due to the internal logic of symbolic forms and transformations which manifest specific design intentions. The Divine Comedy with its compositional, numerological, and descriptive attributes forms the program for the architectural project. Nevertheless, as in any project, the program does not, in itself, generate architecture. This paper shows that in the Danteum project three major operations are involved in design synthesis. The first inflects the familiar metaphor of the column as a body. The second uses recursive 'extreme to mean ratio' proportions to establish nesting, repetition and scaling, and through these a sense of unity. The third uses a pattern of overlapping squares so as to create a dialogue between strongly differentiated interiors and transitional zones. These operations in conjunction with the compositional and narrative aspects of the poem interpreted as program make the translation from linguistic space to architectural space possible. Thus, in this case, design formulation is not based on a single metaphor, but rather on a system of metaphors working together to bring physical elements, spatial relationships and design operations within a coherent framework of design reasoning. (shrink)
For an Aristotelian observer, the halo is a puzzling phenomenon since it is apparently sublunary, and yet perfectly circular. This paper studies Aristotle's explanation of the halo in Meteorology III 2-3 as an optical illusion, as opposed to a substantial thing (like a cloud), as was thought by his predecessors and even many successors. Aristotle's explanation follows the method of explanation of the Posterior Analytics for "subordinate" or "mixed" mathematical-physical sciences. The accompanying diagram described by Aristotle is one of (...) the earliest lettered geometrical diagrams, in particular of a terrestrial phenomenon, and versions of it can still be found in modern textbooks on meteorological optics. (shrink)
Sewall Wright's adaptive landscape is the most influential heuristic in evolutionary biology. Wright's biographer, Provine, criticized Wright's adaptive landscape, claiming that its heuristic value is dubious because of deep flaws. Ruse has defended Wright against Provine. Ruse claims Provine has not shown Wright's use of the landscape is flawed, and that, even if it were, it is heuristically valuable. I argue that both Provine's and Ruse's analyses of the adaptive landscape are defective and suggest a more adequate understanding of it.
Sewall Wright’s adaptive landscape is the most influential heuristic in evolutionary biology. Wright’s biographer, Provine, criticized Wright’s adaptive landscape, claiming that its heuristic value is dubious because of deep flaws. Ruse has defended Wright against Provine. Ruse claims Provine has not shown Wright’s use of the landscape is flawed, and that, even if it were, it is heuristically valuable. I argue that both Provine’s and Ruse’s analyses of the adaptive landscape are defective and suggest a more adequate understanding of it.
We respond to Jack Vromen’s (this issue) critique of our discussion of the missing micro-foundations of work on routines and capabilities in economics and management research. Contrary to Vromen, we argue that (1) inter-level relations can be causal, and that inter-level causal relations may also obtain between routines and actions and interactions; (2) there are no macro-level causal mechanisms; and (3) on certain readings of the notion of routines and capabilities, these may be macro causes.
Modern poetics takes one crucial turn through Ezra Pound’s notion of the “ideogram,” a concept that had a lasting impact through the Imagists andtheir influence. The ideogram borrows from Pound’s ideas about Chinese characters, their ability to condense complex representation into a figuredform in an economic but resonant image. By contrast, the compositional technique embodied in French poet Stéphane Mallarmé’s unique work, UnCoup de Dés, can be characterized as “diagrammatic,” driven by semantic relations expressed spatially in a distributed field. This (...) essay explores thatdiagrammatic work and it implications as a compositional technique. (shrink)
Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...) the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (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)
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)
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)
This paper investigates the following question: when can one reliably infer the existence of an intersection point from a diagram presenting crossing curves or lines? Two cases are considered, one from Euclid's geometry and the other from basic real analysis. I argue for the acceptability of such an inference in the geometric case but against in the analytic case. Though this question is somewhat specific, the investigation is intended to contribute to the more general question of the extent and (...) limits of reliable diagrammatic reasoning in mathematics. (shrink)
Organic chemists have been able to develop a robust, theoretical understanding of the phenomena they study; however, the primary theoretical devices employed in this field are not mathematical equations or laws, as is the case in most other physical sciences. Instead it is the diagram, and in particular the structural formula, that carries the explanatory weight in the discipline. To understand how this is so, it is necessary to investigate both the nature of the diagrams employed in organic chemistry (...) and how these diagrams are used in the explanations of the discipline. I will begin this paper by describing and characterizing the roles of the most important sort of diagram used in organic chemistry. Next I will present a model of explanations in organic chemistry and describe how diagrams contribute to these explanations. This will be followed by two examples that will support my abstract account of the role of diagrams in the explanations of organic chemistry. (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)
A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.
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)
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)
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)
Linear structural equation models (SEMs) are widely used in sociology, econometrics, biology, and other sciences. A SEM (without free parameters) has two parts: a probability distribution (in the Normal case specified by a set of linear structural equations and a covariance matrix among the “error” or “disturbance” terms), and an associated path diagram corresponding to the causal relations among variables specified by the structural equations and the correlations among the error terms. It is often thought that the path (...) class='Hi'>diagram is nothing more than a heuristic device for illustrating the assumptions of the model. However, in this paper, we will show how path diagrams can be used to solve a number of important problems in structural equation modelling. (shrink)
Linear structural equation models (SEMs) are widely used in sociology, econometrics, biology, and other sciences. A SEM (without free parameters) has two parts: a probability distribution (in the Normal case specified by a set of linear structural equations and a covariance matrix among the “error” or “disturbance” terms), and an associated path diagram corresponding to the functional composition of variables specified by the structural equations and the correlations among the error terms. It is often thought that the path (...) class='Hi'>diagram is nothing more than a heuristic device for illustrating the assumptions of the model. However, in this paper, we will show how path diagrams can be used to solve a number of important problems in structural equation modelling. (shrink)
Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, which is mainly discussed in the literature of cognitive science as an account of inferential efficacy of diagrams. The translation enables us to (...) formalize and analyze free ride in terms of proof theory. The notion of normal form of Euler diagrammatic proofs is investigated, and a normalization theorem is proved. Some consequences of the theorem are further discussed: in particular, an analysis of the structure of normal diagrammatic proofs; a diagrammatic counterpart of the usual subformula property; and a characterization of diagrammatic proofs compared with natural deduction proofs. (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)
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)
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)
This paper aims to give a substantive account of how Feynman used diagrams in the first lectures in which he explained his new approach to quantum electrodynamics. By critically examining unpublished lecture notes, Feynman’s use and interpretation of both "Feynman diagrams" and other visual representations will be illuminated. This paper discusses how the morphology of Feynman’s early diagrams were determined by both highly contextual issues, which molded his images to local needs and particular physical characterizations, and an overarching common diagrammatic (...) style, which facilitated Feynman’s movement between different diagrams despite their divergent forms and significance. (shrink)
This paper explains how to use a new software tool for argument diagramming available free on the Internet, showing especially how it can be used in the classroom to enhance critical thinking in philosophy. The user loads a text file containing an argument into a box on the computer interface, and then creates an argument diagram by dragging lines (representing inferences) from one node (proposition) to another. A key feature is the support for argumentation schemes, common patterns of defeasible (...) reasoning historically know as topics (topoi). Several examples are presented, as well as the results of an experiment in using the system with students in a university classroom. (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)
Introduction: contemporary conditions and diagrammatic trajectory -- From joy to the gap: the accessing of the infinite by the finite (Spinoza, Nietzsche, Bergson) -- The care of the self versus the ethics of desire: two diagrams of the production of subjectivity (and of the subject's relation to truth) (Foucault versus Lacan) -- The aesthetic paradigm: from the folding of the finite-infinite relation to schizoanalytic metamodelisation (to biopolitics) (Guattari) -- The strange temporality of the subject: life in-between the infinite and the (...) finite (Deleuze contra Badiou) -- Desiring-machines, chaoids, probeheads: towards a speculative production of subjectivity (Deleuze and Guattari) -- Conclusion: composite diagram and relations of adjacency. (shrink)
We introduce here and investigate the notion of an alternative tree of decomposition. We show (Theorem 5) a general method of finding out all non-alternative trees of the alternative tree determined by a diagram of decomposition.
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.
Sociologists, philosophers and historians of science are gradually recognizing the importance of visual representation. This is part of a more general movement away from a theory-centric view of science and towards an interest in practical aspects of observation and experimentation. Rather than treating science as a matter of demonstrating the logical connection between theoretical and empirical statements, an increasing number of investigations are examining how scientists compose and use diagrams, graphs, photographs, micrographs, maps, charts, and related visual displays. This paper (...) focuses on diagrams in biology, and tries to demonstrate how diagrams are an integral part of the production of scientific knowledge. In order to disclose some of the distinctive practical and analytical uses of diagrams, the paper contrasts the way diagrams and photographs are used in biological texts. Both diagrams and photographs are shown to be “constructions” that separately and together mediate the investigation of scientific phenoman. (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.
The biological sciences have become increasingly reliant on so-called 'model organisms'. I argue that in this domain, the concept of a descriptive model is essential for understanding scientific practice. Using a case study, I show how such a model was formulated in a preexplanatory context for subsequent use as a prototype from which explanations ultimately may be generated both within the immediate domain of the original model and in additional, related domains. To develop this concept of a descriptive model, I (...) focus on use of the nematode worm Caenorhabditis elegans and the wiring diagrams that were developed as models of its neural structure. In addition, implications of the concept of a descriptive model, particularly its relevance for the data-phenomena distinction as well as its relation to long-standing debates on realism, are briefly examined. (shrink)
This paper presents examples of infinite diagrams (as well as infinite limits of finite diagrams) whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a “pre” form of this thesis that every proof can be presented in everyday statements-only form.
There are two distinct interpretations of the role that Feynman diagrams play in physics: (i) they are calculational devices, a type of notation designed to keep track of complicated mathematical expressions; and (ii) they are representational devices, a type of picture. I argue that Feynman diagrams not only have a calculational function but also represent: they are in some sense pictures. I defend my view through addressing two objections and in so doing I offer an account of representation that explains (...) why Feynman diagrams represent. The account that I advocate is a version of that defended by Kendall Walton, which provides us with a basic characterization of the way that representations in general work and is particularly useful for understanding distinctively pictorial representations - in Walton's terms, depictions. The question of the epistemic function of Feynman diagrams as pictorial representations is left for another time. (shrink)
In this paper, I aim to identify Peirce?s great contribution to logical diagrams and its limit.Peirce is the first person who believed that the same logical status can be given to diagrams as to symbolic systems.Even though this belief led him to invent his own graphical system, Existential Graphs, the success or failure of this system does not determine the value of Peirce?s general insights about logical diagrams.In order to make this point clear, I will show that Peirce?s revolutionary ideas (...) about diagrams not only overcame some important defects of Venn diagrams but opened a new horizon for logical diagrams.Finally, I will point out where Peirce?s new horizon for logical diagrams stopped and will claim that this limit is mainly responsible for the discrepancy between Peirce?s and others? estimates of his contribution to logical diagrams. (shrink)
This book focuses on the mind and its ability to seek answers to unknown or unanswered questions. The theory of educating provides the grounding for using V diagrams by students, educators, researchers, and parents. Teachers make lesson plans using V diagrams and concept maps. They become expert coaches in guiding student performances. Students learn to construct their own knowledge. They change from question-answerers to question-askers. Parents share meaning with their children and their children's teachers and administrators. Administrators monitor programs and (...) are in touch with all participants in schools and universities. Researchers and evaluators can share records of events and facts. With this theory working in the classrooms and laboratories of many practical places of educating plus extending into the world of technology literacy, The Art of Educating with V Diagrams explains how educating works. (shrink)
A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.
This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (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)
From the 1930s through the 1970s, C. H. Waddington attempted to reunite genetics, embryology, and evolution. One of the means to effect this synthesis was his model of the epigenetic landscape. This image originally recast genetic data in terms of embryological diagrams and was used to show the identity of genes and inducers and to suggest the similarities between embryological and genetic approaches to development. Later, the image became more complex and integrated gene activity and mutations. These revised epigenetic landscapes (...) presented an image of how mutations could alter developmental pathways to yield larger phenotypic changes. These diagrams became less important as the operon became used to model differential gene regulation. (shrink)
Diagrams refer to the phenomena overtly represented, to analogous phenomena, and to previous pictures and their graphic conventions. The diagrams of ecologists Clarke, Hutchinson, and H.T. Odum reveal their search for physical analogies, building on the success of World War II science and the promise of cybernetics. H.T. Odum's energy circuit diagrams reveal also his aspirations for a universal and natural means of reducing complexity to guide the management of diverse ecological and social systems. Graphic conventions concerning framing and translation (...) of ecological processes onto the flat printed page facilitate Odum's ability to act as if ecological relations were decomposable into systems and could be managed by analysts external to the system. (shrink)
Many important concepts of the calculus are difficult to grasp, and they may appear epistemologically unjustified. For example, how does a real function appear in “small” neighborhoods of its points? How does it appear at infinity? Diagrams allow us to overcome the difficulty in constructing representations of mathematical critical situations and objects. For example, they actually reveal the behavior of a real function not “close to” a point (as in the standard limit theory) but “in” the point. We are interested (...) in our research in the diagrams which play an optical role –microscopes and “microscopes within microscopes”, telescopes, windows, a mirror role (to externalize rough mental models), and an unveiling role (to help create new and interesting mathematical concepts, theories, and structures). In this paper we describe some examples of optical diagrams as a particular kind of epistemic mediator able to perform the explanatory abductive task of providing a better understanding of the calculus, through a non-standard model of analysis. We also maintain they can be used in many other different epistemological and cognitive situations. (shrink)
