## Posts Tagged ‘**logic**’

## Time travel…

In the photo series “Imagine Finding Me,” photographer Chino Otsuka revisits her childhood by digitally inserting herself in old photos of her as a child. Otsuka likens her double self-portraits to a kind of time travel:

“The digital process becomes a tool, almost like a time machine, as I’m embarking on the journey to where I once belonged and at the same time becoming a tourist in my own history…”

See (and read) more at Laughing Squid and at AGO.

###

**As we revisit Memory Lane,** we might spare a thought for Kurt Friedrich Gödel; he died on this date in 1978. Considered (with Aristotle and Frege) one of the most important logicians in history, Gödel published the work for which he is probably most widely remembered– his two incompleteness theorems— in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. He demonstrated that:

- If a system is consistent, it cannot be complete.
- The consistency of a systems axioms cannot be proven within the system.

Gödel’s theorems ended a half-century of attempts, beginning with the work of Frege and culminating in Russell and Whitehead’s *Principia Mathematica* and Hilbert’s formalism, to find a set of axioms sufficient for all mathematics.

As the Anschluss swept Austria, Gödel fled to the U.S., landing at Princeton, where he joined Albert Einstein at the Institute for Advanced Studies. In 1951, as a 70th birthday present for Einstein, Gödel demonstrated the existence of paradoxical solutions to Einstein’s field equations in general relativity (they became known as the Gödel metric)– which allowed for “rotating universes” and time travel… and which caused Einstein to have doubts about his own theory.

## “One of the most learned monstrosities of all times”…

More than 170 years before Jean-François Champollion had the first real success in translating Egyptian hieroglyphs, the 17th century Jesuit scholar Athanasius Kircher was convinced he had cracked it. He was very wrong. Daniel Stolzenberg looks at Kircher’s *Egyptian Oedipus*, a book that has been called “one of the most learned monstrosities of all times” in *Public Domain Review*.** **

###

**As we take care not to jump to conclusions,** we might send thoughtful birthday greetings to Bertrand Arthur William Russell, 3rd Earl Russell; he was born on this date in 1872.

A philosopher, logician, mathematician, historian, and social critic, Russell is probably best remembered for *Principia Mathematica* (co-authored with Alfred North Whitehead), which attempted to ground mathematics in logic (though his essay “On Denoting” has also been celebrated as a “paradigm of philosophy.” He won the 1950 Nobel Prize in Literature “in recognition of his varied and significant writings in which he champions humanitarian ideals and freedom of thought.”

## For tonight’s debate…

**Logical Fallacy Bingo**

Definitions of each flavor of fallacy, and clean copies of the board at **Lifesnow.com**.

###

**As we overcome our wistfulness on remembering that this is Oscar Wilde’s birthday,** we might recall that it was on this date in 1793, nine months after her husband, the former King Louis XVI of France, was beheaded, that Marie Antoinette followed him to the guillotine. (Readers who are parents– or collectors– can find commemorative dolls **here**.)

## “All of our reasoning ends in surrender to feeling”*…

click here (and again) for the full infographic

From the indispensable David McCandless, at **Information is Beautiful**.

* Blaise Pascal

***

**As we shore up our syllogisms,** we might recall that it was on this date in 1881, two days before his death, that British Prime Minister Benjamin Disraeli demurred from a visit by Queen Victoria, muttering “no, she will only ask me to take a message to Albert.”

## Use by…

**James Kendall** and his wife Rosie own and publish * Brighton SOURCE Magazine*. Recently, Rosie’s mother, a 90-year-old widow who lived through the Blitz, gave up her long-time home to move to assisted living. In the process of helping her make the transition, James documented the contents of his mother-in-law’s pantry, and gathered the photos in a collection he calls “

**Best Before…**”

Waste not; want not.

[TotH to **Kottke.org**]

**As we rethink the concept of slow food,** we might wish a systematically-happy birthday to George Boole; the philosopher and mathematician was born on this date in 1815. Boole helped establish modern symbolic logic– he created symbols to stand for logical operations– and an algebra of logic (that is now called “Boolean algebra”). Boole made important contributions to the study of differential equations and other aspects of math; his algebra has found important applications in topology, measure theory, probability, and statistics. But it’s for the foundational contribution that his symbolic logic has made to computer science– from circuit design to programming– that he’s probably best remembered.

## I’m relatively sure that this is reassuring news…

*image: Paul Wesley Griggs*

The quantum world defies the rules of ordinary logic. Particles routinely occupy two or more places at the same time and don’t even have well-defined properties until they are measured. It’s all strange, yet true – quantum theory is the most accurate scientific theory ever tested and its mathematics is perfectly suited to the weirdness of the atomic world. (…)

Human thinking, as many of us know, often fails to respect the principles of classical logic. We make systematic errors when reasoning with probabilities, for example. Physicist Diederik Aerts of the Free University of Brussels, Belgium, has shown that these errors actually make sense within a wider logic based on quantum mathematics. The same logic also seems to fit naturally with how people link concepts together, often on the basis of loose associations and blurred boundaries. That means search algorithms based on quantum logic could uncover meanings in masses of text more efficiently than classical algorithms.

It may sound preposterous to imagine that the mathematics of quantum theory has something to say about the nature of human thinking. This is not to say there is anything quantum going on in the brain, only that “quantum” mathematics really isn’t owned by physics at all, and turns out to be better than classical mathematics in capturing the fuzzy and flexible ways that humans use ideas. “People often follow a different way of thinking than the one dictated by classical logic,” says Aerts. “The mathematics of quantum theory turns out to describe this quite well.” (…)

Why should quantum logic fit human behaviour? Peter Bruza at Queensland University of Technology in Brisbane, Australia, suggests the reason is to do with our finite brain being overwhelmed by the complexity of the environment yet having to take action long before it can calculate its way to the certainty demanded by classical logic. Quantum logic may be more suitable to making decisions that work well enough, even if they’re not logically faultless. “The constraints we face are often the natural enemy of getting completely accurate and justified answers,” says Bruza.

This idea fits with the views of some psychologists, who argue that strict classical logic only plays a small part in the human mind. Cognitive psychologist Peter Gardenfors of Lund University in Sweden, for example, argues that much of our thinking operates on a largely unconscious level, where thought follows a less restrictive logic and forms loose associations between concepts.

Aerts agrees. “It seems that we’re really on to something deep we don’t yet fully understand.” This is not to say that the human brain or consciousness have anything to do with quantum physics, only that the mathematical language of quantum theory happens to match the description of human decision-making.

Perhaps only humans, with our seemingly illogical minds, are uniquely capable of discovering and understanding quantum theory.

Read the article in its fascinating entirety at * New Scientist* (via Amira Skowmorowska’s

**Lapidarium Notes**).

**As we feel even more justified in agreeing with Emerson that “a foolish consistency is the hobgoblin of little minds,”** we might recall that it was on this date in 1692 that Giles Corey, a prosperous farmer and full member of the church in early colonial America, died under judicial torture during the **Salem witch trials**. Corey refused to enter a plea; he was crushed to death by stone weights in an attempt to force him to do so.

Under the law at the time, a person who refused to plead could not be tried. To avoid persons cheating justice, the legal remedy was “**peine forte et dure**“– a process in which the prisoner is stripped naked and placed prone under a heavy board. Rocks or boulders are then laid on the wood. Corey was the only person in New England to suffer this punishment, though Margaret Clitherow was similarly crushed in England in 1586 for refusing to plead to the charge of secretly practicing Catholicism.

Corey’s last words were “more weight.”