Taken from his lecture notes on his introductory course on logic, Kant's philosophies in "Logic" describe his thoughts on the mental process and how it should be applied in life. Kant never set out to write a book on the subject, but his graduate student Gottlob Jaesche gathered his mentor's lecture notes together and added his own observations and explanations to the preexisting text. Included in the philosophy are historical explanations of Kant's...

Perhaps this book will be understood only by someone who has himself already had the thoughts that are expressed in it-or at least similar thoughts. -So it is not a textbook. -Its purpose would be achieved if it gave pleasure to one person who read and understood it. The book deals with the problems of philosophy, and shows, I believe, that the reason why these problems are posed is that the logic of our language is mis-understood. The whole sense...

These brief and enlightening explorations of our greatest thinkers bring their ideas to life in entertaining and accessible fashion. Philosophical thought is deciphered and made comprehensive and interesting to almost everyone. Far from being a novelty, each book is a highly refined appraisal of the philosopher and his work, authoritative and clearly presented.

HarperCollins is proud to present its incredible range of best-loved, essential classics. Despite dating from the 4th century BC, The Art of Rhetoric continues to be regarded by many as the single most important work on the art of persuasion. As democracy began emerging in 5th-century Athens, public speaking and debate became an increasingly important tool to garner influence in the assemblies, councils, and law courts of ancient Greece. In response...

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's...

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical model theory. Extensively updated and corrected in 1990 to accommodate developments in model theoretic methods - including classification theory and nonstandard analysis - the third edition added entirely new sections, exercises, and references. Each chapter...

This enlightening survey of mathematical concept formation holds a natural appeal to philosophically minded readers, and no formal training in mathematics is necessary to appreciate its clear exposition of mathematic fundamentals. Rather than a system of theorems with completely developed proofs or examples of applications, readers will encounter a coherent presentation of mathematical ideas that begins with the natural numbers and basic laws of arithmetic...

Designed as a methodDesigned as a method for teaching correct mathematical thinking to high school students, this book contains a brilliantly constructed series of what the authors call "lapses," erroneous statements that are part of a larger mathematical argument. These lapses lead to sophism or mathematical absurdities. The ingenious idea behind this technique is to lead the student deliberately toward a clearly false conclusion. The teacher and...