Procedural Semantics For Hyperintensional Logic: Foundations And Applications Of Transparent Intensional Logic

Logic, Epistemology, and the Unity of Science LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE VOLUME 17 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 Science aims 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 no 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. For further volumes: http://www.springer.com/series/6936 Marie Duˇz´ı · Bjørn Jespersen · Pavel Materna Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic 123 Dr. Marie Duˇz´ı VSB-Technical University Ostrava Fac. Electric Engineering and Computer Science 17. listopadu 15 708 33 Ostrava, Czech Republic [email protected] [email protected] Dr. Pavel Materna ASCR Praha Inst. Philosophy Dept. Logic Jilsk´a 1 110 00 Praha 1 Czech Republic [email protected] and Masaryk University Faculty of Arts A. Nov´aka 1 Faculty of Informatics Botanick´a 68a Brno Dr. Bjørn Jespersen Delft University of Technology Fac. Technology, Policy & Management Jaffalaan 5 2628 BX Delft Netherlands [email protected] and VSB-Technical University Ostrava Fac. Electric Engineering and Computer Science 17. listopadu 15 708 33 Ostrava, Czech Republic and ASCR Prague Inst. Philosophy Dept. Logic Jilsk´a 1 110 00 Praha 1, Czech Republic [email protected] ISBN 978-90-481-8811-6 e-ISBN 978-90-481-8812-3 DOI 10.1007/978-90-481-8812-3 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2010927470 c Springer Science+Business Media B.V. 2010  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, microfil