Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR.

This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and physical objects, and on naive psychology.

Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...) of signs and mathematical logic. The present series is the first published edition of his systematic works. (shrink)