Is (quantum) logic empirical?