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.

This paper examines the contemporary philosophical and cognitive relevance of Charles Peirce's diagrammatic logic of existential graphs (EGs), the ‘moving pictures of thought’. The first part brings to the fore some hitherto unknown details about the reception of EGs in the early 1900s that took place amidst the emergence of modern conceptions of symbolic logic. In the second part, philosophical aspects of EGs and their contributions to contemporary logical theory are pointed out, including the relationship between iconic (...) logic and images, the problem of the meaning of logical constants, the cognitive economy of iconic logic, the failure of the Frege–Russell thesis, and the failure of the Language of Thought hypothesis. (shrink)

The development of diagrammatic logics is strongly motivated by the desire to make formal reasoning accessible to broad audiences. One major research problem, for which surprisingly little progress has been made, is to understand how to choose between semantically equivalent diagrams from the perspective of human cognition. The particular focus of this paper is on choosing between diagrams that represent either the presence or absence of individuals. To understand how to best make this choice, we conducted an empirical study. (...) We found that representing the presence of individuals supported task performance either significantly better than, or no worse than, representing the absence of individuals. The particularly striking feature of our results was that representing the absence of individuals in a way that makes the diagram highly cluttered is detrimental to human cognition. As a result, diagrams with this feature should be avoided, but diagrams using presence or low-cluttered absence can be used to support cognition in the context of the tasks performed in our study. (shrink)

A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional (...) case and a corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic. (shrink)

