- 3.1 (9/6/2025) SLAPP 3.1 adds checking for map and tree diagrams of Symbolic Logic chapter 2.
- So in addition to edit capability for exercises in chapters 1 – 6, there is now checking for derivations in chapters 3 and 6 and for map and tree diagrams in chapter 2 (along with contextual help for derivations in the basic I- and I- rule systems of chapter 6). Edit and check functions are described in the relevant SLAPP help videos and Contextual Help popups.
- There are numerous additional smaller changes and bug fixes. In addition to instructor functions from before, instructor login now enables automatic “choice checking” for chapter 2 exercises that use diagrams to justify a choice of some sort — where this check would usually be off for a student.
- Exercises from previous versions (either downloaded or created by you) will continue to open. However, as happened with derivation check, older vertical tree exercises will have check functions uniformly off. In order to access check features, you should download (chapter 2) exercises again.
- 3.0 (7/6/2025) SLAPP 3.0 includes the first installment of the checking and feedback that SLAPP is meant to include.
- There is derivation checking for all the derivations in chapters 3 and 6 of Symbolic Logic. The check feature itself provides significant help with respect to rules. In addition, the basic I- and E-rule systems of chapter 6, NDs and ND, include a “contextual help” feature. Contextual help implements the “strategies” of Symbolic Logic chapter 6, providing suggestions for how to reach current goal expressions.
- There are numerous additional smaller changes and bug fixes. One of the most significant is that there is now an “instructor login” for which an instructor will need to make a password request. Instructor login has different effects: Exercise and assignment “create” and “revise” features are enabled only for instructors. Instructors have exercise check and help ‘try’ limits disabled. And instructors may edit an optional “points earned” field.
- Derivation and instructor functions are detailed in revised SLAPP help videos.
- Exercises from previous versions (either downloaded or created by you), will continue to open. However older derivation exercises will have have check and help functions uniformly off. Further there have been revisions to exercises both for SLAPP and in the text. In order to access derivation check and help features, and to keep textbook and SLAPP exercises in sync, you should download exercises again.
- ————————————–start version 3—————————————————
- 2.1 (12/28/24) Minor revisions. First “release” version.
- As a housekeeping matter, if you installed the evaluation version 1.x on PC, all your updates go into the initial directory, C:\Program Files\SLAPP1.00a. Now might be a good time to uninstall and then install again from scratch — then the new install and any updates will go to a generic Symbolic Logic APPlication directory — without the misleading version number in the folder name. This issue has no functional significance, and does not arise on Mac — which already uses the generic folder name in the Applications folder.
- 2.0 (12/23/24) Possible “release” version. Miscellaneous bug fixes: PC printer problem resolved. Vertical tree size-down repair.
- ————————————–start version 2—————————————————
- 1.5 (12/18/24) In addition to miscellaneous bug fixes, vertical tree work area sizes set automatically; “fleeting popup” color changed to distinguish warning from success messages.
- 1.4 (12/13/34) File associations work on Mac. Repairs to horizontal tree layout. Also repairs an embarrassing problem with the updater where I switched pointers between x64 and ARM64 binaries. If you have v1.3, update by downloading again from the webpage.
- 1.3 (12/8/24). Many bug fixes. Check for updates — automatically on weekly interval, and from help menu. File associations — SLAPP icons, clicking an icon opens program (if not already open), and opens the file in SLAPP (but there is a Mac bug so that files won’t automatically open). Size counters improved — esp. in “free form” exercise where counters did not work at all.
- ————————- start simplified version numbering above ———————————-
- 1.02α build 1 (11/21/24). Annotation fields for vertical and horizontal trees are updated to have the same edit functionality as formula fields. If you are using downloaded exercises and/or assignments, for this (and a few bugs) YOU MUST DOWNLOAD EXERCISES AND ASSIGNMENTS AGAIN. Exercises with annotation fields that were worked in v1.01 will fail to open correctly in v1.02.
- 1.01α build 3 (11/15/24). Repairs to previous “fixes” for horizontal tree width, and for editing derivation justifications.
- 1.01α build 2 (11/14/24). (i) Bug fixes for editing derivation justifications; this required rearranging top edit controls. (ii) Alternate path to keyboard diagram and keyboard shortcuts through help menu.
- 1.01α build 1 (11/9/24). This is the initial evaluation version.
Logic Blog, recent posts: