## Introduction to Logic and to the Methodology of Deductive SciencesThis classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout. |

### What people are saying - Write a review

TIMELESS CORE HOLDING IN ANY LOGIC LIBRARY, March 13, 2004

By

Frango Nabrasa (Manatee, FL)

This review is from: Introduction to Logic (Paperback)This timeless classic by one of the five greatest logicians of all time should be owned by anyone who cares about logic - especially at this illogically low price. The Greek philosopher Aristotle (384-322 BCE), the English mathematician George Boole (1815-1864), the German mathematician Gottlob Frege (1848-1925), the Austrian-American mathematician Kurt Gödel and the Polish mathematician Alfred Tarski (1901-1983) are considered to be the five greatest logicians of history. Today it is difficult to appreciate the astounding permanence of what is accomplished in the works of Aristotle, Boole, and Frege without seeing their ideas surviving in the work of a modern master. Of the two modern master logicians Tarski is by far the most suitable for this purpose since he was by far the one most interested in the articulation of the conceptual basis of logic, he was by far the one most interested in history and philosophy of logic, and he was the only one to write an introductory book attempting to explain his perspective in accessible terms. This book, together with Aristotle's Prior Analytics and Boole's Laws of Thought, should form the core of any logic library. All three are still in print and available in inexpensive paperback editions. Hackett publishes an excellent up-to-date translation of Prior Analytics by Robin Smith and Prometheus recently reprinted Laws of Thought with an introduction by John Corcoran.- Frango Nabrasa.

### Contents

36 | 15 |

Fundamental laws of the theory of identity | 55 |

G38 | 58 |

Numerical quantiﬁers | 63 |

Equinumerous classes cardinal number of a class ﬁnite | 79 |

Relations their domains and counterdomains relations | 87 |

Some properties of relations | 93 |

Manytermed relations functions of several variables | 105 |

Selection of axioms and primitive terms their independence | 130 |

The widened conception of the methodology of deductive | 138 |

Primitive terms of the theory under construction axioms | 155 |

Elimination of superﬁuous axioms in the original axiom system | 194 |

Second axiom system for the arithmetic of real numbers | 217 |

231 | |

237 | |

Fundamental constituents of s deductive theoryprimitive | 117 |