Internal logic
a radically constructive logic for mathematics and physics
pp. 107-122
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.
Publication details
Published in:
Marion Mathieu, Cohen Robert S (1995) Québec studies in the philosophy of science, part I: logic, mathematics, physics and history of science essays in honor of hugues Leblanc. Dordrecht, Springer.
Pages: 107-122
DOI: 10.1007/978-94-009-1575-6_8
Full citation:
Gauthier Yvon (1995) „Internal logic: a radically constructive logic for mathematics and physics“, In: M. Marion & R.S. Cohen (eds.), Québec studies in the philosophy of science, part I, Dordrecht, Springer, 107–122.