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 08:06, 18 September 2022
, 2 years agono edit summary
No edit summary |
No edit summary |
||
| Line 170: | Line 170: | ||
It's obvious that the dots and brackets are symbols, and obvious that they haven't any ''independent'' meaning. You must, therefore, in order to introduce so-called "logical constants" properly, introduce the general notion of ''all possible'' combinations of them = the general form of a proposition. You thus introduce both ab-functions, identity, and universality (the three fundamental constants) simultaneously. | It's obvious that the dots and brackets are symbols, and obvious that they haven't any ''independent'' meaning. You must, therefore, in order to introduce so-called "logical constants" properly, introduce the general notion of ''all possible'' combinations of them = the general form of a proposition. You thus introduce both ab-functions, identity, and universality (the three fundamental constants) simultaneously. | ||
The ''variable proposition'' p ⊃ p is not identical with the ''variable proposition'' ~(p . ~p). The corresponding universals ''would'' be identical. The variable proposition ~(p . ~p) shews that out of ~ (p.q) you get a tautology by substituting ~p for q, whereas the other does not shew this. | The ''variable proposition'' p ⊃ p is not identical with the ''variable proposition'' ~(p . ~p). The corresponding universals ''would'' be identical. The variable proposition ~(p . ~p) shews that out of ~(p.q) you get a tautology by substituting ~p for q, whereas the other does not shew this. | ||
It's very important to realize that when you have two different relations (a,b)R, (c,d)S this does ''not'' establish a correlation between a and c, and b and d, or a and d, and b and c: there is no correlation whatsoever thus established. Of course, in the case of two pairs of terms united by the ''same'' relation, there is a correlation. This shews that the theory which held that a relational fact contained the terms and relations united by a ''copula'' (ε<sub>2</sub>) is untrue; for if this were so there would be a correspondence between the terms of different relations. | It's very important to realize that when you have two different relations (a,b)R, (c,d)S this does ''not'' establish a correlation between a and c, and b and d, or a and d, and b and c: there is no correlation whatsoever thus established. Of course, in the case of two pairs of terms united by the ''same'' relation, there is a correlation. This shews that the theory which held that a relational fact contained the terms and relations united by a ''copula'' (ε<sub>2</sub>) is untrue; for if this were so there would be a correspondence between the terms of different relations. | ||