DOCSLIB.ORG

The BF Calculus and the Square Root of Negation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The BF Calculus and the Square Root of Negation The BF Calculus and the Square Root of Negation Louis H. Kauffman Arthur M. Collings Department of Mathematics, Statistics and Computer Science Independent Researcher University of Illinois at Chicago P.O. Box 114 Chicago, IL USA Red Hook, NY USA Department of Mechanics and Mathematics [email protected] Novosibirsk State University, Novosibirsk, Russia [email protected] Abstract—The concept of imaginary logical values was intro- to BF. Section IV introduces the BF Calculus, stressing the duced by Spencer-Brown in Laws of Form, in analogy to the following important points: square root of -1 in the complex numbers. In this paper, we develop a new approach to representing imaginary values. The • Every consequence in Spencer-Brown's Primary Algebra resulting system, which we call BF, is a four-valued generalization can be represented and formally demonstrated in BF. of Laws of Form. Imaginary values in BF act as cyclic four- • Consequences exist and can be demonstrated in BF that valued operators. The central characteristic of BF is its capacity do no exist in the Primary Algebra. to portray imaginary values as both values and as operators. • All values (real and imaginary) can be viewed as being We show that the BF algebra is an stronger, axiomatically complete extension to Laws of Form capable of representing other both a value and an operation. four-valued systems, including the Kauffman/Varela Waveform • Imaginary values act as cyclic operators, in exact analogy Algebra and Belnap's Four-Valued Bilattice. We conclude by to a clock marked at the four quarter hours. showing a representation of imaginary values based on the Artin Section IV concludes with a proof that the BF algebra is braid group. axiomaically complete based on an extended set of the Bricken Index Terms—imaginary logical values, many-valued logics, indicational notation, Laws of Form, bilattices, distinctions Axioms. Finally, in Section V, we show that each of the four four valued calculi can be represented in BF, and that the BF Algebra is equivalent to a Four Valued Billatice. I. INTRODUCTION II. LAWS OF FORM We reexamine the concept of imaginary logical values, A. Distinction first proposed by George Spencer-Brown [1] and later re- conceptualized by Kauffman and Varela [2]–[4]. Imaginary Laws of Form by Spencer-Brown [1], and the Primary logical values are analogous to i = p 1 in ordinary algebra. Algebra (PA) it describes, is based on the idea of distinction, We introduce a new approach to imaginary− Boolean values represented by the dividing of a space into two regions, one based on the concept of the square root of negation as marked, the second unmarked. In Laws of Form, the mark introduced by Kauffman in 1989 [4], [5] and revived more indicates the marked state, and the empty value indicates recently as a logical calculus that we call BF [7]–[9]. the unmarked state. The step of representing a value by an The reader may recall that the square root of minus one, i, empty space, by the lack of a sign, is motivated by a key can be represented as acting on ordered pairs of real numbers idea: doing so permits the mark to act both as the name by the formula i(a; b) = ( b; a). This suggests a correspond- of a value and as an operation. − ing “logical operator” of the form (a; b) i = ( b; a) where ∼ The Mark O a and b are elements of a Boolean algebra. This is one of the as an <latexit sha1_base64="inF0y6fPfG0yYHOYUi0sum6jyxE=">AAAChnicbVHLbhMxFPVMeYTh0QBLNhZpJZBQNA5CZRnBhmWRSFspM4o8npuOFT8G2xOILH8KP8WOv8GTRFFpuZKto3POte+jagW3Ls//JOnRvfsPHg4eZY+fPH12PHz+4sLqzjCYMS20uaqoBcEVzBx3Aq5aA1RWAi6r1edev1yDsVyrb27TQinpteJLzqiL1GL4q1Dwg2kpqap9wYy2NsxJ6U+zQlb6py/W23sFRmHSuqK5QTamE5DttMlBA2U7A5K6Jvrahiqnpa/CiISDM4Ri3eceng2ReReyLDvZleCL7x2tw8liOMrH+TbwXUD2YIT2cb4Y/i5qzToJyjFBrZ2TvHWlp8ZxJiBkRWehpWxFr2EeoaISbOm3Ywz4NDI1XmoTj3J4y97M8FRau5FVdPbt2dtaT/5Pm3du+bH0XLWdA8V2Hy07gZ3G/U5wzQ0wJzYRUGZ4rBWzhhrKXNxcFodAbrd8F1xMxiQfk6+T0fTTfhwD9Aq9Rm8QQWdoir6gczRDLDlK3iaT5H06SMfph/RsZ02Tfc5L9E+k079x5sax</latexit> key ideas behind our construction of BF in this paper, which Operation arXiv:1905.12891v2 [math.LO] 27 Apr 2020 we stress at this point to indicate the close analogy of our I <latexit sha1_base64="inF0y6fPfG0yYHOYUi0sum6jyxE=">AAAChnicbVHLbhMxFPVMeYTh0QBLNhZpJZBQNA5CZRnBhmWRSFspM4o8npuOFT8G2xOILH8KP8WOv8GTRFFpuZKto3POte+jagW3Ls//JOnRvfsPHg4eZY+fPH12PHz+4sLqzjCYMS20uaqoBcEVzBx3Aq5aA1RWAi6r1edev1yDsVyrb27TQinpteJLzqiL1GL4q1Dwg2kpqap9wYy2NsxJ6U+zQlb6py/W23sFRmHSuqK5QTamE5DttMlBA2U7A5K6Jvrahiqnpa/CiISDM4Ri3eceng2ReReyLDvZleCL7x2tw8liOMrH+TbwXUD2YIT2cb4Y/i5qzToJyjFBrZ2TvHWlp8ZxJiBkRWehpWxFr2EeoaISbOm3Ywz4NDI1XmoTj3J4y97M8FRau5FVdPbt2dtaT/5Pm3du+bH0XLWdA8V2Hy07gZ3G/U5wzQ0wJzYRUGZ4rBWzhhrKXNxcFodAbrd8F1xMxiQfk6+T0fTTfhwD9Aq9Rm8QQWdoir6gczRDLDlK3iaT5H06SMfph/RsZ02Tfc5L9E+k079x5sax</latexit> work with the extension of the real numbers to the complex <latexit sha1_base64="TTEVi5GImp2Ejf4ZfKOIhBR/OAA=">AAACg3icbVHLahsxFNVMkzad9OE2y25ETEKhxR2ZQrMJBLJJV02hTgKewWjk64ywHoOkcWuEfqSflV3/phrbmDTpBYnDOedK91E1gluX53+S9MnO7tNne8+z/RcvX73uvXl7ZXVrGIyYFtrcVNSC4ApGjjsBN40BKisB19X8vNOvF2As1+qHWzZQSnqr+Iwz6iI16f0uFPxkWkqqpr5gRlsbxqT0R1khK/3LF4vVPQejMGlcUd8ja9MKyNbacKuBsq0BSV0dfU1NldPSV6FPwtYZQrHocrfPhsh8DFm2LsB/DfgUf5v0+vkgXwV+DMgG9NEmLie9u2KqWStBOSaotWOSN6701DjOBISsaC00lM3pLYwjVFSCLf1qhgEfRWaKZ9rEoxxesfczPJXWLmUVnV1v9qHWkf/Txq2bnZSeq6Z1oNj6o1krsNO4WwiecgPMiWUElBkea8WspoYyF9eWxSGQhy0/BlfDAckH5Puwf3ayGcceeocO0XtE0Bd0hi7QJRohlqDkOPmU5Olu+iEdpp/X1jTZ5BygfyI9/QtiI8VF</latexit> I =O numbers. <latexit sha1_base64="nCzmnJcRAsaLS/oD7rFdIX+0jkY=">AAACg3icbVHLahsxFNVMkzad9OE2y25ETEKhxR2ZQrMJBLJJV02hTgKewWjk64ywHoOkcWuEfqSflV3/phrbmDTpBYnDOedK91E1gluX53+S9MnO7tNne8+z/RcvX73uvXl7ZXVrGIyYFtrcVNSC4ApGjjsBN40BKisB19X8vNOvF2As1+qHWzZQSnqr+Iwz6iI16f0uFPxkWkqqpr5gRlsbxqT0R1khK/3LF4vVPQejMGlcUd8ja9MKyNbacKuBsq0BSV0dfU1NldPSV6FPwtYZQrHocrfPhsh8DFm2LsB/C/gUf530+vkgXwV+DMgG9NEmLie9u2KqWStBOSaotWOSN6701DjOBISsaC00lM3pLYwjVFSCLf1qhgEfRWaKZ9rEoxxesfczPJXWLmUVnV1v9qHWkf/Txq2bnZSeq6Z1oNj6o1krsNO4WwiecgPMiWUElBkea8WspoYyF9eWxSGQhy0/BlfDAckH5Puwf3ayGcceeocO0XtE0Bd0hi7QJRohlqDkOPmU5Olu+iEdpp/X1jTZ5BygfyI9/QtiQcVF</latexit> O =I The first section of the paper begins with a brief introduction Fig. 1. Representing a Distinction between Inside (I) and Outside (O) to Laws of Form, to the idea of distinction, and to the notation used by Spencer-Brown. We have emphasized the idea that Consider Figure 1, in which we have drawn a closed circle, values in Laws of Form can be indicated both as names and creating a distinction between inside, I, and outside O. We as operations. In Section III, we introduce several known four- regard the mark as an operator that takes I to O and O valued calculi, which the reader may regard as precursors to I. Then we observe the following: Kauffman’s work was supported by the Laboratory of Topology and I = O; O = I; (1) Dynamics, Novosibirsk State University (contract no. 14.Y26.31.0025 with the Ministry of Education and Science of the Russian Federation). I = O = I; O = I = O; (2) so for any state X we have X = X. The conceptual shift is to designate the inside to be un- , and marked (literally to have no symbol), so that I = . Then from (1) we obtain Calculating in the Primary Arithmetic is based on two = O; O = ; (3) rules, derived from equations (4) and (5) in the prior section, which means we have equated the mark with the outside which may be used to build or simplify expressions. O. From (2), we obtain A1. = . = : (4) A2. = . By identifying the value of the outside with the result of cross- Note that by making A1 and A2 into possible steps that ing from the unmarked inside, Spencer-Brown has introduced transform one expression into another, we have begun the a multiplicity meanings to the mark. The statement = possibility of calculation. In mathematics we take for granted can be interpreted on the left side to mean “cross from the the idea of calculation, but it is exactly in situations where inside” and on the right as “the name of the outside”. there are possible series of transforming steps that calculation The mark itself can be seen to divide its surrounding space arises. into an inside and an outside. When we write , the two marks are positioned mutually outside each other, and Definition 2.2: Two expressions in the Arithmetic are equal we can choose to interpret either mark as a name that refers if one can be obtained from the other by applying A1 and to the outside of the other. We may also interpret two such A2 in a finite series of steps. juxtaposed marks to indicate successive naming of the state Definition 2.3: The two simple expressions are the empty indicated by the mark. In either case we can take expression and the mark . as an instance of the principle that to repeat a name can be identified with a single calling of the name: The primary arithmetic proves extremely useful, and provides a playground, a sandbox for exploring the patterns = : (5) and forms that arise from juxtaposing and nesting expressions At this point we have a single sign representing based on these definitions. Consider the expressions both the operation of crossing the boundary of a distinction and representing the name of the outside of that distinction. , , and . Furthermore, since the mark itself can be seen to make a distinction in its own space, the mark can be regarded as Applying rules A1 and A2 we can that see the first expression referent to itself and to the (outer side) of the distinction that it simplifies to the unmarked state: makes. The two equations (4) and (5) represent these aspects of understanding a distinction
Load more

