You are on page 1of 2

Chechulin V. L.

, About the simplest model of the logic in the selfconsidering’s semantic



Chechulin V. L.,

Perm State university,
Russia, Perm, 614990, Bukirev nom. st., 15

The propositional logic enclosing to the sets theory with selfconsidering and the theorem
about the “third exeption” law was described.

Keywords: sets with selfconsidering, propositional logic,the theorem about the “third
exeption” law, set theory

The Table 1. The theories elements comparison.

works elements of the theory sets theory propositional
about the logic
sets with constant "unexecutionness" ∅ 0
constant "executionness" М 1
implication ∈ ⇒
negation (… ∈ ∅) ¬
Table 2. Executionness.
x y x∈∅ x∈y ((х ∈ ∅)∈ ∅)
∅ ∅ М М ∅
∅ M М М ∅
M ∅ ∅ ∅ M
M M ∅ М M
selfconsidering was knowed for a long time, russian mathimatic Mirimanov in 1918 first
was described the main property of this sets [7]. In the recent works the Rassel paradox
removal in the sets with selfconsidering theory, the incontradictory of this theory [7], and
the 3-dimension of the fully well regulated selfsimilar sets was described. This 3-
dimension was interpreted as the 3-dimension of the state system spase (real measures,
imaginal measures, probability measures), which was appeared the foundation to the
statistical optimal controlling systems of the chemical techologies proucess creation [7].
The results about the propositional logic enclosing to the sets theory with selfconsidering
was intresting too.
Was known [7, с. 43], that the basis of the propositional logic was consisted logical
operations, from whichs the full system logical functios was cotructed. One of this basis
was consisted two operations: implication and negation. In the this sets theory this basis is
consist the constants ∅ (— nothing), M (— sets of all sets), then on this constants with the
considering ratio ∈ (implication operation), and negation (¬x), (x ∈ ∅), was constructed
the statements, which was analogies to the logical statements. The value x was taked the
significances ∅ or M, which was analogies to the logical constants 0 and 1, see the table 1.
The incontradictory of this logic theory was consequensed from the theorem about the
incontradictory sets with selfconsidering theory [7]. In the this logic’s model the “third
exeption” law was executioned: ¬¬х = х, ((х ∈ ∅)∈ ∅) = x (see the table 2),— analogies

Page 1 from 2
Chechulin V. L., About the simplest model of the logic in the selfconsidering’s semantic

to the overs logical acsioms [7, с. 46–47]1. The teorem was prooved.
Theorem 1 (about “third exeption” law). In the too significant logic the negation’s
negation of the logical value is identital to the this value, ¬¬х = х.
Like that, the simplest logic’s model in the selfconsidering’s semantic was
constructed; therefore sets theory’s objects and logic was the one levels constructions.
On the other side of the theory of sets to look in more detail in [7], [7],


7. Goldblatt R., Toposy, kategorniy analiz logiki, М.: "Mir", 1983.— 488 р.
7. Kolmogorov А. А., Dragaling G. А., Matematicheskaya logika, М.: "МGU", 2002.—
240 р.
7. Frenkel A., Bar-Hillel I., Osnovaniya teorii mnozhestv, М.: "Мir", 1961.
7. Chechulin V. L. Sets with selfconsidering // University research (Russia), 2009,
7. Chechulin, V. L. Set theory with selfconsidering (foundation and some applications):
monography / V. L. Chechulin; Perm State University.— Perm (Russia), 2010.— 100 p.
ISBN 978-5-7944-1468-4
7. Chechulin V. L. Informatization of the process of producing formalin / V. L. Chechulin,
V. G. Ardavichus, O. V. Kolbasina // Russian Journal of Applied Chemistry.– 2008.– Vol.
81, No. 6.– pp. 1112–1116.
7. Chechulin V. L. About the selfconsidering semantic in the mathematical logic. / V. L.
Chechulin // Bull. Symbolic Logic.– 2010.– Vol. 16, №1, pp. 111–112 (European Summer
Meeting of the Association for Symbolic Logic: Logic Colloquium '09.– Sofia, Bulgaria.–
2009.– July 31—August 5.)

1 This description of the logical constants was presented the more natural, than, for example, kategories
desckription [7, p. 138 and so on].

Page 2 from 2