For Frege there were only two ontological correlates of propositions: the True and the False. All true propositions denote the True, and all false prepositions denote the False. From an ontological point of view, if all true propositions denote exactly one and the same entity, then the underlying philosophical position is the absolute monism of facts.

Lets disprove what * Suszko* called ‘Frege’s axiom’: namely the assumption that there exist only two referents for propositions.

Frege’s position on propositions was part of a more general view. Indeed, Frege adopted a principle of homogeneity (* Perzanowski*) according to which there are two fundamental categories of signs (Bedeutungen and truth-values) and two fundamental categories of senses (Sinn and Gedanken).

Both categories of signs (names and propositions) have sense and reference. The sense of a name is its Sinn, that way in which its referent is given, while the referent itself, the Bedeutung, is the object named by the name. As for propositions, their sense is the Gedanke, while their reference is their logical value.

Since the two semiotic triangles are entirely similar in structure, we need analyze only one of them: that relative to propositions.

Here * p* is a proposition,

*is the sense of*

**s(p)***, and*

**p***is the referent of*

**r(p)***. The functional composition states that*

**p***is the way in which*

**s(p)***yields*

**p***. The triangle has been drawn with the functions linking its vertexes explicitly shown. When the functions are composable, the triangle is said to commute, yielding*

**r(p)****f(s(p)) = r(p), or f ° s(p) = r(p)**

An interesting question now arises: is it possible to generalize the semiotic triangle? And if it is possible to do so, what is required? A first reorganization and generalization of the semiotic triangle therefore involves an explicit differentiation between the truth-value assigning function and the referent assigning function. We thus have the following double semiotic triangle:

where * r* stands for the referent assigning function and

*for the truth-value assigning function. Extending the original semiotic triangle by also considering utterances:*

**t**Suszko uses the terms logical valuations for the procedures that assign truth-values, and algebraic valuations for those that assign referents. By arguing for the existence of only two referents, Frege ends up by collapsing logical and algebraic valuations together, thereby rendering them indistinguishable.

Having generalized the semiotic triangle into the double semiotic triangle, we must now address the following questions:

- when do two propositions have the same truth value?
- when do two propositions have the same referent?
- when do two propositions have the same sense?

Sameness of logical value will be denoted by * ↔* (logical equivalence), while sameness of referent will be indicated with

*(not to be confused with the equiform*

**≡***to express indiscernibility) and sameness of sense (synonymy) by*

**≡***. Two propositions are synonymous when they have the same sense:*

**≈****(p ≈ q) = 1 iff (s(p) = s(q)) = 1**

Two propositions are identical when they have the same referent:

**(p ≡ q) = 1 iff (r(p) = r(q)) = 1**

Two propositions are equivalent when they have the same truth value:

**(p ↔ q) = 1 iff (t(p) = t(q)) = 1**

These various concepts are functionally connected as follows:

**s(p) = s(q) implies r(p) = r(q), r(p) = r(q) implies t(p) = t(q)**

In general, the constraints that we impose on referents correspond to the ontological assumptions that characterize the theory. The most general logic of all is the one that imposes no restriction at all on * r* valuations. Just as Fregean logic recognizes only two referents so the most general logic recognizes more than numerable set of them. Between these two extremes, of course, there are numerous intermediate cases. Pure non-Fregean logic is extremely weak, a chaos. If it is to yield something, it has to be strengthened.