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

Dordrecht, Netherland: Springer Verlag (2012)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Formal methods.Evert Willem Beth - 1962 - New York,: Gordon & Breach.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Symbolic logic.John Venn - 1894 - New York,: B. Franklin.
Semantic Construction of Intuitionistic Logic.Evert Willem Beth - 1956 - Amsterdam, Netherlands: Noord-Hollandsche Uitg. Mij.
On the use (and abuse) of Logic in Game Theory.Eric Pacuit - 2015 - Journal of Philosophical Logic 44 (6):741-753.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Basic Laws of Arithmetic.Gottlob Frege - 1893 - Oxford, U.K.: Oxford University Press. Edited by Philip A. Ebert, Marcus Rossberg & Crispin Wright.
Effective Logic Computation.K. Truemper - 1998 - Wiley-Interscience.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.

Analytics

Added to PP
2015-02-03

Downloads
22 (#650,553)

6 months
6 (#349,140)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Formal systems of dialogue rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.

Add more citations

References found in this work

No references found.

Add more references