| Peer-Reviewed

The Logical Study of Non-Well-Founded Set and Circulation Phenomenon

Received: 12 June 2022     Accepted: 21 June 2022     Published: 29 June 2022
Views:       Downloads:
Abstract

In recent years, since a great deal of circular phenomenon, there has been a furry of interest in them. To explain various circular phenomenon, the study of set theory extended well -founded sets to non-well-founded set. Based on this basis, the paper discusses the logical theoretical basis of circular phenomena. Non-well-founded set theory ZFA allows primitive existence. Primitive is an object that has no elements and is not a class in itself. It is based on the set theory ZFC after the axiom of foundation FA is removed, and the anti-basic axiom AFA is added to ZFC. ZFC here refers to ZF set theory with axiom of choice. According to axiomatic set theory, for ZFC's regular axioms, the set in its universe is a well set. If the regular axiom is removed, and the infinite decline is allowed to belong to the relational chain, then the non-well-founded set can be introduced. Firstly, this paper introduces the basic concept of non-well-founded set, the foundation axiom and the anti-founded axioms. Secondly, we dicusses the limit of the foundation axiom. Thirdly, we exhibit the history and present situation of the research on non-well-founded sets are briefly reviewed. Finally, the applications of non-well-founded sets in philosophy, linguistics, computer science, economics and many other fields is discussed. Because non-well-founded set theory will provide a better tool for dealing with circular phenomena naturally, it can be argued that circle is not vicious.

Published in International Journal of Philosophy (Volume 10, Issue 2)
DOI 10.11648/j.ijp.20221002.16
Page(s) 90-95
Creative Commons

This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.

Copyright

Copyright © The Author(s), 2022. Published by Science Publishing Group

Keywords

Non-Well-Founded Set, Circulation, Set Theory, Mathematical Logic

