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)

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)

Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent (...) phase of regression the entire knowledge about the systematic application and the history of euler-type diagrams was lost. I will argue that the first expansive period lasted from Vives (1531) to Alsted (1614). The second period began around 1660 with Weigel and ended in 1712 with lange. The third period of expansion started around 1760 with the works of Ploucquet, euler and lambert. Finally, it is shown that euler-type diagrams became popular in the debate about intuition which took place in the 1790s between leibnizians and Kantians. The article is thus limited to the historical periodization between 1530 and 1800. (shrink)

You ask if metaphysics is possible after modernity, or after Barth and Wittgenstein and Derrida and the critique of foundationalism? May I invite you, by way of response, to listen in on a conversation? It is a dialogue between what I will call a postcritical philosopher ("P") and a postcritical scriptural theologian —— I'll label the latter a "textualist" ("T"). What I mean by "postcritical" would be displayed as the pattern of inquiry traced by this dialogue. I take the term (...) "postcritical" from George Lindbeck, whose theological work is described by his commentators as more properly "textualist" rather than "philosophic." I believe my usage is, however, true to Lindbeck's discourse. This means that one of the arguments of this essay is that there is a mode of philosophic inquiry proper to the postcritical orientation in theology that we may associate with such Christian theologians as Hans Frei, etc., as well as Lindbeck. A second argument, offered indirectly, is that there is a family of Jewish thinkers whose work may also be labeled "postcritical" on the model of these Christian thinkers, and that this Jewish postcritical theology would also be displayed in dialogues between philosophic and textualist tendencies. A third argument is that, if we listen in on the philosophic side of any of these dialogues, we will hear a postcritical philosophy. By philosophy, I mean primarily logic, defined as an inquiry that examines problematic rules of reasoning and recommends testable ways of correcting them. Secondarily, philosophy includes metaphysics, defined as an inquiry that, for the sake of assuring people about the reliability of a given logic, constructs pictures of the world whose existence would warrant this logic. We need not assume either that logic and metaphysics can be conducted only in the manner of modern and scholastic foundationalism, or that non-foundationalist theology must be "textualist" in a manner that excludes any philosophic generalization. I will argue that there are, indeed, non-foundationalist ways of conceiving of both logical and metaphysical inquiry and that these ways contribute to the dialogic activity of postcritical inquiry. (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)

From the beginning of the 16th century to the end of the 18th century, there were not less than ten philosophers who focused extensively on Venn’s ostensible analytical diagrams, as noted by modern historians of logic (Venn, Gardner, Baron, Coumet et al.). But what was the reason for early modern philosophers to use logic or analytical diagrams? Among modern historians of logic one can find two theses which are closely connected to each other: M. Gardner (...) states that since the Middle Ages certain logic diagrams were used just in order to teach “dull-witted students”. Therefore, logic diagrams were just a means to an end. According to P. Bernhard, the appreciation of logic diagrams had not started prior to the 1960s, therefore the fact that logic diagrams become an end the point of research arose very late. The paper will focus on the question whether logic resp. analytical diagrams were just means in the history of (early) modern logic or not. In contrast to Gardner, I will argue that logic diagrams were not only used as a tool for “dull-witted students”, but rather as a tool used by didactic reformers in early modern logic. In predating Bernhard’s thesis, I will argue that in the 1820s logic diagrams had already become a value in themselves in Arthur Schopenhauer’s lectures on logic, especially in proof theory. (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)

A particularly promising trail on the search for forgotten logic diagrams leads to Upper Lusatia in the 17th century, more precisely to Christian Weise and his students. Samuel Grosser, who later became rector in Görlitz, and Johann Christian Lange, who later became professor of logic at the University of Gießen, are the most prominent to have published remarkable logic diagrams. Even more remarkable, however, is the fact that Lange's interest in these diagrams ultimately gave rise to the (...) idea of building a logic machine. (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)

