The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and (...) especially pedagogically in teaching basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis. (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 this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, (...) then give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

Many undergraduates, philosophy majors included, read philosophical texts similar to the way they read stories. One method for teaching students how to discern the argumentative structure of a philosophy text is through argument diagrams (text boxes used to represent claims with arrows and lines used to represent connections between these claims). This paper provides criteria for an ideal argument diagramming software and then reviews the strengths and weaknesses of such software currently available, e.g. Araucaria, Argutect, Athena Standard, Inspiration, (...) and Reason!Able. (shrink)

After determining one set of skills that we hoped our students were learning in the introductory philosophy class at Carnegie Mellon University, we performed an experiment twice over the course of two semesters to test whether they were actually learning these skills. In addition, there were four different lectures of this course in the first semester, and five in the second; in each semester students in some lectures were taught the material using argument diagrams as a tool to aid understanding (...) and critical evaluation, while the other students were taught using more traditional methods. In each lecture, the students were given a pre-test at the beginning of the semester, and a structurally identical post-test at the end. We determined that the students did develop the skills in which we were interested over the course of the semester. We also determined that the students who were taught argument diagramming gained significantly more than the students who were not. We conclude that learning how to construct argument diagrams significantly improves a student’s ability to analyze arguments. (shrink)

Scholars have thoroughly discussed the visual aspects of Foucault’s archaeological and genealogical methods, as well as his own emphasis on how sight functions and what contexts and conditions shape how we see and what we can see. Yet while some of the images and visual devices he uses are frequently discussed, like Las Meninas and the panopticon, his diagrams in The Order of Things have received little attention. Why does Foucault diagram historical ways of thinking? What are we supposed to (...) see and understand through these diagrams? To examine the role of the diagram in Foucault’s archaeological method, this paper provides a close reading of how the classical quadrilateral visualizes the structure, function, content, principles, and underlying assumptions of language and thought. In analyzing the diagram as a way for visualizing history, this paper demonstrates how Foucault enacts a new visual language that emphasizes the contingency of thought. (shrink)

General Morphological Analysis (GMA) is a method for structuring a conceptual problem space – called a morphospace – and, through a process of existential combinatorics, synthesizing a solution space. As such, it is a basic modelling method, on a par with other scientific modelling methods including System Dynamics Modelling, Bayesian Networks and various types graph-based “influence diagrams”. The purpose of this article is 1) to present the theoretical and methodological basics of morphological modelling; 2) to situate GMA within (...) a broader modelling theoretical framework by developing a (morphological) model representing different modelling methods, and 3) to demonstrate some of the basic modelling techniques that can be carried out with GMA using dedicated computer support. (shrink)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern (...) graph theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)

This paper uses argument diagrams, argumentation schemes, and some tools from formal argumentation systems developed in artificial intelligence to build a graph-theoretic model of relevance shown to be applicable as a practical method for helping a third party judge issues of relevance or irrelevance of an argument in real examples. Examples used to illustrate how the method works are drawn from disputes about relevance in natural language discourse, including a criminal trial and a parliamentary debate.

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)

This book is written for those who wish to learn some basic principles of formal logic but more importantly learn some easy methods to unpick arguments and assess their value for truth and validity. -/- The first section explains the ideas behind traditional logic which was formed well over two thousand years ago by the ancient Greeks. Terms such as ‘categorical syllogism’, ‘premise’, ‘deduction’ and ‘validity’ may appear at first sight to be inscrutable but will easily be understood with examples (...) bringing the subjects to life. Traditionally, Venn diagrams have been employed to test arguments. These are very useful but their application is limited and they are not open to quantification. The mid-section of this book introduces a methodology that makes the analysis of arguments accessible with the use of a new form of diagram, modified from those of the mathematician Leonhard Euler. These new diagrammatic methods will be employed to demonstrate an addition to the basic form of syllogism. This includes a refined definition of the terms ‘most’ and ‘some’ within propositions. This may seem a little obscure at the moment but one will readily apprehend these new methods and principles of a more modern logic. (shrink)

