Chechulin V. L.

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

ABOUT THE SIMPLEST MODEL OF THE LOGIC

IN THE SELFCONSIDERING’S SEMANTIC

Chechulin V. L., chechulinvl@mail.ru

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

Table 1. The theories elements comparison.

elements of the theory sets theory propositional
logic
constant "unexecutionness" ∅ 0
constant "executionness" М 1
implication ∈ ⇒
negation (… ∈ ∅) ¬
Table 2. Executionness.
x y x∈∅ x∈y ((х ∈ ∅)∈ ∅)
∅ ∅ М М ∅
∅ M М М ∅
M ∅ ∅ ∅ M
M M ∅ М M
The works about the sets with selfconsidering was knowed for a long time, russian
mathimatic Mirimanov in 1918 first was described the main property of this sets [3]. In the
recent works the Rassel paradox removal in the sets with selfconsidering theory, the
incontradictory of this theory [4], 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 [6]. The results about the propositional logic enclosing to the
sets theory with selfconsidering was intresting too.
Was known [2, с. 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 [4]. In the this logic’s model the “third

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

exeption” law was executioned: ¬¬х = х, ((х ∈ ∅)∈ ∅) = x (see the table 2),— analogies
to the overs logical acsioms [2, с. 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], [5],

Bibliography

1. Goldblatt R., Toposy, kategorniy analiz logiki, М.: "Mir", 1983.— 488 р.
2. Kolmogorov А. А., Dragaling G. А., Matematicheskaya logika, М.: "МGU", 2002.—
240 р.
3. Frenkel A., Bar-Hillel I., Osnovaniya teorii mnozhestv, М.: "Мir", 1961.
4. Chechulin V. L. Sets with selfconsidering // University research (Russia), 2009,
http://www.uresearch.psu.ru/files/articles/18_96185.doc
5. 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
http://elibrary.ru/item.asp?id=15267103
6. 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 [1, p. 138 and so on].

Page 2 from 2