Editing David Kaplan (philosopher) (section)

===Logic 2000 program===
In recent years, Kaplan has devoted much effort to teaching introductory logic. A main contribution has been his work to create a computer program, Logic 2000, on which students can do their assignments. Logic 2000 is currently available for use free of charge. The program has many parts, including a derivations module, a symbolizations module, a models module, and much more. The program was initially developed to complement the logic text of Donald Kalish and Richard Montague, and the derivations module therefore uses their distinctive natural deduction system. Perhaps the most significant features of the program are its feedback and error-checking capacities. The program can provide a student with immediate and extensive error messages detailing any errors the student may have made on the problem he or she is currently working on. The program's current iteration and name is Logic 2010.<ref>The program may be obtained at [https://logiclx.humnet.ucla.edu/].</ref>