Bioinformatics scientists often describe their own scientific activities as the practice of working with large amounts of data using computing devices. An essential part of their self-identification is also the development of ways to visually represent the results of this work. Some of these methods are aimed at building convenient representations of data and demonstrating patterns present in them (graphics, diagrams, graphs). Others are ways of visualizing objects that are not directly accessible to human perception (microphotography, X-ray). Both the construction (...) of visualizations and (especially) the creation of new computer visualization methods are considered in bioinformatics as significant scientific achievements. Representations of the three-dimensional structure of protein molecules play a special role in the inquiries of bioinformatics scientists. 3D-visualization of a macromolecule, on the one hand, is, like a graph, a representation of the results of computer processing of data arrays obtained by material methods – spatiotemporal coordinates of structural elements of the molecule. On the other hand, like microphotography, these 3D structures should serve as accurate representations of specific scientific objects. This leads to the parallel existence of two contradictory epistemic regimes: creative arbitrariness in making convenient, communicatively successful models, is combined with commitment to the object “as it really is”. The paradox is reinforced by the fact that the scientific study of objects in question (determining the properties of the structure, its functions, comparison with other structures) by means of computers does not require visualization at all. Its obviously high value for bioinformatics does not look justified if we take into account the prominent artificiality and artistry of the resulting images. However, the status of these images becomes clearer if we relate them to earlier notions of the role of the visual in scientific discovery. The highest estimation of visualization as the final result of scientific research was characteristic of Renaissance science. The artistic representation of ideal essential properties, instead of a strict correspondence to a particular biological object, is an epistemic virtue typical of the naturalists of the 17th and 18th centuries. Both suggested a close collaboration between the scientist and the artist; and standards for visualizing macromolecules in bioinformatics grow out of a similar collaboration (Geis’ drawings). The desire for maximum accuracy and detail inherits the regulation of “mechanical objectivity” (as Daston and Galison put it into words), for which it is also important to eliminate humans from the image production process (in bioinformatics, to transfer these functions to computer programs). Thus, 3D-visualization of protein structures bears traces of historically different value orientations, but the scientific practice of the 20th and 21st centuries, supplemented by computer technologies, allows them to be intertwined in particular disciplinary units. (shrink)

Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an important (...) role in the improvement of critical-thinking skills. While these studies do not offer a direct comparison between the two methods, it is important for anyone wishing to employ argument mapping in the classroom to know that significant results can be obtained even with the most rudimentary of tools. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...) computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Inspiration has an important role in design education. Searching existing design examples is a widely-used practice for inspiration. There are two different approaches regarding exposure of examples in design process. Some researchers claim that examples can inspire designers and increase the originality of outcomes, while other researchers highlight that examples cause fixedness to their features as a negative effect for creativity. The aim of the study is to analyse different modalities of examples, such as text, photograph, diagram, object as stimulation (...) and to examine the impact of quantity, abstraction, proximity and method on each modality in design education. The paper reviews empirical studies of idea exposure from the existing literature and summarizes results relevant to understanding the effects of the design examples. Overall, to avoid the potential negative effect of using examples in different modalities, designers could pay attention quantity, abstraction, and proximity of examples for each modality. (shrink)

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

When Gilles Deleuze, in his book on Michel Foucault, asks, ‘who would think of looking for life among the archives?’, he uncovers something particular to Foucault's philosophy, but also to his own: a commitment to the question of what it means to think, and think politically. Although Foucault and Deleuze, who first met in 1952, immediately felt fondness for each other, a growing animosity had settled into the friendship by the end of the 1970s – a rift deepened by theoretical (...) differences. Notwithstanding these difficulties, Foucault and Deleuze shared a love for Nietzsche, as well as a curious fascination with Kant. Kant's influence, which was met with more opposition, is precisely the tension I tease out in this article, showing how Foucault critiques Kant's a priori through his own concept of the historical a priori, along with regularity and resistance, while Deleuze and Guattari, if more obliquely, critique Kant's a priori by further developing Foucault's notion of the historical a priori through their own method of pragmatics, particularly in three chapters of A Thousand Plateaus, namely ‘The Geology of Morals’, ‘Postulates of Linguistics’ and ‘On Several Regimes of Signs’. What I am interested in, then, is Deleuze and Guattari's treatment of redundancy, a concept mentioned seventy times in A Thousand Plateaus. Although not one of their main or most developed concepts, redundancy is a thread that can be traced back to Deleuze's first book, Empiricism and Subjectivity. Moreover, their more developed concepts, for example the diagram, the abstract machine, becoming, micro-politics and the ritornello, as well as their political philosophy, are grounded in their understanding of redundancy, which moves their philosophy beyond mapping out the conditions of possibility and demonstrating that the historical a priori emerges as a contingent function of its own expression to the genesis of thought. (shrink)

