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

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.

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.

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