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.

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

Z
Z

Author: Antoni Diller

Publisher: John Wiley & Sons

Published: 1994-07-19

Total Pages: 406

ISBN-13:

DOWNLOAD EBOOK

This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.

Logic for Philosophy
Logic for Philosophy

Author: Theodore Sider

Publisher: Oxford University Press

Published: 2010-01-07

Total Pages: 305

ISBN-13: 0192658816

DOWNLOAD EBOOK

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

Logic
Logic

Author: Greg Restall

Publisher: Routledge

Published: 2005

Total Pages: 186

ISBN-13: 1134145993

DOWNLOAD EBOOK