Need help?  •  Forgot your password?
This web site will be decommissioned in June 2019. Visit our new site here.

Release Notes

Language, Proof and Logic Software


Current Release - Frege (17.12)

The current release for all supported operating systems is Frege (17.12, December 2017) which consists of:

and the second edition of the textbook and manual.

Supported Operating Systems: Mac OS X, 10.7 and above; Windows 7, Windows 8 and Windows 10; and 64 bit versions of the most recent long term support releases of Fedora and Ubuntu Linuxes.

The software can be downloaded by logging in using your registration id.

Frege is a bug-fix release. It differs from our previous release (Euclid) by:

in addition to other mostly invisible changes to the remaining applications.

Gottlob Frege is a German logician who worked in the late 19th and early 20th centuries. He is one of the founders of modern logic.


Past releases

Euclid (17.01)

The Euclid release consists of

  • Boole 4.1.0
  • Fitch 3.6.0
  • Submit 3.0.7
  • Tarski's World 7.2.3
and the second edition of the text book and manual.

Euclid is a bug-fix release. It differs from our previous release (Dodgson) by:

  • Fixing a soundness bug in Fitch which allowed the creation of invalid proofs after lemma expansion
in addition to other mostly invisible changes to the remaining applications.

Euclid (aka Euclid of Alexandria) lived in the third century BCE. He is most famous for writing The Elements which served as the main text book for teaching geometry until the 19th century. In The Elements, Euclid proves theorems of what is now called Euclidean geometry from a handful of axioms.

Dodgson (16.01)

The Dodgson release consists of

  • Boole 4.1.0
  • Fitch 3.5.3
  • Submit 3.0.7
  • Tarski's World 7.2.3
and the second edition of the text book and manual.

Dodgson is a bug-fix release. It differs from our previous release (De Morgan) by:

  • Fixing a bug in Submit on Windows causing it to freeze when encountering certain shortcut files,
  • Fixing a bug in Fitch on Windows causing the goal constraints window to be inaccessible, and,
  • Fixing a bug in Tarski's World on Macintosh causing the delete key to delete blocks from the world when the Save As.. dialog is active.

Charles Lutwidge Dodgson (aka Lewis Carroll) was a nineteenth-century writer, mathematician and logician. He is most famous for writing Alice in Wonderland and Alice through the Looking Glass as Lewis Carroll. He also published work in symbolic logic, geometry, matrix algebra and the theory of elections (under his own name).

De Morgan (15.10)

The De Morgan release consists of

  • Boole 4.1.0
  • Fitch 3.5.2
  • Submit 3.0.6
  • Tarski's World 7.2.1
and the second edition of the text book and manual.

De Morgan is a bug-fix release. It differs from our previous release (Dedekind) by fixing a bug in the Boole application, which resulted in lost data when unchecked tables were saved.

Dedekind (15.06) Release

The Dedekind release consists of

  • Boole 4.0.0,
  • Fitch 3.5.2,
  • Submit 3.0.6 and
  • Tarski's World 7.2.1
and the second edition of the textbook and manual.

Dedekind is an upgrade release. It differs from the Church release in at least the following ways:

  • Boole has been substantially modified.
    • Implementation of the connective column ordering feature (please see the manual for a description of this feature),
    • Improved handling of columns built and filled by Boole. Boole now more clearly displays the fact that the user received assistance from Boole, and permits the user to start over, clearing the Boole-assisted flag in the file.
    • New buttons in the application to add columns on both the target and reference sides.
    • Earlier versions of Boole cannot open files created by Boole 4.0.0.
  • Two significant bugs have been fixed in Fitch
    • In previous versions it was possible to create proofs which appeared to be valid, but which were not. This was possible because modifications to the support steps for some rules did not clear the check mark for that application of the rule.
    • In previous versions, uses of existential elimination did not check out if cited subproof contained empty steps.
  • A significant bug in Submit has been addressed
    • In Windows, the presence of some shortcut files resulted in a program crash when Submit's file chooser is used to browse in that folder. We have addressed the problem so that it does not occur in situations that we have been able to reproduce. In this case, the shortcut will be ignored, and not appear in the list. Not all shortcut files cause this issue.

Church (15.02) Release

The Church release consists of

  • Boole 3.3.1,
  • Fitch 3.5.1,
  • Submit 3.0.4 and
  • Tarski's World 7.2.0
and the second edition of the textbook and manual.

Church is a minor upgrade release. It differs from the Carroll release in at least the following ways:

  • A bug in Fitch causing the New Goal command not to work, is fixed.
  • Both linux installers upgraded to use a 64-bit Java. Users of 32-bit machines cannot use Church, or future releases.

Carroll (15.01) Release

The Carroll release consists of

  • Boole 3.3.1,
  • Fitch 3.5.0,
  • Submit 3.0.4 and
  • Tarski's World 7.2.0
and the second edition of the textbook and manual.

