7.17 language proof and logic world
1676.6 Proofs without premises (optional). 140Ħ Formal Proofs and Boolean Logic 1426.1 Conjunction rules. 1365.4 Arguments with inconsistent premises (optional ). 1315.3 Indirect proof: proof by contradiction. 121ĥ Methods of Proof for Boolean Logic 1275.1 Valid inference steps.
1174.6 Conjunctive and disjunctive normal forms (optional ). 1144.5 Pushing negation around (optional). 1104.4 Tautological consequence in Fitch. 1064.3 Logical and tautological consequence. 944.2 Logical and tautological equivalence. 89Ĥ The Logic of Boolean Connectives 934.1 Tautologies and logical truth. 66ģ The Boolean Connectives 673.1 Negation symbol. 40Ģ The Logic of Atomic Sentences 412.1 Valid and sound arguments. 371.7 The flrst-order language of arithmetic (optional). 311.6 The flrst-order language of set theory (optional ). 15ġ Atomic Sentences 191.1 Individual constants. 4Instructions about homework exercises (essential! ). Introduction 1The special role of logic in rational inquiry. Finally, we are grateful to our twopublishers, Dikran Karagueuzian of CSLI Publications and Clay Glad of SevenBridges Press, for their skill and enthusiasm about LPL, and to Lauri Kanervafor his dedication and skill in the preparation of the flnal manuscript. We would also like to thank Stanfords Center for the Study of LanguageĪnd Information and Indiana Universitys College of Arts and Sciences fortheir flnancial support of the project.
7.17 language proof and logic world software#
We are particularly grateful to John Justice, Ralph Kennedy,and their students (as well as the students at Stanford and Indiana Uni-versity), for their patience with early versions of the software and for theirextensive comments and suggestions. We thank Selmer Bringsjord,Renssalaer Polytechnic Institute Tom Burke, University of South Carolina Robin Cooper, Gothenburg University James Derden, Humboldt State Uni-versity Josh Dever, SUNY Albany Avrom Faderman, University of Rochester James Garson, University of Houston Christopher Gauker, University of Cin-cinnati Ted Hodgson, Montana State University John Justice, Randolph-Macon Womens College Ralph Kennedy, Wake Forest University MichaelORourke, University of Idaho Greg Ray, University of Florida Cindy Stern,California State University, Northridge Richard Tieszen, San Jose State Uni-versity Saul Traiger, Occidental College and Lyle Zynda, Indiana Universityat South Bend. In addition, other colleagues have provided excellent advice that wehave tried to incorporate into the flnal package. Prerelease versions of LPL have been tested at several colleges and uni-versities. Their contributions have improved the package in a host ofways. Second, we thank several people who have helped with the develop-ment of the new software in essential ways: Rick Sanders, Rachel Farber, JonRussell Barwise, Alex Lau, Brad Dolin, Thomas Robertson, Larry Lemmon,and Daniel Chai.
We want especially to mention ChristopherFuselier, Mark Greaves, Mike Lenz, Eric Ly, and Rick Wong, whose outstand-ing contributions to the earlier programs provided the foundation of the newsoftware. First, over two dozen programmers haveworked on predecessors of the software included with the package, both earlierversions of Tarskis World and the program Hyperproof, some of whose codehas been incorporated into Fitch. In addition to the flve of us, many people have contributed directly and in-directly to the creation of the package. Without their intelli-gence, dedication, and hard work, LPL would neither exist nor have most ofits other good properties. They haveworked with us in designing the entire package, developing and implementingthe software, and teaching from and reflning the text. Our primary debt of gratitude goes to our three main collaborators on thisproject: Gerry Allwein, Dave Barker-Plummer, and Albert Liu.
IN PROCESSĬopyright 1999CSLI PublicationsCenter for the Study of Language and InformationLeland Stanford Junior University Language, proof and logic / Jon Barwise and John Etchemendy in collaboration with Gerard Allwein, Dave Barker-Plummer, andAlbert Liu. Library of Congress Cataloging-in-Publication Data Gerard AllweinDave Barker-PlummerAlbert Liu LANGUAGE, PROOF ANDLOGICJON BARWISE & JOHN ETCHEMENDY