"[…] the speculative propositions of mathematics do not relate to facts; […] all that we are convinced of by any demonstration in the science, is of a necessary connection subsisting between certain suppositions and certain conclusions. When we find these suppositions actually take place in a particular instance, the demonstration forces us to apply the conclusion. Thus, if I could form a triangle, the three sides of which were accurately mathematical lines, I might affirm of this individual figure, that its three angles are equal to two right angles; but as the imperfection of my senses puts it out of my power to be, in any case, certain of the exact correspondence of the diagram which I delineate, with the definitions given in the elements of geometry, I never can apply with confidence to a particular figure, a mathematical theorem. On the other hand, it appears from the daily testimony of our senses that the speculative truths of geometry may be applied to material objects with a degree of accuracy sufficient for the purposes of life; and from such applications of them, advantages of the most important kind have been gained to society." (Dugald Stewart, "Elements of the Philosophy of the Human Mind", 1792)
"They [diagrams] are designed not so much to allow of reference to particular numbers, which can be better had from printed tables of figures, as to exhibit to the eye the general results of large masses of figures which it is hopeless to attack in any other way than by graphical representation." (William S Jevons, [letter to Richard Hutton] 1863)
"[…] it must be noticed that these diagrams do not naturally harmonize with the propositions of ordinary life or ordinary logic. […] The great bulk of the propositions which we commonly meet with are founded, and rightly founded, on an imperfect knowledge of the actual mutual relations of the implied classes to one another. […] one very marked characteristic about these circular diagrams is that they forbid the natural expression of such uncertainty, and are therefore only directly applicable to a very small number of such propositions as we commonly meet with." (John Venn, "On the Diagrammatic and Mechanical Representation of Propositions and Reasonings", 1880)
"I call a sign which stands for something merely because it resembles it, an icon. Icons are so completely substituted for their objects as hardly to be distinguished from them. Such are the diagrams of geometry. A diagram, indeed, so far as it has a general signification, is not a pure icon; but in the middle part of our reasonings we forget that abstractness in great measure, and the diagram is for us the very thing. So in contemplating a painting, there is a moment when we lose the consciousness that it is not the thing, the distinction of the real and the copy disappears, and it is for the moment a pure dream, - not any particular existence, and yet not general. At that moment we are contemplating an icon." (Charles S Peirce, "On The Algebra of Logic : A Contribution to the Philosophy of Notation" in The American Journal of Mathematics 7, 1885)
“Deduction is that mode of reasoning which examines the state of things asserted in the premises, forms a diagram of that state of things, perceives in the parts of the diagram relations not explicitly mentioned in the premises, satisfies itself by mental experiments upon the diagram that these relations would always subsist, or at least would do so in a certain proportion of cases, and concludes their necessary, or probable, truth.” (Charles S Peirce, “Kinds of Reasoning”, cca. 1896)
"We form in the imagination some sort of diagrammatic, that is, iconic, representation of the facts, as skeletonized as possible. The impression of the present writer is that with ordinary persons this is always a visual image, or mixed visual and muscular; but this is an opinion not founded on any systematic examination." (Charles S Peirce, "Notes on Ampliative Reasoning", 1901)
"We imagine cases, place mental diagrams before our mind's eye, and multiply these cases, until a habit is formed of expecting that always to turn out the case, which has been seen to be the result in all the diagrams. To appeal to such a habit is a very different thing from appealing to any immediate instinct of rationality. That the process of forming a habit of reasoning by the use of diagrams is often performed there is no room for doubt. It is perfectly open to consciousness." (Charles S Peirce,"Fallibility of Reasoning and the Feeling of Rationality", cca. 1902)
"Arithmetical symbols are written diagrams and geometrical figures are graphic formulas." (David Hilbert, Bulletin of the American Mathematical Society, Mathematical Problems Vol. 8, 1902)
"A diagram is a representamen [representation] which is predominantly an icon of relations and is aided to be so by conventions. Indices are also more or less used. It should be carried out upon a perfectly consistent system of representation, founded upon a simple and easily intelligible basic idea." (Charles S Peirce, 1903)
"A diagram is an icon or schematic image embodying the meaning of a general predicate; and from the observation of this icon we are supposed to construct a new general predicate." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)
"A theorem […] is an inference obtained by constructing a diagram according to a general precept, and after modifying it as ingenuity may dictate, observing in it certain relations, and showing that they must subsist in every case, retranslating the proposition into general terms." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)
"Diagrammatic reasoning is the only really fertile reasoning. If logicians would only embrace this method, we should no longer see attempts to base their science on the fragile foundations of metaphysics or a psychology not based on logical theory; and there would soon be such an advance in logic that every science would feel the benefit of it." (Charles S Peirce, "Prolegomena to an Apology for Pragmaticism", Monist 16(4), 1906)
"To facilitate eyeless observation of his sense-transcending world, the mathematician invokes the aid of physical diagrams and physical symbols in endless variety and combination [...]" (Cassius J Keyser, "Lectures on Science, Philosophy and Art", 1907-1908, 1908)
"This diagrammatic method has, however, serious inconveniences as a method for solving logical problems. It does not show how the data are exhibited by cancelling certain constituents, nor does it show how to combine the remaining constituents so as to obtain the consequences sought. In short, it serves only to exhibit one single step in the argument, namely the equation of the problem; it dispenses neither with the previous steps, i.e., 'throwing of the problem into an equation' and the transformation of the premises, nor with the subsequent steps, i.e., the combinations that lead to the various consequences. Hence it is of very little use, inasmuch as the constituents can be represented by algebraic symbols quite as well as by plane regions, and are much easier to deal with in this form." (Louis Couturat, "The Algebra of Logic", 1914)
"We rise from the conception of form to an understanding of the forces which gave rise to it. [...] in the representation of form we see a diagram of forces in equilibrium, and in the comparison of kindred forms we discern the magnitude and the direction of the forces which have sufficed to convert the one form into the other." (D'Arcy Wentworth Thompson, "On Growth and Form" Vol. II, 1917)
"The preliminary examination of most data is facilitated by the use of diagrams. Diagrams prove nothing, but bring outstanding features readily to the eye; they are therefore no substitutes for such critical tests as may be applied to the data, but are valuable in suggesting such tests, and in explaining the conclusions founded upon them." (Sir Ronald A Fisher, "Statistical Methods for Research Workers", 1925)
"What the diagram has in common with the symbolic schema is the fact that the diagram spatially represents an abstract and unextended object. But there is here nothing other than a determinate location in space. This location serves as a mooring, an attachment, an orientation for our memory, but does not play any role in our thought." (Jean-Paul Sartre, "The Imaginary: A phenomenological psychology of the imagination", 1940)
"[…] statistical literacy. That is, the ability to read diagrams and maps; a 'consumer' understanding of common statistical terms, as average, per cent, dispersion, correlation, and index number." (Douglas Scates, “Statistics: The Mathematics for Social Problems”, 1943)
"When I undertake some geometrical research, I have generally a mental view of the diagram itself, though generally an inadequate or incomplete one, in spite of which it affords the necessary synthesis - a tendency which, it would appear, results from a training which goes back to my very earliest childhood." (Jacques Hadamard, "The Psychology of Invention in the Mathematical Field”, 1949)
"I believe, that the decisive idea which brings the solution of a problem is rather often connected with a well-turned word or sentence. The word or the sentence enlightens the situation, gives things, as you say, a physiognomy. It can precede by little the decisive idea or follow on it immediately; perhaps, it arises at the same time as the decisive idea. […] The right word, the subtly appropriate word, helps us to recall the mathematical idea, perhaps less completely and less objectively than a diagram or a mathematical notation, but in an analogous way. […] It may contribute to fix it in the mind." (George Polya [in a letter to Jaque Hadamard, "The Psychology of Invention in the Mathematical Field", 1949])
"A logic machine is a device, electrical or mechanical, designed specifically for solving problems in formal logic. A logic diagram is a geometrical method for doing the same thing. […] A logic diagram is a two-dimensional geometric figure with spatial relations that are isomorphic with the structure of a logical statement. These spatial relations are usually of a topological character, which is not surprising in view of the fact that logic relations are the primitive relations underlying all deductive reasoning and topological properties are, in a sense, the most fundamental properties of spatial structures. Logic diagrams stand in the same relation to logical algebras as the graphs of curves stand in relation to their algebraic formulas; they are simply other ways of symbolizing the same basic structure." (Martin Gardner, "Logic Machines and Diagrams", 1958)
"The diagrams and circles aid the understanding by making it easy to visualize the elements of a given argument. They have considerable mnemonic value […] They have rhetorical value, not only arousing interest by their picturesque, cabalistic character, but also aiding in the demonstration of proofs and the teaching of doctrines. It is an investigative and inventive art. When ideas are combined in all possible ways, the new combinations start the mind thinking along novel channels and one is led to discover fresh truths and arguments, or to make new inventions. Finally, the Art possesses a kind of deductive power." (Martin Gardner, "Logic Machines and Diagrams", 1958)
"An information retrieval system is therefore defined here as any device which aids access to documents specified by subject, and the operations associated with it. The documents can be books, journals, reports, atlases, or other records of thought, or any parts of such records - articles, chapters, sections, tables, diagrams, or even particular words. The retrieval devices can range from a bare list of contents to a large digital computer and its accessories. The operations can range from simple visual scanning to the most detailed programming." (Brian C Vickery, "The Structure of Information Retrieval Systems", 1959)
"A model is a qualitative or quantitative representation of a process or endeavor that shows the effects of those factors which are significant for the purposes being considered. A model may be pictorial, descriptive, qualitative, or generally approximate in nature; or it may be mathematical and quantitative in nature and reasonably precise. It is important that effective means for modeling be understood such as analog, stochastic, procedural, scheduling, flow chart, schematic, and block diagrams." (Harold Chestnut, "Systems Engineering Tools", 1965)
"A diagram thus enables us to discover the internal categorization which characterizes the information being processed in a much shorter time than does a map. […] A diagram permits the rapid and precise internal processing of information having three components, but it does not permit introducing the information into a universal system of visual memorization and geographic comparison. It is a closed graphic system, limited solely to the information being processed. […] In a diagram, one begins by attributing a meaning to the planar dimensions, then one plots the correspondences." (Jacques Bertin, "Semiology of graphics", 1967)
"A graphic is a diagram when correspondences on the plane can be established among all elements of another component." (Jacques Bertin, "Semiology of graphics", 1967)
"To analyse graphic representation precisely, it is helpful to distinguish it from musical, verbal and mathematical notations, all of which are perceived in a linear or temporal sequence. The graphic image also differs from figurative representation essentially polysemic, and from the animated image, governed by the laws of cinematographic time. Within the boundaries of graphics fall the fields of networks, diagrams and maps. The domain of graphic imagery ranges from the depiction of atomic structures to the representation of galaxies and extends into the spheres of topography and cartography." (Jacques Bertin, "Semiology of graphics", 1967)
"When the correspondences on the plane can be established between: - all the divisions of one component - and all the divisions of another component, the construction is a DIAGRAM." (Jacques Bertin, "Semiology of graphics", 1967)
"Pure mathematics are concerned only with abstract propositions, and have nothing to do with the realities of nature. There is no such thing in actual existence as a mathematical point, line or surface. There is no such thing as a circle or square. But that is of no consequence. We can define them in words, and reason about them. We can draw a diagram, and suppose that line to be straight which is not really straight, and that figure to be a circle which is not strictly a circle. It is conceived therefore by the generality of observers, that mathematics is the science of certainty." (William Godwin, "Thoughts on Man", 1969)
"A diagram is worth a thousand proofs." (Carl E Linderholm, "Mathematics Made Difficult", 1971)
"The result of the implementation, the logical design, is traditionally shown as a series of block diagrams. These blocks represent in effect a series of statements, Actually, a direct presentation of these statements is more suitable and, although less familiar, more easily understood. The Harvard Mark IV was to large degree designed and described by such statements, as has been the case with several subsequent developments." (Gerrit Blaauw, "Computer Architecture", 1972)
"Whether or not a given conceptual model or representation of a physical system happens to be picturable, is irrelevant to the semantics of the theory to which it eventually becomes attached. Picturability is a fortunate psychological occurrence, not a scientific necessity. Few of the models that pass for visual representations are picturable anyhow. For one thing, the model may be and usually is constituted by imperceptible items such as unextended particles and invisible fields. True, a model can be given a graphic representation - but so can any idea as long as symbolic or conventional diagrams are allowed. Diagrams, whether representational or symbolic, are meaningless unless attached to some body of theory. On the other hand theories are in no need of diagrams save for psychological purposes. Let us then keep theoretical models apart from visual analogues." (Mario Bunge, "Philosophy of Physics", 1973)
"Pencil and paper for construction of distributions, scatter diagrams, and run-charts to compare small groups and to detect trends are more efficient methods of estimation than statistical inference that depends on variances and standard errors, as the simple techniques preserve the information in the original data." (W Edwards Deming, "On Probability as Basis for Action", American Statistician, Volume 29, Number 4, November 1975)
"The formalist makes a distinction between geometry as a deductive structure and geometry as a descriptive science. Only the first is regarded as mathematical. The use of pictures or diagrams, or even mental imagery, all are non- mathematical. In principle, they should be unnecessary. Consequently. he regards them as inappropriate in a mathematics text, perhaps even in a mathematics class." (Philip J Davis & Reuben Hersh, "The Mathematical Experience", 1981)
"The thinking person goes over the same ground many times. He looks at it from varying points of view - his own, his arch-enemy’s, others’. He diagrams it, verbalizes it, formulates equations, constructs visual images of the whole problem, or of troublesome parts, or of what is clearly known. But he does not keep a detailed record of all this mental work, indeed could not. […] Deep understanding of a domain of knowledge requires knowing it in various ways. This multiplicity of perspectives grows slowly through hard work and sets the state for the re-cognition we experience as a new insight." (Howard E Gruber, "Darwin on Man", 1981)
"[The diagram] is only an heuristic to prompt certain trains of inference; [...] it is dispensable as a proof-theoretic device; indeed, [...] it has no proper place in the proof as such. For the proof is a syntactic object consisting only of sentences arranged in a finite and inspectable array." (Neil Tennant, "The withering away of formal semantics", Mind and Language Vol. 1 (4), 1986)
"We distinguish diagrammatic from sentential paper-and-pencil representations of information by developing alternative models of information-processing systems that are informationally equivalent and that can be characterized as sentential or diagrammatic. Sentential representations are sequential, like the propositions in a text. Diagrammatic representations are indexed by location in a plane. Diagrammatic representations also typically display information that is only implicit in sentential representations and that therefore has to be computed, sometimes at great cost, to make it explicit for use. We then contrast the computational efficiency of these representations for solving several. illustrative problems in mathematics and physics." (Herbert A. Simon, "Why a diagram is (sometimes) worth ten thousand words", 1987)
"People who have a casual interest in mathematics may get the idea that a topologist is a mathematical playboy who spends his time making Möbius bands and other diverting topological models. If they were to open any recent textbook in topology, they would be surprised. They would find page after page of symbols, seldom relieved by a picture or diagram." (Martin Gardner, "Hexaflexagons and Other Mathematical Diversions", 1988)
"The value of diagram techniques even at this rudimentary level should be clear by now: it is easier to visualize where simplifications may be found in a complicated network by searching for a reducible linkage than by examining a complicated algebraic expression."(Geoffrey E Stedman, "Diagram Techniques in Group Theory", 1990)
"Diagrams are physical situations. They must be, since we can see them. As such, they obey their own set of constraints. […] By choosing a representational scheme appropriately, so that the constraints on the diagrams have a good match with the constraints on the described situation, the diagram can generate a lot of information that the user never need infer. Rather, the user can simply read off facts from the diagram as needed." (Jon Barwise & John Etchemendy, "Visual information and valid reasoning", [in "Visualization in Teaching and Learning Mathematics"], 1991)
"It has been said that the art of geometry is to reason well from false diagrams." (Jean Dieudonné, "Mathematics - The Music of Reason", 1992)
"A mental model is not normally based on formal definitions but rather on concrete properties that have been drawn from life experience. Mental models are typically analogs, and they comprise specific contents, but this does not necessarily restrict their power to deal with abstract concepts, as we will see. The important thing about mental models, especially in the context of mathematics, is the relations they represent. We will use diagrams to depict mental models for a variety of concepts, and it is important to keep in mind that any diagram, or even a non-diagrammatic representation that represents the same essential relations would be equally effective." (Lyn D English & Graeme S Halford," "Mathematics Education: Models and Processes", 1995)
"Schematic diagrams are more abstract than pictorial drawings, showing symbolic elements and their interconnection to make clear the configuration and/or operation of a system." (Ernest O Doebelin, "Engineering experimentation: planning, execution, reporting", 1995)
"Given particular tasks of reasoning, different types of diagrams show different degrees of suitedness. For example, Euler diagrams are superior in handling certain problems concerning inclusion and membership among classes and individuals, but they cannot be generally applied to such problems without special provisos. Diagrams make many proofs in geometry shorter and more intuitive, while they take certain precautions of the reasoner's to be used validly. […] Mathematicians experience that coming up with the 'right' sorts of diagrams is more than half-way to the solution of most complicated problems." (Atsushi Shimojima, "Operational Constraints in Diagrammatic Reasoning" , [in "Logical Reasoning with Diagrams"], 1996)
"Making a good choice of representational conventions is
always important in solving a problem, but especially true of charts. This
sensitivity of type of chart to the particularities of the task at hand makes a
very general logic of charts useless." (Jon Barwise & Eric Hammer, "Diagrams
and the Concept of Logical System", [in "Logical Reasoning with
Diagrams"], 1996)
"Mathematicians, like the rest of us, cherish clever ideas; in particular they delight in an ingenious picture. But this appreciation does not overwhelm a prevailing skepticism. After all, a diagram is - at best - just a special case and so can't establish a general theorem. Even worse, it can be downright misleading. Though not universal, the prevailing attitude is that pictures are really no more than heuristic devices; they are psychologically suggestive and pedagogically important - but they prove nothing. I want to oppose this view and to make a case for pictures having a legitimate role to play as evidence and justification - a role well beyond the heuristic. In short, pictures can prove theorems." (James R Brown, "Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures", 1999)
"Concept maps have long provided visual languages widely used in many different disciplines and application domains. Abstractly, they are sorted graphs visually represented as nodes having a type, name and content, some of which are linked by arcs. Concretely, they are structured diagrams having discipline- and domain-specific interpretations for their user communities, and, sometimes, formally defining computer data structures. Concept maps have been used for a wide range of purposes and it would be useful to make such usage available over the World Wide Web." (Brian R. Gaines, "WebMap: Concept Mapping on the Web", 2001)
"Always remember that the model is not the diagram. The diagram’s purpose is to help communicate and explain the model. The code can serve as a repository of the details of the design." (Eric Evans, "Domain-Driven Design: Tackling complexity in the heart of software", 2003)
"Data is transformed into graphics to understand. A map, a diagram are documents to be interrogated. But understanding means integrating all of the data. In order to do this it’s necessary to reduce it to a small number of elementary data. This is the objective of the 'data treatment' be it graphic or mathematic." (Jacques Bertin [interview], 2003)
"Diagrams are a means of communication and explanation, and they facilitate brainstorming. They serve these ends best if they are minimal. Comprehensive diagrams of the entire object model fail to communicate or explain; they overwhelm the reader with detail and they lack meaning." (Eric Evans, "Domain-Driven Design: Tackling complexity in the heart of software", 2003)
"Science does not speak of the world in the language of words alone, and in many cases it simply cannot do so. The natural language of science is a synergistic integration of words, diagrams, pictures, graphs, maps, equations, tables, charts, and other forms of visual and mathematical expression. [… Science thus consists of] the languages of visual representation, the languages of mathematical symbolism, and the languages of experimental operations." (Jay Lemke, "Teaching all the languages of science: Words, symbols, images and actions", 2003)
"Graphical design notations have been with us for a while [...] their primary value is in communication and understanding. A good diagram can often help communicate ideas about a design, particularly when you want to avoid a lot of details. Diagrams can also help you understand either a software system or a business process. As part of a team trying to figure out something, diagrams both help understanding and communicate that understanding throughout a team. Although they aren't, at least yet, a replacement for textual programming languages, they are a helpful assistant." (Martin Fowler," UML Distilled: A Brief Guide to the Standard Object Modeling", 2004)
"A diagram is a graphic shorthand. Though it is an ideogram, it is not necessarily an abstraction. It is a representation of something in that it is not the thing itself. In this sense, it cannot help but be embodied. It can never be free of value or meaning, even when it attempts to express relationships of formation and their processes. At the same time, a diagram is neither a structure nor an abstraction of structure." (Peter Eisenman, "Written Into the Void: Selected Writings", 1990-2004, 2007)
"A modeling language is usually based on some kind of computational model, such as a state machine, data flow, or data structure. The choice of this model, or a combination of many, depends on the modeling target. Most of us make this choice implicitly without further thinking: some systems call for capturing dynamics and thus we apply for example state machines, whereas other systems may be better specified by focusing on their static structures using feature diagrams or component diagrams. For these reasons a variety of modeling languages are available." (Steven Kelly & Juha-Pekka Tolvanen, "Domain-specific Modeling", 2008)
"[…] a conceptual model is a diagram connecting variables and constructs based on theory and logic that displays the hypotheses to be tested." (Mary Wolfinbarger Celsi et al, "Essentials of Business Research Methods", 2011)
"Diagrams furnish only approximate information. They do not add anything to the meaning of the data and, therefore, are not of much use to a statistician or research worker for further mathematical treatment or statistical analysis. On the other hand, graphs are more obvious, precise and accurate than the diagrams and are quite helpful to the statistician for the study of slopes, rates of change and estimation, (interpolation and extrapolation), wherever possible." (S C Gupta & Indra Gupta, "Business Statistics", 2013)
"Systems archetypes thus provide a good starting theory from which we can develop further insights into the nature of a particular system. The diagram that results from working with an archetype should not be viewed as the 'truth', however, but rather a good working model of what we know at any point in time." (Daniel H Kim, "Systems Archetypes as Dynamic Theories", The Systems Thinker Vol. 24 (1), 2013)
"As mathematics gets more abstract, diagrams become more and more prominent as the ways that things fit together abstractly become both more subtle and more important. Moreover, the diagram often sums up the situation more succinctly than the explanation in words, [..]" (Eugenia Cheng, "Beyond Infinity: An Expedition to the Outer Limits of Mathematics", 2017)
"Sometimes mathematical advances happen by just looking at something in a slightly different way, which doesn’t mean building something new or going somewhere different, it just means changing your perspective and opening up huge new possibilities as a result. This particular insight leads to calculus and hence the understanding of anything curved, anything in motion, anything fluid or continuously changing."
"Models are formal structures represented in mathematics and diagrams that help us to understand the world. Mastery of models improves your ability to reason, explain, design, communicate, act, predict, and explore." (Scott E Page, "The Model Thinker", 2018)
No comments:
Post a Comment