Logic in a box!

Having recently spent some time teaching a short course on logic and critical thinking, here is the core of the course reduced down to a box of 54 cards. These include:

  • 15 logic cards (summarising basic syllogistic and propositional logic rules),
  • 19 cards illustrating logical fallacies,
  • 5 cards for testing your ability to check validity, and
  • 15 logic-puzzle cards.

If you’re interested, more details can be downloaded from the game page (see the links in the “Downloads” section). The picture below shows some of the cards:


L.E.J. Brouwer, fifty years later

Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966) was a Dutch mathematician who founded intuitionism and made important contributions to topology, such as his fixed-point theorem, which states that every continuous function f mapping a compact convex set into itself has a fixed point a [i.e. f(a) = a]. A consequence of the theorem is when a crumpled sheet of paper is placed on top of (and within the boundaries of) a copy of itself, at least one point on the top sheet lies over the corresponding point on the bottom sheet.

Brouwer had a huge impact on mathematics and logic in the Netherlands, influencing people such as Arend Heyting (student), Dirk van Dalen (grandstudent), and Henk Barendregt (great-grandstudent).

The Dutch Royal Mathematical Society (Koninlijk Wiskundig Genootschap) is organising a special event marking 50 years since Brouwer’s death. The event is on 9 December in the Amsterdam Science Park. It looks to be an interesting event. Details here.