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

no 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.