The rationalist conception of logic (Q1097247)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The rationalist conception of logic |
scientific article |
Statements
The rationalist conception of logic (English)
0 references
1987
0 references
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.
0 references
second order logic
0 references
Frege
0 references
naturalistic epistemology
0 references