First Course in Mathematical Logic

Front Cover
Courier Corporation, 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

Other editions - View all

Common terms and phrases

References to this book

All Book Search results »

About the author (1964)

Patrick Suppes (1922-2014) was the Lucie Stern Professor of Philosophy, Emeritus at Stanford University. He was the founder of the Computer Curriculum Corporation and the Suppes Brain Lab at Stanford, as well as the co-founder of the Institute for Mathematical Studies in Social Sciences.

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