Skip to content

Logic

Download the Game

Contents

Introduction
Classic Edition
Version 1.0

Introduction

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?

Classic Edition

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 (Classic Edition).
  • 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).
[Teachers: In addition to downloading the zipped file above, download this zipped file as well. It contains a “teacher character,” with all the games already completed. You can use it as an “answer key” for teaching logic to your students.]
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 used the Classic Edition(s) of the game to teach two semesters of symbolic logic. However, I wrote those versions in JavaFX, which was a very clunky approach. So, I’m learning Unity (a real “game engine” used to produce actual video games) and Blender (a 3D graphics program) in order to produce version 1.0.

Version 1.0 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,
  • set and reset the number of levels through which players/students have to work to “beat” the game,
  • redefine the requirements for leveling up from one level to the next,
  • change the symbols used for the logical connectives/functions (since different logicians have different preferences).

I hope also to include a networking solution with v. 1.0 that allows GMs/teachers and players/students to share their files quickly and easily from within the game, instead of having to rely on other file-sharing platforms. To that end, I’ve learned some Ruby on Rails. But I’m open to other suggestions!

Finally, it is my fond hope that with the power of Unity and Blender I will also be able to include animations in v. 1.0, to make the entire experience more dynamic.


 

*The program is “in beta,” and is 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)