Quotes About Logic

Even as I pursued a doctorate in the history of ideas in my native Denmark, I realized I had neither the encyclopedic training nor the passion for cool logic - not to mention the nerve - to follow in the footsteps of classical liberal philosophers and economists such as Robert Nozick, Friedrich Hayek, and Milton Friedman.

The most important precedents deal with the whole idea of symbolic programming - the notion of setting up symbolic expressions that can represent anything one wants, and then having functions that operate on both their structure and content.

The only thing that might have annoyed some mathematicians was the presumption of assuming that maybe the axiom of choice could fail, and that we should look into contrary assumptions.

We try to make sensible decisions with the facts in front of us. The problem with sensible decisions is that so is everyone else.

Rational beliefs bring us closer to getting good results in the real world.

The senses are of the earth, the reason stands apart from them in contemplation.

Think with your head and not your heart. Love with your heart and not your head.

in an era in which logical reason is doubted and even dismissed, and the heart's desire is glorified by popular culture, the most effective way to evangelize is by helping people experience beauty and goodness.

Algorithm Characteristics

Only a brave person is willing to honestly admit, and fearlessly to face, what a sincere and logical mind discovers.

the way to truth was through the exercise of reason and rational judgement.

And in this way was born the concept, central to all mathematics and science, of proof.

While the other world religions emphasized mystery and intuition, Christianity alone embraced reason and logic as the primary guide to religious truth.

Lógico es todo lo que se entiende aunque no sea verdad.

Knowledge has come to be defined as what can be proven by secular evidence and arguments.

Reason and be open to reason; yield to principle, not pressure.

Crime is common but logic is rare,

We push teams to specify in detail the advantage they aim to achieve or leverage, the scope across which the advantage applies, and the activities throughout the value chain that would deliver the intended advantage across the targeted scope. Otherwise, it is impossible to unpack the logic underlying a possibility and to subject the possibility to subsequent tests.

As the English essayist G. K. Chesterton wrote, life is "a trap for logicians" because it is almost reasonable but not quite; it is usually sensible but occasionally otherwise: "It looks just a little more mathematical and regular than it is; its exactitude is obvious, but its inexactitude is hidden; its wildness lies in wait

If you come from mathematics, as I do, you realize that there are many problems, even classical problems, which cannot be solved by computation alone

What Godel and Rosser showed is that the consistency of a (sufficiently extensive) formal system is something that lies outside the power of the formal system itself to establish.

It is in mathematics that our thinking processes have their purest form.

As long as we see ourselves as rational beings who can think logically and make carefully reasoned decisions about our daily lives, then education indeed should be about the promotion of reasoned deliberation and the gaining of knowledge that will enhance our ability to reason. But suppose this conception we have of ourselves and our ability to reason logically is simply wrong?

We know that the war against intelligence is always waged in the name of common sense.