object and value equivalence
von Leibniz, G.W.,
"paper XX on calculus universalis", 1685, in Gerhardt, C.I., (ed.),
Die philosophischen Schriften von G.W. Leibniz, Berlin: Weidman, VII, pp. 236-247, 1875-1890.
translated p. 124-132 in Struik, D.J. (ed.), A source book in mathematics, 1200-1800, Cambridge Massachusetts: Harvard University Press, 1967.
[p. 124] "[This represents] one of the later forms in which Leibniz expressed his calculus universalis, the calculus for displaying the universal relations of scientific concepts, in which we recognize a first attempt at mathematical logic. The essay is of uncertain date, but was written after 1685, and was never published until Gerhardt brought it to light.
|124 ;;Quote: equivalent terms are terms that can be substituted without altering the truth of any statement. |
|124+;;Quote: equivalent terms are reflexive and transitive; i.e., A=B implies B=A, and, A=B and B=C imply A=C
ThesaHelp: references i-l (342 items)
Topic: object and value equivalence (60 items)