J. Michael Dunn on Information Based Logics PDF
Preview J. Michael Dunn on Information Based Logics
Outstanding Contributions to Logic 8 Katalin Bimbó Editor J. Michael Dunn on Information Based Logics Outstanding Contributions to Logic Volume 8 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum More information about this series at http://www.springer.com/series/10033 ó Katalin Bimb Editor J. Michael Dunn on Information Based Logics 123 Editor Katalin Bimbó Department ofPhilosophy University of Alberta Edmonton, AB Canada ISSN 2211-2758 ISSN 2211-2766 (electronic) Outstanding Contributions to Logic ISBN978-3-319-29298-4 ISBN978-3-319-29300-4 (eBook) DOI 10.1007/978-3-319-29300-4 LibraryofCongressControlNumber:2016930054 ©SpringerInternationalPublishingSwitzerland2016 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission orinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilar methodologynowknownorhereafterdeveloped. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publicationdoesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfrom therelevantprotectivelawsandregulationsandthereforefreeforgeneraluse. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authorsortheeditorsgiveawarranty,expressorimplied,withrespecttothematerialcontainedhereinor foranyerrorsoromissionsthatmayhavebeenmade. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland To J. Michael Dunn on (or near) his 75th birthday Preface Anobviousexcusefortheprojectthatresultedinthepresentcollectionofpapersis providedbythededication:J.MichaelDunnturns75yearsoldin2016.Thisbook celebrates his researchand his career asa logician, whichalready spans more than half a century. Another obvious rationale for this book is that we are aware, more than ever before, of the importance and pervasiveness of information. It is a truism that we live in an information age. The developments in computer technology in the past 20–30 years—including increased storage, transmission, and search capabilities— undoubtedly contribute to our perception of the ubiquity of information. A way to use information is to reason with it. Remarkably, J. M. Dunn was thinking about logicintermsofinformationwellbeforeeverybodyjumpedontothe(i-)bandwagon wheelingalongtheinformationsuperhighway.Thepapersinthisvolumeevidence thattreatinglogicasanorganonformanipulatinginformationisafruitfulapproach. An opportunity to assemble this volume arose because Springer established a newbookseries.TheOutstandingContributionstoLogicseriesprovidesadifferent focal point for a collection of papers than some others do. Although the OCL volumes have the flavor of a Festschrift, they support greater flexibility and a narrower theme than what could be achieved by cataloging all the works of a famous logician. Logic, in general, should interest a wide range of people. The particular approachtologicthatisexemplifiedbythisvolumewillprimarilyappealtoreaders who are involved with disciplines such as mathematics, computer science, the information sciences, and philosophy. Some of the papers include not only new research results, but draw a chronologically faithful picture of the development of certain ideas—these sources will be especially useful for historians of science and philosophers. A reflection on achievements (spanning several decades) motivated someauthorstotakestockoftheaccumulatedresults;suchpapersareexcellentfor reference purposes too. Itisexpectedthatthepresentbookwillbeusefultoscholarswhoareinterested in the area that is somewhat vaguely called nonclassical logics. While the papers vii viii Preface will definitely be invaluable for researchers, most of them should be accessible to graduatestudentsaswellastoresearchersworkinginotherfields.Somearticlesin this collection are written in a style which ensures that anyone who is willing to dabble into a subject (outside their expertise) will enjoy reading them. Acknowledgments. In a volume of this kind, the person whose work and researchresultsprovidethejustificationforeditingthevolumeistobethankedfirst: I am grateful to J. Michael Dunn for allowing me to take on the (somewhat complicated)taskofeditingthisvolumeandforhiscontinuoushelpinmakingthe project a success. Iwouldliketothanktheauthorsofthisvolume,whonotonlyrespondedtothe initial invitation to contribute to this volume, but have written a paper for this collection. The papers were refereed using the “single-blind” type of refereeing. Thanks to those who refereed a paper, and thereby, contributed to the project. The series editor, Sven Ove Hansson not only provided a document about how toeditabookfortheOutstandingContributionstoLogicseries,buthewashelpful in various other ways from start to finish. I am grateful for his help inthe process. ChristiLueofSpringerScienceprovidedforms,guidelines,andadvicefromthe publisher’s side. I am thankful for her ongoing support to the project. This book has been typeset using the program TEX (which was originally designedbyD.Knuth)fromthesourcefilessubmittedbytheauthors.Inparticular, the volume uses the LATEX format, a class file provided by Springer as well as several packages that were developed under the auspices of the American Mathematical Society. Edmonton Katalin Bimbó September 2015 Contents An Engineer in Philosopher’s Clothing. . . . . . . . . . . . . . . . . . . . . . . . xvii J. Michael Dunn J. Michael Dunn’s Publications . . . . . . . . . . . . . . . . . . . . . . . . . . . . xxxv Introduction: From Information at Large to Semantics of Logics . . . . . 1 Katalin Bimbó RM and its Nice Properties. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 Arnon Avron Wedge Sum, Merge and Inconsistency. . . . . . . . . . . . . . . . . . . . . . . . . 45 Chris Mortensen Single Axioms and Axiom-Pairs for the Implicational Fragments of R, R-Mingle, and Some Related Systems . . . . . . . . . . . . . . . . . . . . . 53 Dolph Ulrich LC and Its Pretabular Relatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 Larisa Maksimova The Story of γ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93 Alasdair Urquhart Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic . . . . . . . . . . . . . . . . . . . . 107 Edwin Mares Epistemic Relevance and Epistemic Actions . . . . . . . . . . . . . . . . . . . . . 133 Sebastian Sequoiah-Grayson Comparing Contents with Information. . . . . . . . . . . . . . . . . . . . . . . . . 147 Ross T. Brady ix x Contents On Split Negation, Strong Negation, Information, Falsification, and Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 Heinrich Wansing Truth, Falsehood, Information and Beyond: The American Plan Generalized. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191 Yaroslav Shramko Logical Foundations of Evidential Reasoning with Contradictory Information. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213 Chunlai Zhou Probabilistic Interpretations of Predicates . . . . . . . . . . . . . . . . . . . . . . 247 Janusz Czelakowski Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279 Chrysafis Hartonas Mereocompactness and Duality for Mereotopological Spaces. . . . . . . . . 313 Robert Goldblatt and Matt Grice Distributed Modal Logic. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331 Gerard Allwein and William L. Harrison Tracking Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363 Johan van Benthem Syllogistic Logic with Cardinality Comparisons . . . . . . . . . . . . . . . . . . 391 Lawrence S. Moss A “Reply” to My “Critics” . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 417 J. Michael Dunn Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 435
The list of books you might like
