Abstract

This report contains a preprint (paper 1) and a reprint (paper 2). The first develops some epistemological views which were hinted in the second, in particular by stressing the need of a greater role of geometric insight and images in foundational studies and in approaches to cognition. The second paper is the "philosophical" part of a lecture in Type Theory, whose technical sections, omitted here, have been largely subsumed by subsequent publications (see references). The part reprinted below discusses more closely some historical remarks recalled in paper 1. 1. Reflections on formalism and reductionism in Logic and Computer Science (pp. 1 - 9)

Citations