Abstract
1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16.
REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application
of linguistics and logic to the study of mathematical reasoning, especially
in the setting of a concern for improvement of mathematical education.
The present article presupposes the previous one. Herein we
develop our ideas of the purposes of a theory of proof and the criterion
of success to be applied to such theories. In addition we speculate at
length concerning the specific kinds of uses to which a successful theory
of proof may be put vis-a-vis improvement of various aspects of mathematical
education. The final article will deal with the construction of
such a theory.
The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link
.