Beginning Logic


Book Description

"One of the most careful and intensive among the introductory texts that can be used with a wide range of students. It builds remarkably sophisticated technical skills, a good sense of the nature of a formal system, and a solid and extensive background for more advanced work in logic. . . . The emphasis throughout is on natural deduction derivations, and the text's deductive systems are its greatest strength. Lemmon's unusual procedure of presenting derivations before truth tables is very effective." --Sarah Stebbins, The Journal of Symbolic Logic




A Teaching Companion to Lemmon's Beginning Logic


Book Description

This brief volume supplements Lemmon's classic introductory logic text with almost 200 new exercises, many of them solved, solutions to selected exercises in Beginning Logic itself, a helpful commentary on Lemmon's use of key technical terms, alternative formulations, and advice to students.




Hegel and the Problem of Beginning


Book Description

Hegel opens the first book of his Science of Logic with the statement of a problem: “The beginning of philosophy must be either something mediated or something immediate, and it is easy to show that it can be neither the one nor the other, so either way of beginning finds its rebuttal.” Despite its significant placement, exactly what Hegel means in his expression of this problem and exactly what his solution to it is, remain unclear. In this book, Robb Dunphy provides a detailed engagement with Hegel’s “problem of beginning”, locating it within Hegel’s account of significant approaches to the topic of beginning in the history of Western philosophy, as well as making an extended case for the influence of Pyrrhonian Scepticism on the beginning of Hegel’s Logic. Dunphy’s discussion of the various putative solutions that Hegel might be thought to put forward contributes to debates concerning Hegel’s views on the methodology of logic, the relation between his Logic and his Phenomenology of Spirit, and differences between his Encyclopaedia presentation of logic and that of his greater Science of Logic. Hegel and the Problem of Beginning also functions as a critical commentary on Hegel’s essay, “With what must the beginning of the science be made?” which should be of interest to both researchers and students working on the opening of Hegel’s Logic.




An Introduction to Formal Logic


Book Description

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.




Beginning Logic


Book Description

The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose soundness cannot be proved by propositional calculus are discussed, and it is shown how formalization can reveal the logical form of arguments. The final section of the book deals with the application of the predicate calculus as applied in various other fields of logic.




An Introduction to Mathematical Logic


Book Description

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.




Forall X


Book Description




Introduction to Logic


Book Description

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.




Quality and the Birth of Quantity in Hegel's 'Science of Logic'


Book Description

Hegel on Being provides an authoritative treatment of Hegel's entire logic of being. Stephen Houlgate presents the Science of Logic as an important and neglected text within Hegel's oeuvre that should hold a more significant place in the history of philosophy. In the Science of Logic, Hegel set forth a distinctive conception of the most fundamental forms of being through ideas on quality, quantity and measure. Exploring the full trajectory of Hegel's logic of being from quality to measure, this two-volume work by a preeminent Hegel scholar situates Hegel's text in relation to the work of Plato, Aristotle, Descartes, Spinoza, Kant, and Frege. Volume I: Quality and the Birth of Quantity in Hegel's 'Science of Logic' covers all material on the purpose and method of Hegel's dialectical logic and charts the crucial transition from the concept of quality to that of quantity, as well as providing an original account of Hegel's critique of Kant's antinomies across two chapters.




First-order Logic


Book Description

An introduction to principles and notation of modern symbolic logic, for those with no prior courses. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll. Annotation copyrighted by Book News, Inc., Portland, OR