First Course in Mathematical Logic

Front Cover
Courier Dover Publications, 1964 - Mathematics - 274 pages
0 Reviews
In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and applications of the theory of inference developed to the elementary theory of commutative groups. Throughout the book, the authors emphasize the pervasive and important problem of translating English sentences into logical or mathematical symbolism. Their clear and coherent style of writing ensures that this work may be used by students in a wide range of ages and abilities.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

SYMBOLIZING SENTENCES
1
LOGICAL INFERENCE
43
TRUTH AND VALIDITY
110
TRUTH TABLES
161
TERMS PREDICATES AND UNIVERSAL QUANTIFIERS
180
UNIVERSAL SPECIFICATION AND LAWS OF IDENTITY
211
A SIMPLE MATHEMATICAL SYSTEM AXIOMS FOR ADDITION
241
UNIVERSAL GENERALIZATION
263
Copyright

Common terms and phrases

References to this book

All Book Search results »

About the author (1964)

Maria Carla Galavotti is professor of philosophy of science in the department of philosophy at the University of Bologna.
Roberto Scazzieri is professor of economic analysis in the department of economics at the University of Bologna.
Patrick Suppes is Lucie Stern professor emeritus of philosophy at Stanford University.

Shirley A. Hill is a professor of sociology at the University of Kansas, where she studies family diversity, social inequality, and health care. She is the author of "Race, Work, and Family: New Century Values Among African American Men and Women "(co-edited with Marlese Durr; Rowman & Littlefield, (c)2006); "Black Intimacies: A Gender Perspective on Families and Relationships "(AltaMira, (c)2005); "African American Children: Their Socialization and Development in Families "(SAGE, (c)1999); and other books and articles. Her current research focuses on racial disparities in educational attainment.

Bibliographic information