Notes Dictated to G.E. Moore in Norway: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 118: Line 118:
It follows from the fact that a-b is transitive, that where we have a-b-a  the first a has to  the second the same relation that it has to b.  It is just as from the fact that a-true implies b-false, and b-false implies c-true, we get that  a-true implies  c-true.  And we shall be able to see, having fixed  the  description of  a tautology,  that p ≡ ~(~p) is a tautology.
It follows from the fact that a-b is transitive, that where we have a-b-a  the first a has to  the second the same relation that it has to b.  It is just as from the fact that a-true implies b-false, and b-false implies c-true, we get that  a-true implies  c-true.  And we shall be able to see, having fixed  the  description of  a tautology,  that p ≡ ~(~p) is a tautology.


That, when a certain rule is given, a symbol is tautological ''shews'' a logical truth.<references />
That, when a certain rule is given, a symbol is tautological ''shews'' a logical truth.
 
[[File:Notes Dictated to G.E. Moore in Norway schema.png|300px|center|link=]]
 
<references />