“logical, philosophical, and computational foundations”