The rationalist conception of logic (Q1097247)

The paper argues that first order logic can justly be called logic, whilst second order and similar logics cannot. The argument turns crucially on the recursive enumerability of first order logic, and the significance of this for the epistemological role of logic. Frege's notion of this epistemological role is endorsed; but the notion of knowledge advocated is a sociological one, and thus quite unFregean.