#7.17 language proof and logic world software
#7.17 language proof and logic world code
#7.17 language proof and logic world series

#7.17 language proof and logic world series

With the publication of the second edition of LPL we are releasing the 3.x series of the Fitch, Boole and Submit applications, and the 7.x series of the Tarski’s World application. Since the initial publication of LPL, many operating system versions have come and gone, each requiring modifications, small and large, to the applications that are part of the package.

#7.17 language proof and logic world software

Finally, we are grateful to our publisher, Dikran Karagueuzian and his team at CSLI Publications, for their skill and enthusiasm about LPL, and to Lauri Kanerva for his dedication and skill in the preparation of the final manuscript.Īcknowledgements for the Second Edition One part of developing courseware packages for publication is the continual challenge of maintaining software in the face of developments in the commercial computer market. We would also like to thank Stanford’s Center for the Study of LanguageĪnd Information and Indiana University’s College of Arts and Sciences for their financial support of the project. We would also like to thank the many instructors and students who have offered useful feedback since the initial publication of LPL. We are particularly grateful to John Justice, Ralph Kennedy, and their students (as well as the students at Stanford and Indiana University), for their patience with early versions of the software and for their extensive comments and suggestions. We thank Selmer Bringsjord, Rensselaer Polytechnic Institute Tom Burke, University of South Carolina Robin Cooper, Gothenburg University James Derden, Humboldt State University Josh Dever, SUNY Albany Avrom Faderman, University of Rochester James Garson, University of Houston Christopher Gauker, University of Cincinnati Ted Hodgson, Montana State University John Justice, Randolph-Macon Women’s College Ralph Kennedy, Wake Forest University Michael O’Rourke, University of Idaho Greg Ray, University of Florida Cindy Stern, California State University, Northridge Richard Tieszen, San Jose State University Saul Traiger, Occidental College and Lyle Zynda, Indiana University at South Bend. In addition, other colleagues have provided excellent advice that we have tried to incorporate into the final package. Prerelease versions of LPL have been tested at several colleges and universities.

Their contributions have improved the package in a host of ways. Second, we thank several people who have helped with the development of the new software in essential ways: Rick Sanders, Rachel Farber, Jon Russell Barwise, Alex Lau, Brad Dolin, Thomas Robertson, Larry Lemmon, and Daniel Chai. We want especially to mention Christopher Fuselier, Mark Greaves, Mike Lenz, Eric Ly, and Rick Wong, whose outstanding contributions to the earlier programs provided the foundation of the new software.

#7.17 language proof and logic world code

First, over two dozen programmers have worked on predecessors of the software included with the package, both earlier versions of Tarski’s World and the program Hyperproof, some of whose code has been incorporated into Fitch. In addition to the five of us, many people have contributed directly and indirectly to the creation of the package. Without their intelligence, dedication, and hard work, LPL would neither exist nor have most of its other good properties. They have worked with us in designing the entire package, developing and implementing the software, and teaching from and refining the text. ∞ The acid-free paper used in this book meets the minimum requirements of the American National Standard for Information Sciences-Permanence of Paper for Printed Library Materials, ANSI Z39.48-1984.Īcknowledgements Our primary debt of gratitude goes to our main collaborators on this project: Gerry Allwein and Albert Liu. of: Language, proof, and logic / Jon Barwise & John Etchemendy. Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease.

Copyright © 1999, 2000, 2002, 2003, 2007, 2008, 2011 CSLI Publications Center for the Study of Language and Information Leland Stanford Junior University First Edition 1999 Second Edition 2011 Printed in the United States 16 15 14 13 12 23456 Library of Congress Cataloging-in-Publication Data Barker-Plummer, Dave.