Recommended publications
  • Laws of Form - the Language of the Consciousness and Its Applications - ID: 58298
    This PDF is for review purposes ONLY. This PDF is for review purposes ONLY. Laws of Form - the language of the consciousness and its applications - ID: 58298 Type of Funding Request: Online Funding Inquiry Status of this Funding Request: Draft/Saved Instructions: This PDF document is a read-only version of your funding request as it currently stands. You may print or save this document for your records. However, you should not attempt to edit this document. Any edits made to this PDF will not be saved in the Templeton Portal. If there are further edits that you would like to make to your funding request, please return to the request inside the Templeton Portal, select the appropriate section(s) of the form, make your edits, and save your work. After saving your work in the portal, you will be able to generate a new PDF version of the funding request that includes your recent edits. Below you will find a list of all fields that must be completed before submitting this funding request to the Foundation. To complete these fields, please return to the request inside the Templeton Portal, select the appropriate section(s) of the form, add the required content, and save your work. When all fields are completed and you are satisfied with your description of the proposed project, you may go to the Templeton Portal to submit your request. Please note that all requests must be submitted through the Templeton Portal and the Foundation will not accept this PDF as a valid application for funding. After submitting your request, it will become read-only and you will not be able to make any additional edits.
    [Show full text]
  • LAWS of FORM Alphabetum
    LAWS OF FORM Alphabetum III LAWS OF ALPHABETUM III ▶ — George Spencer-Brown of Form Laws FORM 2019 � � LAWS OF FORM GEORGE SPENCER-BROWN In collaboration with the Liverpool University and the Laws of Form 50th Anniversary Conference. Alphabetum III September 28 — December 31, 2019 West Den Haag, The Netherlands The Yin and Yang of G. Spencer Brown’s Laws of Form R. John Williams I. Changing Consciousness One evening in the fall of 1969, along the picturesque cliffs of Big Sur, California, media gadfly and Whole Earth Catalog editor, Stewart Brand, approached the neuro- physiologist and dolphin researcher, John C. Lilly, with a copy of a strange little book called Laws of Form. They had spent the weekend attending panels, meditating, and dropping acid at a recently established center named Esalen — one of several burgeoning hotspots of what had come to be known as the ‘human potential movement’. Brand needed somebody to review the book, but thus far had had difficulty finding anyone who would dare take on the project. Brand didn’t claim to really understand the book, but he did sense that it was more than a mere exercise in logic. Indeed, as he puzzled over its pages, it seemed to have some kind of occult power — a key, per- haps, for unlocking the doors of perception and entering the incandescent realms that he and so many others were seeking at Esalen and other centers for new age spiritual- ity. 5 For the previous issue of The Whole Earth Catalog, Brand of consciousness dictating our realities. Only by ‘being had asked solar-energy guru and eco-warrior Steve Baer here now’ in the sensory deprivation tank, he thought, to review it, but what Baer turned in was less than helpful could we enter those transcendent realms outside of (even as it confirmed Brand’s intuition that the book time.
    [Show full text]
  • George Spencer-Brown's Laws of Form Fifty Years On
    MATHEMATICS TEACHING RESEARCH JOURNAL 161 Special Issue on Philosophy of Mathematics Education Summer 2020 Vol 12 no 2 George Spencer-Brown’s laws of form fifty years on: why we should be giving it more attention in mathematics education Steven Watson University of Cambridge Abstract: George Spencer-Brown’s Laws of Forms was first published in 1969. In the fifty years since its publication, it has influenced mathematicians, scientists, philosophers, and sociologists. Its influence on mathematics education has been negligible. In this paper, I present a brief introduction to the theory and its philosophical underpinnings. And I set out an argument why Laws of Form should be given more attention in mathematics education. Introduction Last year (2019) marked the 50th anniversary of the publication of Laws of Form (LoF), written by George Spencer-Brown (1969). Bertrand Russell described Laws of Form as, “a calculus of great power and simplicity. Not since Euclid’s Elements have we seen anything like it” (Homes, 2016). Heinz von Foerster, pioneer of second order cybernetics, offered no reserve in his praise for Spencer-Brown’s Laws of Form. The laws of form have finally been written! With a "Spencer-Brown" transistorized power razor (a Twentieth Century model of Occam's razor) G. Spencer-Brown cuts smoothly through two millennia of growth of the most prolific and persistent of semantic weeds, presenting us with his superbly written Laws of Form. This Herculean task which now, in retrospect, is of profound simplicity rests on his discovery of the form of laws. Laws are not descriptions, they are commands, injunctions: "Do!" Thus the first constructive proposition in this book (page 3) is the injunction: "Draw a distinction!" an exhortation to perform the primordial creative act (von Foerster, 1971, p.
    [Show full text]
  • Bayesian Inference and the World Mind
    Bayesian inference and the world mind John O. Campbell Abstract Knowledge is a central concept within both Bayesian inference and the mathematical and philosophical program of logic and semiotics initiated by Charles Sanders Peirce and further developed by George Spencer-Brown and Louis Kauffman. The latter school is more philosophical than is usual with the practitioners of Bayesian inference and claims the existence of a world mind. When these two disciplines inform each other semiotics is provided with mathematical mechanism and Bayesian inference is seen to be closely related to the act of distinction, the fundamental basis of logic in the work of Spencer-Brown. Given that Darwinian processes are physical implementations of Bayesian inference and are utilized within numerous scientific theories across a wide range of disciplines as mechanisms for the creation and evolution of knowledge we may view the conjunction of these theories, within universal Darwinism, as descriptive of a world mind. Introduction Bayesian probability is often defined as representing a state of knowledge (Jaynes 1986) and Bayesian inference is the primary mathematical tool for describing knowledge. Another mathematical and philosophical approach to knowledge is found within the work of Charles Sanders Peirce and George Spencer-Brown. Louis Kauffman observed that Spencer-Brown, with the Laws of Form (1979), completed a program to develop the foundations of mathematical logic which had been begun by Peirce and provides a comment on the significance of this program (Kauffman 2001): It remained for Spencer-Brown (some fifty years after Peirce and Nicod) to see the relevance of an arithmetic of forms underlying his notation and thus putting the final touch on a development that, from a broad perspective, looks like the world mind doing its best to remember the significant patterns that join logic, speech and mathematics.
    [Show full text]
  • G. Spencer-Brown's Laws of Form. Abstract
    Title: Some-thing from No-thing: G. Spencer-brown’s Laws of Form. Abstract: G. Spencer-Brown’s Laws of Form is summarized and the philosophical implications examined. Laws of Form is a mathematical system which deals with the emergence of anything out of the void. It traces how a single distinction in a void leads to the creation of space, where space is considered at its most primitive, without dimension. This in turn leads to two seemingly self-evident “laws”. With those laws taken as axioms, first an arithmetic is developed, then an algebra based on the arithmetic. The algebra is formally equivalent to Boolean algebra, though it satisfies all 2-valued systems. By following the implications of the algebra to its logical conclusions, self-reference emerges within the system in the guise of re-entry into the system. Spencer-Brown interprets this re-entry as creating time in much the same way in which distinction created space. Finally the paper considers the question of self-reference as seen in Francisco Varela’s Principles of Biological Autonomy, which extended Spencer-Brown’s Laws of Form to a 3-valued system. SOME-THING FROM NO-THING: G. SPENCER-BROWN’S LAWS OF FORM The knowledge of the ancients was perfect. How so? At first, they did not yet know there were things. That is the most perfect knowledge; nothing can be added. Next, they knew that there were things, but they did not yet make distinctions between them. Next they made distinctions, but they did not yet pass judgements on them.
    [Show full text]
  • General Morphological Analysis, 2018
    To appear in: Technological Forecasting & Social Change: Special Issue on General Morphological Analysis, 2018. Pre-publication version. ____________________________________________________________________________________ Special Issue on: General Morphological Analysis: Modelling, Forecasting, Innovation Editors’ Introduction Tom Ritchey & Tomasz Arciszewski 1. Background The term morphology (from the Greek μορφή, morphé = form) is used in science in a number of different contexts and on a number of different conceptual levels. On the most general level, it refers to nothing less than a philosophy of science, or at least what Lakatos (1968) calls a basic scientific research program, i.e. a set of theoretical (or ontological) assumptions and methodological ground rules upon which to approach scientific enquiry in general. Although the term “morphology” was only coined at the end of the 1700’s, the scientific tradition it represents dates back to antiquity (see below). On another level, we find morphology and morphological analysis denoting a general methodological approach used in a wide range of scientific disciplines concerning the study of structural inter-relationships within the context of a developing systemic whole. For example, geomorphology is the study of landforms and the processes that shape them. Urban morphology is the study of human settlements and the process of their formation. In linguistics, morphological analysis is the branch of grammar that studies the structure of word forms and their development over time. However, it is in the field of biology – for which the term was originally coined by Goethe – that it developed into a method for the study of organic form in general, both in its structural and developmental (morphogenetic) sense (Russell, 1916; Thompson, 1917).
    [Show full text]
  • Cognitive Constructivism and the Epistemic Significance Of
    Cognitive Constructivism and the Epistemic Significance of Sharp Statistical Hypotheses in Natural Sciences Julio Michael Stern IME-USP Institute of Mathematics and Statistics of the University of S~aoPaulo Version 2.31, May 01, 2013. arXiv:1006.5471v8 [stat.OT] 26 Oct 2020 2 3 A` Marisa e a nossos filhos, Rafael, Ana Carolina, e Deborah. 4 5 \Remanso de rio largo, viola da solid~ao: Quando vou p'ra dar batalha, convido meu cora¸c~ao." Gentle backwater of wide river, fiddle to solitude: When going to do battle, I invite my heart. Jo~aoGuimar~aesRosa (1908-1967). Grande Sert~ao,Veredas. \Sert~ao´eonde o homem tem de ter a dura nuca e a m~aoquadrada. (Onde quem manda ´eforte, com astucia e com cilada.) Mas onde ´ebobice a qualquer resposta, ´ea´ıque a pergunta se pergunta." \A gente vive repetido, o repetido... Digo: o real n~aoest´ana sa´ıdanem na chegada: ele se disp~oempara a gente ´eno meio da travessia." Sertao is where a man's might must prevail, where he has to be strong, smart and wise. But there, where any answer is wrong, there is where the question asks itself. We live repeating the reapeated... I say: the real is neither at the departure nor at the arrival: It presents itself to us at the middle of the journey. 6 Contents Preface 13 Cognitive Constructivism . 14 Basic Tools for the (Home) Works . 16 Acknowledgements and Final Remarks . 16 1 Eigen-Solutions and Sharp Statistical Hypotheses 19 1.1 Introduction . 19 1.2 Autopoiesis and Eigen-Solutions .
    [Show full text]
  • Laws of Form
    Cybernetics and Human Knowing. Vol. 24 (2017), nos. 3-4, pp. 5-15 Foreword: Laws of Form Louis H. Kauffman The theme of this book is that a universe comes into being when a space is severed or taken apart. The skin of a living organism cuts off an outside from an inside. So does the circumference of a circle in the plane. By tracing the way we represent such a severance, we can begin to reconstruct, with an accuracy and coverage that appear almost uncanny, the basic forms underlying linguistic, mathematical, physical, and biological science, and can begin to see how the familiar laws of our own experience follow inexorably from the original act of severance.—George Spencer-Brown, 1969, p. v of Laws of Form, a note on the mathematical approach This special issue devoted to George Spencer-Brown (April 2, 1923 – August 25, 2016) and his seminal work Laws of Form (Spencer-Brown, 1969). Spencer-Brown has been a key figure in the foundations of second-order cybernetics initially through the work of Humberto Maturana, Francisco Varela and Louis H. Kauffman (Varela, Maturana, & Uribe, 1974; Varela, 1979; Kauffman & Varela, 1980). Spencer-Brown’s work has been the subject of much cybernetic musing by many workers including Ranulph Glanville, Nicolas Luhmann and many others. His work strikes a deep chord for all scholars by pointing to the fundamental role of the act of making a distinction or imagining a distinction in the formation of knowledge of any kind. As the reader will see, this work of Spencer-Brown comes as a particular culmination of many aspects of epistemology.
    [Show full text]
  • Laws of Form and the Logic of Non-Duality Louis H. Kauffman, UIC
    Reflexivity - Laws of Form and the Logic of Non-Duality Louis H. Kauffman, UIC www.math.uic.edu/~kauffman The Mind-Body Problem A Mobius Strip Marginal Note: The previous slide shows a Mobius brought to you from the fourth dimension. We take three dimensional sphere as the points at unit distance from the origin in four dimensional space. (These are complex numbers. Two planes of complex numbers make four dimensional space.) The Mobius band is given by the equations below, and “seen” via stereographic projection. Klein Bottle Available from ACME KLEIN BOTTLE, Oakland California Topological Thoughts Torus + Mobius Klein + Mobius Topological Thoughts TOPO - LOGICAL THOUGHTS Epimenides Paradox of the Liar The fictional speaker Epimenides, a Cretan, reportedly stated: The Cretans are always liars. L = Not(L) From the point of view of logic, the Liar is in an imaginary state that is neither true nor false. From the point of view of topology, the Liar has the shape of a Mobius band. The boundary of the Mobius band is One, and yet it is Two. APPLIED MOBIUS INC. Problem: Design a switching circuit (with an economical simplicity of design) that can control a single light from an arbitrary number of locations. This problem can be analysed by Boolean algebra. The following non-dual solution is the invention/discovery of cyberneticist Ricardo Uribe. Non-Dual Engineering Solutions Inc. Applications - The Mobius Belt The Mobius Shoe Mobius Fence - The inside is the outside is the inside ... Fence Mobius Fence DISTINCTION Laws of Form G. Spencer-Brown “We take as given the idea of distinction and the idea of indication, and that one cannot make an indication without drawing a distinction.” “We take, therefore, the form of distinction for the form.” The circle “makes” a distinction in the plane.
    [Show full text]
  • The Mathematics of Charles Sanders Peirce
    Cybernetics & Human Knowing, Vol.8, no.1–2, 2001, pp. 79–110 The Mathematics of Charles Sanders Peirce Louis H. Kauffman1 I. Introduction This essay explores the Mathematics of Charles Sanders Peirce. We concentrate on his notational approaches to basic logic and his general ideas about Sign, Symbol and diagrammatic thought. In the course of this paper we discuss two notations of Peirce, one of Nicod and one of Spencer-Brown. Needless to say, a notation connotes an entire language and these contexts are elaborated herein. The first Peirce notation is the portmanteau (see below) Sign of illation. The second Peirce notation is the form of implication in the existential graphs (see below). The Nicod notation is a portmanteau of the Sheffer stroke and an (overbar) negation sign. The Spencer-Brown notation is in line with the Peirce Sign of illation. It remained for Spencer-Brown (some fifty years after Peirce and Nicod) to see the relevance of an arithmetic of forms underlying his notation and thus putting the final touch on a development that, from a broad perspective, looks like the world mind doing its best to remember the significant patterns that join logic, speech and mathematics. The movement downward to the Form (“we take the form of distinction for the form.”[9, Chapter 1, page 1]) through the joining together of words into archetypal portmanteau Signs can be no accident in this process of return to the beginning. We study a system of logic devised by Peirce based on a single Sign for inference that he calls his ‘Sign of illation".
    [Show full text]
  • ICONIC and SYMBOLIC CONTAINMENT in LAWS of FORM William Bricken December 2009
    ICONIC AND SYMBOLIC CONTAINMENT IN LAWS OF FORM William Bricken December 2009 Overview At the turn of the twentieth century, the mathematical community adopted a radical plan to put mathematics on a firm foundation. The idea was symbolic formalization, the representation of concepts using encoded symbols that bear no resemblance to what they mean. At the same time, C.S. Peirce developed Existential Graphs, an iconic representation of logic that is drawn rather than written [ref]. Iconic forms are images that look like what they mean. In 1967, G. Spencer Brown reintroduced Peirce's iconic system in a more general algebraic style as Laws of Form [ref]. Today, mathematics remains symbolic, while other communication media have evolved into visual and interactive experiences. This essay explores the possibility of an iconic mathematics. Laws of Form (LoF) is an algebraic system expressed in an iconic notation. We interpret LoF as a calculus of containment relations, and develop intuitive, symbolic, and iconic descriptions of the Contains relation. The representation of the LoF calculus is analyzed from both the iconic and the symbolic formal perspectives, with a focus on the descriptive structures necessary to align the two representational techniques. An iconic notation resembles its interpretation, which is at variance with modern mathematical conventions that strictly separate syntax from semantics. Iconic form is displayed in two and three dimensions, while symbolic form unfolds as encoded one-dimensional strings of tokens. Iconic variables stand in place of arbitrary patterns of zero, one, or many objects, while symbolic variables stand in place of single expressions. Symbols conform to speech, while icons conform to vision.
    [Show full text]
  • Formal Polynomials, Heuristics and Proofs in Logic W
    Formal polynomials, heuristics and proofs in logic W. Carnielli abstract. This note surveys some previous results on the role of formal polynomials as a representation method for logical derivation in classical and non-classical logics, emphasizing many-valued logics, paraconsistent logics and modal logics. It also discusses the potentialities of formal polynomials as heuristic devices in logic and for expressing certain meta-logical properties, as well as pointing to some promising generalizations towards algebraic geometry. Keywords: formal polynomials, algebraic proof procedures, heuristics in logical proofs, many-valued logics, modal logics 1 Formal polynomials as algebraic proof procedures: a brief survey Algebraic proof systems based on formal polynomials over algebrai- cally closed fields (the “polynomial ring calculus”) were introduced in [7] (see also [8] and [9]). However, the Russian mathematician Ivan Ivanovich Zhegalkin had already proposed in 1927 a method (cf. [26]) to translate and decide propositions from A. Whitehead and B. Russell’s Principia Mathematica by means of polynomials with coefficients in the two-element field Z2; some intuitions in the same direction can be found in the work of the Russian/Ukrainian logician Platon Sergeevich Poretskij (cf. [3]). In the development of [7], [8] and [9] sentences are identified as multivariable polynomials in the ring GFpn [X] of polynomials with coefficients in the Galois field of order pn, and propositional derivability is reduced to checking whether or not certain families of polynomials have zeros (reading truth-values as elements of the field). In this way, questions of satisfiability can be related to the Hilbert’s Nullstellensatz (cf. for instance, [25])), a well-known result of algebraic geometry that asserts in general for F an algebraically Formal polynomials, heuristics and proofs in logic 281 closed field and f; g1; : : : ; gm multivariable polynomials in F [X], that f has a common zero with g1; : : : ; gm iff thereP is an integer 2 k · k and polynomials h1; : : : ; hm F [X] so that f = 1≤i≤n hi gi.
    [Show full text]