Modern logic is undergoing a cognitive turn, side-stepping Frege's 'antipsychologism'. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on ...