Tag Archives: logic

Peirce’s Law

The June 2023 Carnival of Mathematics # 216 at Eddie’s Math and Calculator Blog has the rather arresting item concerning Peirce’s Law from the American logician Charles Sanders Peirce (1839 – 1914).

“Peirce’s Law:  Jon Awbrey of the Inquiry Into Inquiry blog

This article explains Pierce’s Law and provides the proof of the law.  The proof is provided in two ways:  by reason and graphically.  Simply put, for propositions P and Q, the law states:

P must be true if there exists Q such that the statement “if P then Q” is true.  In symbols:

(( P ⇒ Q) ⇒ P) ⇒ P

The law is an interesting tongue twister to say the least.”

Perhaps another way of saying it is “if the implication P ⇒ Q implies that P is true, then P must be true.”  Still, it sounds weird.

See Peirce’s Law

(Update 6/20/2023)  Appendix: Valid Argument Continue reading →

Blockbusters Problem

For his Monday Puzzle in the Guardian Alex Bellos provided a seemingly impossible puzzle from the 1983 British teenager quiz show Blockbusters.

“In the much-missed student quiz show Blockbusters, teenagers would ask host Bob Holness for a letter from a hexagonal grid. How we laughed when a contestant asked for a P!  Holness would reply with a question in the following style: What P is an area of cutting edge mathematical research and also a process in the making of an espresso? The answer is the subject of today’s puzzle: percolation.

Today’s perplexing percolation poser concerns the following Blockbusters-style hexagonal grid:

The grid above shows a 10×10 hexagonal tiling of a rhombus (i.e. a diamond shape), plus an outer row that demarcates the boundary of the rhombus. The boundary row on the top right and the bottom left are coloured blue, while the boundary row on the top left and the bottom right are white.

If we colour each hexagon in the rhombus either blue or white, one of two things can happen. Either there is a path of blue hexagons that connects the blue boundaries, such as here:

Or there is no path of blue hexagons that connects the blue boundaries, such as here:

There are 100 hexagons in the rhombus. Since each of these hexagons can be either white or blue, the total number of possible configurations of white and blue hexagons in the rhombus is 2 x 2 x … x 2 one hundred times, or 2100, which is about 1,000,000,000,000,000,000,000,000,000,000.

In how many of these configurations is there a path of blue hexagons that connects the blue boundaries?

The answer requires a simple insight. Indeed, it is the insight on which the quiz show Blockbusters relied.

For clarification: a path of hexagons means a sequence of adjacent hexagons that are the same colour.”

See the Blockbusters Problem

“Fermat’s Last Theorem” Puzzle

Here is a mind-numbing logic puzzle from Futility Closet.

“A puzzle by H.A. Thurston, from the April 1947 issue of Eureka, the journal of recreational mathematics published at Cambridge University:

Five people make the following statements:—

Which of these statements are true and which false?  It will be found on trial that there is only one possibility.  Thus, prove or disprove Fermat’s last theorem.”

Normally I would forgo something this complicated, but I thought I would give it a try.  I was surprised that I was able to solve it, though it took some tedious work.  (Hint: truth tables.  See the “Pointing Fingers” post regarding truth tables.)

One important note.  The author is a bit cavalier about the use of “Either …, or …”.  In common parlance this means “either P is true or Q is true, but not both” (exclusive “or”: XOR), whereas in logic “or” means “either P is true or Q is true, or possibly both” (inclusive “or”: OR).  I assumed all “Either …, or …” and “or” expressions were the logical inclusive “or”, which turned out to be the case.

See the Fermat’s Last Theorem Puzzle

The Maths of Lviv

Unfortunately Ukraine has receded from our attention under the threat from our own anti-democratic forces, but this Monday Puzzle from Alex Bellos in March is a timely reminder of the mathematical significance of that country.

“Like many of you I’ve hardly been able to think about anything else these past ten days apart from the war in Ukraine. So today’s puzzles are a celebration of Lviv, Ukraine’s western city, which played an important role in the history of 20th century mathematics. During the 1930s, a remarkable group of scholars came up with new ideas, methods and theorems that helped shape the subject for decades.

The Lwów school of mathematics – at that time, the city was in Poland – was a closely-knit circle of Polish mathematicians, including Stefan Banach, Stanisław Ulam and Hugo Steinhaus, who made important contributions to areas including set-theory, topology and analysis. …