Carroll differs from the Carnap release in at least the following ways:

  • All applications: help menu item and help toolbar button now consistently direct to appropriate information
  • Fitch:
    • Change to universal elimination and existential elimination rules - these no longer allow renaming of bound variables as part of the inference. This may result in some proofs that used to check out, no longer doing so.
    • Existential elimination rule messages have been changed to more accurately report reasons for failure.
    • Induction rules now display help on hover.
  • Submit
    • Closing the application using the red traffic light now prompts to save changed user information.
    • Resolved a problem afflicting some Mac users, who were unable to add certain files for submission.
    • Resolved a problem afflicting some Windows users when displaying the contents of directories containing shortcut files.
  • Tarski's World
    • The Verify Sentence menu items once again works.
  • With this release Linux is brought up to date with the other supported operating systems.

Carnap (14.03) Release

The Carnap release consists of

  • Boole 3.3.0,
  • Fitch 3.4.1,
  • Submit 3.0.3 and
  • Tarski's World 7.1.1
and the second edition of the textbook and manual.

Carnap differs from the Cantor release by:

  • Fixed a bug in Fitch which impacted use of the lemma rules, and the Con rule goggles.
  • Permitting users to choose (via a preference) whether to have Tarski's World sentences and world panes oriented vertically (portrait) or horizontally (landscape). The default is landscape mode.

Cantor release is the last release for Mac OS 10.5 (Leopard). There is no linux Cantor release.

The software can be downloaded after first logging in (using a student id).

Cantor (13.10) Release

Cantor is an old version for all users of the Macintosh and Windows operating systems.

The Cantor release consists of

  • Boole 3.3.0,
  • Fitch 3.4.0,
  • Submit 3.0.3 and
  • Tarski's World 7.1.0
and the second edition of the textbook and manual.

Cantor differs from the Buridan release by:

  • Permitting all file content to be exported to HTML. These HTML files can be printed from your browser.
  • Change of the layout of the Tarski's World user interface.
  • Fixing a bug in Fitch which resulted in loss of citation information on save and restore.
  • Improvement to the layout and scale of the Fitch user interface.
  • Bundling a Java virtual machine with the Macintosh applications. This is invisible to most users, but is in preparation for expected future changes to Apple's operating system.

We recommend that all users of earlier releases upgrade to the Cantor release immediately.

The software can be downloaded after first logging in (using a student id).


Buridan (12.10) Release

Buridan consists of
  • Boole 3.2.1,
  • Fitch 3.3.0,
  • Submit 3.0.2 and
  • Tarski's World 7.0.1

Buridan differs from the Bolzano release by

  • In Fitch, fixing goggles problem and some layout improvements
  • In Boole, fixing the left arrow problem
in addition to numerous small code changes.

We recommend that all users of earlier releases (11.09, 12.08) upgrade to the Buridan release immediately.


Bolzano (12.08) Release

Bolzano differs from the Ackermann release by
  • fixing a serious bug in Fitch 3.1.0 which resulted in some proof constraints not being checked,
  • fixing a bug in Fitch 3.0.0 which caused some lemmas to fail to apply correctly.
in addition to numerous small code changes.

There are also small changes to the textbook to resolve issues described in the errata .

Notes:

  • Windows users: If you have already installed a previous (Abelard or Ackermann) release, you must uninstall that software before running the new installer.


Ackermann (11.09) Release

Ackermann (11.09), consisting of

  • Boole 3.1.1,
  • Fitch 3.1.0,
  • Submit 3.0.1 and
  • Tarski's World 7.0.0

Ackermann differs from the Abelard release by

  • fixing a serious bug in Boole 3.0.0 which resulted in files being saved incorrectly,
  • fixing a bug in Fitch 3.0.0 where Goal Deletion resulted in loss of a text cursor,
  • fixing a bug in Fitch 3.0.0 which caused some lemmas to fail to apply correctly.
  • fixing a bug in Submit 3.0.0 which cause the application to fail to launch on systems localized to languages other than English.

We recommend that all users of the Abelard release (11.05) upgrade to the Ackermann release immediately.

The software can be downloaded after first logging in (using a student id).

Notes:

  • The Windows download is a new intaller. If you have already installed the previous (Abelard) release, you must uninstall that software before running the new installer.
  • For Macintosh we offer the option of a complete installer, and an updater which should be used if you have installer the previous (Abelard) release.


Abelard (11.05) Release

The Abelard (11.05) release consists of

  • Boole 3.0.0,
  • Fitch 3.0.0,
  • Submit 3.0.0 and
  • Tarski's World 7.0.0

Abelard is the beginning of the 3.x series of Boole, Fitch and Submit, and 7.x series of Tarski's World. The applications mark a departure from the previous series of releases, with much of the applications being rewritten. In particular we have:

  • Updated the user interfaces of all four programs,
  • Introduced new inference rules in Fitch for mathematical induction,
  • Introduced the ability to use lemmas in Fitch, and
  • Improved the registration sequence in Submit

Abelard and its successors are designed for use with the second edition of Language, Proof and Logic, published in May 2011.