An introduction to symbolic logic

Symbolic logic begins with a detailed discussion of the propositional calculus, which, although it is not intrinsically interesting, provides an ideal introduction to the basic concepts of logic in a fairly simple setting. This book differs from most texts in logic in that the general approach is semantical. I feel that the student cannot really understand what a deductive system of logic is all about unless the concepts of a valid sentence and of a set of sentences implying  another sentence are discussed first. These concepts provide the rationale for the construction of a system of derivations. Although their definitions in the propositional calculus are relatively simple, those in the predicate calculus are much more complex. Since the student is less likely to be confused by the complexity of the definitions if he already has a rough idea of what concepts are being defined, it is best to introduce the concepts in the simpler setting of the propositional calculus.

Autor(a): Pollock, John L. 

Publicación: Nueva York: Holt Rinehart and Winston, 1969.

Este libro es una nueva adquisición del Sistema de Bibliotecas, y desde ahora puede ser consultado en la Biblioteca del Carmen de Viboral, Colección general  511.3/P776