Table Of Content

LOGIC, THOUGHTAND ACTION LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE VOLUME2 Editors Shahid Rahman,University of Lille III, France John Symons, University of Texas at El Paso, U.S.A. Editorial Board Jean Paul van Bendegem,Free University of Brussels, Belgium Johan van Benthem, University of Amsterdam, the Netherlands Jacques Dubucs,University of Paris I-Sorbonne, France Anne Fagot-Largeault, Collège de France, France Bas van Fraassen, Princeton University, U.S.A. Dov Gabbay,King’s College London, U.K. Jaakko Hintikka, Boston University, U.S.A. Karel Lambert, University of California, Irvine, U.S.A. Graham Priest, University of Melbourne, Australia Gabriel Sandu, University of Helsinki, Finland Heinrich Wansing, Technical University Dresden, Germany Timothy Williamson, Oxford University, U.K. Logic, Epistemology, and the Unity of Scienceaims to reconsider the question of the unity of science in light of recent developments in logic. At present, no single logical, semantical or methodological framework dominates the philosophy of science. However, the editors of this series believe that formal techniques like, for example, independence friendly logic, dialogical logics, multimodal logics, game theoretic semantics and linear logics, have the potential to cast new light on basic issues in the discussion of the unity of science. This series provides a venue where philosophers and logicians can apply specific technical insights to fundamental philosophical problems. While the series is open to a wide variety of perspectives, including the study and analysis of argumentation and the critical discussion of the relationship between logic and the philosophy of science, the aim is to provide an integrated picture of the scientific enterprise in all its diversity. Logic, Thought and Action Edited by Daniel Vanderveken University of Quebec,Trois-Rivières, QC, Canada AC.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 1-4020-2616-1 (HB) ISBN 1-4020-3167-X (e-book) Published by Springer, P.O. Box 17, 3300 AADordrecht, The Netherlands. Sold and distributed in North, Central and South America by Springer, 101 Philip Drive, Norwell, MA02061, U.S.A. In all other countries, sold and distributed by Springer, P.O. Box 322, 3300 AHDordrecht, The Netherlands. Cover image: Adaptation of a Persian astrolabe (brass, 1712-13), from the collection of the Museum of the Historyyof Science,Oxford. Reproduced by permission. Printed on acid-free paper All Rights Reserved © 2005 Springer No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed in the Netherlands. In Memoriam J.-Nicolas Kaufmann 1941–2002 Contents Contributing Authors xi 1 Introduction 1 Daniel Vanderveken Part I Reason, Action and Communication 2 The Balance of Reason 27 Marcelo Dascal 3 Desire, Deliberation and Action 49 John R. Searle 4 Two Basic Kinds of Cooperation 79 Raimo Tuomela 5 Speech Acts and Illocutionary Logic 109 John R. Searle and Daniel Vanderveken 6 Communication, Linggguistic Understanding and Minimal Rational- 133 ity in Universal Grammar Andr´´Leclerc Part II Experience, Truth and Reality in Science 7 Truth and Reference 153 Henri Lauenerr† viii LOGIC, THOUGHT AND ACTION 8 Empirical Versus Theoretical Existence and Truth 163 Michel Ghins 9 Michel Ghins on the Empirical Versus the Theoretical 175 Bas C. van Fraassen Part III Propositions, Thought and Meaning 10 Propositional Identity, Truth According to Predication and Strong 185 Implication Daniel Vanderveken 11 Reasoning and Aspectual-Temporal Calculus 217 Jean-Pierre Desclés 12 Presupposition, ProjectionandTransparencyinAttitudeContexts 245 Rob van der Sandt 13 The Limits of a Logical Treatment of Assertion 267 Denis Vernant Part IV Agency, Dialogue and Game-Theory 14 Agents and Agency in Branching Space-Times 291 Nuel Belnap 15 Attempt, Success and Action Generation: a Logical Study 315 of Intentional Action Daniel Vanderveken 16 Pragmatic and Semiotic Prerequisites for Predication 343 Kuno Lorenz 17 On how to be a Dialogician 359 Shahid Rahman and Laurent Keiff 18 Some Games Logic Plays 409 Ahti-Veikko Pietarinen Contents ix 19 Backward Induction Without Tears? 433 Jordan Howard Sobel Part V Reasoning and Cognition in Logic and Artificial Intelligence 20 On the Usefulness of Paraconsistent Logic 465 Newton C.A. da Costa, Jean-Yves B´´ziau, and Ot´´vio Bueno 21 Algorithms for Relevant Logic 479 Paul Gochet, Pascal Gribomont and Didier Rossetto 22 Logic, Randomness and Cognition 497 Michel de Rougemont 23 FromCompputingggwithNumberstoCompputingggwithWords—From 507 Manipulation of Measurements to Manipulation of Perceptions Lofti Zadeh