author={Max Weiss},
  journal={The Review of Symbolic Logic},
  pages={1 - 50}
  • M. Weiss
  • Published 12 January 2017
  • Philosophy
  • The Review of Symbolic Logic
Abstract 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… 

Logic in the Tractatus I : Definability ∗

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

Chains of Life: Turing, Lebensform, and the Emergence of Wittgenstein’s Later Style

This essay accounts for the notion of Lebensform by assigning it a logical role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the PI occurred during

Epistemic Modality, Mind, and Mathematics

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well

Modal Cognitivism and Modal Expressivism

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a

Wittgenstein’s Non-Extensionalist Point of View

A treatment of what is meant by “non-extensionalism” in Wittgenstein’s philosophy of the real numbers. The “extensionalist” point of view is treated as a perspective that is at points in tension with

Introduction: The Context of the Annotations and Our Method of Approach

An overview of our approach to Wittgenstein’s development and writings on mathematics, including his annotations to Hardy’s Course of Pure Mathematics. Wittgenstein’s development is divided into four

Ascribing Value

An ontology for conceptualizing the notion of value ascription that is founded on an analysis of context notions is proposed, showing how value of objects can be explained in terms of value of states of affairs.



The philosophy of logical wholism

The present paper is one installment in a lengthy task, the replacement of atomistic interpretations of Wittgenstein's Tractatus by a wholistic interpretation on which the world-in-logical-space is

Tractarian semantics for predicate logic

It is a little understood fact that the system of formal logic presented in Wittgenstein’s Tractatusprovides the basis for an alternative general semantics for a predicate calculus that is consistent


A variety of sound and complete tableau calculi for first-order logics formulated in a Wittgensteinian notation is introduced, based on the contemporary notion of logical truth as truth in all structures.

Frege's Theorem

Frege’s original logicist programme envisaged the derivation of arithmetical truths from a theory that could be characterized, in some sense, as ‘logic plus definitions’, thereby establishing the

Logical Syntax of Language

Rudolf Carnap's entire theory of Language structure "came to me," he reports, "like a vision during a sleepless night in January 1931, when I was ill." This theory appeared in The Logical Syntax of

A Logic for Frege’s Theorem

This result isFrege’s Theorem. Its philosophical interest has been a matter of some controversy, most of which has concerned the status of HP itself. To use Frege’s Theorem to re-instate logicism,

‘The general propositional form is a variable’ (Tractatus 4.53)

Wittgenstein presents in the Tractatus a variable purporting to capture the general form of proposition. One understanding of what Wittgenstein is doing there, an understanding in line with the 'new'

Understanding Wittgenstein's Tractatus

Understanding Wittgenstein's Tractatus provides an accessible and yet novel discussion of all the major themes of the Tractatus. The book starts by setting out the history and structure of the

Identity, variables, and impredicative definitions

An attempt will be made to cultivate a minor deviation from the accepted ways of using certain words and phrases in idiomatic English as well as in the formalized “languages” of the logicians.

The Multiplicity of General Propositions

In the Tractatus, Wittgenstein makes use of a complicated system of numbering to indicate "the logical importance of the propositions." Comments on proposition n are numbered n.i, n.2, etc; comments