 An important related though independently pursued line of criticism may be noted here. It finds its origin in Saunders Mac Lane’s review (1937) of Carnap’s Logical Syntax and focusses less on the analytic/synthetic distinction than on Carnap’s failure to give a formally correct definition of logic. It challenges the ambition to have accounted for the formal sciences but declines to embrace a naturalistic alternative. Further research along these lines has suggested to some that by extending Carnap’s approach and framework it can be linked to attempts in category theory to provide the missing definition (see Awodey 2012, 2017), while a different response to Mac Lane’s as well as Quine’s criticisms defends Carnap’s inability, frankly admitted in (1942, 57) to define logical terms as such in full generality (Creath 2017).