# 4.42 explained — Tractatus Logico-Philosophicus

> Chapter companion for Tractatus Logico-Philosophicus by Ludwig Wittgenstein.

## What happens

This proposition introduces a combinatorial formula for the number of truth-possibilities of n elementary propositions, specifically the sum over K from 0 to n of the binomial coefficient (n choose K), which equals L_n. It formalizes the logical space of agreement and disagreement between a proposition and the truth-possibilities of its constituent elementary propositions.

## Themes in this chapter

### Logical Atomism

The proposition deals with elementary propositions and their truth-possibilities, central to logical atomism's view that complex propositions are truth-functions of atomic facts.

### Logic and Tautology

The combinatorial enumeration of truth-possibilities underlies the logical structure of propositions, including tautologies and contradictions, which are limiting cases of agreement and disagreement.

## Key lines

> With regard to the agreement and disagreement of a proposition with the truth-possibilities of n elementary propositions there are ∑ K = 0 K n ( K n K ) = L n possibilities.

For a proposition that can either agree or disagree with each of the truth-possibilities of n elementary propositions, the total number of such logical possibilities is given by the sum of binomial coefficients from K=0 to n, which equals L_n.

_This formula quantifies the logical space of truth-functional combinations, showing how many distinct truth-conditions a proposition can have relative to n atomic facts._

## Links

- HTML: https://www.betterreads.online/discover/tractatus_logico_philosophicus_se/chapters/4-42
- Book: https://www.betterreads.online/discover/tractatus_logico_philosophicus_se
- All chapters: https://www.betterreads.online/discover/tractatus_logico_philosophicus_se/chapters