5,953
edits
Notes Dictated to G.E. Moore in Norway: Difference between revisions
Notes Dictated to G.E. Moore in Norway (view source)
Revision as of 18:24, 17 January 2021
, 3 years agono 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 /> | |||