Journal of Logics
Total Page:16
File Type:pdf, Size:1020Kb
Volume 4 Volume ISSN PRINT 2055-3706 ISSN ONLINE 2055-3714 Issue 11 Contents The IfCoLog ARTICLES Editor’s Note December 2017 John Woods 3557 Dale Jacquette: An Appreciation John Woods 3559 Journal of Logics Identifi cation of Identity Jean-Yves Beziau 3571 Inside Außersein Filippo Casati and Graham Priest 3583 and their Applications Truth and Interpretation Volume 4 Issue 11 December 2017 Dagfi nn Føllesdal 3597 Content and Object in Brentano Guillaume Fréchette 3609 The IfColog Journal of Logics and their Applications Special Issue Nuclear and Extra-nuclear Properties Nicholas Griffi n 3629 Dedicated to the Memory On the Existential Import of General Germs Gudio Imaguire 3659 of Dale Jacquette How do we Know Things with Signs? A Model of Semiotic Intentionality Manuel Gustavo Isaac 3683 Guest Editor Schopenhauer’s Consoling View of Death John Woods Christopher Janaway 3705 Taming the Existent Golden Mountain: the Nuclear Option Frederik Kroon 3719 Reminiscences of Alonzo Church Nicholas Rescher 3735 Noneism and Allism on the Objects of Thought Tom Schoonen and Franz Berto 3739 Why Nothing Fails to Exist Peter Simons 3759 Closing Words Tina Jacquette 3773 Dale Jacquette. Publications Compiled by Tina Jacquette 3775 IFCoLog Journal of Logics and their Applications Volume 4, Number 11 December 2017 Disclaimer Statements of fact and opinion in the articles in IfCoLog Journal of Logics and their Applications are those of the respective authors and contributors and not of the IfCoLog Journal of Logics and their Applications or of College Publications. Neither College Publications nor the IfCoLog Journal of Logics and their Applications 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 2017 All rights reserved. ISBN 978-1-84890-246-6 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 Henri Prade Marcello D’Agostino Melvin Fitting David Pym Natasha Alechina Michael Gabbay Ruy de Queiroz Sandra Alves Murdoch Gabbay Ram Ramanujam Arnon Avron Thomas F. Gordon Chrtian Retoré Jan Broersen Wesley H. Holliday Ulrike Sattler Martin Caminada Sara Kalvala Jörg Siekmann Balder ten Cate Shalom Lappin Jane Spurr Agata Ciabttoni Beishui Liao Kaile Su Robin Cooper David Makinson Leon van der Torre Luis Farinas del Cerro George Metcalfe Yde Venema Esther David Claudia Nalon Rineke Verbrugge Didier Dubois Valeria de Paiva Heinrich Wansing PM Dung Jeff Paris Jef Wijsen Amy Felty David Pearce John Woods David Fernandez Duque Brigitte Pientka Michael Wooldridge Jan van Eijck Elaine Pimentel Anna Zamansky iii iv 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. v vi Contents ARTICLES Editor’s Note ........................................3557 John Woods Dale Jacquette: An Appreciation ...........................3559 John Woods Identification of Identity .................................3571 Jean-Yves Beziau Inside Außersein ......................................3583 Filippo Casati and Graham Priest Truth and Interpretation ................................3597 Dagfinn Føllesdal Content and Object in Brentano ...........................3609 Guillaume Fréchette Nuclear and Extra-nuclear Properties ........................3629 Nicholas Griffin On the Existential Import of General Germs ....................3659 Gudio Imaguire vii How do we Know Things with Signs? A Model of Semiotic Intentionality 3683. Manuel Gustavo Isaac Schopenhauer’s Consoling View of Death ......................3705 Christopher Janaway Taming the Existent Golden Mountain: the Nuclear Option ..........3719 Frederik Kroon Reminiscences of Alonzo Church ...........................3735 Nicholas Rescher Noneism and Allism on the Objects of Thought ..................3739 Tom Schoonen and Franz Berto Why Nothing Fails to Exist ...............................3759 Peter Simons Closing Words .......................................3773 Tina Jacquette Dale Jacquette. Publications ..............................3775 Compiled by Tina Jacquette viii Editorial Note John Woods University of British Columbia, Vancouver, Canada. [email protected] Dale Jacquette died on August 22, 2016, at the too-early age of 63. He was stricken by a pulmonary embolism at his home in Brügg and expired the following day. He leaves his wife Tina Jacquette (née Traar), his son Scott, and grandsons David and Jason. The present number of the IfCoLoG Journal of Logics and Their Applications has been assembled to honour Dale’s memory and as a tribute to the substantial impact he has had on the philosophy of his day. In organizing the tribute, it was decided to give wide latitude to its authors. After all, not everyone who recognizes Dale’s importance is a Jacquette scholar. My own view of the matter was that if we made the tribute solely an exercise in Jacquettian scholarship, we would lose the opportunity to expose him to an even wider philosophical audience. A further factor was Dale’s extraordinary philosophical versatility. He was well- informed about virtually everything that has mattered in philosophy’s long reign. In my last conversation with him the summer before his death, he had dazzling things to say about how Church’s paradox might be recovered from, from which a further guideline would later emerge for the selection of authors. If someone of note had known Dale’s personally, or had had professional contact with him, he would be free to write on anything that interested Dale. Other criteria were similarly flexible. If someone didn’t know Dale personally or have professional contact with him, he would be welcome to contribute a paper on something he himself specializes in, provided that this too was an area in which Dale specialized. Equally welcome, needless to say, were papers that focused on some or other aspect of the Jacquette oeuvre. A final guideline was this. We would invite philosophers who, by acquaintance or reputation, Dale would be honoured to see in a publication such as this one. I was first reader of the papers that appear here, and the task of second reader was mostly performed by one or other of our authors. There were a few occasions when an “outside” reader would be called upon. In that regard, my warm thanks to Johan Marek, Mark Migotti and Daniel Parrochia. I am grateful to general editor Dov Gabbay for the hospitality of his journal and to Jane Spurr for her assistance in readying this number for publication. I am espe- cially indebted to Tina Jacquette for her support of the project, and for her timely Vol. 4 No. 11 2017 IFCoLog Journal of Logics and their Applications Woods help on details of Dale’s early academic life. My largest and proudest gratitude is to the talented philosophers who have made this number the philosophical success that we had all set out to make. 3558 Received 11 December 2017 Dale Jacquette: An Appreciation John Woods University of British Columbia, Vancouver, Canada. [email protected] Dale Jacquette was Ordentlicher Professor mit Schwerpunkt Theoretische at Uni- versität Bern (Senior Professorial Chair in Logic and Theoretical Philosophy). Born in Sheboygan, Wisconsin, he was educated there until high school matriculation and admission to Oberlin College. He graduated from Oberlin College in 1975 with an Honours BA in Philosophy, under the supervision of Robert Grimm. His honours thesis was entitled “Aristotle on identity and individuation”. That same year he was elected to the prestigous Honour Society Phi Beta Kappa. Instead of taking a “gap year”, which was then coming into vogue, he spent a year at Temple University talking to Bill Wisdom and Hugues Leblanc, and followed with a year at Leeds chat- ting with Peter Geach, in each case enlarging his appreciation