Beginning Logic
Beginning Logic

Author: Edward John Lemmon

Publisher: Hackett Publishing

Published: 1978-01-01

Total Pages: 244

ISBN-13: 9780915144501

DOWNLOAD EBOOK

"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
A Teaching Companion to Lemmon's Beginning Logic

Author: George F. Schumm

Publisher: Hackett Publishing

Published: 1979-01-01

Total Pages: 114

ISBN-13: 9780915144655

DOWNLOAD EBOOK

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
Hegel and the Problem of Beginning

Author: Robb Dunphy

Publisher: Rowman & Littlefield

Published: 2023-01-17

Total Pages: 225

ISBN-13: 1538147564

DOWNLOAD EBOOK

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
An Introduction to Formal Logic

Author: Peter Smith

Publisher: Cambridge University Press

Published: 2003-11-06

Total Pages: 370

ISBN-13: 9780521008044

DOWNLOAD EBOOK

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
Beginning Logic

Author: E.J. Lemmon

Publisher: CRC Press

Published: 1971-09-30

Total Pages: 244

ISBN-13: 9780412380907

DOWNLOAD EBOOK

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.

First-order Logic
First-order Logic

Author: Leigh S. Cauman

Publisher: Walter de Gruyter

Published: 1998

Total Pages: 356

ISBN-13: 9783110157666

DOWNLOAD EBOOK

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

An Introduction to Mathematical Logic
An Introduction to Mathematical Logic

Author: Richard E. Hodel

Publisher: Courier Corporation

Published: 2013-01-01

Total Pages: 514

ISBN-13: 0486497852

DOWNLOAD EBOOK

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.

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

Author: Stephen Houlgate

Publisher: Bloomsbury Publishing

Published: 2021-10-21

Total Pages: 406

ISBN-13: 1350189405

DOWNLOAD EBOOK

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.

Introduction to Logic
Introduction to Logic

Author: Alfred Tarski

Publisher: Courier Corporation

Published: 2013-07-04

Total Pages: 271

ISBN-13: 0486318893

DOWNLOAD EBOOK

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.