logic-circle

LOGIC CIRCLE

The Logic Circle provides S5 and S6 students in Edinburgh high schools an introduction to the disciple of logic. Logic is one of the oldest intellectual disciplines in human history, and is essential background for many subjects, but especially mathematics, linguistics, cognitive science, philosophy, and computer science. We will engage with logic puzzles and play logic-related games, and find opportunities to investigate some logical systems in detail, e.g. propositional logic, quantificational logic.

Time/Location:

Thursdays 1:00pm – 1:40, Room 2.07, James Gillespie's High School

Organiser:

Lecturer in Logic and Philosophy of Language

University of Edinburgh

October 2018 - December 2018

- The game of Hex (instructions)(6x6 board)(more boards)

- Truth machines puzzle (online)(answer)

- Natural deduction proofs

January 2019 - May 2019

- Derivations

Upcoming activities

Logic games, puzzles, and skills: Hanabi, Set, Nim, etc., Knights and knaves, Muddy children, red-eyes , etc., truth-tables, venn diagrams, proofs in propositional logic, etc.

Related links:

- "What the Tortoise Said to Achilles", by Lewis Carroll
- NYT daily SET puzzle
- Hofstadters's MU-puzzle: the MIU system
- How Aristotle invented the computer
- The game of Hex
- On vagueness, or, when is a heap of sand not a heap of sand?
- The Web Page That Cannot Exist
- Sylvan's Box
- A simple solution to the hardest logic puzzle ever