Diagrams by Connor Camburn -/- The relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation presents a fascinating interplay of concepts that have significantly influenced various fields, including mathematics, physics, philosophy, and art. This essay explores these relationships by drawing insights from André Weil's "From Metaphysics to Mathematics," Gilles Châtelet's works, and Schmid's discussion on Gnostic Futurism. -/- Axiomatization: Weil and Grothendieck -/- Axiomatization, as discussed in André Weil's "From Metaphysics to Mathematics," represents the transformation of metaphysical concepts into (...) formal mathematical structures. Weil's document highlights the progression from vague metaphysical ideas to concrete mathematical theories. This process is evident in the works of mathematicians like Lagrange and Galois, where initial metaphysical notions eventually crystallized into the formal structures of modern algebra. Similarly, Alexander Grothendieck's work in algebraic geometry involved the creation of an abstract framework that could unify various mathematical concepts, demonstrating the power of axiomatization in providing a foundational structure for complex ideas. -/- Mechanization: Oppenheimer, Watson-Crick, and Von Neumann -/- Mechanization, in the context of scientific development, refers to the application of mechanical principles to solve problems and the automation of processes. Figures like Oppenheimer in physics, Watson and Crick in biology, and Von Neumann in computing and mathematics, represent the pinnacle of mechanization in their respective fields. Their work exemplifies how mechanization has enabled the simplification and automation of complex processes, leading to alienating discoveries such as the atomic bomb, the structure of DNA, and the development of modern computers. -/- Creative Individuation: Gnostic Futurism -/- Eric Schmid's discussion on Gnostic Futurism, as found in his document, offers a perspective on creative individuation. Gnostic Futurism, rooted in Kantian-Hegelian transcendental universalism, represents a departure from conventional realism, emphasizing a transcendental nature and integration of mythopoeia. This movement in art and philosophy underscores the role of creativity and individual expression in transcending traditional forms and norms. It embodies the idea of creative individuation, where individual creativity leads to the formation of new, often revolutionary, artistic and philosophical expressions. -/- Virtual/Physical Individuation: Châtelet's Perspective -/- Gilles Châtelet's works, particularly "Figuring Space: Philosophy, Mathematics, and Physics," delve into the concept of virtual/physical individuation. Châtelet discusses the configuration of space in mathematics and physics, emphasizing the role of diagrams in scientific discovery. This exploration of space, both virtual (as in mathematical abstractions) and physical (as in tangible representations), reflects the process of individuation in both realms. Châtelet's perspective highlights how mathematical and physical representations are not just tools for understanding the world but are also expressions of individual and collective intellectual endeavors. -/- Interconnections and Synthesis -/- The synthesis of these concepts reveals a complex tapestry of intellectual development across disciplines. Axiomatization provides a foundational structure that enables the mechanization of processes, as seen in the works of Oppenheimer, Watson-Crick, and Von Neumann. This mechanization, in turn, paves the way for creative individuation, where individuals can transcend established norms and frameworks, as exemplified in Gnostic Futurism. Finally, the concept of virtual/physical individuation, as explored by Châtelet, represents the culmination of these ideas, where the abstract and the tangible intersect, leading to new forms of understanding and expression. -/- In conclusion, the relationship between axiomatization, mechanization, creative individuation, and virtual/physical individuation is a testament to the dynamic and interconnected nature of intellectual progress. From the formal structures of mathematics to the revolutionary changes in art and philosophy, these concepts demonstrate how human thought and creativity continue to evolve, challenging existing paradigms and forging new paths of understanding and expression. (shrink)

This article investigates the technical rationalities of modern forms of government. Conceived in a Foucauldian vein, the paper argues for an interpretation of security dispositifs which sustain the structures of modern government. The main argument developed in the article is that there is a difference between two securities diagrams: the preventive and the anticipatory. The first one is using rational devices like the actuarial table while the second is aiming to instrumentalise the imagination.

