Volume 5 Volume ISSN PRINT 2055-3706 ISSN ONLINE 2055-3714 Issue 5 August 2018 Journal of Contents Articles The logical foundations of strategic reasoning: inconsistency-management as a test case for logic John Woods 945 Applied Logics Reasoning with diagrams and images: observation and imagination as rules of inference The IfCoLog Journal of Logics and their Applications John Sowa 987 Volume 5 Issue 5 August 2018 Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective Lorenzo Magnani 1061 Abductive cognition: affordance, curation, and chance Akinori Abe 1093 Conjectures and abductive reasoning in games Special Issue Ahti-Veikko Pietarinen 1121 Enthymematic interaction in Baduk Logical Foundations Woosuk Park 1145 The IfCoLog Journal of Logics and their Ap Journal of Applied Logics When is a strategy in games? of Strategic Reasoning Woosuk Park 1169 What strategicians might learn from the common law: Guest Editor implicit and tacit understandings of the unwritten John Woods 1205 Woosuk Park John Woods plications Sponsored by Published by Available online at www.collegepublications.co.uk/journals/ifcolog/ Free open access Journal of Applied Logics - IfCoLog Journal of Logics and their Applications Volume 5, Number 5 August 2018 Disclaimer Statements of fact and opinion in the articles in Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (JAL-FLAP) are those of the respective authors and contributors and not of the JAL-FLAP. Neither College Publications nor the JAL-FLAP make any representation, express or implied, in respect of the accuracy of the material in this journal and cannot accept any legal responsibility or liability for any errors or omissions that may be made. The reader should make his/her own evaluation as to the appropriateness or otherwise of any experimental technique described. c Individual authors and College Publications 2018 All rights reserved. ISBN 978-1-84890-286-2 ISSN (E) 2055-3714 ISSN (P) 2055-3706 College Publications Scientific Director: Dov Gabbay Managing Director: Jane Spurr http://www.collegepublications.co.uk Printed by Lightning Source, Milton Keynes, UK All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form, or by any means, electronic, mechanical, photocopying, recording or otherwise without prior permission, in writing, from the publisher. Editorial Board Editors-in-Chief Dov M. Gabbay and Jörg Siekmann Marcello D’Agostino Melvin Fitting Henri Prade Natasha Alechina Michael Gabbay David Pym Sandra Alves Murdoch Gabbay Ruy de Queiroz Arnon Avron Thomas F. Gordon Ram Ramanujam Jan Broersen Wesley H. Holliday Chrtian Retoré Martin Caminada Sara Kalvala Ulrike Sattler Balder ten Cate Shalom Lappin Jörg Siekmann Agata Ciabttoni Beishui Liao Jane Spurr Robin Cooper David Makinson Kaile Su Luis Farinas del Cerro George Metcalfe Leon van der Torre Esther David Claudia Nalon Yde Venema Didier Dubois Valeria de Paiva Rineke Verbrugge PM Dung Jeff Paris Heinrich Wansing Amy Felty David Pearce Jef Wijsen David Fernandez Duque Brigitte Pientka John Woods Jan van Eijck Elaine Pimentel Michael Wooldridge Anna Zamansky Area Scientific Editors Philosophical Logic New Applied Logics Logic and category Johan van Benthem Walter Carnielli Theory Lou Goble David Makinson Samson Abramsky Stefano Predelli Robin Milner Joe Goguen Gabriel Sandu Heinrich Wansing Martin Hyland Jim Lambek Proof Theory Logic and Rewriting Human Reasoning Sam Buss Claude Kirchner Peter Bruza Wolfram Pohlers Jose Meseguer Niki Pfeifer John Woods iii Modal and Temporal Automated Inference Formal Methods: Logic Systems and Model Specification and Carlos Areces Checking Verification Melvin Fitting Ed Clarke Howard Barringer Victor Marek Ulrich Furbach David Basin Mark Reynolds. Hans Juergen Ohlbach Dines Bjorner Frank Wolter Volker Sorge Kokichi Futatsugi Michael Zakharyaschev Andrei Voronkov Yuri Gurevich Toby Walsh Logic and Software Logic and Constraint Logic and Databases Engineering Logic Programming Jan Chomicki Manfred Broy Manuel Hermenegildo Enrico Franconi John Fitzgerald Antonis Kakas Georg Gottlob Kung-Kiu Lau Francesca Rossi Leonid Libkin Tom Maibaum Gert Smolka Franz Wotawa German Puebla Logic and Physics Logic for Knowledge Tactical Theorem (space time. relativity Representation and the Proving and Proof and quantum theory) Semantic Web Planning Hajnal Andreka Franz Baader Alan Bundy Kurt Engesser Anthony Cohn Amy Felty Daniel Lehmann Pat Hayes Jacques Fleuriot lstvan Nemeti Ian Horrocks Dieter Hutter Victor Pambuccian Maurizio Lenzerini Manfred Kerber Bernhard Nebel Christoph Kreitz Logic and Algebraic Logic in Mechanical Logic and Law Programming and Electrical Jose Carmo Jan Bergstra Engineering Lars Lindahl John Tucker Rudolf Kruse Marek Sergot Ebrahaim Mamdani Applied Non-classical Mathematical Logic Cognitive Robotics: Logic Wilfrid Hodges Actions and Causation Luis Farinas del Cerro Janos Makowsky Gerhard Lakemeyer Nicola Olivetti Michael Thielscher iv Type Theory for Logic Applied in Logic and Theorem Proving Mathematics Computational Models Systems (including e-Learning of Scientific Reasoning Peter Andrews Tools for Mathematics Lorenzo Magnani Chris Benzmüller and Logic) Luis Moniz Pereira Chad Brown Bruno Buchberger Paul Thagard Dale Miller Fairouz Kamareddine Carsten Schlirmann Michael Kohlhase Logic and Multi-Agent Logic and Neural Logic and Planning Systems Networks Susanne Biundo Michael Fisher Artur d’Avila Garcez Patrick Doherty Nick Jennings Steffen Holldobler Henry Kautz Mike Wooldridge John G. Taylor Paolo Traverso Algebraic Methods in Non-monotonic Logics Logic and Learning Logic and Logics of Change Luc de Raedt Miklos Ferenczi Jurgen Dix John Lloyd Rob Goldblatt Vladimir Lifschitz Steven Muggleton Robin Hirsch Donald Nute Idiko Sain David Pearce Logic and Natural Fuzzy Logic Language Processing Uncertainty and Wojciech Buszkowski Probability Hans Kamp Didier Dubois Marcus Kracht Petr Hajek Johanna Moore Jeff Paris Michael Moortgat Henri Prade Manfred Pinkal George Metcalfe Hans Uszkoreit Jon Williamson v vi Scope and Submissions This journal considers submission in all areas of pure and applied logic, including: pure logical systems dynamic logic proof theory quantum logic constructive logic algebraic logic categorical logic logic and cognition modal and temporal logic probabilistic logic model theory logic and networks recursion theory neuro-logical systems type theory complexity nominal theory argumentation theory nonclassical logics logic and computation nonmonotonic logic logic and language numerical and uncertainty reasoning logic engineering logic and AI knowledge-based systems foundations of logic programming automated reasoning belief revision knowledge representation systems of knowledge and belief logic in hardware and VLSI logics and semantics of programming natural language specification and verification concurrent computation agent theory planning databases This journal will also consider papers on the application of logic in other subject areas: philosophy, cognitive science, physics etc. provided they have some formal content. Submissions should be sent to Jane Spurr ([email protected]) as a pdf file, preferably compiled in LATEX using the IFCoLog class file. vii viii Contents ARTICLES The logical foundations of strategic reasoning: inconsistency-management as a test case for logic ................................ 945 John Woods Reasoning with diagrams and images: observation and imagination as rules of inference ....................................... 987 John Sowa Playing with anticipation as abduction: strategic reasoning in an eco-cognitive perspective .......................................1061 Lorenzo Magnani Abductive cognition: affordance, curation, and chance .............1093 Akinori Abe Conjectures and abductive reasoning in games ..................1121 Ahti-Veikko Pietarinen Enthymematic interaction in Baduk .........................1145 Woosuk Park When is a strategy in games? .............................1169 Woosuk Park ix What strategicians might learn from the common law: implicit and tacit understandings of the unwritten ..........................1205 John Woods x The logical foundations of strategic reasoning:Inconsistency-management as a test case for logic John Woods University of British Columbia [email protected] Abstract The notion of foundations has a large presence in theoretical enquiry. The notion of logical foundations has an equivocal presence, depending on how logic is to be understood. If taken in its modern mathematical sense, logic’s founda- tional presence can be dated from 1879.[15] 1 If understood as the systematic analysis of real-life human reasoning in real time, logic has had a foundational significance since Aristotle in the 4thcentury BC. Whether logical or otherwise (and in whichever sense), enquiry’s founda- tional search for roots is both very old and of enduring importance. In section A on Foundations I’ll devote some time to tracking the historical lineage of this idea, in the course of which we’ll be able to grasp how significant a step it took in 1879 when, in effect, logic decided to detach itself from the business of sorting out the conditions under which real people reason well in real time in the shifting circumstances of human life. Section B on Cognitive Economics picks up on the question of what enables beings like us to do as well as we do when we negotiate the flow-through of premissory input to conclusional