DOCSLIB.ORG

Ideas in Action: Proceedings of the Applying Peirce Conference

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ideas in Action: Proceedings of the Applying Peirce Conference IDEAS IN ACTION Proceedings of the Applying Peirce Conference Edited by: Mats Bergman, Sami Paavola, Ahti-Veikko Pietarinen, Henrik Rydenfelt Nordic NSP Studies in Pragmatism 1 IDEAS IN ACTION Nordic Studies in Pragmatism Series editors: Mats Bergman Henrik Rydenfelt The purpose of the series is to publish high-quality monographs and col- lections of articles on the tradition of philosophical pragmatism and closely related topics. It is published online in an open access format by the Nordic Pragmatism Network, making the volumes easily accessible for scholars and students anywhere in the world. IDEAS IN ACTION PROCEEDINGS OF THE APPLYING PEIRCE CONFERENCE Nordic Studies in Pragmatism 1 Edited by Mats Bergman, Sami Paavola, Ahti-Veikko Pietarinen & Henrik Rydenfelt Nordic Pragmatism Network, NPN Helsinki 2010 Copyright c 2010 The Authors and the Nordic Pragmatism Network. This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License. CC BY NC For more information, see http://creativecommons.org/licenses/by-nc/./ www.nordprag.org ISSN-L - ISSN - ISBN ---- This work is typeset with Donald Knuth’s TEX program, using LATEX2ε macros and the ‘Nnpbook’ class definition. Contents Preface iv Note on References v 1 Reconsidering Peirce’s Relevance 1 Nathan Houser Part I 2 Serving Two Masters: Peirce on Pure Science, Useless Things, and Practical Applications 17 Mats Bergman 3 The Function of Error in Knowledge and Meaning: Peirce, Apel, Davidson 38 Elizabeth F. Cooke 4 Peircean Modal Realism? 48 Sami Pihlstr¨om 5 Toward a Transcendental Pragmatic Reconciliation of Analytic and Continental Philosophy 62 Jerold J. Abrams 6 Reflections on Practical Otherness: Peirce and Applied Sciences 74 Ivo Assad Ibri 7 Problems in Applying Peirce in Social Sciences 86 Erkki Kilpinen 8 Peirce and Pragmatist Democratic Theory 105 Robert B. Talisse i ii CONTENTS Part II 9 Peirce’s Revolutionary Concept of Rhetoric 118 James Jak´ob Liszka 10 Evolution, Pragmatism, and Rhetoric: Exploring the Origin and Loci of Meaning 134 Vincent Colapietro 11 Iconicity as Homomorphism: The Case of Picasso’s Guernica 151 Chiara Ambrosio 12 Not Just Underlying Structures: Towards a Semiotic Approach to Scientific Representation and Modeling 163 Tarja Knuuttila 13 Pragmaticism on the Semantic Web 173 Catherine Legg 14 Towards a Sound Contextualism: Applying Peircean Ideas at the Semantics-Pragmatics Interface 189 Daniel Rellstab Part III 15 Habits as Vehicles of Cognition 201 Pentti M¨a¨att¨anen 16 Peirce’s Theory of Assent 211 Giovanni Maddalena 17 Mindless Abduction: From Animal Guesses to Artifactual Medi- ators 224 Lorenzo Magnani 18 The Logicality of Abduction, Deduction and Induction 239 Gerhard Minnameier 19 Peirce, Abduction and Scientific Realism 252 Ilkka Niiniluoto CONTENTS iii 20 Complementary Strategies in Scientific Discovery: Abduction and Preduction 264 Andr´es Rivadulla 21 Towards a Complex Variable Interpretation of Peirce’s Existential Graphs 277 Fernando Zalamea 22 Challenges and Opportunities for Existential Graphs 288 Ahti-Veikko Pietarinen Preface This volume contains selected papers presented at the Applying Peirce con- ference at the University of Helsinki, 11–13 June 2007. The meeting brought together scholars and researchers to explore and discuss Charles S. Peirce’s thought and its applications. With more than a hundred participants and more than 60 papers presented by an internationally diverse group from many different fields, the organizers felt that a selection of extended papers representative of the contents of the conference should be made available to the public. The Applying Peirce conference, organized by the members of the Helsinki Peirce Research Centre, was arranged in conjunction with the 9th World Congress of the International Association of Semiotic Studies. The meeting was made possible by the financial support received from the Uni- versity of Helsinki (project 2023031, “Peirce’s Pragmatistic Philosophy and Its Applications”) and the Academy of Finland, and the sponsorship of the Philosophical Society of Finland and the Charles S. Peirce Society. We would also like to acknowledge the help we received from Prof. Douglas Anderson, who commented on the whole of the volume, and Mr. Jukka Nikulainen, whose competence and eye for detail was crucial to its techni- cal production. This volume is the first in the series Nordic Studies in Pragmatism, which publishes peer reviewed monographs and collections of articles on philosophical pragmatism. We feel that there is no better way to start this series than with a book highlighting the range and contemporary relevance of the founder of the pragmatist movement. Helsinki, December 2010 The Editors iv Note on References The following standard abbreviations of editions of Charles S. Peirce’s writ- ings are used: CN n:m Charles Sanders Peirce: Contributions to the Nation. K. L. Ketner (Ed.). Vols. 1–4. Lubbock: Texas Tech University Press. 1975–87 CP n.m Collected Papers of Charles Sanders Peirce. C. Hartshorne, P. Weiss, & A. W. Burks (Eds.). Vols. 1–8. Cambridge, MA.: Har- vard University Press. 1931–58 EP n:m The Essential Peirce: Selected Philosophical Writings. N. Houser, C. J. W. Kloesel, & The Peirce Edition Project (Eds.). Vols. 1–2. Bloomington: Indiana University Press. 1992–98 HP n:m Historical Perspectives on Peirce’s Logic of Science. C. Eisele (Ed.). Vols. 1–2. Berlin: Mouton de Gruyter. 1985 NEM n:m The New Elements of Mathematics. C. Eisele (Ed.). Vols. 1–4. The Hague: Mouton. 1976 PM m Philosophy of Mathematics: Selected Writings. M. E. Moore (Ed.). Bloomington: Indiana University Press. 2010 PPM m Pragmatism as a Principle and Method of Right Thinking: The 1903 Harvard Lectures on Pragmatism. P. A. Turrisi (Ed.). Al- bany: State University of New York Press. 1997 RLT m Reasoning and the Logic of Things: The Cambridge Confer- ences Lectures of 1898. K. L. Ketner (Ed.). Cambridge, MA: Harvard University Press. 1992 v vi NOTE ON REFERENCES SS m Semiotics and Significs: The Correspondence between Charles S. Peirce and Victoria Lady Welby. C. S. Hardwick (Ed.). Bloom- ington: Indiana University Press. 1977 W n:m Writings of Charles S. Peirce: A Chronological Edition. The Peirce Edition Project (Eds.). Vols. 1–6, 8. Bloomington: Indi- ana University Press. 1982– In references to CP, citations of the form n.m refer to paragraph m in vol- ume n. Citations of the form MS n:m are to page m in manuscript n, as numbered in Richard S. Robin’s Annotated Catalogue of the Papers of Charles S. Peirce (Amherst, MA.: University of Massachusetts Press, 1967). In all other editions, n refers to volume and m to page number. Reconsidering Peirce’s Relevance Nathan Houser Indiana University–Purdue University Indianapolis In June 2007, an international conference convened at the University of Helsinki to explore the emerging interest in the thought of Charles S. Peirce and to consider the applicability of Peirce’s ideas to diverse fields of in- quiry.1 To underscore the breadth they were aiming for, the conference or- ganizers listed the following fields of relevance: logic, abductive reasoning, communication and rhetoric, contemporary philosophical debates, mathe- matics, artificial intelligence, cognitive science, linguistics, literary studies, the study of fine arts and design, physics, biology, psychology, sociology, and anthropology. The Helsinki Conference was held in conjunction with the 9th World Congress of Semiotics, so semiotic and textual studies were also areas of interest. The conference opened with a general survey of the breadth and influence of Peirce’s thought2 and with a stimulating discus- sion of T. L. Short’s newly published book, Peirce’s Theory of Signs (2007).3 As the conference unfolded, the application of Peirce’s thought in addi- tional fields or sub-fields was explored including architecture, virtual real- ity, data modeling, and other new media applications, geology, and such intriguing and specialized studies as distributed intentionality and seman- tic webs. Several papers dealt with graphical logic; in particular, with ap- plications of Peirce’s well-known (at least becoming so) Existential Graphs, and those applications dealt with a number of interesting issues including 1 The conference, Applying Peirce, was arranged by the Helsinki Peirce Research Centre and was sponsored by the Charles S. Peirce Society and the Philosophical Society of Finland. 2 This introductory essay is a revision of the keynote lecture for the Helsinki Conference. 3 The participants in this Author Meets Critics symposium were Mats Bergman, Risto Hilpinen, James Liszka, and the author, T. L. Short. 1 2 Ideas in Action problems in information theory as well as in language representation and processing. Some papers, and a workshop, dealt with how Peirce’s ideas inform, or might inform, editing theory and practice. This overview of topics covered during the three days of the Helsinki Conference provides a comprehensive glance at where to look for effective applications of Peirce’s ideas. As I go on, I will add a few more areas in which Peirce’s thought has been found relevant, although I will certainly not attempt to be exhaustive – that, I believe, would be an all but impos- sible undertaking in any case. But first I want to remark on why I believe the theme of the Helsinki Conference, Applying Peirce, might at first strike one as a little curious, and might even be slightly unsettling. The crux of this concern has to do with what is meant by “Applying Peirce.” The idea of
Load more

