On a proof by Arbib, Kfoury, and Moll
This chapter discusses an extreme example of the harm done by the introduction of nomenclature that forces the making of avoidable distinctions, in particular the introduction of subscripted variables. In addition it illustrates some consequences of neglecting equivalence as a connective in its own right.
Unable to display preview. Download preview PDF.