Repository | Journal | Volume | Article
The tractatus system of arithmetic
pp. 353-378
Abstract
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
Published in:
(1997) Synthese 112 (3).
Pages: 353-378
Full citation:
Frascolla Pasquale (1997) „The tractatus system of arithmetic“. Synthese 112 (3), 353–378.