Paolo Mancosu Dept of Philosophy philosophy, philosophy of mathematics and its history, philosophy of logic, mathematical logic