Of the many ideas introduced by the Lwów school, one of the best known is the “ham sandwich theorem,” posed by Steinhaus and solved by Banach using a result of Ulam’s. It states that it is possible to slice a ham sandwich in two with a single slice that cuts each slice of bread and the ham into two equal sizes, whatever the size and positions of the bread and the ham.

Today’s puzzles are also about dividing food. The first is from Hugo Steinhaus’ One Hundred Problems in Elementary Mathematics, published in 1938. The second uses a method involved in the proof of the ham sandwich theorem.

  1. Three friends each contribute £4 to buy a £12 ham. The first friend divides it into three parts, asserting the weights are equal. The second friend, distrustful of the first, reweighs the pieces and judges them to be worth £3, £4 and £5. The third, distrustful of them both, weighs the ham on their own scales, getting another result. If each friend insists that their weighings are correct, how can they share the pieces (without cutting them anew) in such a way that each of them would have to admit they got at least £4 of ham?_
  2. Ten plain and 14 seeded rolls are randomly arranged in a circle, equidistantly spaced, as below. Show that using a straight line it is possible to divide the circle into two halves such that there are an equal number of plain and seeded rolls on either side of the line.

Show there is always a diameter that cuts the circle into two batches of 12 rolls with an equal number of plain and seeded.

Question 2 is adapted from Mathematical Puzzles by Peter Winkler, who gives as a reference Alon and West, The Borsuk-Ulam Theorem and bisection of necklaces, Proceedings of the American Mathematical Society 98 (1986).”

See The Maths of Lviv

Pinocchio’s Hats

This problem in logic from Presh Talwalkar recalled an article I wrote a while ago but did not publish.  So I thought I would post it as part of the solution.

“Assume that both of the following sentences are true:

  1. Pinocchio always lies;
  2. Pinocchio says, “All my hats are green.”

We can conclude from these two sentences that:

  • (A) Pinocchio has at least one hat.
  • (B) Pinocchio has only one green hat.
  • (C) Pinocchio has no hats.
  • (D) Pinocchio has at least one green hat.
  • (E) Pinocchio has no green hats.”

Actually, the question is which, none or more, of statements (A) – (E) follow from the two sentences?

See Pinocchio’s Hats

Shared Spaces Puzzle

This is a nice puzzle from the Scottish Mathematical Council (SMC) Senior Mathematical Challenge of 2008.  It is more a logic puzzle than a geometric one.

“In the diagram, each question mark represents one of six consecutive whole numbers. The sum of the numbers in the triangle is 39, the sum of those in the square is 46 and the sum of those in the circle is 85.  What are the six numbers?”

See the Shared Spaces Puzzle

Date Night

This is a fairly straight-forward logic puzzle from Alex Bellos’s Monday Puzzle in The Guardian.

“When it comes to the world of mathematical puzzles, Hungary is a superpower. Not just because of the Rubik’s cube, the iconic toy invented by Ernő Rubik in 1974, but also because of its long history of maths outreach.

In 1894, Hungary staged the world’s first maths competition for teenagers, four decades before one was held anywhere else. 1894 also saw the launch of KöMaL, a Hungarian maths journal for secondary school pupils full of problems and tips on how to solve them. Both the competition and the journal have been running continuously since then, with only brief hiatuses during the two world wars.

This emphasis on developing young talent means that Hungarians are always coming up with puzzles designed to stimulate a love of mathematics. (It also explains why Hungary arguably produces, per capita, more top mathematicians than any other country.)

I asked Béla Bajnok, a Hungarian who is now director of American Mathematics Competitions, a series of competitions involving 300,000 students in the US, whether he knew of any puzzles that originated in Hungary. The first thing he said that came to mind was the ‘3-D logic puzzle’, a type of logic puzzle in which you work out the solution in a three dimensional box, rather than (as is the case with the standard version) in a two-dimensional grid. He said he had never seen this type of puzzle outside Hungary.

Below are two examples he created. You could solve these using an extended two dimensional grid. It’s more in the spirit of the question, however, to draw a three-dimensional one, like you are looking at three sides of a Rubik’s Cube.

Date night

