6.127

Home
Su
1.
2.
3.
4.
5.
6.

 

All propositions of logic are of equal rank; there are not some which are essentially primitive and others deduced from there.

Every tautology itself shows that it is a tautology.

6.1271    It is clear that the number of "primitive propositions of logic" is arbitrary, for we could deduce logic from one primitive proposition by simply forming, for example, the logical produce of Frege's primitive propositions. (Frege would perhaps say that this would no longer be immediately self-evident. But it is remarkable that so exact a thinker as Frege should have appealed to the degree of self-evidence as the criterion of a logical proposition.)