On the Onto-Epistemological Status of the Empty Set and the Pure Singleton


BİRGÜL O. G.

Axiomathes, cilt.32, sa.6, ss.1111-1128, 2022 (AHCI) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 32 Sayı: 6
  • Basım Tarihi: 2022
  • Doi Numarası: 10.1007/s10516-021-09571-6
  • Dergi Adı: Axiomathes
  • Derginin Tarandığı İndeksler: Arts and Humanities Citation Index (AHCI), Scopus, IBZ Online, Philosopher's Index, Psycinfo, zbMATH
  • Sayfa Sayıları: ss.1111-1128
  • Anahtar Kelimeler: Absence, Nihil privativum, Nihil negativum, The empty set axiom, The pure singleton, Zero
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

© 2021, The Author(s), under exclusive licence to Springer Nature B.V.This article discusses the quiddity of the empty set from its epistemological and linguistic aspects. It consists of four parts. The first part compares the concept of nihil privativum and the empty set in terms of representability, arguing the empty set can be treated as a negative and formal concept. It is argued that, unlike Frege’s definition of zero, the quantitative negation with a full scope is what enables us to represent the empty set conceptually without committing to an antinomy. The second part examines the type and scope of the negation in the concept of nihil privativum and the empty set. In the third part the empty set is interpreted as a rigid abstract general term. The uniqueness of the empty set is explained via a widened version of Kripke’s notion of rigidity. The fourth part proposes a construction for the pure singleton, comparing it with Zermelo’s conception of singletons with the Ur-elements. It is argued that the proposed construction does not face the criterion and ontological inflation problems. The first conclusion of the article is that the empty set can be construed as a negative, formal and unique abstract general term, with quantitative negation full in scope. The second conclusion is that the pure singleton constructed out of the empty set construed in this way overcomes the criterion and ontological inflation problems.