My first section considers Walter J. Ong’s influential analyses of the logical method of Peter Ramus, on whose system Milton based his Art of Logic. The upshot of Ong’s work is that philosophical logic has become a kind monarch over all other discourses, the allegedly timeless and universal method of mapping and diagramming all concepts. To show how Milton nevertheless resists this tyrannical result in his non-Logic writings, my second section offers new readings of Milton’s poems Il (...) Penseroso and Sonnet 16: “On His Blindness”, along with his prose epilogue to his elegies (and thereby the entire collection entitled Poems). These readings attempt to show (1) the original admixing of philosophy and poetry (under the heading of “thoughtfulness”), (2) the shadow-hidden superiority of poetry in connection to the effeminising disability of blindness, and (3) the potential irony of an apology that arguably suggests poetry’s superiority to philosophy. Finally, I rest my case for Milton’s rebellion by offering an interpretation of Paradise Lost which affirms the character of Satan qua dark, queer, poetic figure of classical republicanism. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.

In a time which it is not amiss to term “the Dark Ages of logic”, Karl Christian Friedrich Krause stayed not only true to logic but actually did something for its advancement. Besides making systematic use of Venn-diagrams long before Venn, Krause — once more taking his inspiration from Leibniz — propounded what appears to be the first completely symbolic systematic representation of logical forms, strongly suggestive of the powerful symbolic languages that have become the mainstay of logic since the (...) beginning of the 20th century. However, Krause’s limits in logic are also clearly visible: Krause’s method in logic is, in the main, not axiomatic; it is combinatorial. More importantly, Krause remained entirely within the confines of traditional syllogistics, neglecting propositional logic and, of course, first-order relational terms. (shrink)

Introduction to Philosophy: Epistemology engages first-time philosophy readers on a guided tour through the core concepts, questions, methods, arguments, and theories of epistemology—the branch of philosophy devoted to the study of knowledge. After a brief overview of the field, the book progresses systematically while placing central ideas and thinkers in historical and contemporary context. The chapters cover the analysis of knowledge, the nature of epistemic justification, rationalism vs. empiricism, skepticism, the value of knowledge, the ethics of belief, Bayesian epistemology, social (...) epistemology, and feminist epistemologies. Along the way, instructors and students will encounter a wealth of additional resources and tools: chapter learning outcomes, key terms, images of philosophers and related art, useful diagrams and tables, boxes containing excerpts and other supplementary material, questions for reflection, suggestions for further reading, and a glossary. For an undergraduate survey epistemology course, Introduction to Philosophy: Epistemology is ideal when used as a main text paired with primary sources and scholarly articles. For an introductory philosophy course, select book chapters are best used in combination with chapters from other books in the Introduction to Philosophy open textbook series (edited by Christina Hendricks). (shrink)

Abstract: This paper presents a non-standard approach to emergence that describes the foundational stages of the development of emergence, including the factors that initiate the progressive stages of its development. Observing that emergence is a naturally occurring creative process in the universe, the focus of the paper is a strictly realist analysis of the intrinsic qualities of emergence. Emergence brings things into existence, things such as objects, qualities, relations, and systems. The process of emergence develops, becoming increasingly complex as additional (...) factors come to play roles in the process. The paper describes a diagram of the foundational stages of the development of emergence that shows what additional factors initiate the progressive stages of its development. The diagram displays the origins of factors such as the contact relation and the cause relation, among others. Factors that originate in the stages of the foundational development of emergence play roles in the forms of emergence that occur in highly complex situations like geology, biology, sociology, ecology, and cosmology. Understanding the foundational stages of emergence can enhance understanding in all the disciplines. The paper explains how emergence is a component of science based transdisciplinarity. It presents a new paradigm for understanding the intrinsic nature of emergence. The intention is to make the understanding of emergence useful by way of a strictly realist approach based on observation. The goal is to provide scientists with a practical method for the identification and mapping of emergence in systems of interest. (shrink)

