Repository | Journal | Volume | Articles
(1997) Synthese 112 (3).
The philosophy of arithmetic of Wittgenstein's Tractatus is outlined and the central role played in it by the general notion of operation is pointed out. Following which, the language, the axioms and the rules of a formal theory of operations, extracted from the Tractatus, are presented and a theorem of interpretability of the equational fragment of Peano's Arithmetic into such a formal theory is proven.
Publication details
Full citation:
Frascolla, P. (1997). The tractatus system of arithmetic. Synthese 112 (3), pp. 353-378.
This document is unfortunately not available for download at the moment.