This is one of the best popular cosmology books ever written and Guth is now (2016) a top physics Professor at MIT. He tells the extremely complex story of inflation and related areas of particle physics in such an absorbing style that it reads like a detective novel-in fact, it is a detective novel-how he and others found out how the universe started! The interweaving of his personal story and that of many colleagues along with their photos and many wonderfully (...) clear diagrams allows just the right amount of relaxation from the intensity of the physics. In places the style reminds one of Watson´s famous book ``The Double Helix``. He tells how his work on magnetic monopoles and spontaneous symmetry breaking led to the discovery of the inflationary theory of the very early universe (ca. 10 to minus 35 seconds!). -/- Along the way you will learn many gems that should stay with you a long time such as: the observed universe(e.g., everything the Hubble telescope etc. can see out to ca. 15 billion light years when the universe began) is likely just a vanishingly tiny part of the entire inhomogeneous universe which is about 10 to the 23rd times larger; the big bang probably took place simultaneously and homogeneously in our observed universe; there probably have been and will continue to be an infinite number of big bangs in an infinite number of universes for an infinite time; when a bang happens, everything(space, time, all the elements) from the previous universe are destroyed; the stretching of space can happen at speeds much greater than the speed of light; our entire observed universe lies in a single bubble out of an endless number so there may be trillions of trillions just in our own entire(pocket) universe(and there may be an endless number of such); none of these infinite number of universes interact-i.e., we can never find out anything about the others; each universe started with its own big bang and will eventually collapse to create a new big bang; all this implies that the whole universe is fractal in nature and thus infinitely regresses to ever more universes(which can lead one to thinking of it as a giant hologram); disagreements between the endless(hundreds at least) variations of inflation are sometimes due to lack of awareness that different definitions of time are being used; some theories suggest that there was a first big bang but we can never find out what happened before it; nevertheless it appears increasingly plausible that there was no beginning but rather an eternal cycle of the destruction and creation, each being the beginning of spacetime for that universe; to start a universe you need about 25g of matter in a 10 to minus 26cm diameter sphere with a false vacuum and a singularity(white hole). -/- He deliberately spends little time on the endless variants of inflation such as chaotic, expanded and supernatural inflation or on dark matter´, supersymmetry and string theory, though they were well known at the time as you can find by reading other books such as Michio Kaku´s `Hyperspace` (see my review) and countless others. Of course much has happened since this book appeared but it still serves as an excellent background volume so cheap now it’s free for the cost of mailing. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (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)

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)

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

In 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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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 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)

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)

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.

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)

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)

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)

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)

In the mid-seventeenth century a movement of self-styled experimental philosophers emerged in Britain. Originating in the discipline of natural philosophy amongst Fellows of the fledgling Royal Society of London, it soon spread to medicine and by the eighteenth century had impacted moral and political philosophy and even aesthetics. Early modern experimental philosophers gave epistemic priority to observation and experiment over theorising and speculation. They decried the use of hypotheses and system-building without recourse to experiment and, in some quarters, developed (...) a philosophy of experiment. The movement spread to the Netherlands and France in the early eighteenth century and later impacted Germany. Its important role in early modern philosophy was subsequently eclipsed by the widespread adoption of the Kantian historiography of modern philosophy, which emphasised the distinction between rationalism and empiricism and had no place for the historical phenomenon of early modern experimental philosophy. The re-emergence of interest in early modern experimental philosophy roughly coincided with the development of contemporary x-phi and there are some important similarities between the two. (shrink)

The aim of this paper is to elucidate the relationship between Aristotelian conceptual oppositions, commutative diagrams of relational structures, and Galois connections.This is done by investigating in detail some examples of Aristotelian conceptual oppositions arising from topological spaces and similarity structures. The main technical device for this endeavor is the notion of Galois connections of order structures.

This paper describes how bodily positions and gestures were used to teach argument diagramming to a student who cannot see. After listening to short argumentative passages with a screen reader, the student had to state the conclusion while touching his belly button. When stating a premise, he had to touch one of his shoulders. Premises lending independent support to a conclusion were thus diagrammed by a V-shaped gesture, each shoulder proposition going straight to the conclusion. Premises lending dependent support were (...) diagrammed by a T-shaped gesture, the shoulder premises meeting at the collar bone before moving down to the belly button. Arguments involving two pairs of entailments were diagrammed by an I-shaped gesture, going from the collar bone to a mid-way conclusion above the abdomen before travelling to the final conclusion at the belly button. The student’s strong performance suggests that placing propositions at different locations on the body and uniting them with gestures can help one discern correct argumentative structures. (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)

