×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Mechanism and Freedom of Logic
     

Mechanism and Freedom of Logic

by Granville C. Henry
 

See All Formats & Editions

This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn

Overview

This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn enough formal logic to examine Prolog and computing in general so major fundamental theorems can be demonstrated. Cases such as Church's Thesis, Church's Theorem, Turing's Halting Problem, and Godel's Incompleteness Theorem provide the author with the means to assess some of the philosophical implications of logic and computing. Henry designed the book for undergraduate students, but it is also useful for philosophers and theologians who wish to see how computer programming serves as a probe into philosophical matters. Contents: The Formalization of Logic; Propositional Logic; Predicate Logic; Prolog: Programming in Logic; Logic Machines; The Scope and Limits of Logic and Logic Machines; Philosophical Reflections; Appendix; Bibliography; Index.

Editorial Reviews

Science and Technology
Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library.
— John B. Cobb, Jr., Claremont Graduate School
John B. Cobb
Henry presents formal logic with a strong orientation toward the applicability, scope, and limits of the subject. Given the many facets of formal logic and highly readable expository style, it would be a good addition to any academic library.

Product Details

ISBN-13:
9780819189639
Publisher:
UPA
Publication date:
03/30/1993
Pages:
242
Product dimensions:
6.00(w) x 9.00(h) x 1.00(d)

Meet the Author

Granville C. Henry is Professor of Mathematics and Philosophy at Claremont McKenna College in California.

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews