Text this: Logic as philosophy ;