Georg Kreisel: Logical hygiene, foundations, and abstractions

Abstract

The idea(l)s in the title have been familiar for decades or more, but (as usual) with different aspects (and different functions of each aspect) of those idea(l)s rewarding attention as experience around them changed; with due regard for points of diminishing returns in prominent directions. Briefly, in the case of those 3 idea(l)s the emphasis here is on asymmetric knowledge, definite meanings and (avoiding) premature definiteness. More or less familiar (cl)aims for logical aspects of mathematical proofs (and their functions) are (re)viewed in terms of background above.