The formal ontology here presented is what we might call a typed combinatorial Meinongian mereology. Its author seeks to formulate the laws, here called ‘canons’, regulating how entities can combine together in wholes of different sorts. The method, as in Bergmann’s earlier works, involves the construction of an ideal language of such a sort that the analysis of complex wholes can be achieved by transforming our natural-language representations of reality into what we might think of as artificial characteristic maps (...) or diagrams which allow the relevant ontological structures to be read off immediately from the symbolic representations which results. In former works Bergmann had held that the symbolic language of Principia Mathematica could serve as the appropriate diagrammatic device for the standard first-order functional calculus and develops instead a new sort diagrammatic language. (shrink)

Transformed RAVAL NOTATION solves Syllogism problems very quickly and accurately. This method solves any categorical syllogism problem with same ease and is as simple as ABC… In Transformed RAVAL NOTATION, each premise and conclusion is written in abbreviated form, and then conclusion is reached simply by connecting abbreviated premises.NOTATION: Statements (both premises and conclusions) are represented as follows: Statement Notation a) All S are P, SS-P b) Some S are P, S-P c) Some S are not P, S / (...) PP d) No S is P, SS / PP (- implies are and / implies are not) All is represented by double letters; Some is represented by single letter. No S is P implies No P is S so its notation contains double letters on both sides. -/- RULES: (1) Conclusions are reached by connecting Notations. Two notations can be linked only through common linking terms. When the common linking term multiplies (becomes double from single), divides (becomes single from double) or remains double then conclusion is arrived between terminal terms. (Aristotle’s rule: the middle term must be distributed at least once) -/- (2)If both statements linked are having – signs, resulting conclusion carries – sign (Aristotle’s rule: two affirmatives imply an affirmative) -/- (3) Whenever statements having – and / signs are linked, resulting conclusion carries / sign. (Aristotle’s rule: if one premise is negative, then the conclusion must be negative) -/- (4)Statement having / sign cannot be linked with another statement having / sign to derive any conclusion. (Aristotle’s rule: Two negative premises imply no valid conclusion) Syllogism conclusion by Tranformed Raval’s Notation is in accordance with Aristotle’s rules for the same. It is visually very transparent and conclusions can be deduced at a glance, moreover it solves syllogism problems with any number of statements and it is quickest of all available methods. By new Raval method for solving categorical syllogism, solving categorical syllogism is as simple as pronouncing ABC and it is just continuance of Aristotle work on categorical syllogism. It’s believed that Boole's system could handle multi-term propositions and arguments, whereas Aristotle could handle only two-termed subject-predicate propositions and arguments. For example, it’s claimed that Aristotle's system could not deduce: "No quadrangle that is a square is a rectangle that is a rhombus" from "No square that is a quadrangle is a rhombus that is a rectangle" or from "No rhombus that is a rectangle is a square that is a quadrangle". Above conclusion is reached at a glance with Raval's Notations (Symbolic Aristotle’s syllogism rules). Premise: "No (square that is a quadrangle) is a (rhombus that is a rectangle)" Raval's Representations: S – Q, S – Q / Rh – Re, Rh – Re Premise: "No (rhombus that is a rectangle) is a (square that is a quadrangle)". Raval's Representations: Rh – Re, Rh – Re / S – Q, S - Q Conclusion: "No (quadrangle that is a square) is a (rectangle that is a rhombus)" Raval’s Representations: Q – S, Q – S / Re – Rh, Re – Rh As “ Q – S” follows from “S – Q” and “Re – Rh” from “Rh – Re”. Given conclusion follows from the given premises. Author disregards existential fallacy, as subset of a null set has to be a null set. -/- . (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)

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This paper proposes that (...) transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (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)

Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...) in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (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)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (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)

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)

Historians occasionally use timelines, but many seem to regard such signs merely as ways of visually summarizing results that are presumably better expressed in prose. Challenging this language-centered view, I suggest that timelines might assist the generation of novel historical insights. To show this, I begin by looking at studies confirming the cognitive benefits of diagrams like timelines. I then try to survey the remarkable diversity of timelines by analyzing actual examples. Finally, having conveyed this (mostly untapped) potential, I argue (...) that neglecting timelines might mean neglecting significant aspects of reality that are revealed only by those signs. My overall message is that once we accept that relations are as important for the mind as what they relate, we have to pay closer attention to any semiotic device that enables or facilitates the discernment of new relations. (shrink)