In this paper we argue that there were several currents, ideas and problems in 19th-century logic that motivated John Venn to develop his famous logic diagrams. To this end, we first examine the problem of uncertainty or over-specification in syllogistic that became obvious in Euler diagrams. In the 19th century, numerous logicians tried to solve this problem. The most famous was the attempt to introduce dashed circles into Euler diagrams. The solution that John Venn developed for this (...) problem, however, came from a completely different area of logic: instead of orienting to syllogistic like Euler diagrams, Venn applied Boolean algebra to improve visual reasoning. Venn’s contribution to solving the problem of elimination also played an important role. The result of this development is still known today as the ‘Venn Diagram’. (shrink)

Georg Henrik von Wright was not only the first interpreter of Wittgenstein, who argued that Spengler’s work had reinforced and helped Wittgenstein to articulate his view of life, but also the first to consider seriously that Wittgenstein’s attitude to his times makes him unique among the great philosophers, that the philosophical problems which Wittgenstein was struggling, indeed his view of the nature of philosophy, were somehow connected with features of our culture or civilization. -/- In this paper I draw inspiration (...) and courage from Von Wright’s insistence that trying to understand Wittgenstein in relation to his times is a philosophic task in its own right in order to probe into a relatively obscure region in Wittgenstein’s thought: his relation to the music of his times. It is a topic, on which Von Wright, and most other prominent Wittgenstein scholars, have said very little, but it is also one, which Wittgenstein himself attested was so important to him that he felt without it he was sure to be misunderstood. -/- I offer textual and historical evidence in support of my claim that, parallel to Wittgenstein’s exposure to Spengler’s Decline of the West in 1930, he was also introduced to the music theory of Heinrich Schenker, which helped him to articulate, partly by way of critique, a complex and unique position concerning the modern music of his times, which exhibits his rejection of what Von Wright later dubbed ‘the myth of progress’. As Von Wright observed in other regions of Wittgenstein’s work, he believed also with regards to the arts and to music in particular, neither in a brilliant future nor in the good old days. -/- I argue that Wittgenstein actually made a distinction between three kinds of modern music: (a) bad modern music, which is clearly a case of confusing means for ends, the hallmark of the myth of progress, as Von Wright observed; (b) vacuous modern music, which embodies some sort of diffidence, a difficulty to see through the omnipresence of what Von Wright called (following Habermas) a ‘colonialization’ of reified measures of progress; (c) good modern music, a paradoxical notion for Wittgenstein, which betokens the unlikely yet possible striving to penetrate through what appears as dissolution of the resemblances which unite this culture’s ways of life by rendering this condition as expressible and intransitively understandable. In the context of this third category, I offer an interpretation of Wittgenstein’s complex remarks on the music of Gustav Mahler, which palpably show that the problem of good modern music and the problem of philosophizing in the time of civilization were one and the same in Wittgenstein’s mind. -/- I conclude that, with regards to Von Wright’s own critical view of the modern myth of progress, we can learn from Wittgenstein that progress in the realm of art is closely aligned with the ideal of the perfection of man, yet transcending a social or political context. It is the ideal of cultural cohesion: affinity that the arts show to other human practices and cultural artifacts of its period. Wittgenstein’s tentative notion of good modern music (and its circumscription by his notion of the music of the future) may show its true colors when viewed in the context of Von Wright’s plea not to abandon work for progress as a critical task. (shrink)

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

