Has at the moment four main files. The second is still under construction, but you will find much of use. The last two will update in response to requests. Tutors and students are welcome to use any of the material on these pages, on the understanding that such use is for education, enlightenment, enjoyment. Woe betide anyone found to be using my ideas for profit. Indeed, disembowelment betide any such person. Click on the stars to navigate.
Fantasy Logic League...is a weekly competition in the art and science of deductive logic.
The Revolutionary Formalizer ... tells you how to formalize English messages.
Captain Philosophy ... answers your general questions about logic .
Emmanuel Goldstein himself ... guarantees to resolve any puzzles over 'if' and '
', case-by-case.