Version Aug 2013 of An Exposition of Symbolic Logic is a lightly revised version of the August 2012 version of An Introduction to Symbolic Logic (also known as Terry-Text). The system of logic used here is essentially that of Kalish & Montague 1964 and Kalish, Montague and Mar, Harcourt Brac
An Introduction to Symbolic Logic
โ Scribed by Susanne K. Langer
- Publisher
- Dover Publications
- Year
- 1967
- Tongue
- English
- Leaves
- 387
- Edition
- 3
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
Now revised and corrected, the book allows you to start with the simplest symbols and conventions and end up with a remarkable grasp of the Boole-Schroeder and Russell-Whitehead systems. It covers the study of forms, essentials of logical structure, generalization, classes, and the principal relations among them, universe of classes, the deductive system of classes, the algebra of logic, abstraction and interpretation, calculus of propositions, the assumptions of Whitehead and Russell's Principia Mathematica, and logistics. Appendices cover symbolic logic and the logic of the syllogism, the construction and use of truth-tables, and proofs of two theorems.
"One of the clearest and simplest introductions to a subject which is very much alive." โ Mathematics Gazette.
๐ SIMILAR VOLUMES
<div>This is probably the clearest book ever written on symbolic logic for the philosopher, the general scientist, and the layman. For years it has received the appreciation of those who have been rebuffed by other introductory works because of insufficient mathematical training. No special knowledg
Logic With Trees is a new and original introduction to modern formal logic. It contains discussions on philosophical issues such as truth, conditionals and modal logic, presenting the formal material with clarity, and preferring informal explanations and arguments to intimidatingly rigorous developm