Reasoning Quotes - page 4
The required techniques of effective reasoning are pretty formal, but as long as programming is done by people that don't master them, the software crisis will remain with us and will be considered an incurable disease. And you know what incurable diseases do: they invite the quacks and charlatans in, who in this case take the form of Software Engineering gurus.
Edsger W. Dijkstra
They Young People have exalted notions, because they have not been humbled by life or learned its necessary limitations moreover, their hopeful disposition makes them think themselves equal to great things -- and that means having exalted notions. They would always rather do noble deeds than useful ones Their lives are regulated more by moral feeling than by reasoning -- all their mistakes are in the direction of doing things excessively and vehemently. They overdo everything -- they love too much, hate too much, and the same with everything else.
Aristotle
Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language."
John Backus
In the present state of society it appears necessary to go back to first principles in search of the most simple truths, and to dispute with some prevailing prejudice every inch of ground. To clear my way, I must be allowed to ask some plain questions, and the answers will probably appear as unequivocal as the axioms on which reasoning is built; though, when entangled with various motives of action, they are formally contradicted either by the words or conduct of men.
Mary Wollstonecraft
My immediate consciousness, my absolute perception, cannot go beyond myself, - I have immediate knowledge only of myself, whatever I know further I know only by reasoning, in the same manner in which I have come to those conclusions concerning the original powers of Nature, which certainly do not lie within the circle of my perceptions. I, however, - that which I call myself, - am not the man-forming power of Nature, but only one of its manifestations; and only of this manifestation am I conscious, not of that power, whose existence I have only discovered from the necessity of explaining my own.
Johann Gottlieb Fichte
There should be open competition for all men; and the most able should not be prevented by laws or customs from succeeding best and rearing the largest number of offspring. Important as the struggle for existence has been and even still is, yet as far as the highest part of man's nature is concerned there are other agencies more important. For the moral qualities are advanced, either directly or indirectly, much more through the effects of habit, the reasoning powers, instruction, religion, &c., than through natural selection; though to this latter agency the social instincts, which afforded the basis for the development of the moral sense, may be safely attributed.
Charles Darwin
