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

Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; others are at least able to follow a logical argument and even to detect logical fallacies.