A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein's "form-series" device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if thedoi:10.1017/s1755020316000472 fatcat:gdmfw6eisffhnjrrahuuhbyujq