This book analyses three of the most prevalent illnesses of late modernity: anxiety, depression and Alzheimer’s disease, in terms of their relation to cultural pathologies of the social body. Usually these conditions are interpreted clinically in terms of individualized symptoms and responded to discretely, as though for the most part unrelated to each other. However, these diseases also have a social and cultural profile that transcends their particular symptomologies and etiologies. Anxiety, depression and Alzheimer’s are diseases related to disorders of (...) the collective esprit de corps of contemporary society. Multidisciplinary in approach, the book addresses questions of how these conditions are manifest at both the individual and collective levels in relation to hegemonic biomedical and psychologistic understandings. Rejecting such reductive diagnoses, the authors argue that anxiety, depression and Alzheimer’s disease, as well as other contemporary epidemics, are to be analysed in the light of individual and collective experiences of profound and radical changes in our civilization. A diagnosis of our times, Late Modern Subjectivity and its Discontents will appeal to a broad range of scholars with interests in health and illness, the sociology of medicine and contemporary life. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

Modern Monetary Theory and Distributive Justice shows how the macroeconomic framework called modern money theory (MMT) is relevant to the field of political philosophy called distributive justice. Many of the macroeconomic assumptions of distributive justice are unstated and unexamined. The framework of MMT illuminates these assumptions and provides an alternative vision of distributive justice analysis and prescriptions. In particular, MMT holds that modern money is a nominal state issued token (fiat), there is a distinction between nominal assets (...) and real assets, that state money as a nominal token can cause changes in real terms, and that the macroeconomy has historically not operated at capacity. The upshot of these assumptions held by MMT is that state spending can bring about changes in persons’ well-being without traditional redistributive measures via taxation. This is in contradistinction to standard assumptions in the distributive justice literature, which holds that the macroeconomy is at capacity and, thus, redistribution is the necessary mechanism for enacting improvements in well-being. This is a fundamental shift in how distributive justice can be conceived. (shrink)

In this paper I begin by extending two results of Solovay; the first characterizes the possible Turing degrees of models of True Arithmetic (TA), the complete first-order theory of the standard model of PA, while the second characterizes the possible Turing degrees of arbitrary completions of P. I extend these two results to characterize the possible Turing degrees of m-diagrams of models of TA and of arbitrary complete extensions of PA. I next give a construction showing that the conditions (...) Solovay identified for his characterization of degrees of models of arbitrary completions of PA cannot be dropped (I showed that these conditions cannot be simplified in the paper. (shrink)

If the allusive stratagems can claim to define a new type of systematicity, it is because they give access to a space where the singularity, the diagram and the metaphor may interlace, to penetrate further into the physico-mathematic intuition and the discipline of the gestures which precede and accompany ‘formalisation’. This interlacing is an operation where each component backs up the others: without the diagram, the metaphor would only be a short-lived fulguration because it would be unable to operate: without (...) the metaphor, the diagram would only be a frozen icon, unable to jump over its bold features which represent the images of an already acquired knowledge; without the subversion of the functional by the singular, nothing would come to oppose the force of habit. (shrink)

Part one of this two-part paper looked at the modern semantic developments underlying Gilson’s innovative and highly influential semantic theory in Being and Some Philosophers (BSP)—the existential neutrality of the copula, the distinction between predication and some positing or “thetic” function of judgment, and the distinction between predication and assertion. The present part of this paper offers a rereading of Gilson’s work in light of this modern backdrop. It argues that Gilson’s BSP, rather than being a purely historical (...) exegesis of the logical writings of a thirteenth-century friar, is a work of original philosophizing inspired by Aquinas, but principally engaged with modern debates. In particular, it advances a Brentano- inspired reading of Aquinas in place of Maritain’s Pfänder-inspired reading of him. Rereading Gilson in his historical setting clarifies the meaning and implication of many phrases and theses that have become commonplaces in philosophical discourse, in part because of Gilson’s work. (shrink)

The importance of teaching critical thinking skills at the college level cannot be overemphasized. Teaching a subcategory of these skills—argument analysis—we believe is especially important for first-year students with their college careers, as well as their lives, ahead of them. The struggle, however, is how to effectively teach argument analysis skills that will serve students in a broad range of disciplines.