Seol mar théacs é seo: Essays in the philosophy and history of logic and mathematics