Central and East European
Society for Phenomenology

Repository | Journal | Volume | Article

237715

The tractatus system of arithmetic

Pasquale Frascolla

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

DOI: 10.1023/A:1004952810156

Full citation:

Frascolla Pasquale (1997) „The tractatus system of arithmetic“. Synthese 112 (3), 353–378.