Recommended publications
  • Tchaikovsky Competition 1982 a Diary by Peter Donohoe1
    TCHAIKOVSKY COMPETITION 1982 A DIARY BY PETER DONOHOE1 1 The footnotes in this diary are restrospective notes from 2012 – 30 years later... 08 June 1982 Recital at Charlotte Mason College in Ambleside in the British Lake District Program: Tchaikovsky Sonata 2 in G Major (1st Movement) Tchaikovsky November (from The Seasons) Tippett Sonata 2 Prokofiev Sonata 6 ---- Scriabin Etude Op65/3 Chopin Etude Op10/8 Rachmaninov Etude Tableau Op39/5 E flat Minor Bach Prelude and Fugue Book 2 No. 3 Flierkovsky – Prelude and Fugue in G minor Stravinsky Three Movements from Petrushka A very nice, but knowing guy came up to me after the concert, and said “That was a very unusual program. It is almost as if you are preparing to enter the Tchaikovsky Competition.” I asked him to keep it under his hat – it is never good for people to know in advance of your competition efforts, in case it doesn’t work out. Set off home at 11.00 p.m. The car –a Vauxhall Viva borrowed from my parents-in-law – broke down after about 10 miles of a 120 mile journey to my in-laws on the Wirral. Still in the Lake District countryside. The weather was appallingly wet. I had to get to the Wirral, and then the next morning to Manchester for an early flight to London to connect with the Aeroflot flight to Moscow. 09 June 1982 Thank God for the AA Relay service. They got me to the Wirral in the cab of one of their trucks, with the car on the back.
    [Show full text]
  • Framing Cyclic Revolutionary Emergence of Opposing Symbols of Identity Eppur Si Muove: Biomimetic Embedding of N-Tuple Helices in Spherical Polyhedra - /
    Alternative view of segmented documents via Kairos 23 October 2017 | Draft Framing Cyclic Revolutionary Emergence of Opposing Symbols of Identity Eppur si muove: Biomimetic embedding of N-tuple helices in spherical polyhedra - / - Introduction Symbolic stars vs Strategic pillars; Polyhedra vs Helices; Logic vs Comprehension? Dynamic bonding patterns in n-tuple helices engendering n-fold rotating symbols Embedding the triple helix in a spherical octahedron Embedding the quadruple helix in a spherical cube Embedding the quintuple helix in a spherical dodecahedron and a Pentagramma Mirificum Embedding six-fold, eight-fold and ten-fold helices in appropriately encircled polyhedra Embedding twelve-fold, eleven-fold, nine-fold and seven-fold helices in appropriately encircled polyhedra Neglected recognition of logical patterns -- especially of opposition Dynamic relationship between polyhedra engendered by circles -- variously implying forms of unity Symbol rotation as dynamic essential to engaging with value-inversion References Introduction The contrast to the geocentric model of the solar system was framed by the Italian mathematician, physicist and philosopher Galileo Galilei (1564-1642). His much-cited phrase, " And yet it moves" (E pur si muove or Eppur si muove) was allegedly pronounced in 1633 when he was forced to recant his claims that the Earth moves around the immovable Sun rather than the converse -- known as the Galileo affair. Such a shift in perspective might usefully inspire the recognition that the stasis attributed so widely to logos and other much-valued cultural and heraldic symbols obscures the manner in which they imply a fundamental cognitive dynamic. Cultural symbols fundamental to the identity of a group might then be understood as variously moving and transforming in ways which currently elude comprehension.
    [Show full text]
  • THE MUSICAL FEATURES of 2015'S TOP-RANKED COUNTRY SONGS
    THE MUSICAL FEATURES OF 2015’s TOP-RANKED COUNTRY SONGS By Mason Taylor Allen Senior Honors Thesis Department of Music University of North Carolina at Chapel Hill April 22, 2016 Approved: Dr. Jocelyn R. Neal, Thesis Advisor Dr. Allen Anderson, Reader Dr. Andrea Bohlman, Reader © 2016 Mason Taylor Allen ALL RIGHTS RESERVED ii ABSTRACT Mason Taylor Allen: The Musical Features of 2015’s Top-Ranked Country Songs Under the direction of Dr. Jocelyn R. Neal The 2015 top-ten country songs analyzed in this study are characterized by the various formats of their song form, harmonies, and lyrics. This thesis presents a comprehensive study of the structure and narratives in sixty-seven songs that summarizes the distinctive features within those domains of contemporary commercial country music. A detailed description of the norm along with identifiable trends emerges. The song form that features most prominently in this repertory includes a verse-chorus-bridge form with three iterations of the chorus, an intro and outro section, and instrumental sections immediately following each chorus. The top-ten country songs have varying degrees of departure from this typical model. Primary features of the harmonies of these top songs include the frequent use of a double-tonic complex, the absence of a 5-1 authentic cadence, the same chord progression throughout the verse, chorus, and bridge, and the use of only two chords throughout the song. Lyrical analyses show that 2015 songs are continuing the traditional themes about romantic attraction, love, heartache, good times and partying, home, family, nostalgia, religion, and inspiration, within the context of small-town country life that this genre has used for years.
    [Show full text]
  • A Humean Analysis of Scientific Realism 1
    Published in Ensaios sobre Hume, Lívia Guimarães (org.), Belo Horizonte (Brazil), Segrac Editora, 2005b. Pp. 89-108. ____________________________________________________________________ A Humean analysis of scientific realism 1 SILVIO SENO CHIBENI Departamento de Filosofia, IFCH Universidade Estadual de Campinas Caixa Postal 6110 – 13083050, Campinas, SP, Brazil web-site: www.unicamp.br/~chibeni – e-mail: [email protected] Abstract: In their criticism of scientific realism, contemporary philosophers of science often assume that this position is incompatible with empiricism, the epistemological thesis according to which all factual knowledge is grounded on experience. Little attention is paid, however, to the roots of empiricism in modern philosophy. The present article aims to contribute to filling this gap, by examining the implications of Hume’s version of empiricism to the issue of scientific realism. It is shown, first, how scientific realism is negatively affected by Hume’s theories of ideas and causality. Secondly, the prospects of overcoming these difficulties by appealing to the method of hypotheses are examined, first through a survey of Hume’s own stand concerning hypotheses, and then by direct philosophical analysis. 1. Introduction In contemporary philosophy of science, scientific realism is commonly thought of as being challenged either by “constructivism” or by “empiricism” (see e.g. Boyd 1984). However, the use of the word ‘empiricism’ in this context is somewhat misleading. The term has originally been coined to designate an epistemological thesis concerning the problem of the sources of knowledge, paradigmatically defended by philosophers such as Locke and Hume. In this 1 Parts of this work were first presented in a conference given in the 3rd Encontro de Filosofia Analítica, held in Florianópolis, Brazil, in October 1997.
    [Show full text]
  • Miriam Bostwick
    Animal News from Heaven Miriam Bostwick Copyright 2014 by Paws of the Earth Productions All rights reserved. No part of this book may be used or reproduced in any manner without written permission from the author except in critical articles and reviews. Contact the publisher for information: Paws of the Earth Productions 2980 S Jones Blvd Suite 3373 Las Vegas, NV 89146 Printed in The United States of America. Library of Congress Control Number: 2008921323 ISBN 978-0-9798828-2-1 Paws of the Earth productions Las Vegas, NV 89146 www.Animals are people too.com This book is dedicated to the late Miriam Bostwick, a friend, a fellow lover of animals, who is among her friends in this book: I am grateful to the many spirits who so willingly shared their stories about the work they are doing in spirit and the animals they are caring for. I am also grateful to Carla Gee and Elizabeth Jordan for their invaluable editorial help. I acknowledge information obtained from Wikipedia under the GNU Free Documentation License for the following articles: Slats, the MGM Leo, the Lion Barbaro, the Race Horse Bubba, the Grouper Bubba, the Lobster Harriet, the Tortoise Binky & Nuka, Polar Bears Martha, the Passenger Pigeon Ruby, the Painting Elephant PAWS OF THE EARTH PRODUCTIONS LAS VEGAS, NEVADA Contents Preface Introduction PART ONE Lifting the Veil: Animals in the Afterlife Do all animals survive and where do they go? Love keeps an animal in form The plight of the unloved or mistreated animal Are there barriers in spirit life to divide humans and animals? How do animals in spirit get along with each other? The animal mind Healing through change in attitude Animals trained to do rescue work Separation through evolution Veterinary research in spirit life PART TWO News from Heaven The Caretakers Reggie Gonzales: On Being a Caretaker Roger Parker: On Being a Caretaker St.
    [Show full text]
  • Quantum Logical Causality, Category Theory, and the Metaphysics of Alfred North Whitehead
    Quantum Logical Causality, Category Theory, and the Metaphysics of Alfred North Whitehead Connecting Zafiris’ Category Theoretic Models of Quantum Spacetime and the Logical-Causal Formalism of Quantum Relational Realism Workshop Venue: Swiss Federal Institute of Technology (ETH) Chair for Philosophy (building RAC) Raemistrasse 36, 8001 Zurich Switzerland January 29 – 30, 2010 I. Aims and Motivation Recent work in the natural sciences—most notably in the areas of theoretical physics and evolutionary biology—has demonstrated that the lines separating philosophy and science have all but vanished with respect to current explorations of ‘fundamental’ questions (e.g., string theory, multiverse cosmologies, complexity-emergence theories, the nature of mind, etc.). The centuries-old breakdown of ‘natural philosophy’ into the divorced partners ‘philosophy’ and ‘science,’ therefore, must be rigorously re- examined. To that end, much of today’s most groundbreaking scholarship in the natural sciences has begun to include explicit appeals to interdisciplinary collaboration among the fields of applied natural sciences, mathematics and philosophy. This workshop will be dedicated to the question of how a philosophical-metaphysical theory can be fruitfully applied to basic conceptualizations in the natural sciences. More narrowly, we will explore the process oriented metaphysical scheme developed by philosopher and mathematician Alfred North Whitehead (1861-1947) and Michael Epperson’s application of this scheme to recent work in quantum mechanics, and the relation of these to Elias Zafiris’s category theoretic model of quantum event structures. Our aim is to give participants from various fields of expertise (see list below) the opportunity to exchange their specialized knowledge in the context of a collaborative exploration of the fundamental questions raised by recent scholarship in physics and mathematics.
    [Show full text]
  • Logic and Artificial Intelligence
    Logic and Artificial Intelligence: Divorced,StillMarried,Separated...?∗ Selmer Bringsjord//David A. Ferrucci February 13, 1998 Abstract Though it’s difficult to agree on the exact date of their union, logic and artificial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily united. What connubial permu- tation do logic and AI find themselves in now? Are they still (happily) married? Are they divorced? Or are they only separated, both still keep- ing alive the promise of a future in which the old magic is rekindled? This paper is an attempt to answer these questions via a review of six books. Encapsulated, our answer is that (i) logic and AI, despite tabloidish re- ports to the contrary, still enjoy matrimonial bliss, and (ii) only their future robotic offspring (as opposed to the children of connectionist AI) will mark real progress in the attempt to understand cognition. 1 The Logic–AI Marriage Though it’s difficult to agree on the exact date of their union, logic and artificial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily married. But what connubial permutation do logic and AI find themselves in now? Are they still (happily) married? Are they divorced? Or are they only separated, both still keeping alive the promise of a future in which the old magic is rekindled? This paper is an attempt to answer these questions via a review of the following six books: • Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, eds., Knowledge Representation, Special Issues of Artificial Intelligence: An International Journal, Cambridge, MA: MIT Press, 1992, 408 pp., $29.00 (paper), ISBN 0-262-52168-7.
    [Show full text]
  • Contemporary Issues Concerning Scientific Realism
    The Future of the Scientific Realism Debate: Contemporary Issues Concerning Scientific Realism Author(s): Curtis Forbes Source: Spontaneous Generations: A Journal for the History and Philosophy of Science, Vol. 9, No. 1 (2018) 1-11. Published by: The University of Toronto DOI: 10.4245/sponge.v9i1. EDITORIALOFFICES Institute for the History and Philosophy of Science and Technology Room 316 Victoria College, 91 Charles Street West Toronto, Ontario, Canada M5S 1K7 [email protected] Published online at jps.library.utoronto.ca/index.php/SpontaneousGenerations ISSN 1913 0465 Founded in 2006, Spontaneous Generations is an online academic journal published by graduate students at the Institute for the History and Philosophy of Science and Technology, University of Toronto. There is no subscription or membership fee. Spontaneous Generations provides immediate open access to its content on the principle that making research freely available to the public supports a greater global exchange of knowledge. The Future of the Scientific Realism Debate: Contemporary Issues Concerning Scientific Realism Curtis Forbes* I. Introduction “Philosophy,” Plato’s Socrates said, “begins in wonder” (Theaetetus, 155d). Two and a half millennia later, Alfred North Whitehead saw fit to add: “And, at the end, when philosophical thought has done its best, the wonder remains” (1938, 168). Nevertheless, we tend to no longer wonder about many questions that would have stumped (if not vexed) the ancients: “Why does water expand when it freezes?” “How can one substance change into another?” “What allows the sun to continue to shine so brightly, day after day, while all other sources of light and warmth exhaust their fuel sources at a rate in proportion to their brilliance?” Whitehead’s addendum to Plato was not wrong, however, in the sense that we derive our answers to such questions from the theories, models, and methods of modern science, not the systems, speculations, and arguments of modern philosophy.
    [Show full text]
  • Scientific Realism and Epistemology
    SCIENTIFIC REALISM AND EPISTEMOLOGY 1 Introduction Here are some theses frequently endorsed by scientific realists: R1 The theories of mature sciences are very frequently highly success- ful (where the success of a theory may be articulated in various ways, e.g. the theory passes severe tests, or it makes novel pre- dictions that are confirmed by observation, or it provides a unified explanation of disparate phenomena, etc.). R2 The theories of mature sciences are very frequently true or close to the truth. And so, frequently, the entities, often unobservable, posited by the theories of mature sciences exist. R3 This success is not accidental. Our belief in theories (or in their ap- proximate truth) is frequently justified and amounts to knowledge. R4 The reasoning process by which we come to believe the theories of mature sciences very often is an inference to the best explanation. R5 The reason why we should believe R2 is R1. That is the best ex- planation for the success of the theories of mature sciences is that those theories are very frequently true or nearly true. Here are two theses endorsed by many anti-realists: A1 The apparently well-confirmed theories of mature sciences are very frequently found, in the long run, to be false. A2 We should expect current theories to be falsified in due course (by induction on A1). And here are theses endorsed by some anti-realists: A3 We cannot know that a theory involving commitment to unobserv- able entities is true or close to the truth. A4 Inference to the best explanation is not a reliable means of infer- ring that a theory is true (or approximately true), at least if it in- volves commitment to unobservable entities.
    [Show full text]
  • ERGOAI Reasoner User's Manual
    ERGOAI Reasoner User’s Manual Version 2.0 (Myia) Edited by Michael Kifer Coherent Knowledge October 2018 Portions Copyright © 2013–2018 Coherent Knowledge CONTENTS Contents 1 Introduction 1 2 Installation 1 3 Running ERGO 2 4 ERGO Shell Commands 3 5 F-logic and ERGO by Example 10 6 Main Syntactic Elements of ERGO 10 7 Basic ERGO Syntax 13 7.1 F-logic Vocabulary ..................................... 13 7.2 Symbols, Strings, and Comments ............................. 18 7.3 Operators .......................................... 21 7.4 Logical Expressions ..................................... 23 7.5 Arithmetic (and related) Expressions ........................... 23 7.6 Quasi-constants and Quasi-variables ........................... 30 7.7 Synonyms .......................................... 31 7.8 Reserved Symbols ..................................... 31 8 Path Expressions 31 9 Set Notation 33 10 Typed Variables 34 11 Truth Values and Object Values 36 12 Boolean Methods 38 Portions Copyright © 2013–2018 Coherent Knowledge i CONTENTS 12.1 Boolean Signatures ..................................... 39 13 Skolem Symbols 39 14 Testing Meta-properties of Symbols and Variables 46 15 Lists, Sets, Ranges. The Operators \in, \subset, \sublist 50 16 Multifile Knowledge Bases 51 16.1 ERGO Modules ....................................... 52 16.2 Calling Methods and Predicates Defined in User Modules ............... 53 16.3 Finding the Current Module Name ............................ 55 16.4 Finding the Module That Invoked A Rule ........................ 55 16.5 Loading Files into User Modules ............................. 55 16.6 Adding Rule Bases to Existing Modules ......................... 58 16.7 Module References in Rule Heads ............................. 59 16.8 Calling Prolog Subgoals from ERGO ........................... 60 16.9 Calling ERGO from Prolog ................................. 62 16.9.1 Importing ERGO Predicates into Prolog ..................... 62 16.9.2 Passing Arbitrary Queries to ERGO ......................
    [Show full text]
  • Math 1090 Part Two: Predicate (First-Order) Logic
    Math 1090 Part two: Predicate (First-Order) Logic Saeed Ghasemi York University 5th July 2018 Saeed Ghasemi (York University) Math 1090 5th July 2018 1 / 95 Question. Is propositional logic rich enough to do mathematics and computer science? The answer is \Absolutely not"! Mathematics and computer science deals with structures like sets, strings, numbers, matrices, trees, graphs, programs, Turing machines and many others. The propositional logic is not rich enough to deal with this structures. For example, try expressing the statements \there is a rational number strictly between two given rational numbers" or \every natural number has a unique prime factorization". We cannot even express these statements in the Boolean Logic, let alone proving them! Saeed Ghasemi (York University) Math 1090 5th July 2018 2 / 95 Number Theory-Peano's Arithmetic In order to express formulas in number theory: We need to be able to refer to numbers, N = f1; 2; 3;::: g as variables. we need to have variable symbols that would refer to numbers, like n; m; n0;::: . Let's call them \object variables". We need to be able to say when two numbers are equal, that's why we need a symbol \=" for the equality between the variable objects. We need to be able to say expressions like \for all natural numbers ...". So let's have a symbol 8, which says \for all". We need a special constant denoting 0. We also need to be able to add and multiply numbers. So lets have function + : N × N ! N and × : N × N ! N for addition and multiplication, respectively (we say these functions have arity2 because they take two inputs, so the function f (x; y; z) = ::: has arity 3).
    [Show full text]
  • Cabineta Quarterly of Art and Culture
    A QUARTERLY OF ART AND CULTURE ISSUE 18 FICTIONAL STATES CABINET US $10 CANADA $15 UK £6 inside this issue THERMIDOR 2005 Sasha Archibald • John Bear • Robert Blackson • William Bryk • Sasha Chavchavadze • Mark Dery • Allen Ezell • Charles Green • Invertebrate • Craig Kalpakjian • Peter Lamborn Wilson • David Levi Strauss • Brian McMullen • Glexis Novoa • George Pendle • Elizabeth Pilliod • Patrick Pound • Bonnie and Roger Riga • Lynne Roberts-Goodwin • Tal Schori • Cecilia Sjöholm • Frances Stark • Michael Taussig • Christopher Turner • Jonathan Ward • Christine Wertheim • Tony Wood • Shea Zellweger cabinet Cabinet is a non-profit 501 (c) (3) magazine published by Immaterial Incorporated. 181 Wyckoff Street Contributions to Cabinet are fully tax-deductible. Our survival is dependent on Brooklyn NY 11217 USA such contributions; please consider supporting us at whatever level you can. tel + 1 718 222 8434 Donations of $25 or more will be acknowledged in the next possible issue. Dona- fax + 1 718 222 3700 tions above $250 will be acknowledged for four issues. Checks should be made email [email protected] out to “Cabinet.” Please mark the envelope, “Rub your eyes before opening.” www.cabinetmagazine.org Cabinet wishes to thank the following visionary foundations and individuals Summer 2005, issue 18 for their support of our activities during 2005. Additionally, we will forever be indebted to the extraordinary contribution of the Flora Family Foundation from Editor-in-chief Sina Najafi 1999 to 2004; without their generous support, this publication would not exist. Senior editor Jeffrey Kastner Thanks also to the Andy Warhol Foundation for the Visual Arts for their two-year Editors Jennifer Liese, Christopher Turner grant in 2003-2004.
    [Show full text]