Text this: History and philosophy of logic.