Andy, Bill, Chris, and Daniel are out tonight with their dates, Emily, Fran, Gina, and Huong. We have the following information.

  1. Andy will go to the opera
  2. Bill will spend the evening with Emily,
  3. Chris would not want to go out with Gina,
  4. Fran will see a movie
  5. Gina will attend a workshop.

We also know that one couple will see an art exhibit. Who will go out with whom, and what will they do?”

See Date Night

Heron Suit Problem

Here is another logic problem from Ian Stewart.

  1. No cat that wears a heron suit is unsociable.
  2. No cat without a tail will play with a gorilla.
  3. Cats with whiskers always wear heron suits.
  4. No sociable cat has blunt claws.
  5. No cats have tails unless they have whiskers.

Therefore:

No cat with blunt claws will play with a gorilla.

Is the deduction logically correct?

I confess I don’t know what a heron suit is.  Google showed various garments with herons imprinted on the cloth, so maybe that is what it is.

See the Heron Suit Problem

Mystery of the Dancing Men

Manmohan Kaur took Arthur Conan Doyle’s popular 1903 Sherlock Holmes story “The Adventure of the Dancing Men” and used it in his math classes to illustrate the logic and mathematics involved in solving codes and ciphers.  I thought his idea might work as a puzzle.  It has been years since I read the story, so I had forgotten the decryption and found it quite doable from the setup provided by Kaur.  Here is his presentation, subject to further edits and reductions in size on my part.

“The original story has been shortened and simplified. Reference to England has been completely removed and some other superfluous information that distracts the reader instead of helping solve the mystery have been omitted. In the original story Elriges is the name of an inn but we have taken the liberty to use it loosely as the name of a town.

The pictures of all stick figure messages except the fourth are from the collection The Return of Sherlock Holmes. The original story has a typographical error that throws off the decryption scheme. To remove this (intentional or unintentional) error, the fourth figure has been taken from Trap and Washington’s Introduction to Cryptogra­phy with Coding Theory. The fourth message is meant to have a different handwriting, so this serves our purposes well.

Condensed Story

Hilton Cubitt of Elriges visits you and gives you a paper with the following mysterious sequence of stick figures that he found lying on the sun-dial in his mansion.

Message 1:

Cubitt explains that he recently married a Chicago woman named Elsie Patrick. Before the wedding, she had asked him never to ask about her past, as she had had some “very disagreeable associations” in her life, although she said that there was nothing that she was personally ashamed of. Their mar­riage had been a happy one until the messages began to arrive, first mailed from Chicago and then appearing in the garden of his mansion.

The messages had made Elsie very afraid but she did not explain the reasons for her fear, and Cubitt insisted on honoring his promise not to ask about Elsie’s life in Chicago. You look at the figures closely to understand them a little better and notice that some of the figures are holding flags. What could the flags mean? Perhaps the end of words?

The next morning Cubitt finds “a fresh crop of dancing men drawn in chalk upon the black wooden door of the tool-house”:

Message 2:

Two mornings later, “a fresh inscription had appeared”:

Message 3:

Three days later, “a message was left scrawled upon paper, and placed under a pebble upon the sun-dial”:

Message 4:

Cubitt gives copies of all these messages to you. Your task is to help him understand what is going on. You call your friend in the Chicago Police Department and ask her to find background information on Elsie Patrick. You learn that Elsie is the daughter of a Chicago crime boss, and was engaged to Abe Slaney, who worked for her dad, and that she had fled to escape her old life.

You examine all the occurrences of the dancing figures. Message 4 is in a different handwriting, so you guess that it is from a different person, most likely, Elsie, while messages 1, 2 and 3 are from the unknown person (the criminal). You spend the next two days trying to make some sense of the stick figures. You are now sure that the flags on some of the figures indicate the end of words. You also know that a simple substitution cipher is being used for the encryption, and that frequency analysis is the way to solve these ciphers.

Three days later, another message appears.

Message 5:

This message causes you to fear that the Cubitts are in immediate danger. You rush to Elriges and find Cubitt dead of a bullet to the heart and his wife gravely wounded from a gunshot to the head. What do the messages say?

Inspector Martin of the Norfolk Constabulary believes that it is a murder-suicide attempt; Elsie is the prime suspect. But you, after noting some inconsistencies in that theory, know that there is a third person involved. How will you prove to Inspector Martin that a third person is involved?”

See The Mystery of the Dancing Men

  1. Pages:
  2. 1
  3. 2