This paper discusses similarities of both form and meaning between two symbolic structures: the Diagram of the Supreme Pole of Song Neo-Confucianism and the Kabbalistic Tree of medieval Jewish mysticism. These similarities are remarkable in the light of the many differences that exist between Chinese and Judaic thought, which also manifest in the two symbols. Intercultural influence might account for the similarities, but there is no historical evidence for such influence. An alternative explanation would attribute the similarities to the ubiquity (...) of religious-philosophical ideas about hierarchy, polarity, and macrocosm-microcosm parallelism, but this does not adequately account for the similar overall structure of the symbols. The question of how to understand these similarities remains open. (shrink)

In his 1903 Syllabus, Charles S. Peirce makes a distinction between icons and iconic signs, or hypoicons, and briefly introduces a division of the latter into images, diagrams, and metaphors. Peirce scholars have tried to make better sense of those concepts by understanding iconic signs in the context of the ten classes of signs described in the same Syllabus. We will argue, however, that the three kinds of hypoicons can better be understood in the context of Peirce's sixty-six classes of (...) signs. We analyze examples of hypoicons taken from the field of information design, describing them in the framework of the sixty-six classes, and discuss the consequences of those descriptions to the debate about the order of determination of the 10 trichotomies that form those classes. (shrink)

There are two important ways in which, when dealing with documents, we go beyond the boundaries of linear text. First, by incorporating diagrams into documents, and second, by creating complexes of intermeshed documents which may be extended in space and evolve and grow through time. The thesis of this paper is that such aggregations of documents are today indispensable to practically all complex human achievements from law and finance to orchestral performance and organized warfare. Documents provide for what we can (...) think of as a division of intellectual, instructional, and deontic labour, allowing plans, orders, and obligations to be enmeshed together in a way that often involves the use of diagrammatic elements, as for example in a musical score. (shrink)

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 document diagrams the forms OOA, OOE, OOI, and OOO, including all four figures. Each form and figure has the following information: (1) Premises as stated: Venn diagram showing what the premises say; (2) Purported conclusion: diagram showing what the premises claim to say; (3) Relation of premises to conclusion: intended to describe how the premises and conclusion relate to each other, such as validity or contradiction. Used in only a few examples; (4) Distribution: intended to create a system in (...) which each syllogism has a unique code. In each premise and conclusion, the terms are each assigned a one or a zero, based on whether the term is distributed; (5) Rules: lists the rules of the syllogism and shows whether that particular syllogism follows, violates, or is unaffected by, each rule. (shrink)

Mathematical diagrams are frequently used in contemporary mathematics. They are, however, widely seen as not contributing to the justificatory force of proofs: they are considered to be either mere illustrations or shorthand for non-diagrammatic expressions. Moreover, when they are used inferentially, they are seen as threatening the reliability of proofs. In this paper, I examine certain examples of diagrams that resist this type of dismissive characterization. By presenting two diagrammatic proofs, one from topology and one from algebra, I show that (...) diagrams form genuine notational systems, and I argue that this explains why they can play a role in the inferential structure of proofs without undermining their reliability. I then consider whether diagrams can be essential to the proofs in which they appear. (shrink)

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)

Science is founded on a method based on critical thinking. A prerequisite for this is not only a sufficient command of language but also the comprehension of the basic concepts underlying our understanding of reality. This constraint implies an awareness of the fact that the truth of the World is not directly accessible to us, but can only be glimpsed through the construction of mod- els designed to anticipate its behaviour. Because the relationship between models and reality rests on (...) the interpretation of founding postulates and in- stantiations of their predictions (and is therefore deeply rooted in language and culture), there can be no demarcation between science and non-science. However, critical thinking is essential to ensure that the link between models and reality is gradually made more adequate to reality, based on what has already been established, thus guaranteeing that science progresses on this basis and excluding any form of relativism. (shrink)

