Text this: Bringing Together Mathematics and Philosophy with Logic and Poly-Universe