Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Band | Artikel

237715

The tractatus system of arithmetic

Pasquale Frascolla

pp. 353-378

Abstrakt

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).

Seiten: 353-378

DOI: 10.1023/A:1004952810156

Referenz:

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