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, ...
Read More
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.
Read Less
Add this copy of The Mechanism and Freedom of Logic to cart. $13.20, good condition, Sold by Wonder Book - Member ABAA/ILAB rated 5.0 out of 5 stars, ships from Frederick, MD, UNITED STATES, published 1993 by University Press of America.
Add this copy of The Mechanism and Freedom of Logic to cart. $20.00, good condition, Sold by Munster & Company rated 4.0 out of 5 stars, ships from Corvallis, OR, UNITED STATES, published 1993 by University Press of America.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. University Press of America, 1993. Cover very faintly rubbed/bumped, spine very lightly sunned; top edge very barely soiled/bumped, fore-edge very barely soiled, bottom edge very lightly soiled/bumped; binding tight; cover and interior intact and very clean; a nice copy. paperback. Good.