References
[1] Zhang Jinwen. An Introduction to Axiomatic Set Theory. Science Press, 1991, 21-23.
[2] Zhang Qingyu. The paradox of all non-Z-classes. Philosophical Research, 1993 (10): 43-44.
[3] Zhang Qingyu. Cycles are not abominable - Commentary on “Vicious Cycles: The Mathematics of Illegitimate Phenomenon”. Philosophical Dynamics. 2005 (4): 59-62.
[4] D. Lewis. Convention: a philosophical study. Cambridge, MA: Harvard University Press, 1969.
[5] H. Clark. and C. Marshall. Define reference and mutual knowledge. In: elements of discovery un derstanding, ed. by A. Joshi. Cambridge MA: Cambridge University Press, 1981.
[6] J. Barwise. and L. Moss. Vicious Circles: On the Mathematics of Non-well-founded Phenomena. CSLI Lecture Notes, Number 60. Stanford: CSLI Publications, 1996, 47-54.
[7] L. Lismont. Common Knowledge: Relating anti-founded situation semantics to modal logic neighborhood semantics. Journal of Logic, Language, and Information, 1995 (3): 285-302.
[8] A. Baltag. STS: A Structural Theory of Sets. Logic Journal of IGPL. 1999 (7): 481-515.
[9] L. Alberucci. and V. Salipate. On modalm-calculus and non-well-founded set theory. Journal of philosophical logic, 2004 (33): 343-360.
[10] P. aczel. Non-well-founded sets. Stanford CSLI Publications, 1988, P. 112.
[11] J. Barwise and J. Perry. Situations and Attitudes. Cambridge, MA and London: MIT Press, 1983.
[12] A. Lazic. and A. Roscoe. On transition systems and non-well-founded sets. Annals of the New York Academy of Sciences, 1996 (806): 238-264.
[13] M. Lenisa. From set-theoretic coinduction to coalgebraic coinduction: some results, some problems. Electronic Notes in Theoretical Computer Science, 1999 (19).
[14] C. Piazza. and A. Policriti. Towers Tableau-based decision procedures for non-well-founded fragments of set theory lecture Notes In Computer Science, 2000 (1847): 368-382.
[15] B. van den Berg and F. Demachi. Non-well-founded trees in categories. Annals of pure and applied logic. 2006 (146): 40-59.
[16] Li Na and Du Wenjing. On the foundation axiom and anti-founded axioms. Study of Logic. 2013 (2): 14.
[17] Du Wenjing. The research and application of the theory of non- well-founded sets. Journal of Bijie University. 2011 (8): 4.
Cite This Article
  • APA Style

    Shi Jing. (2022). The Logical Study of Non-Well-Founded Set and Circulation Phenomenon. International Journal of Philosophy, 10(2), 90-95. https://doi.org/10.11648/j.ijp.20221002.16

    Copy | Download

    ACS Style

    Shi Jing. The Logical Study of Non-Well-Founded Set and Circulation Phenomenon. Int. J. Philos. 2022, 10(2), 90-95. doi: 10.11648/j.ijp.20221002.16

    Copy | Download

    AMA Style

    Shi Jing. The Logical Study of Non-Well-Founded Set and Circulation Phenomenon. Int J Philos. 2022;10(2):90-95. doi: 10.11648/j.ijp.20221002.16

    Copy | Download

  • @article{10.11648/j.ijp.20221002.16,
      author = {Shi Jing},
      title = {The Logical Study of Non-Well-Founded Set and Circulation Phenomenon},
      journal = {International Journal of Philosophy},
      volume = {10},
      number = {2},
      pages = {90-95},
      doi = {10.11648/j.ijp.20221002.16},
      url = {https://doi.org/10.11648/j.ijp.20221002.16},
      eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.ijp.20221002.16},
      abstract = {In recent years, since a great deal of circular phenomenon, there has been a furry of interest in them. To explain various circular phenomenon, the study of set theory extended well -founded sets to non-well-founded set. Based on this basis, the paper discusses the logical theoretical basis of circular phenomena. Non-well-founded set theory ZFA allows primitive existence. Primitive is an object that has no elements and is not a class in itself. It is based on the set theory ZFC after the axiom of foundation FA is removed, and the anti-basic axiom AFA is added to ZFC. ZFC here refers to ZF set theory with axiom of choice. According to axiomatic set theory, for ZFC's regular axioms, the set in its universe is a well set. If the regular axiom is removed, and the infinite decline is allowed to belong to the relational chain, then the non-well-founded set can be introduced. Firstly, this paper introduces the basic concept of non-well-founded set, the foundation axiom and the anti-founded axioms. Secondly, we dicusses the limit of the foundation axiom. Thirdly, we exhibit the history and present situation of the research on non-well-founded sets are briefly reviewed. Finally, the applications of non-well-founded sets in philosophy, linguistics, computer science, economics and many other fields is discussed. Because non-well-founded set theory will provide a better tool for dealing with circular phenomena naturally, it can be argued that circle is not vicious.},
     year = {2022}
    }
    

    Copy | Download

  • TY  - JOUR
    T1  - The Logical Study of Non-Well-Founded Set and Circulation Phenomenon
    AU  - Shi Jing
    Y1  - 2022/06/29
    PY  - 2022
    N1  - https://doi.org/10.11648/j.ijp.20221002.16
    DO  - 10.11648/j.ijp.20221002.16
    T2  - International Journal of Philosophy
    JF  - International Journal of Philosophy
    JO  - International Journal of Philosophy
    SP  - 90
    EP  - 95
    PB  - Science Publishing Group
    SN  - 2330-7455
    UR  - https://doi.org/10.11648/j.ijp.20221002.16
    AB  - In recent years, since a great deal of circular phenomenon, there has been a furry of interest in them. To explain various circular phenomenon, the study of set theory extended well -founded sets to non-well-founded set. Based on this basis, the paper discusses the logical theoretical basis of circular phenomena. Non-well-founded set theory ZFA allows primitive existence. Primitive is an object that has no elements and is not a class in itself. It is based on the set theory ZFC after the axiom of foundation FA is removed, and the anti-basic axiom AFA is added to ZFC. ZFC here refers to ZF set theory with axiom of choice. According to axiomatic set theory, for ZFC's regular axioms, the set in its universe is a well set. If the regular axiom is removed, and the infinite decline is allowed to belong to the relational chain, then the non-well-founded set can be introduced. Firstly, this paper introduces the basic concept of non-well-founded set, the foundation axiom and the anti-founded axioms. Secondly, we dicusses the limit of the foundation axiom. Thirdly, we exhibit the history and present situation of the research on non-well-founded sets are briefly reviewed. Finally, the applications of non-well-founded sets in philosophy, linguistics, computer science, economics and many other fields is discussed. Because non-well-founded set theory will provide a better tool for dealing with circular phenomena naturally, it can be argued that circle is not vicious.
    VL  - 10
    IS  - 2
    ER  - 

    Copy | Download

Author Information
  • School of Culture and Media, Central University of Finance and Economics, Beijing, China

  • Sections