HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.512

5.512

"~p" is true if "p" is false. Therefore in the true proposition "~p" "p" is a false proposition. How then can the stroke "~" bring it into agreement with reality?

That which denies in "~p" is however not "~", but that which all signs of this notation, which deny p, have in common.

Hence the common rule according to which "~p", "~~~p", "~p v ~p", "~p . ~p", etc. etc. (to infinity) are constructed. And this which is common to them all mirrors denial.

HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 5.512