‘Neo-Logicist‘ Logic is not Epistemically Innocent (Q2702946)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ‘Neo-Logicist‘ Logic is not Epistemically Innocent |
scientific article |
Statements
‘Neo-Logicist‘ Logic is not Epistemically Innocent (English)
0 references
7 May 2001
0 references
neo-logicist
0 references
abstraction principles
0 references
second-order axiom of comprehension
0 references
first-order existential instantiation
0 references
universal elimination
0 references
epistemic innocence of mathematics
0 references
