"This programed [sic] text deals extensively with the problems of interpretation and translation between English sentences and formulas of modern symbolic logic. Beginning with elementary sentential formalism, the reader gradually learns to handle the formulas of the predicate calculus (with identity) and some from logical set theory. Although comprehensive techniques for deductive inference are not covered, simple tests of logical equivalence and contradiction are considered because of the insights they shed on the truth conditions of sentences. An appreciation of these truth conditions is necessary for understanding such matters as the difference between mathematics and empirical science and - another example - the problems of confirmation. Novel programing [sic] techniques result in a text that the student can work through in 6 1/2 hours. The requirements of the learning task at each step have been shaped with the structure of the program. Stretches of linear programing [sic] with constructed responses are entered by way of branching frames using multiple-choice responses." -- from back wrapper.