Internal logic

a radically constructive logic for mathematics and physics

Yvon Gauthier

pp. 107-122

in: Mathieu Marion, Robert S. Cohen (eds), Québec studies in the philosophy of science, part I, Berlin, Springer, 1995

Abstract

Each field of knowledge, when it crystallizes into a formal theory, seems to carry with it its intrinsic logic which is part of the formalized symbolic system and this logic will, generally speaking, differ in different fields.