While we now have an increasingly detailed understanding of the varied goals and methods that constitute the sciences and mathematics, our understanding of logic as a research area lags behind. A significant reason for ...