Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able to set up a cogent argument; others are at least able to follow a logical argument and even to detect logical fallacies. Nevertheless, even among educated persons there are many who do not even attain this relatively modest level of development. According to my personal observations, lack of logical ability may be due to various circumstances. In the first place, I mention lack of general intelligence, insufficient power of concentration, and absence of formal education. Secondly, however, I have noticed that many people are unable, or sometimes rather unwilling, to argue ex hypothesi; such persons cannot, or will not, start from premisses which they know or believe to be false or even from premisses whose truth is not, in their opinion, sufficient­ ly warranted. Or, if they agree to start from such premisses, they sooner or later stray away from the argument into attempts first to settle the truth or falsehood of the premisses. Presumably this attitude results either from lack of imagination or from undue moral rectitude. On the other hand, proficiency in logical reasoning is not in itself a guarantee for a clear theoretic insight into the principles and foundations of logic.

Author(s): Evert W. Beth
Series: Synthese Library 4
Publisher: Springer
Year: 1970

Language: English
Pages: 183
Tags: Logic

Front Matter....Pages I-XIV
Purely Implicational Logic....Pages 1-38
Full Sentential Logic....Pages 39-47
Theory of Quantification, Equality, and Functionality....Pages 48-61
Completeness of Elementary Logic....Pages 62-75
The Formalization of Arithmetic and its Limitations....Pages 76-100
The Theory of Definition....Pages 101-111
On Machines Which Prove Theorems....Pages 112-121
Back Matter....Pages 122-170