Download Chambergon Battle Logic


Beta v. 0.12.10
Version 1.0


If you need to learn symbolic logic, but would rather play a game, this is for you.
If you have to learn symbolic logic, but hate algebra and other math-y things, this is for you.
If you love symbolic logic and are looking for new and interesting ways to approach the subject, this is for you.
If you just enjoy puzzle-solving games, this is for you.

This is what Characters in the game look like. Aren't they cute?
This is what Characters in the game look like. Aren’t they cute?

Beta v. 0.12.10

If you are not on an iPhone or iPad,* click on the link above (or click here) to download a zipped file containing:

  • The Chambergon Battle Logic program (Beta, v. 0.12.10).
  • The Chambergon Battle Logic “textbook.” [Click here for just the PDF, without all the other stuff.]
  • The Chambergon Battle Logic User’s Manual. [Click here for just the PDF, without all the other stuff.]
  • The syllabus for “Elementary Logic” (the course for which I wrote the program and textbook) [Click here for just the PDF, without all the other stuff.]
  • Supporting files for the program (a generic “Character File,” 355 game files [Levels 0 through 9], and a logo file).
This is what Chambergons look like. Get it? They're polyGONs, each containing two CHAMBERs. Get it?
This is what Chambergons look like. Get it? PolyGONs divided into CHAMBERs?

Once you have downloaded the file, unzip it.

If no one ever taught you how to unzip files, don’t worry; it’s really easy.

On Macs, you often simply have to open the file (the unzipping occurs automatically). Otherwise, run a Google search for “unzip file” + whatever version of Mac’s OS your computer is running.

On PCs and other systems, however, it might be a tad more complicated. But a simple Google search for “unzip file” + whatever version of Windows, Linux, etc. your computer is running should help you figure things out.

These are cards. Given the first card, you could play the second, and given the second, you could play the third. (This is what logicians call a "proof.")
These are cards in the game. Believe it or not, they form what logicians call a “proof.”

Once you’ve unzipped the file, I would suggest you do the following:

  1. Read the “Course Description” in the Syllabus PDF file to get a feel for what this is all about.
  2. Take a look at the User’s Manual PDF file so you’ll know where to look later if you need hints, FAQs, and troubleshooting help.
  3. Maybe take a look at the Textbook PDF file. Reading it will give you hours of delirious enjoyment, as well as helping you figure out what is going on with this whole logic thing.
  4. Give the program a try.* It’s a .jar file/”Executable Jar File” (there are three of them; use the first one), so it should run on any computer that has Java already installed. (If you don’t know whether your computer has Java, try this link.)
    1. If you’re on a Mac, you’ll need to:
      1. hold down the CTRL button while clicking on the file icon,
      2. then select “Open” from the list that pops up,*
      3. then tell it that, yes, you really do want to open it.* (Apple doesn’t know who I am, so it doesn’t know if it can trust the stuff I make. PCs don’t care. They trust everyone.)
    2. If the program tells you your “Character File” is missing, try opening one of the other .jar files/”Executable Jar Files” (Each .jar file is the same program, but with different “debugging” settings.) Java is supposed to run on all systems, but sometimes it takes a couple of tries for a Java-based program to get its bearings and figure out where everything is.
If you arrange the game's characters in a circle, they form a kind of color wheel.
If you arrange the game’s Characters in a circle, they form a pretty color wheel, which is pretty.

Version 1.0

I’m about three quarters of the way through major updates which will result in v. 1.0.

Version 1 will be extremely flexible, improving the graphics and organization of the game selection screens, as well as allowing players to act as GMs (i.e., as teachers), and therefore to:

  • create new games and set up mini-challenges or even entire courses for other players/students,
  • rearrange the order in which players/students have to learn the rules of logic,
  • to set and reset the number of levels through which players/students have to work to “beat” the game,
  • to redefine the requirements for leveling up from one level to the next,
  • to change the symbols used for the logical connectives/functions (since different logicians have different preferences).


*The program is “still in beta,” and I’m constantly updating it. It’s provided “as is.” By downloading and running the program, you accept responsibility for whatever happens next — including the hours of fun you may have learning and playing the game, and the logical prowess you may obtain in the process. I’d appreciate any feedback you might have regarding bugs. (Contact)