The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...) develop a specific form of enhanced manipulative imagination, in order to draw inferences from knot diagrams by performing epistemic actions. Moreover, it will be argued that knot diagrams not only can promote discovery, but also provide evidence. This case study is an experimentation ground to evaluate the role of space and action in making inferences by reasoning diagrammatically. (shrink)

In his article “Insight: Genesis and Ongoing Context,” Fred Crowe calls out Lonergan’s line “the diagram is more important than…is ordinarily believed” as the “philosophical understatement of the century.” Sixteen pages later he identifies elaborating an invariant cognitional theory to underlie generalized emergent probability and thus “the immanent order of the universe of proportionate being,” as “our challenge,” “but given the difficulty” he does not “see any prospect for an immediate answer.” Could this have something to do with the lack (...) of a comprehensive diagram of cognitional theory? Appendix A of The Boston College Lectures on Mathematical Logic and Existentialism offers diagrams of the dynamics of knowing and doing perhaps copied from Lonergan’s own blackboard work, but they do not distinguish explanatory and descriptive insights, let alone statistical insights, and do not illustrate the pull upwards or the fusing of routinized insights. Before we can effectively relate cognitional theory to generalized emergent probability, we must have an adequately rigorous and precise cognitional theory. I firmly believe in the truth of Lonergan’s fundamental insights, but in order to rigorously undergird generalized emergent probability there are many pertinent questions about his cognitional theory which must be asked and answered. In this paper I (1) review some of Lonergan’s attempts to diagram cognitional theory and discuss what insights they do and do not express, (2) elaborate and defend principles for making our formulations of insight into insight rigorous and clear, and (3) attempt to build up a diagram which makes full use of those principles in a maximally expressive way. (shrink)

While mechanistic explanation and, to a lesser extent, nomological explanation are well-explored topics in the philosophy of biology, topological explanation is not. Nor is the role of diagrams in topological explanations. These explanations do not appeal to the operation of mechanisms or laws, and extant accounts of the role of diagrams in biological science explain neither why scientists might prefer diagrammatic representations of topological information to sentential equivalents nor how such representations might facilitate important processes of explanatory reasoning unavailable to (...) scientists who restrict themselves to sentential representations. Accordingly, relying upon a case study about immune system vulnerability to attacks on CD4+ T-cells, I argue that diagrams group together information in a way that avoids repetition in representing topological structure, facilitate identification of specific topological properties of those structures, and make available to controlled processing explanatorily salient counterfactual information about topological structures, all in ways that sentential counterparts of diagrams do not. (shrink)

The following technique has proven effective in helping beginning logic students locate the sections of a three-circled Venn Diagram in which they are to represent a categorical sentence. Very often theses students are unable to identify the parts of the diagram they are to shade or bar.

An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when the data of the (...) issue under study is classical data. In this research, we will present a study through, which we present the graphical method for solving Neutrosophical nonlinear models in the following case: A nonlinear programming issue, the objective function is a nonlinear function, and the constraints are linear functions. Note that we can use the same method if (i) the objective function follower is a linear follower and the constraints are nonlinear; (ii) the objective function is a non-linear follower and the constraints are non-linear. In the three cases, the nonlinear models are neutrosophic, and as we know, the mathematical model is a nonlinear model if any of the components of the objective function or the constraints are nonlinear expressions, and the nonlinear expressions may be in both. At the left end of the constraints are neutrosophic values, at least one or all of them. Then, the possible solutions to the neutrosophic nonlinear programming problem are the set of rays that fulfills all the constraints. As for the region of possible solutions, it is the region that contains all the rays that fulfill the constraints. The optimal solution is the beam that fulfills all constraints and at which the function reaches a maximum or minimum value, depending on the nature of the issue under study (noting that it is not necessary to be alone). (shrink)

In this paper we argue that the different positions taken by Dyson and Feynman on Feynman diagrams’ representational role depend on different styles of scientific thinking. We begin by criticizing the idea that Feynman Diagrams can be considered to be pictures or depictions of actual physical processes. We then show that the best interpretation of the role they play in quantum field theory and quantum electrodynamics is captured by Hughes' Denotation, Deduction and Interpretation theory of models (DDI), where “models” are (...) to be interpreted as inferential, non-representational devices constructed in given social contexts by the community of physicists. (shrink)