Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

    It contains many puzzles and their solutions and aims to attract many readers in an age where computer science, logic, and mathematics are becoming increasingly important and popular.

    

    "GR.3 up. Mr. Rosenbloom, will you ever run dry? My third graders sincerely hope not."--SLJ. "Students of all ages will love it!"--Book Report. 128 pages, 86 b/w illus., 5 3/8 x 8 1/4.

    Clark furnishes the Biblical background for logic.Contents: The Definition of Logic; Informal Fallacies; Definition; The Beginning of Formal Logic; Immediate Inference; Syllogism - Diagrams; The Syllogism - Deductions and Rules; Historical Remarks; Other Forms of Argument; Truth Tables; The Deduction of the Syllogism; Postscript: God and Logic; Glossary; Scripture Index; Index.http://www.trinitylectures.org/produc...

    The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.

    Published in that volume were also 27 appendices containing material selected to complement the content of the main text in significant ways. They provide valuable insight into the evolution of Husserl's thought between the Logical Investigations and Ideas I and, therefore, into the origins of phenomenology. That text and all those appendices but one are translated and published in the present volume. Omitted are only the "Personal Notes" dated September 25, 1906, November 4, 1907, and March 6, 1908, which were translated by Dallas Willard and published in his translation of Husserl's Early 2 Writings in the Philosophy of Logic and Mathematics. Introduction to Logic and Theory of Knowledge, Lectures 1906/07 provides valuable insight into the development of the ideas fun- mental to phenomenology. Besides shedding considerable light on the genesis of phenomenology, it sheds needed light on many other dimensions of Husserl's thought that have puzzled and challenged scholars.