Already a member? Log in

Sign up with your...

or

Sign Up with your email address

Add Tags

Duplicate Tags

Rename Tags

Share This URL With Others!

Save Link

Sign in

Sign Up with your email address

Sign up

By clicking the button, you agree to the Terms & Conditions.

Forgot Password?

Please enter your username below and press the send button.
A password reset link will be sent to you.

If you are unable to access the email address originally associated with your Delicious account, we recommend creating a new account.

Links 1 through 10 of 4409 's Bookmarks

The roots of the hypothesis go back to the program of Frege and of Whitehead and Russell for formalizing logic capturing the basic conceptual notions of mathematics in logic and putting the notions of proof and deduction on a secure footing. This effort culminated in mathematical logic­our familiar propositional, first-order, and higher-order logics. It developed a characteristic view, often referred to as the "symbol game." Logic, and by incorporation all of mathematics, was a game played with meaningless tokens according to certain purely syntactic rules. All meaning had been purged. One had a mechanical, though permissive (we would now say nondeterministic), system about which various things could be proved. Thus progress was first made by walking away from all that seemed relevant to meaning and human symbols. We could call this the stage of formal symbol manipulation.

Share It With Others!

The process of constructing instruction tables should be very fascinating. There need be no real danger of it ever becoming a drudge, for any processes that are quite mechanical may be turned over to the machine itself.

Share It With Others!

We say that a statement, or set of statements is logically consistent when it involves no logical contradiction. A logical contradiction is the conjunction of a statement S and its denial not-S. In logic, it is a fundamental law- the law of non contradiction- that a statement and its denial cannot both be true at the same time. Here are some simple examples of contradictions.

Share It With Others!

if we study the statistics, we will see that all men at one time or another lie. That doesn’t mean that all men lie all the time, but that all men have indulged in lying at some time or another. If we look at that statistically, we would say that one hundred percent of people indulge in dishonesty, and since it’s one hundred percent universal, we should come to the conclusion that it’s perfectly normal for human beings to tell lies. Not only normal, but perfectly human. If we want to be fully human, we should encourage ourselves in the direction of lying. Of course, that’s what we call a reductio ad absurdum argument, where we take something to its logical conclusion and show the folly of it.

Share It With Others!

“Fortunately, some are born with spiritual immune systems that sooner or later give rejection to the illusory worldview grafted upon them from birth through social conditioning. They begin sensing that something is amiss, and start looking for answers. Inner knowledge and anomalous outer experiences show them a side of reality others are oblivious to, and so begins their journey of awakening. Each step of the journey is made by following the heart instead of following the crowd and by choosing knowledge over the veils of ignorance.”

Share It With Others!

Nowadays, anyone who wishes to combat lies and ignorance and to write the truth must overcome at least five difficulties. He must have the courage to write the truth when truth is everywhere opposed; the keenness to recognize it, although it is everywhere concealed; the skill to manipulate it as a weapon; the judgment to select those in whose hands it will be effective; and the cunning to spread the truth among such persons. These are formidable problems for writers living under Fascism, but they exist also for those writers who have fled or been exiled; they exist even for writers working in countries where civil liberty prevails.

Share It With Others!

Then he applies his studies to logic and ethics. The latter makes a man s soul mannerly and wise : but as for logic, that is the armoury of reason, furnished with all offensive and defensive weapons. There are syllogisms, long swords : enthymemes, short daggers : dilemmas, two-edged swords that cut on both sides : sorites, chain-shot : and for the defensive, distinctions, which are shields : retortions, which are targets with a spikejn the middest of them, both to defend and oppose. From hence he raiseth his studies to the knowledge of physics, the great hall of nature, and metaphysics, the closet thereof: and is careful not to wade therein so far, till by subtle distinguishing of notions he con founds himself.

Share It With Others!

This turned logic into what the eminent computer scientists Allan Newell and Herbert Simon called “the symbol game,” “played with meaningless tokens according to certain purely syntactic rules.” ...
Von Neumann thought computer programming would be a tedious, clerical job. Turing, by contrast, said computer programming “should be very fascinating. There need be no real danger of it ever becoming a drudge, for any processes that are quite mechanical may be turned over to the machine itself.”

Share It With Others!

That from the earliest times logic has traveled this secure course can be seen from the fact that since the time of Aristotle it has not had to go a single step backwards, unless we count the abolition of a few dispensable subtleties or the more distinct determination of its presentation, which improvements belong more to the elegance than to the security of that science. What is further remarkable about logic is that until now it has also been unable to take a single step forward, and therefore seems to all appearance to be finished and complete.

Share It With Others!

Sergeant Major of the Army Dailey offered some powerful guidance for the “backbone of the Army,” the noncommissioned officers’ corps. In case you missed it the first time we posted it, here it is:

Share It With Others!