Download of MacLogic 2.3 for Mac was on the developer's website when we last checked. We cannot confirm if there is a free download of this app available.
Please check the Mac app with an antivirus before launch as it is downloaded from the developer's website, and we cannot ensure that it is safe. This free Mac application was originally designed by fitelson. The common filename for the program's installer is maclogic_osx_ii.zip. The most popular version among the program users is 2.3. MacLogic for Mac relates to Education Tools.
From the developer:
MacLogic is, to my mind, the best computer program in existence for teaching and learning how to do natural deduction proofs (in a variety of logics). The program was originally written in MacProlog for Classic Macintosh operating systems by Roy Dyckhoff et al. at St Andrews.
You may want to check out more Mac applications, such as DRPU Mac Log Manager, which might be similar to MacLogic.