In this paper, we interpret a 19th century diagram, which is meant to visualise G.W.F. Hegel’s entire method of the `Science of Logic' on the basis of bitwise operations. For the interpretation of the diagram we use a binary numeral system, and discuss whether the anti-Hegelian argument associated with it is valid or not. The reinterpretation is intended to make more precise rules of construction, a stricter binary code and a review of strengths and weaknesses of the critique.

In Part III of his 1879 logic Frege proves a theorem in the theory of sequences on the basis of four definitions. He claims in Grundlagen that this proof, despite being strictly deductive, constitutes a real extension of our knowledge, that it is ampliative rather than merely explicative. Frege furthermore connects this idea of ampliative deductive proof to what he thinks of as a fruitful definition, one that draws new lines. My aim is to show that we can make (...) good sense of these claims if we read Frege’s notation diagrammatically, in particular, if we take that notation to have been designed to enable one to exhibit the (inferentially articulated) contents of concepts in a way that allows one to reason deductively on the basis of those contents. (shrink)

Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions (...) as in the standard approach, but in terms of topological relations between diagrammatic objects. We formalize the unification rule, which plays a central role in Euler diagrammatic reasoning, in a style of natural deduction. We prove the soundness and completeness theorems with respect to a formal set-theoretical semantics. We also investigate structure of diagrammatic proofs and prove a normal form theorem. (shrink)

In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give an (...) account of the validity of some obviously valid arguments that contain these types of statements as constituents. In this paper, owing to the developments in the literature on Venn diagrams, we offer a way of supplementing the rules of the Venn diagram found in textbooks, and show how this retooled Venn diagram technique could account for the problem cases. (shrink)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of (...) which would claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (shrink)

This book analyses the role of diagrammatic reasoning in Plato’s philosophy: the readers will realize that Plato, describing the stages of human cognitive development using a diagram, poses a logic problem to stimulate the general reasoning abilities of his readers. Following the examination of mental models in this book, the readers will reflect on what inferences can be useful to approach this kind of logic problem. Plato calls for a collaboration between writer and readers. In this book (...) the readers will examine the connection between diagrams and discovery, realizing the important epistemic role of visualization. They will recognize the crucial role that diagrams play in problem solving. The logic problem elaborated by Plato is addressed considering the epistemic function of mental models. These models introduce to an advanced stage of cognitive development, in which reasoning uses in its investigations a higher-level of mathematical complexity, represented by structuralism. (shrink)

The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. The (...) paper focuses mainly on the adaptation of the square of opposition in CL and offers an algebraic notation, which corresponds to the diagrammatic representation. (shrink)

Peirce’s diagrammatic system of Existential Graphs (EGα)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha })$$\end{document} is a logical proof system corresponding to the Propositional Calculus (PL). Most known proofs of soundness and completeness for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} depend upon a translation of Peirce’s diagrammatic syntax into that of a suitable Frege-style system. In this paper, drawing upon standard results but using the native diagrammatic notational framework of the (...) graphs, we present a purely syntactic proof of soundness, and hence consistency, for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document}, along with two separate completeness proofs that are constructive in the sense that we provide an algorithm in each case to construct an EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} formal proof starting from the empty Sheet of Assertion, given any expression that is in fact a tautology according to the standard semantics of the system. (shrink)

This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group are discussed. Finally, a comparison between the (...) Dual of Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods. (shrink)

According to the received view, Charles S. Peirce's theory of diagrammatic reasoning is derived from Kant's philosophy of mathematics. For Kant, only mathematics is constructive/synthetic, logic being instead discursive/analytic, while for Peirce, the entire domain of necessary reasoning, comprising mathematics and deductive logic, is diagrammatic, i.e. constructive in the Kantian sense. This shift was stimulated, as Peirce himself acknowledged, by the doctrines contained in Friedrich Albert Lange's Logische Studien (1877). The present paper reconstructs Peirce's reading of (...) Lange's book, and illustrates what, according to Peirce, was right and what was problematic in Lange's account of reasoning. It further seeks to explain how Peirce's theory of deductive reasoning was a combination of Kant's philosophy of mathematics and Lange's philosophy of logic. (shrink)

Theorems in automated theorem proving are usually proved by formal logical proofs. However, there is a subset of problems which humans can prove by the use of geometric operations on diagrams, so called diagrammatic proofs. Insight is often more clearly perceived in these proofs than in the corresponding algebraic proofs; they capture an intuitive notion of truthfulness that humans find easy to see and understand. We are investigating and automating such diagrammatic reasoning about mathematical theorems. Concrete, rather than (...) general diagrams are used to prove particular concrete instances of the universally quantified theorem. The diagrammatic proof is captured by the use of geometric operations on the diagram. These operations are the inference steps of the proof. An abstracted schematic proof of the universally quantified theorem is induced from these proof instances. The constructive -rule provides the mathematical basis for this step from schematic proofs to theoremhood. In this way we avoid the difficulty of treating a general case in a diagram. One method of confirming that the abstraction of the schematic proof from the proof instances is sound is proving the correctness of schematic proofs in the meta-theory of diagrams. These ideas have been implemented in the system, called Diamond, which is presented here. (shrink)

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024. -/- The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; (...) Historical Aspects of Diagrams; and Posters. (shrink)

This book constitutes the refereed proceedings of the 12th International Conference on the Theory and Application of Diagrams, Diagrams 2021, held virtually in September 2021. The 16 full papers and 25 short papers presented together with 16 posters were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: design of concrete diagrams; theory of diagrams; diagrams and mathematics; diagrams and logic; new representation systems; analysis of diagrams; diagrams and computation; cognitive analysis; diagrams (...) as structural tools; formal diagrams; and understanding thought processes. 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. (shrink)

Following the guiding thread of Peirce’s use of diagrammatic syntax in his system of existential graphs , which depends crucially on the role of the Sheet of Assertion, we introduce the notion of Sheet of Indication as the basis for a general diagrammatic semantics applicable to a wide range of diagrams. We then show how Peirce’s EG-alpha graphs may be understood as instances of SIs and how logically coherent models of the graphs are represented in the SI semantics.

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a (...) satisfactory symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

In current philosophy of information, different authors have been supporting the veridicality thesis (VT). According to this thesis, an epistemically-oriented concept of information must have truth as one of its necessary conditions. Two challenges can be raised against VT. First, some philosophers object that veridicalists erroneously ignore the informativeness of false messages. Secondly, it is not clear whether VT can adequately explain the information considered in hypothetical reasoning. In this sense, logical diagrams offer an interesting case of analysis: by manipulating (...) a logical diagram we can verify that a certain conclusion follows from a set of premises, but it cannot help us to determine the actual truth-value of a given set of propositions. Focusing on the latter challenge, in this paper I claim that logical diagrams set out potential counterexamples to VT and, consequently, pose a real challenge to this thesis. First, a veridicalist analysis of logical diagrams requires the assumption of metatheoretical properties which are not satisfied by some logical systems (and, consequently, are not satisfied by some systems of logical diagrams). So, VT does not fit well as a general framework for a theory of logical diagrammatic information. Secondly, based on semantic inferentialism, one can propose a normative interpretation of the inferential content of logical diagrams not exposed to the problems faced by VT. Moreover, there are several reasons to believe that veridicalism cannot accommodate such a normative interpretation. In other words, normativism represents a real (though still underexplored) alternative to veridicality. Due to these reasons, I conclude that, until further research, we should adopt a more parsimonious standpoint and say that logical diagrams provide inferential information simply. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. (...) The paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

Mercier and Sperber (MS) have ventured to undermine an age-old assumption in logic, namely the presence of premise-conclusion structures, in favor of two novel claims: that reasoning is an evolutionary product of a reason-intuiting module in the mind, and that theories of logic teach next to nothing about the mechanisms of how inferences are drawn in that module. The present paper begs to differ: logic is indispensable in formulating conceptions of cognitive elements of reasoning, and MS is (...) no less exempt from taking notice of premise-conclusion structures than the commonplace theories of reasoning are. Our counterclaim is realized in terms of diagrammatic reasoning dating back to Charles Peirce’s pragmaticism. The upshot is that pragmatist logic restores the premise-conclusion structures in argumentation, supplants reason-intuition module with logical content, and validates good reasoning as an indispensable resource evident to all rational minds that claim ownership of reason and understanding. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud (...) if possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

Finally, the first book started Peirceana. Peirceana is expected as a new series that provides access to both Peirce’s mostly unpublished late works and secondary papers, in which ideas of this American philosopher are developed. This edition is opened with three volumes on Peirce’s manuscripts on “Logic of the Future.” The thinker gave this definition to his theory of existential graphs, i.e., a diagrammatical logical project that includes three sections. The sections can roughly correspond to propositional logic, first-order (...) logic and modal logic. The theory of existential graphs is a particular conception. It predicts ideas of proof theory, mathematics of continuity, and cognitive sciences. Besides, it has an impressive philosophical foundation and perfectly emphasizes the importance of diagrammatic notations. Since many writings are published here for the first time, the edition per se is a significant event for the history of logic. However, Peirceana can do more than this. It urges to think of how the logic of 20‒21st centuries would have looked like if Peirce’s intentions were discovered earlier. At the same time, it clarifies the ground for contemporary investigations. Today we have a bunch of papers about various non-classical modifications, extensions, restrictions, and applications of the original theory. Peirceana is projected as the publication that can gather specialists (logicians, philosophers, as well as IT and cognitive science scholars) who are interested in the development of Peirce’s approach. It lets the readers reconsider our ordinary logical conceptions (e.g., reasoning, logical and language analysis, and others) as well as the conventional understanding of the evolution of modern logic. The current paper has two objectives: firstly, it estimates this diplomatic partly critical edition with its several thoroughly elaborated introductions, and secondly, it briefly introduces the existential graphs theory. A set of examples demonstrates the basic principles of this system. (shrink)

Most contemporary chemists consider quantum mechanics to be the foundational theory of their discipline, although few of the calculations that a strict reduction would seem to require have ever been produced. In this essay I discuss contemporary algebraic and diagrammatic representations of molecular systems derived from quantum mechanical models, specifically configuration interaction wavefunctions for ab initio calculations and molecular orbital energy diagrams. My aim is to suggest that recent dissatisfaction with reductive accounts of chemical theory may stem from both (...) the inability of standard accounts of reduction to incorporate the diverse forms of representation found in chemical practice and our philosophical predilection to analyze all connections between theories in terms of logical reduction. (shrink)

Theories of diagrams and diagrammatic reasoning typically seek to account for either the formal semantics of diagrams, or for the advantages which diagrammatic representations hold for the reasoner over other forms of representation. Regrettably, almost no theory exists which accounts for both of these issues together, nor how they affect one another. We do not attempt to provide such an account here. We do, however, seek to lay out larger context than is generally used for examining the processes (...) of using diagrams in reasoning or communication. A context in which detailed studies of sub-problems, such as the formal semantics or cognitive impact of specific diagrammatic systems, may be embedded.Accounts of the embedding of sentential logics in the computational processes of reasoners and communicators are relatively well developed from several decades of research in AI. Analogies between the sentential and the graphical cases are quite revealing about both similarities and differences. To provide a structure for the 'grand context' of diagrammatic representation and reasoning, and to clarify the relations between its component problems, we examine carefully these analogies and the decomposition they provide of subproblems for analysing diagrammatic reasoning. (shrink)

When testing logical formulae for validity by applying Venn's diagrams we are using a kind of picture writing i. e. a writing in which certain facts are represented by drawings rather than sentences. This diagrammatic decision procedure may however be translated into ordinary language. Translating for instance the respective procedure of testing the mood Darii we obtain the following reasoning.

Charles Sanders Peirce developed an optical system for the logic of relations based on the concept of graph, a tool able to produce models representing states of things and to develop new models that are closer to intuition. The thesis that we want to defend in this paper is that Peircean graphs form part of diagrammatic thought, a veritable logic of the concept that can justifably be placed in correspondence with the geometrization of meaning implemented by René (...) Thom. (shrink)

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery (...) of first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

In this work, we provide an extensive analysis of Hohfeld’s theory of normative relations, focusing in particular on diagrammatic structures. Our contribution is threefold. First, we specify an extensional formal language to represent the main notions in the two families of normative relations identified by Hohfeld (i.e. the deontic and the potestative family). Our primary focus is on the part of the theory concerning potestative relations. In this regard, we assign a key role to the concept of ability, which (...) is treated as a primitive notion and used to formulate three fine-grained definitions of power (outcome-centered, change-centered and force-centered). Second, on the basis of these definitions we build Aristotelian diagrams of opposition for deontic and potestative relations, improving, extending and systematizing previous proposals formulated in the literature. Third, we present a model-theoretic interpretation and a logic programming (ASP) implementation of the proposed framework, elaborating on the procedural dimension of normative reasoning. (shrink)

Euclidean diagrammatic reasoning refers to the diagrammatic inferential practice that originated in the geometrical proofs of Euclid’s Elements. A seminal philosophical analysis of this practice by Manders (‘The Euclidean diagram’, 2008) has revealed that a systematic method of reasoning underlies the use of diagrams in Euclid’s proofs, leading in turn to a logical analysis aiming to capture this method formally via proof systems. The central premise of this paper is that our understanding of Euclidean diagrammatic reasoning can (...) be fruitfully advanced by confronting these logical and philosophical analyses with the field of cognitive science. Surprisingly, central aspects of the philosophical and logical analyses resonate in very natural ways with research topics in mathematical cognition, spatial cognition and the psychology of reasoning. The paper develops these connections, concentrating on four issues: (1) the cognitive origins of Euclidean diagrammatic reasoning, (2) the cognitive representations of spatial relations in Euclidean diagrams, (3) the nature of the cognitive processes and cognitive representations involved in Euclidean diagrammatic reasoning seen as a form of visuospatial relational reasoning and (4) the complexity of Euclidean diagrammatic reasoning for the human cognitive system. For each of these issues, our analysis generates concrete experiment proposals, opening thereby the way for further empirical investigations. The paper is thus a prolegomenon to a research program on Euclidean diagrammatic reasoning at the crossroads of logic, philosophy and cognitive science. (shrink)

In the first part of this paper, I delineate Peirce's general concept of diagrammatic reasoning from other usages of the term that focus either on diagrammatic systems as developed in logic and AI or on reasoning with mental models. The main function of Peirce's form of diagrammatic reasoning is to facilitate individual or social thinking processes in situations that are too complex to be coped with exclusively by internal cognitive means. I provide a diagrammatic definition (...) of diagrammatic reasoning that emphasizes the construction of, and experimentation with, external representations based on the rules and conventions of a chosen representation system. The second part starts with a summary of empirical research regarding cognitive effects of working with diagrams and a critique of approaches that use “mental models” to explain those effects. The main focus of this section is, however, to elaborate the idea that diagrammatic reasoning should be conceptualized as a case of “distributed cognition.” Using the mathematics lesson described by Plato in his Meno, I analyze those cognitive conditions of diagrammatic reasoning that are relevant in this case. (shrink)

Abstraction and generalization are two processes of reasoning that have a special role in the construction of scientific theories and models. They have been important parts of the scientific method ever since the nineteenth century. A philosophical and historical analysis of scientific practices shows how abstraction and generalization found their way into the theory of the logic of science of the nineteenth-century philosopher Charles S. Peirce. Our case studies include the scientific practices of Francis Galton and John Herschel, who (...) introduced composite photographs and graphical methods, respectively, as technologies of generalization and thereby influenced Peirce’s logic of abstraction. Herschel’s account of generalization is further supported by William Whewell, who was very influential on Peirce. By connecting Herschel’s scientific technology of abstraction to Peirce’s logical technology of abstraction—namely, diagrams—we highlight the role of judgments in scientific observation by hypostatic abstractions. We also relate Herschel’s discovery-driven logic of science and Peirce’s open-ended diagrammatic logic to the use of models in science. Ultimately, Peirce’s theory of abstraction is a case of showing how logic applies to reality. (shrink)

Most contemporary chemists consider quantum mechanics to be the foundational theory of their discipline, although few of the calculations that a strict reduction would seem to require have ever been produced. In this essay I discuss contemporary algebraic and diagrammatic representations of molecular systems derived from quantum mechanical models, specifically configuration interaction wavefunctions for ab initio calculations and molecular orbital energy diagrams. My aim is to suggest that recent dissatisfaction with reductive accounts of chemical theory may stem from both (...) the inability of standard accounts of reduction to incorporate the diverse forms of representation found in chemical practice and our philosophical predilection to analyze all connections between theories in terms of logical reduction. (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)

This first volume of the Logic of the Future edition collects Peirce's writings on the historical development, theory and application of his graphical method and diagrammatic reasoning. Its 28 selections of texts and extensive general and volume int.

Table of Contents Volume I Preface to Volumes I and II: A Guide to the Primer Chapter 1, Basic Ideas and Tools Chapter 2, Transcription between English and Sentence Logic Chapter 3, Logical Equivalence, Logical Truths, and Contradictions Chapter 4, Validity and Conditionals Chapter 5, Natural Deduction for Sentence Logic: Fundamentals Chapter 6, Natural Deduction for Sentence Logic: Strategies Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises Chapter 8, Truth Tree for (...) Sentence Logic: Fundamentals Chapter 9, Truth Trees for Sentence Logic: Applications Index for Volume 1 Solutions Manual for Volume 1 Table of Contents to Volume II Introduction to Predicate Logic Notes Chapter 1, Predicate Logic: Syntax Chapter 2, Predicate Logic: Semantics and Validity Chapter 3, More about Quantifiers Chapter 4, Transcription Chapter 5, Natural Deduction for Predicate Logic: Fundamentals Chapter 6, More on Natural Deduction for Predicate Logic Chapter 7, Truth Tress for Predicate Logic: Fundamentals Chapter 8, More on Truth Tress for Predicate Logic Chapter 9, Identity, Functions, and Definite Descriptions Chapter 10, Metatheory: The Basic Concepts Chapter 11, Mathematical Induction Chapter 12, Soundness and Completeness for Sentence Logic Trees Chapter 13, Soundness and Completeness for Sentence Logic Derivations Chapter 14, Koenig’s Lemma, Compactness, and Generalization to Infinite Sets of Premises Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic Index for Volume II Solutions Manual for Volume II Diagrammatic Summary of Rules Corrections to the Text. (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)

Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic (...) of swarms, logic of fungi colonies, etc.). (shrink)

In the vein of a renewed interest in diagrammatic reasoning, this paper challenges an opposition between logic diagrams and formal languages that has traditionally been the common view in philosophy of logic and linguistics. We examine, from a philosophical point of view, what we call five dogmas of logic diagrams. These are as follows: (1) diagrams are non-linguistic; (2) diagrams are visual representations; (3) diagrams are iconic, and not symbolic; (4) diagrams are non-linear; (5) diagrams are (...) heterogenous, and not homogenous. Using historical examples, we argue that none of these dogmas is an adequate criterion to distinguish logic diagrams from formal languages. Instead, we advocate that there is a common core between linguistic and diagrammatic representation and reasoning. (shrink)