The \textit{Tractatus} system of arithmetic

DOI10.1023/A:1004952810156zbMath0929.03005OpenAlexW166339068MaRDI QIDQ1297040

Pasquale Frascolla

Publication date: 20 December 1999

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1004952810156

zbMATH Keywords

formal theory of operationsinterpretability of the equational fragment of Peano Arithmeticphilosophy of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Related Items (2)

LOGIC IN THE TRACTATUS ⋮ TRACTARIAN LOGICISM: OPERATIONS, NUMBERS, INDUCTION

This page was built for publication: The \textit{Tractatus} system of arithmetic