College Publications logo   College Publications title  
View Basket
Homepage Contact page
Academia Brasileira de Filosofia
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
Encyclopaedia of Logic
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Student Publications
Texts in Logic and Reasoning
Texts in Mathematics
Digital Downloads
Information for authors
About us
Search for Books



Logical Reasoning: a First Course

Rob Nederpelt, Fairouz Kamareddine

This book has been revised and updated, as of September 2011.

This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.

The book is divided into three parts.

The first gives a general introduction to logic and the methodology of logical calculations as coined by the computer scientist Dijkstra and his group at Eindhoven. In this book we develop an easy and perspicuous method to work with these calculations, using a format which also provides arguments for the validity of the calculation.

The second part presents another method for logical derivations, the so-called reasoning, being a form of what is known as natural deduction. Again, formality, correctness and transparency are the main issues. We use a special notation for hypotheses in proofs, as was used by the mathematician de Bruijn and his Automath group at Eindhoven in the first theorem prover which checks books of mathematics.

The third part deals with applications of logic in different areas, in particular: sets, relations, mappings, numbers and structures, and ordered sets. In this part, the power of logical proofs is put 'to work'. One can now use calculations, reasonings or an intelligent mixture of both styles in order to reach one's goal. The different proof techniques known under the name 'induction' are also discussed in this part.

Throughout the book, methods and concepts are illustrated with ample examples and there are further exercises which help to sharpen the skills.

430 pp.

28th September 2004

ISBN 0-9543006-7-X

Buy from Amazon: UK   US   

© 2005–2024 College Publications / VFH webmaster