# LOGIC IN THE TRACTATUS

@article{Weiss2017LOGICIT, title={LOGIC IN THE TRACTATUS}, author={Max Weiss}, journal={The Review of Symbolic Logic}, year={2017}, volume={10}, pages={1 - 50} }

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…

## 7 Citations

### Logic in the Tractatus I : Definability ∗

- Philosophy
- 2015

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

- Art
- 2016

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

- Philosophy
- 2017

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

- Philosophy
- 2022

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

- Philosophy, Psychology
- 2020

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

- Philosophy, Art
- 2020

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

- PhilosophyVMBO
- 2018

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.

## References

SHOWING 1-10 OF 89 REFERENCES

### The philosophy of logical wholism

- PhilosophySynthese
- 2004

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

- Philosophy
- 1995

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…

### TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR

- PhilosophyThe Review of Symbolic Logic
- 2012

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

- Philosophy
- 2012

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

- Philosophy
- 1937

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

- Philosophy
- 2011

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)

- Philosophy
- 2004

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

- Philosophy, Art
- 2006

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

- LinguisticsJournal of Symbolic Logic
- 1956

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

- Philosophy
- 1992

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…