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

Attribution Non-Commercial (BY-NC)

61 views

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

Attribution Non-Commercial (BY-NC)

- litvin Chapter 06
- A Proof Of God
- Logic
- Adamson_Key_Philosophy_Language.pdf
- On Absolute Truth and Knowledge
- Losskij, Nicolaj, ''The transformation of the concept of consciousness in modern epistemology and its bearing on logic'', 1913.
- Chechulin V. L., About the simplest model of the logic in the selfconsidering’s semantic, 2010
- Deductive reasoning.pdf
- HCA-BooksFinance-Inventory as of June 19
- Countabiliy of Infinite Countables and Applications to Quantitative Finance
- the geometry of logical opposition.pdf
- Wilhelm Windelband's Rectoral Address
- Stanford
- M-N Anti Fuzzy Normal Soft Groups
- Williamson
- How Logic Affect the Reasoning of Person (1)
- Logic
- Clearance 18 19
- 209-Article Text-1169-1-10-20180611.pdf
- Chapter 01

You are on page 1of 2

IN THE SELFCONSIDERING’S SEMANTIC

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

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],

Bibliography

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,

http://www.uresearch.psu.ru/files/articles/18_96185.doc

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

http://elibrary.ru/item.asp?id=15267103

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

- litvin Chapter 06Uploaded byOmar Atreides
- A Proof Of GodUploaded byMarsha Pine
- LogicUploaded byWinz Naive
- Adamson_Key_Philosophy_Language.pdfUploaded byCecep S Arsudin
- On Absolute Truth and KnowledgeUploaded byisotelesis
- Losskij, Nicolaj, ''The transformation of the concept of consciousness in modern epistemology and its bearing on logic'', 1913.Uploaded byStefan_Jankovic_83
- Chechulin V. L., About the simplest model of the logic in the selfconsidering’s semantic, 2010Uploaded byChechulinVL
- Deductive reasoning.pdfUploaded byMiguel Nieves
- HCA-BooksFinance-Inventory as of June 19Uploaded byEvita Mae Bau
- Countabiliy of Infinite Countables and Applications to Quantitative FinanceUploaded byIJSRP ORG
- the geometry of logical opposition.pdfUploaded byVladimir Patrakov
- Wilhelm Windelband's Rectoral AddressUploaded bypfranks
- StanfordUploaded byurlia
- M-N Anti Fuzzy Normal Soft GroupsUploaded byMia Amalia
- WilliamsonUploaded byDouglas_Ryan_4217
- How Logic Affect the Reasoning of Person (1)Uploaded byhenry henry
- LogicUploaded byVishal Gaur
- Clearance 18 19Uploaded byWendy Marquez Tababa
- 209-Article Text-1169-1-10-20180611.pdfUploaded byFrena Fardillah
- Chapter 01Uploaded byCharlie420
- part 2Uploaded byahmed saad
- Proof StrategyUploaded byExist/
- HRansdocxUploaded byRoshan Singh
- assignondiscretemathematicsbyseeratabbaskahn-160519181315Uploaded byRaquel disomimba
- MIT24_244S15_CounterfactUploaded byDamla Nihan Yildiz
- Philosophy-new.pdfUploaded byMogili Annapurna
- Palmer a a Meeting of Minds Mind-1984-PALMER-398-409Uploaded byKaterina Paplomata
- Fuzzy ModellingUploaded byGreenkings
- Meaning and Form in MathematicsUploaded bySebastian
- aa.1961.63.2.02a00630Uploaded bygaby yepes

- Egyptian Zodiac SignsUploaded bylordsifmor
- Dead Poets SocietyUploaded byapi-3754905
- BSBREL502 Assessment V1.0615Uploaded byAline
- Introduction to Brush PaintingUploaded bybrather
- Chomsky’s Universal Grammar and Halliday’s Systemic Functional Linguistics: An Appraisal and a CompromiseUploaded byboxboxboxboxbox
- Rhetorical DevicesUploaded bykrystina3120
- sample syllabusUploaded byapi-239285441
- IfUploaded byVeronicksEscabillas
- Promoting the Sorites paradox to a scientific levelUploaded byillmrpinheiro
- SENATE HEARING, 107TH CONGRESS - RELIGIOUS FREEDOM IN EUROPEUploaded byScribd Government Docs
- 1333-11-PB.pdfUploaded byChandra Nara Ochan
- Panganiban vs DayritUploaded byaiceljoy
- fatimah-awan-03Uploaded byColtonMckee
- Debate - Fields of DebatesUploaded bynalamih
- 4 Factors Creating the Idea of a Separate HomelandUploaded byiqrayami
- The Fisherman and His Soul-Oscar WildeUploaded byChaliq Cee
- New Features of Organisational BehaviourUploaded byrajendrakumar
- 7. Second Advent Herald [the Trinity]Uploaded byAdventist_Truth
- tipos de textos para trinityUploaded byAngela Maria Mansilla Benitez
- The Rule of Law as a Law of RulesUploaded byElena Cheung
- RELIABILITY AND CONCURRENT VALIDITY OF THE MOVEMENT ASSESSMENT BATTERY FOR CHILDRENUploaded byMarcellamb
- Tutorial Solution Theory of ComputationUploaded byJeenu Grover
- Sample Thesis about Instructional MaterialsUploaded byJennylyn
- Bac Mass Lit 2015-2016Uploaded byGerald Getalado
- FEM.pdfUploaded byJaved
- hkgjUploaded byManish Bokdia
- "a Telemedicine Opportunity or Distraction?" Harvard Business Case Study 2-15 Page Term PaperUploaded byHomework Help
- Hyper ConeUploaded byKarl PI Onehundred Group-Five
- Revised Syllabus of UGUploaded byBikas C. Das
- 72. JUSMAG-vs-NLRCUploaded byKling King