This project, DragLogic was developed under the supervision of
Paul St. Denis at the Teaching and Learning Lab job. The
original goal of the project was to create a drag-and-drop
natural deduction program, to be used by the Introduction to
Symbolic Logic class at Stony Brook University. The plan was to
mirror the style of natural deduction presented in Kalish,
Montague, and Mar's textbook,
Logic: Techniques of Formal Reasoning. It evolved into
a more axiomatic derivation system as the difficulty of writing
a logic engine in Javascript began to mount with every inference
rule. The system was finally reduced to a axiomatic derivation
system in the style of Łukasiewicz, and saw its sunset in early
2022.
Here
is a link to the final version. Its code can be found in
this GitHub repository.
This project was started around the same time as DragLogic's
development began. The goal of the project was to create an
agent-based model of hermit-crab shell-swapping behaviors, a
research interest of two biologists in the Evolution and Ecology
Department at Stony Brook University. These two scientists
discovered in their research that hermit-crab shell size
distribution follows patterns similar to those found in human
income distributions. This model, built in the software tool
NetLogo, allows students to change parameters and experiment with
the model to discover the phenomenon for themselves.