3682

6.1264    Zdanie sensowne coś oznajmia, a jego dowód wykazuje, że tak właśnie jest. W logice każda teza jest formą dowodu. Każda teza logiki jest symbolicznie przedstawionym modus ponens. (A modus ponens nie da się wyrazić przez zdanie.)

6.1265    Logikę można zawsze ująć tak, że każda teza będzie swoim własnym dowodem.

6.127 Wszystkie tezy logiki są równouprawnione; nie dzielą się one istotnie na prawa naczelne tezy pochodne.

Każda tautologia sama pokazuje, że jest tautologią. (...)

6.13 Logika nie jest teorią, lecz lustrzaną podobizną świata. Logika jest transcendentalna.

Źródło: Ludwig Wittgenstein, Tractatus logico-philosophicus, tłum. B. Wolmewicz, Warszawa 1970