When it comes to the relative contributions of phenomenology and mathematics to logic, I always find myself returning to the picture I drew once before from Peirce’s Syllabus, on the relationship of phenomenology and mathematics to the normative sciences and metaphysics.
Normative science rests largely on phenomenology and on mathematics;
metaphysics on phenomenology and on normative science.
— Charles Sanders Peirce, Collected Papers, CP 1.186 (1903)
Syllabus : Classification of Sciences (CP 1.180–202, G-1903-2b)
I find this “two-footed, thrice-braced” stance has many advantages over the “dufflepud” attempt to stand logic on phenomenology alone.