मेरियोलॉजी

Not to be confused with मेरियोलॉजी.

गणितीय तर्क, दर्शन और संबंधित क्षेत्रों में, मात्रिकी (from ग्रीक μέρος 'भाग' (मूल: μερε-, मात्र-, 'भाग') और प्रत्यय -विज्ञान, 'अध्ययन, चर्चा, विज्ञान') भागों और उनसे बनने वाले संपूर्ण का अध्ययन है। जबकि समुच्चय सिद्धांत समुच्चय (गणित) और उसके अवयव (गणित) के बीच सदस्यता संबंध पर स्थापित किया गया है, मेरियोलॉजी इकाइयों के बीच मेरोनॉमी संबंध पर बल देती है, जो समुच्चय-सैद्धांतिक दृष्टिकोण से- समुच्चय के बीच समावेशन (समुच्चय सिद्धांत) की अवधारणा के निकट है।

औपचारिक तात्विकी में विधेय तर्क के अनुप्रयोगों के रूप में मेरियोलॉजी की विभिन्न विधियों से खोज की गई है, जिनमें से प्रत्येक में मेरियोलॉजी महत्वपूर्ण भाग है। इनमें से प्रत्येक क्षेत्र मेरियोलॉजी की अपनी स्वयंसिद्ध परिभाषा प्रदान करती है। ऐसी स्वयंसिद्ध प्रणाली का सामान्य अवयव स्वयंसिद्धीकरण यह धारणा है, जिसे समावेशन के साथ साझा किया जाता है, कि आंशिक-संपूर्ण संबंध अपने ब्रह्मांड को आंशिक रूप से व्यवस्थित करता है, जिसका अर्थ है कि सब कुछ स्वयं का भाग है (निजवाचकता संबंध), जो कि संपूर्ण के भाग का भाग है स्वयं उस संपूर्ण (सकर्मक संबंध) का भाग है, और दो अलग-अलग संस्थाएं एक-दूसरे ( प्रतिसममिति संबंध) का भाग नहीं हो सकती हैं, इस प्रकार क्रमित समुच्चय बनता है। इस स्वयंसिद्धीकरण का प्रकार इस बात से मना करता है कि सकर्मकता को स्वीकार करते समय कोई भी वस्तु कभी भी स्वयं का भाग (अप्रतिक्रियाशीलता) होती है, जिससे प्रतिसममिति स्वचालित रूप से अनुसरण करती है।

यद्यपि मेरियोलॉजी गणितीय तर्क का अनुप्रयोग है, जिसे प्रकार की आद्य-ज्यामिति माना जा सकता है, यह पूर्ण रूप से तर्कशास्त्रियों, तात्विकी , भाषाविदों, इंजीनियरों और कंप्यूटर वैज्ञानिकों द्वारा विकसित किया गया है, विशेष रूप से कृत्रिम बुद्धिमत्ता में कार्य करने वालों द्वारा। विशेष रूप से, मेरियोलॉजी ज्यामिति की बिंदु-मुक्त नींव पर भी आधारित है (उदाहरण के लिए अल्फ्रेड टार्स्की का उद्धृत अग्रणी लेख और गेर्ला 1995 का समीक्षा लेख देखें)।

सामान्य पद्धति सिद्धांत में, 'मेरियोलॉजी' पद्धति के अपघटन और भागों, संपूर्णताओं और सीमाओं पर औपचारिक कार्य को संदर्भित करता है (उदाहरण के लिए, मिहाजलो डी. मेसारोविक (1970), गेब्रियल क्रोन (1963), या मौरिस जेसल (बौडेन देखें (1989, 1998) )) आदि। गेब्रियल क्रोन के नेटवर्क टियरिंग का श्रेणीबद्ध संस्करण कीथ बोडेन (1991) द्वारा प्रकाशित किया गया था, जो गंक (मेरियोलॉजी) पर डेविड लुईस के विचारों को दर्शाता है। ऐसे विचार सैद्धांतिक कंप्यूटर विज्ञान और सैद्धांतिक भौतिकी में दिखाई देते हैं, प्रायः शीफ सिद्धांत, टोपोस के संयोजन में, या श्रेणी सिद्धांत आदि। कंप्यूटर विज्ञान में विशिष्टताओं पर स्टीव विकर्स (कंप्यूटर वैज्ञानिक), भौतिक प्रणालियों पर जोसेफ गोगुएन और लिंक सिद्धांत और क्वांटम यांत्रिकी पर टॉम एटर (1996, 1998) का कार्य भी देखें।

इतिहास

प्लेटो (विशेष रूप से, पारमेनाइड्स संवाद) के दूसरे भाग में) और अरस्तू के बाद से तत्वमीमान्सा और तात्विकी में अनौपचारिक आंशिक-संपूर्ण तर्क को सचेत रूप से लागू किया गया था, और 19 वीं शताब्दी के गणित में 1910 के निकट समुच्चय सिद्धांत की विजय तक कमोबेश अनजाने में था। इस युग के आध्यात्मिक विचार जो भागों और संपूर्ण की अवधारणाओं पर चर्चा करते हैं उनमें दिव्य सादगी और सौंदर्य शास्त्रीय सम्मिलित हैं।

आइवर ग्राटन-गिनीज (2001) 19वीं और 20वीं शताब्दी के समय आंशिक-संपूर्ण तर्क पर बहुत प्रकाश डालता है, और समीक्षा करता है कि जॉर्ज कैंटर और पीनो ने समुच्चय सिद्धांत कैसे तैयार किया। ऐसा प्रतीत होता है कि वह भागों और पूर्ण के विषय में सचेत रूप से और विस्तार से तर्क करने वाले प्रथम व्यक्ति थे 1901 में एडमंड हसरल ने तार्किक जांच हुसेरल) के दूसरे खंड में - तीसरी जांच: "ऑन द थ्योरी ऑफ होल्स एंड पार्ट्स" (हसेरल 1970 अंग्रेजी अनुवाद है) में कार्य किया था। यद्यपि, मेरियोलॉजी शब्द उनके लेखन से अनुपस्थित है, और उन्होंने गणित में डक्टर की उपाधि प्राप्त करने के अतिरिक्त कोई प्रतीकवाद का प्रयोग नहीं किया था।

स्टैनिस्लाव लेस्निविस्की ने 1927 में ग्रीक शब्द μέρος (मेरोस, भाग) से मेरियोलॉजी गढ़ी, जो कि आंशिक-संपूर्ण के औपचारिक सिद्धांत को संदर्भित करता है, जिसे उन्होंने 1916 और 1931 के बीच प्रकाशित उच्च तकनीकी लेखों की श्रृंखला में तैयार किया था, और लेस्निविस्की (1992) में अनुवादित किया गया था। लेस्निविस्की के छात्र अल्फ्रेड टार्स्की ने वुडगर (1937) के अपने परिशिष्ट ई और टार्स्की (1984) के रूप में अनुवादित लेख में लेस्निविस्की की औपचारिकता को बहुत सरल बना दिया था। लेस्निविस्की के अन्य छात्रों (और छात्रों के छात्रों) ने 20वीं शताब्दी के समय इस पोलिश मेरियोलॉजी को विस्तृत किया। पोलिश मेरियोलॉजी पर साहित्य के ठीक चयन के लिए, श्रीज़ेडनिकी और रिकी (1984) देखें। पोलिश मेरियोलॉजी के सर्वेक्षण के लिए, सिमंस (1987) देखें। यद्यपि, 1980 या उसके बाद से, पोलिश मेरियोलॉजी पर शोध लगभग पूर्ण रूप से ऐतिहासिक प्रकृति का रहा है।

ए.एन. व्हाइटहेड ने ज्यामिति पर गणितीय सिद्धांत के चौथे खंड की योजना बनाई, परन्तु इसे कभी नहीं लिखा था। बर्ट्रेंड रसेल के साथ उनके 1914 के पत्राचार से ज्ञात होता है कि ज्यामिति के प्रति उनके इच्छित दृष्टिकोण को, दूरदर्शिता के लाभ के साथ, संक्षेप में मेरियोलॉजिकल के रूप में देखा जा सकता है। यह कार्य व्हाइटहेड (1916) और व्हाइटहेड के मेरियोलॉजिकल पद्धति (1919, 1920) में समाप्त हुआ था।

1930 में, हेनरी एस. लियोनार्ड ने हार्वर्ड पीएच.डी. पूर्ण की थी। दर्शनशास्त्र में शोध प्रबंध, भाग-संपूर्ण संबंध का औपचारिक सिद्धांत स्थापित करना। यह नेल्सन गुडमैन और लियोनार्ड (1940) के व्यक्तियों की गणना में विकसित हुआ। गुडमैन ने गुडमैन (1951) के तीन संस्करणों में इस गणना को संशोधित और विस्तृत किया। व्यक्तियों की गणना 1970 के पश्चात तर्कशास्त्रियों, तात्विकीविद् और कंप्यूटर वैज्ञानिकों के बीच मेरियोलॉजी के पुनरुद्धार के लिए प्रारंभिक बिंदु है, पुनरुद्धार जिसका सिमंस (1987), कासाती और वर्ज़ी (1999), और कॉटनॉयर और वर्ज़ी (2021) में ठीक रूप से सर्वेक्षण किया गया है।

स्वसिद्धांत और आदिम धारणाएँ

निजवाचकता: मेरियोलॉजिकल पद्धति को परिभाषित करने में मूलभूत विकल्प यह है कि क्या वस्तुओं को स्वयं का भाग माना जाए। अनुभवहीन समुच्चय सिद्धांत में समान प्रश्न उठता है: क्या किसी समुच्चय को स्वयं का उपसमुच्चय माना जाना चाहिए। दोनों स्थितियों में, हाँ रसेल के विरोधाभास के अनुरूप विरोधाभासों को जन्म देता है: मान लीजिए कि वस्तु O है, जैसे कि प्रत्येक वस्तु जो स्वयं का उचित भाग नहीं है, वह O का उचित भाग है। क्या O स्वयं का उचित भाग है? नहीं, क्योंकि कोई भी वस्तु स्वयं का उचित भाग नहीं है; और हाँ, क्योंकि यह O के उचित भाग के रूप में सम्मिलित करने के लिए निर्दिष्ट आवश्यकता को पूर्ण करता है। समुच्चय सिद्धांत में, समुच्चय को प्रायः स्वयं का अनुचित उपसमुच्चय कहा जाता है। ऐसे विरोधाभासों को देखते हुए, मेरोलॉजी को स्वयंसिद्ध सूत्रीकरण की आवश्यकता होती है।

मेरियोलॉजिकल प्रणाली प्रथम-क्रम तर्क सिद्धांत (पहचान (दर्शन) के साथ) है, जिसके प्रवचन के ब्रह्मांड में संपूर्ण और उनके संबंधित भाग होते हैं, जिन्हें सामूहिक रूप से वस्तु कहा जाता है। मेरियोलॉजी नीडित और गैर-नीडित स्वयंसिद्ध प्रणालियों का संग्रह है, जो मोडल तर्क की स्थिति से भिन्न नहीं है।

निम्न दिया गया उपचार, शब्दावली और पदानुक्रमित संगठन कासाती और वर्ज़ी (1999: अध्याय 3) का स्पष्टता से अनुसरण करता है। कुछ मिथ्या धारणा को दूर करने वाले नवीनतम उपचार के लिए, होव्डा (2008) देखें। छोटे अक्षर वस्तुओं पर चर को दर्शाते हैं। प्रत्येक प्रतीकात्मक स्वयंसिद्ध या परिभाषा के पश्चात कासाती और वर्ज़ी में संबंधित सूत्र की संख्या बोल्ड में लिखी गई है।

एक मेरियोलॉजिकल प्रणाली के लिए कम से कम आदिम बाइनरी संबंध (एरिटी प्रेडिकेट (तर्क)) की आवश्यकता होती है। ऐसे संबंध के लिए सबसे पारंपरिक विकल्प पार्थहुड (जिसे समावेशन भी कहा जाता है) है, x y का भाग है, जिसे Pxy लिखा जाता है। लगभग सभी प्रणालियों को ब्रह्मांड को आंशिक रूप से व्यवस्थित करने की आवश्यकता होती है। निम्नलिखित परिभाषित संबंध, नीचे दिए गए स्वयंसिद्धों के लिए आवश्यक हैं, अकेले पार्टहुड से तुरंत अनुसरण करते हैं:

• एक तत्काल परिभाषित विधेय (तर्क) यह है कि x y का उचित भाग है, जिसे PPxy लिखा जाता है, जो धारण करता है (अर्थात, संतुष्ट होता है, सत्य निकलता है) यदि Pxy सत्य है और ' 'पाइक्स' ग़लत है. पार्टहुड (जो आंशिक ऑर्डर है) की तुलना में, प्रॉपरपार्ट सख्त आंशिक ऑर्डर है।

$PPxy\leftrightarrow (Pxy\land \lnot Pyx).$ 3.3

जिस वस्तु में उचित भागों का अभाव हो वह परमाणु है। प्रवचन के मेरियोलॉजिकल ब्रह्मांड में वे सभी वस्तुएं सम्मिलित हैं जिनके विषय में हम सोचना चाहते हैं, और उनके सभी उचित भाग:

• ओवरलैप: x और y ओवरलैप, ऑक्सी लिखा जाता है, यदि कोई ऑब्जेक्ट z मौजूद है जैसे कि Pzx और Pzy दोनों होल्ड करते हैं।

$Oxy\leftrightarrow \exists z[Pzx\land Pzy].$ 3.1

z के भाग, x और y का ओवरलैप या उत्पाद, वास्तव में वे वस्तुएं हैं जो x और y दोनों के भाग हैं।

• अंडरलैप: x और y अंडरलैप, Uxy लिखा जाता है, यदि कोई वस्तु z मौजूद है जैसे कि x और y दोनों भाग हैं ज़.

$Uxy\leftrightarrow \exists z[Pxz\land Pyz].$ 3.2

ओवरलैप और अंडरलैप निजवाचकता संबंध, सममित और ट्रांजिटिव संबंध हैं।

प्रणालियाँ इस बात में भिन्न होती हैं कि वे किन संबंधों को आदिम और परिभाषित मानते हैं। उदाहरण के लिए, विस्तारित मेरियोलॉजीज़ (नीचे परिभाषित) में, पार्थहुड को ओवरलैप से निम्नानुसार परिभाषित किया जा सकता है:

$Pxy\leftrightarrow \forall z[Ozx\rightarrow Ozy].$ 3.31

अभिगृहीत हैं:

• पार्थहुड ब्रह्मांड का आंशिक क्रम:

M1, प्रतिवर्ती संबंध: वस्तु स्वयं का भाग है।

$\ Pxx.$ पृ.1

M2, प्रतिसममिति संबंध: यदि Pxy और Pyx दोनों कायम हैं, तो x और y ही वस्तु हैं।

$(Pxy\land Pyx)\rightarrow x=y.$ पृष्ठ .2

M3, सकर्मक संबंध: यदि Pxy और Pyz, तो Pxz।

$(Pxy\land Pyz)\rightarrow Pxz.$ पी .3

• एम4, कमबल अनुपूरण: यदि पीपीएक्सवाई धारण करता है, तो जेड मौजूद होता है जैसे कि पीज़ी धारण करता है परन्तु ओज़एक्स नहीं करता है।

$PPxy\rightarrow \exists z[Pzy\land \lnot Ozx].$ पी .4

• M5, सशक्त अनुपूरक: यदि Pyx धारण नहीं करता है, तो z मौजूद है जैसे कि Pzy धारण करता है परन्तु Ozx धारण नहीं करता है।

$\lnot Pyx\rightarrow \exists z[Pzy\land \lnot Ozx].$ पी .5

• एम5', परमाणु अनुपूरक: यदि पीएक्सवाई धारण नहीं करता है, तो परमाणु जेड मौजूद है जैसे कि पीजेडएक्स धारण करता है परन्तु ओजी नहीं रखता है।

$\lnot Pxy\rightarrow \exists z[Pzx\land \lnot Ozy\land \lnot \exists v[PPvz]].$ पी.5'

• शीर्ष: सार्वभौमिक वस्तु मौजूद है, जिसे W नामित किया गया है, जैसे कि PxW किसी भी x के लिए धारण करता है।

$\exists W\forall x[PxW].$ 3.20

यदि M8 मान्य है तो शीर्ष प्रमेय है।

• नीचे: परमाणु शून्य वस्तु मौजूद है, जिसे एन नामित किया गया है, जैसे कि पीएनएक्स किसी भी एक्स के लिए धारण करता है।

$\exists N\forall x[PNx].$ 3.22

• M6, योग: यदि Uxy धारण करता है, तो z मौजूद होता है, जिसे x और y का योग या संलयन कहा जाता है, जैसे कि वस्तुएं z को ओवरलैप करती हैं ' केवल वे वस्तुएं हैं जो x या y को ओवरलैप करती हैं।

$Uxy\rightarrow \exists z\forall v[Ovz\leftrightarrow (Ovx\lor Ovy)].$ पृष्ठ 6

• एम7, उत्पाद: यदि ऑक्सी धारण करता है, तो जेड मौजूद होता है, जिसे एक्स और वाई का उत्पाद कहा जाता है, जैसे कि जेड के भाग बस होते हैं वे वस्तुएँ जो x और y दोनों के भाग हैं।

$Oxy\rightarrow \exists z\forall v[Pvz\leftrightarrow (Pvx\land Pvy)].$ पृष्ठ 7

यदि ऑक्सी कायम नहीं है, तो x और y में कोई समान भाग नहीं है, और x और y का गुणनफल अपरिभाषित है।

• एम8, अप्रतिबंधित संलयन: मान लीजिए φ(x) प्रथम-क्रम तर्क है|प्रथम-क्रम सूत्र जिसमें x मुक्त चर है। तब φ को संतुष्ट करने वाली सभी वस्तुओं का संलयन मौजूद होता है।

$\exists x[\phi (x)]\to \exists z\forall y[Oyz\leftrightarrow \exists x[\phi (x)\land Oyx]].$ पृ.8

M8 को सामान्य योग सिद्धांत, अप्रतिबंधित मेरियोलॉजिकल संरचना, या सार्वभौमिकता भी कहा जाता है। M8 अनुभवहीन समुच्चय सिद्धांत के बिल्डर नोटेशन समुच्चय करें से मेल खाता है, जो रसेल के विरोधाभास को जन्म देता है। इस विरोधाभास का कोई मात्रिक प्रतिरूप नहीं है क्योंकि पार्थहुड, समुच्चय सदस्यता के विपरीत, प्रतिवर्ती संबंध है।

• एम8', अद्वितीय संलयन: वे संलयन जिनके अस्तित्व पर एम8 दावा करता है, वे भी अद्वितीय हैं। पी.8'
• एम9, परमाणुता: सभी वस्तुएँ या तो परमाणु हैं या परमाणुओं का संलयन हैं।

$\exists y[Pyx\land \forall z[\lnot PPzy]].$ पृ.10

विभिन्न प्रणालियाँ

सिमंस (1987), कैसाती और वर्ज़ी (1999) और होव्दा (2008) कई मेरियोलॉजिकल प्रणालियों का वर्णन करते हैं जिनके स्वयंसिद्ध उपरोक्त सूची से लिए गए हैं। हम कासाती और वर्ज़ी के बोल्डफेस नामकरण को अपनाते हैं। इस प्रकार की सबसे प्रसिद्ध प्रणाली वह है जिसे क्लासिकल एक्सटेंशनल मेरियोलॉजी कहा जाता है, जिसे इसके पश्चात संक्षिप्त रूप में 'सीईएम' कहा जाएगा (अन्य संक्षिप्त रूपों को नीचे समझाया गया है)। 'सीईएम' में, 'पी.1' से 'पी.8' तक को स्वयंसिद्ध या प्रमेय के रूप में रखा जाता है। M9, ऊपर और नीचे वैकल्पिक हैं।

नीचे दी गई तालिका में पद्धति समावेशन (समुच्चय सिद्धांत) द्वारा आंशिक क्रम में हैं, इस अर्थ में कि, यदि पद्धति ए के सभी प्रमेय भी पद्धति बी के प्रमेय हैं, परन्तु बातचीत तार्किक सत्य नहीं है, तो बी में ए सम्मिलित है। परिणामी हस्से आरेख कासाती और वर्ज़ी (1999:48) में चित्र 3.2 के समान है।

Label	Name	System	Included Axioms
M1	Reflexivity
M2	Antisymmetry
M3	Transitivity	M	M1, M2, M3
M4	Weak Supplementation	MM	M, M4
M5	Strong Supplementation	EM	M, M5
M5'	Atomistic Supplementation
M6	Sum
M7	Product	CEM	EM, M6, M7
M8	Unrestricted Fusion	GM	M, M8
		GEM	EM, M8
M8'	Unique Fusion	GEM	EM, M8'
M9	Atomicity	AGEM	M2, M8, M9
		AGEM	M, M5', M8

यह दावा करने के दो समान तरीके हैं कि ब्रह्मांड आंशिक क्रम है: या तो एम 1-एम 3 मान लें, या कि उचित पार्थूड सकर्मक संबंध और असममित संबंध है, इसलिए सख्त आंशिक क्रम है। पद्धति एम में या तो स्वयंसिद्धीकरण का परिणाम होता है। एम 2 पार्थूड का उपयोग करके गठित बंद लूपों को खारिज कर देता है, ताकि भाग संबंध ठीक रूप से स्थापित हो। यदि नियमितता के सिद्धांत को मान लिया जाए तो समुच्चय ठीक रूप से स्थापित होते हैं। साहित्य में पार्थुड की परिवर्तनशीलता पर कभी-कभी दार्शनिक और सामान्य ज्ञान की आपत्तियां सम्मिलित होती हैं।

एम4 और एम5 पूरकता पर बल देने के दो तरीके हैं, समुच्चय पूरक (समुच्चय सिद्धांत)एशन का मेरियोलॉजिकल एनालॉग, एम5 मजबूत है क्योंकि एम4 एम5 से व्युत्पन्न है। एम और एम4 न्यूनतम मेरियोलॉजी, एमएम उत्पन्न करते हैं। प्रॉपर पार्ट के संदर्भ में पुनर्निर्मित, एमएम सिमंस (1987) की पसंदीदा न्यूनतम प्रणाली है।

किसी भी प्रणाली में जिसमें M5 या M5' माना जाता है या प्राप्त किया जा सकता है, तो यह साबित किया जा सकता है कि समान उचित भागों वाली दो वस्तुएं समान हैं। इस संपत्ति को विस्तारकता के रूप में जाना जाता है, समुच्चय सिद्धांत से उधार लिया गया शब्द, जिसके लिए विस्तारशीलता का सिद्धांत परिभाषित स्वयंसिद्ध है। मेरियोलॉजिकल प्रणालियां जिनमें एक्सटेंशनैलिटी कायम है, उन्हें एक्सटेंशनल कहा जाता है, तथ्य जो उनके प्रतीकात्मक नामों में अक्षर ई को सम्मिलित करके दर्शाया गया है।

एम6 का दावा है कि किन्हीं दो अंडरलैपिंग वस्तुओं का अद्वितीय योग होता है; M7 का दावा है कि किन्हीं दो अतिव्यापी वस्तुओं का अद्वितीय उत्पाद होता है। यदि ब्रह्माण्ड परिमित है या यदि शीर्ष मान लिया गया है, तो ब्रह्माण्ड योग के अंतर्गत बंद है। उत्पाद के सार्वभौमिक समापन और डब्ल्यू के सापेक्ष पूरकता के लिए बॉटम की आवश्यकता होती है। डब्ल्यू और एन, जाहिर तौर पर, सार्वभौमिक समुच्चय और खाली समुच्चय के मेरियोलॉजिकल एनालॉग हैं, और सम और प्रोडक्ट, इसी प्रकार, समुच्चय-सैद्धांतिक संघ के एनालॉग हैं ( समुच्चय सिद्धांत) और इंटरसेक्शन (समुच्चय सिद्धांत)। यदि एम6 और एम7 या तो कल्पित हैं या व्युत्पन्न हैं, तो परिणाम समापन के साथ मात्रविज्ञान है।

चूँकि Sum और Product बाइनरी ऑपरेशन हैं, M6 और M7 केवल सीमित संख्या में वस्तुओं के योग और उत्पाद को स्वीकार करते हैं। अप्रतिबंधित संलयन अभिगृहीत, एम8, अनंत रूप से कई वस्तुओं का योग लेने में सक्षम बनाता है। परिभाषित होने पर उत्पाद के लिए भी यही बात लागू होती है। इस बिंदु पर, मेरियोलॉजी प्रतिच्छेदन (समुच्चय सिद्धांत) का आह्वान करती है, परन्तु समुच्चय सिद्धांत का कोई भी सहारा सूत्र को मुक्त चर के साथ योजनाबद्ध सूत्र द्वारा समुच्चय के ब्रह्मांड में परिमाणीकरण (तर्क) चर के साथ प्रतिस्थापित करके समाप्त किया जा सकता है। जब भी किसी ऑब्जेक्ट का नाम जो समुच्चय का अवयव (गणित) होता (यदि यह अस्तित्व में होता) मुक्त चर को प्रतिस्थापित करता है, तो सूत्र सत्य हो जाता है (संतुष्ट हो जाता है)। इसलिए समुच्चय वाले किसी भी स्वयंसिद्ध को मोनैडिक परमाणु उपसूत्रों के साथ स्वयंसिद्ध स्कीमा द्वारा प्रतिस्थापित किया जा सकता है। M8 और M8' इसी प्रकार के स्कीमा हैं। प्रथम-क्रम सिद्धांत का वाक्य-विन्यास केवल असंख्य संख्या में समुच्चयों का वर्णन कर सकता है; इसलिए, इस प्रकार से केवल संख्यात्मक रूप से कई समुच्चयों को हटाया जा सकता है, परन्तु यह सीमा यहां बताए गए गणित के प्रकार के लिए बाध्यकारी नहीं है।

यदि M8 कायम है, तो W अनंत ब्रह्मांडों के लिए मौजूद है। इसलिए, शीर्ष को केवल तभी मानने की आवश्यकता है जब ब्रह्मांड अनंत है और एम8 कायम नहीं है। शीर्ष (डब्ल्यू का अनुमान लगाना) विवादास्पद नहीं है, परन्तु बॉटम (एन का अनुमान लगाना) विवादास्पद है। लेस्निविस्की ने बॉटम को अस्वीकार कर दिया, और अधिकांश मेरियोलॉजिकल प्रणालियाँ उनके उदाहरण का अनुसरण करती हैं (रिचर्ड मिल्टन मार्टिन का कार्य अपवाद है)। इसलिए, जबकि ब्रह्मांड योग के तहत बंद है, ओवरलैप न होने वाली वस्तुओं का उत्पाद आम तौर पर अपरिभाषित होता है। प्रणाली जिसमें W है परन्तु N नहीं है, वह समरूपी है:

• एक बूलियन बीजगणित (संरचना) में 0 की कमी है;
• एक जॉइन (गणित) अर्ध-लेटेक्स ऊपर से 1 से घिरा हुआ है। बाइनरी फ़्यूज़न और डब्ल्यू क्रमशः जॉइन और 1 की व्याख्या करते हैं।

एन को अभिधारणा करने से सभी संभावित उत्पाद निश्चित हो जाते हैं, परन्तु यह शास्त्रीय विस्तारक मेरियोलॉजी को बूलियन बीजगणित (तर्क) के समुच्चय-मुक्त मॉडल सिद्धांत में भी बदल देता है।

यदि समुच्चयों को स्वीकार किया जाता है, तो M8 किसी भी गैर-रिक्त समुच्चय के सभी सदस्यों के संलयन के अस्तित्व पर बल देता है। कोई भी मेरियोलॉजिकल प्रणाली जिसमें M8होल्ड को सामान्य कहा जाता है, और इसके नाम में जी भी सम्मिलित है। किसी भी सामान्य मापविज्ञान में, एम6 और एम7 सिद्ध करने योग्य हैं। एक्सटेंशनल मेरियोलॉजी में एम8 जोड़ने पर सामान्य एक्सटेंशनल मेरियोलॉजी, संक्षिप्त रूप में जीईएम प्राप्त होता है; इसके अलावा, विस्तारशीलता संलयन को अद्वितीय बनाती है। इसके विपरीत, यद्यपि, यदि M8 द्वारा दावा किए गए संलयन को अद्वितीय माना जाता है, ताकि M8' M8 की जगह ले, तो - जैसा कि टार्स्की (1929) ने दिखाया था - M3 और M8' GEM को स्वयंसिद्ध करने के लिए पर्याप्त हैं, जो उल्लेखनीय किफायती परिणाम है। सिमंस (1987: 38-41) कई GEM प्रमेयों को सूचीबद्ध करता है।

एम2 और परिमित ब्रह्मांड आवश्यक रूप से परमाणुता को दर्शाते हैं, अर्थात् हर वस्तु या तो परमाणु है या उसके उचित भागों में परमाणु सम्मिलित हैं। यदि ब्रह्मांड अनंत है, तो परमाणुता के लिए M9 की आवश्यकता होती है। किसी भी मेरियोलॉजिकल पद्धति में M9 जोड़ने पर, X का परिणाम परमाणु संस्करण होता है, जिसे AX कहा जाता है। उदाहरण के लिए, परमाणुता अर्थव्यवस्थाओं को अनुमति देती है, यह मानते हुए कि एम5 परमाणुता और विस्तारशीलता को दर्शाता है, और एजीईएम का वैकल्पिक स्वयंसिद्धीकरण उत्पन्न करता है।

समुच्चय सिद्धांत

समुच्चय सिद्धांत में उपसमुच्चय की धारणा पूर्ण रूप से मेरोलॉजी में उपभाग की धारणा के समान नहीं है। स्टैनिस्लाव लेस्निविस्की ने समुच्चय सिद्धांत को नाममात्रवाद से संबंधित होने के रूप में खारिज कर दिया, परन्तु उसके समान नहीं। लंबे समय तक, लगभग सभी दार्शनिकों और गणितज्ञों ने मात्रिकी से परहेज किया, इसे समुच्चय सिद्धांत की अस्वीकृति के समान माना।. गुडमैन भी नाममात्रवादी थे, और उनके साथी नाममात्रवादी रिचर्ड मिल्टन मार्टिन ने 1941 से शुरू होकर, अपने पूर्ण करियर में व्यक्तियों की गणना के संस्करण का उपयोग किया।

मेरियोलॉजी पर बहुत प्रारंभिक कार्य इस संदेह से प्रेरित था कि समुच्चय सिद्धांत ऑन्कोलॉजी संदिग्ध था, और ओकार्य के रेजर के लिए आवश्यक है कि व्यक्ति दुनिया और गणित के अपने सिद्धांत में अंकों की संख्या को कम से कम करे।. मेरियोलॉजी वस्तुओं के समुच्चय की बात को वस्तुओं के योग की बात से बदल देती है, वस्तुएं उन विभिन्न वस्तुओं से अधिक कुछ नहीं हैं जो पूर्ण बनाती हैं.

अनेक तर्कशास्त्री एवं दार्शनिक इन प्रेरणाओं को निम्न आधारों पर अस्वीकार करें:

• वे इस बात से मना करते हैं कि सबसमुच्चय किसी भी प्रकार से ऑन्टोलॉजिकल रूप से संदिग्ध हैं
• ऑकैम का रेजर, जब समुच्चय जैसी अमूर्त वस्तुओं पर लागू किया जाता है, तो यह या तो संदिग्ध सिद्धांत है या बिल्कुल गलत है
• मेरियोलॉजी स्वयं फ़्यूज़न जैसी नई और ऑटोलॉजिकल रूप से संदिग्ध संस्थाओं के प्रसार का दोषी है।

समुच्चय सिद्धांत का उपयोग किए बिना गणित खोजने के प्रयासों के सर्वेक्षण के लिए, बर्गेस और रोसेन (1997) देखें।

1970 के दशक में, आंशिक रूप से एबरले (1970) के लिए धन्यवाद, यह धीरे-धीरे समझ में आने लगा कि कोई भी व्यक्ति समुच्चय के संबंध में अपने ऑन्टोलॉजिकल रुख की परवाह किए बिना मेरियोलॉजी को नियोजित कर सकता है। इस समझ को मेरियोलॉजी की ऑन्टोलॉजिकल इनोसेंस कहा जाता है। यह मासूमियत केवल दो समान तरीकों से औपचारिक होने से उत्पन्न होती है:

• समुच्चयों के ब्रह्मांड में परिमाणित चर
• एकल मुक्त चर के साथ योजनाबद्ध विधेय (गणितीय तर्क)।

एक बार जब यह स्पष्ट हो गया कि मात्रिकी समुच्चय सिद्धांत के खंडन के समान नहीं है, तो मात्रिकी को औपचारिक ऑन्कोलॉजी और तत्वमीमान्सा के लिए उपयोगी उपकरण के रूप में स्वीकार किया गया।

समुच्चय सिद्धांत में, सिंगलटन (गणित) ऐसे परमाणु होते हैं जिनमें कोई (गैर-रिक्त) उचित भाग नहीं होता है; कई लोग समुच्चय सिद्धांत को बेकार या असंगत (ठीक रूप से स्थापित नहीं) मानते हैं यदि समुच्चय को यूनिट समुच्चय से नहीं बनाया जा सकता है। ऐसा माना जाता था कि व्यक्तियों की गणना के लिए आवश्यक है कि किसी वस्तु में या तो कोई उचित भाग न हो, जिस स्थिति में यह परमाणु है, या परमाणुओं का मात्रिक योग हो। यद्यपि, एबरले (1970) ने दिखाया कि परमाणुवाद की कमी वाले व्यक्तियों की गणना कैसे बनाई जाए, यानी, जहां प्रत्येक वस्तु का उचित भाग हो (नीचे परिभाषित) ताकि ब्रह्मांड अनंत हो।

यदि पार्थूड को समुच्चय सिद्धांत में उपसमुच्चय के अनुरूप लिया जाता है, तो मेरियोलॉजी के सिद्धांतों और मानक ज़र्मेलो-फ्रेंकेल समुच्चय सिद्धांत (जेडएफ) के बीच समानताएं हैं। मेरियोलॉजी और जेडएफ के संबंध पर, बंट (1985) भी देखें। मात्र विज्ञान पर चर्चा करने वाले बहुत कम समकालीन समुच्चय सिद्धांतकारों में से पॉटर (2004) हैं।

डेविड लुईस (दार्शनिक) (1991) अनौपचारिक रूप से दिखाते हुए आगे बढ़े कि मात्रिक विज्ञान, कुछ ऑन्कोलॉजी मान्यताओं और बहुवचन परिमाणीकरण और सिंगलटन (गणित) के विषय में कुछ उपन्यास तर्क से संवर्धित, ऐसी प्रणाली उत्पन्न करता है जिसमें दिया गया व्यक्ति भाग हो सकता है और किसी अन्य व्यक्ति का उपसमूह। परिणामी प्रणालियों में विभिन्न प्रकार के समुच्चय सिद्धांत की व्याख्या की जा सकती है। उदाहरण के लिए, ZFC के सिद्धांतों को कुछ अतिरिक्त मात्रिक मान्यताओं के आधार पर सिद्ध किया जा सकता है।

फॉरेस्ट (2002) ने पहले 'सीईएम' का सामान्यीकरण तैयार करके लुईस के विश्लेषण को संशोधित किया, जिसे हेयटिंग मेरियोलॉजी कहा जाता है, जिसका एकमात्र गैर-वैज्ञानिक आदिम उचित भाग है, जो संक्रमणीय संबंध और प्रतिकर्मक है। काल्पनिक अशक्त व्यक्ति मौजूद है जो प्रत्येक व्यक्ति का उचित भाग है। दो स्कीमा इस बात पर बल देती हैं कि प्रत्येक जाली (आदेश) जुड़ाव मौजूद है (जाली पूर्ण जाली हैं) और यह जुड़ने पर वितरणात्मक संपत्ति को पूर्ण करती है। इस हेयटिंग मेरियोलॉजी पर, फॉरेस्ट ने छद्म समुच्चयों का सिद्धांत खड़ा किया है, जो उन सभी उद्देश्यों के लिए पर्याप्त है जिनके लिए समुच्चय लगाए गए हैं।

गणित

हसरल ने कभी यह दावा नहीं किया कि गणित को समुच्चय सिद्धांत के अतिरिक्त आंशिक-संपूर्ण पर आधारित किया जा सकता है या होना चाहिए। लेस्निविस्की ने जानबूझकर गणित की नींव के रूप में सिद्धांत को स्थापित करने के विकल्प के रूप में अपनी मात्रिकी निकाली, परन्तु विवरण पर कार्य नहीं किया। गुडमैन और डब्ल्यू.वी.ओ. क्वीन (1947) ने व्यक्तियों की गणना का उपयोग करके प्राकृतिक संख्याएं और वास्तविक संख्याएं विकसित करने की कोशिश की, परन्तु ज्यादातर असफल रहे; क्विन ने अपने चयनित लॉजिक लेख्स में उस लेख को दोबारा नहीं छापा। अपने जीवन के अंतिम दशक में प्रकाशित पुस्तकों के अध्यायों की श्रृंखला में, रिचर्ड मिल्टन मार्टिन ने वह कार्य करने की ठानी जिसे गुडमैन और क्वीन ने 30 साल पहले छोड़ दिया था। मात्रविज्ञान में गणित को आधार बनाने के प्रयासों के साथ आवर्ती समस्या यह है कि क्रमबद्ध जोड़ी की समुच्चय-सैद्धांतिक परिभाषाओं से परहेज करते हुए संबंध (गणित) के सिद्धांत का निर्माण कैसे किया जाए। मार्टिन ने तर्क दिया कि एबरले (1970) के संबंधपरक व्यक्तियों के सिद्धांत ने इस समस्या का समाधान किया।

सीमा (टोपोलॉजी) और कनेक्शन की टोपोलॉजी धारणाओं को मेरियोलॉजी से जोड़ा जा सकता है, जिसके परिणामस्वरूप मेरोटोपोलॉजी हो सकती है; कासाती और वर्ज़ी देखें (1999: अध्याय 4,5)। व्हाइटहेड की 1929 प्रक्रिया और वास्तविकता में अनौपचारिक mereotopology का बड़ा भाग सम्मिलित है।

प्राकृतिक भाषा

बंट (1985), प्राकृतिक भाषा के शब्दार्थ का अध्ययन, दिखाता है कि मात्रिक विज्ञान द्रव्यमान संज्ञा | द्रव्यमान-गणना भेद और व्याकरणिक पहलू जैसी घटनाओं को समझने में कैसे मदद कर सकता है. परन्तु निकोलस (2008) का तर्क है कि उस उद्देश्य के लिए बहुवचन परिमाणीकरण नामक अलग तार्किक ढांचे का उपयोग किया जाना चाहिए। इसके अलावा, प्राकृतिक भाषा प्रायः अस्पष्ट तरीकों से कार्य करती है (साइमन्स 1987 इस पर विस्तार से चर्चा करता है). इसलिए, यह स्पष्ट नहीं है कि कैसे, यदि कोई हो, तो कुछ प्राकृतिक भाषा अभिव्यक्तियों को मात्रिक विधेय में अनुवादित किया जा सकता है। ऐसी कठिनाइयों से बचने के लिए मात्र विज्ञान की व्याख्या को गणित और प्राकृतिक विज्ञान तक सीमित करने की आवश्यकता हो सकती है। उदाहरण के लिए, कासाती और वर्ज़ी (1999), मात्रिकी के दायरे को भौतिक वस्तुओं तक सीमित करते हैं।

तत्वमीमान्सा

तत्वमीमान्सा में भागों और पूर्ण से संबंधित कई परेशान करने वाले प्रश्न हैं। प्रश्न संविधान और दृढ़ता को संबोधित करता है, दूसरा रचना के विषय में पूछता है।

मेरियोलॉजिकल संविधान

तत्वमीमान्सा में, मेरियोलॉजिकल संविधान के मामलों से संबंधित कई पहेलियां हैं, यानी, संपूर्ण क्या बनता है। भागों और पूर्ण को लेकर अभी भी चिंता है, परन्तु यह देखने के अतिरिक्त कि कौन से भाग मिलकर संपूर्ण बनाते हैं, बल इस बात पर है कि कोई वस्तु किस चीज से बनी है, जैसे कि उसकी सामग्री, जैसे, कांस्य प्रतिमा में कांस्य। नीचे दो मुख्य पहेलियाँ दी गई हैं जिनका उपयोग दार्शनिक संविधान पर चर्चा करने के लिए करते हैं।

थिसस का जहाज: संक्षेप में, पहेली कुछ इस प्रकार है। जहाज़ है जिसका नाम है शिप ऑफ़ थिसियस. समय के साथ, बोर्ड सड़ने लगते हैं, इसलिए हम बोर्ड हटा देते हैं और उन्हें ढेर में रख देते हैं। पहला सवाल, क्या नए बोर्ड से बना जहाज उसी जहाज के जैसे है जिसमें सभी पुराने बोर्ड लगे थे? दूसरा, यदि हम शिप ऑफ थेसियस के सभी पुराने तख्तों आदि का उपयोग करके जहाज का पुनर्निर्माण करते हैं, और हमारे निकट जहाज भी है जो नए बोर्डों से बनाया गया है (प्रत्येक को पुराने क्षयकारी बोर्डों को बदलने के लिए समय के साथ एक-एक करके जोड़ा जाता है) ), कौन सा जहाज़ असली शिप ऑफ़ थिसस है?

मूर्ति और मिट्टी का ढेला: मोटे तौर पर, मूर्तिकार मिट्टी के ढेर से मूर्ति बनाने का निर्णय लेता है। समय 1 पर मूर्तिकार के निकट मिट्टी का ढेला होता है। समय t2 पर कई जोड़-तोड़ के पश्चात मूर्ति है। पूछा गया प्रश्न यह है कि क्या मिट्टी का ढेला और मूर्ति (संख्यात्मक रूप से) समान हैं? यदि ऐसा है, तो कैसे और क्यों? संविधान में आमतौर पर दृढ़ता पर विचारों के निहितार्थ होते हैं: कोई वस्तु समय के साथ कैसे बनी रहती है यदि उसका कोई भाग (सामग्री) बदल जाता है या हटा दिया जाता है, जैसा कि मनुष्यों की स्थिति में होता है जो कोशिकाएं खो देते हैं, ऊंचाई, बालों का रंग, यादें बदल देते हैं, और फिर भी हम कहा जाता है कि हम आज भी वैसे ही व्यक्ति हैं जैसे हम पहली बार पैदा हुए थे। उदाहरण के लिए, टेड साइडर आज भी वैसा ही है जैसा वह अपने जन्म के समय था—वह बस बदल गया है। परन्तु यह कैसे हो सकता है अगर टेड के आज के कई भाग तब अस्तित्व में नहीं थे जब टेड का जन्म हुआ था? क्या जीवों जैसी वस्तुों का बने रहना संभव है? और यदि हां, तो कैसे? ऐसे कई विचार हैं जो इस प्रश्न का उत्तर देने का प्रयास करते हैं। कुछ विचार इस प्रकार हैं (ध्यान दें, कई अन्य विचार भी हैं): (ए) संविधान का दृष्टिकोण। यह दृष्टिकोण सहवास को स्वीकार करता है। अर्थात्, दो वस्तुएँ बिल्कुल ही पदार्थ साझा करती हैं। यहाँ, यह इस प्रकार है, कि कोई अस्थायी भाग नहीं हैं।

(बी) मेरियोलॉजिकल अनिवार्यता, जो बताता है कि मौजूद एकमात्र वस्तुएं पदार्थ की मात्राएं हैं, जो उनके भागों द्वारा परिभाषित चीजें हैं। यदि पदार्थ हटा दिया जाए (या रूप बदल जाए) तो वस्तु बनी रहती है; परन्तु किसी पदार्थ के नष्ट हो जाने पर वस्तु का अस्तित्व समाप्त हो जाता है।

(सी) प्रमुख प्रकार। यह दृष्टिकोण है कि ट्रेसिंग इस बात से निर्धारित होती है कि कौन सा प्रकार प्रमुख है; वे सहवास को अस्वीकार करते हैं। उदाहरण के लिए, गांठ मूर्ति के बराबर नहीं है क्योंकि वे अलग-अलग प्रकार के होते हैं।

(डी) शून्यवाद - जो दावा करता है कि साधारण वस्तुओं को छोड़कर कोई भी वस्तु मौजूद नहीं है, इसलिए कोई दृढ़ता की समस्या नहीं है।

(ई) चार-आयामीवाद|4-आयामीवाद या लौकिक भाग (अटलवाद या चार-आयामीवाद के नाम से भी जाना जा सकता है), जो मोटे तौर पर बताता है कि लौकिक भागों के समुच्चय घनिष्ठ रूप से संबंधित हैं। उदाहरण के लिए, क्षणिक और स्थानिक रूप से विलीन होने वाली दो सड़कें अभी भी सड़क हैं, क्योंकि वे भाग साझा करती हैं।

(एफ) त्रि-आयामीवाद (इसे एंडुरंटिज्म नाम से भी जाना जा सकता है), जहां वस्तु पूर्ण रूप से मौजूद है। अर्थात्, स्थायी वस्तु संख्यात्मक पहचान बरकरार रखती है।

मात्रिक रचना

एक प्रश्न जो दार्शनिकों द्वारा संबोधित किया जाता है वह यह है कि कौन सा अधिक मौलिक है: भाग, पूर्ण, या कुछ भी नहीं? अन्य महत्वपूर्ण प्रश्न को विशेष संरचना प्रश्न (एससीक्यू) कहा जाता है: किसी भी एक्स के लिए, ऐसा कब होता है कि कोई वाई ऐसा होता है कि एक्स वाई बनाता है? इस प्रश्न ने दार्शनिकों को तीन अलग-अलग दिशाओं में चलने के लिए प्रेरित किया है: शून्यवाद, सार्वभौमिक रचना (यूसी), या उदारवादी दृष्टिकोण (सीमित रचना)। पहले दो विचारों को चरम माना जाता है क्योंकि पहला रचना से मना करता है, और दूसरा किसी और सभी गैर-स्थानिक रूप से अतिव्यापी वस्तुओं को किसी अन्य वस्तु की रचना करने की अनुमति देता है। उदारवादी दृष्टिकोण में कई सिद्धांत सम्मिलित हैं जो रचना को 'नहीं' या अप्रतिबंधित रचना को 'हां' कहे बिना एससीक्यू को समझने की कोशिश करते हैं।

मौलिकता

ऐसे दार्शनिक हैं जो मौलिकता के प्रश्न से चिंतित हैं। अर्थात्, जो भाग या उनके पूर्णांक अधिक मौलिक रूप से मौलिक हैं। इस प्रश्न पर कई प्रतिक्रियाएं हैं, यद्यपि डिफ़ॉल्ट धारणाओं में से यह है कि भाग अधिक मौलिक हैं। अर्थात् संपूर्ण अपने भागों में जमी हुई है। यह मुख्य धारा का दृष्टिकोण है. शेफ़र (2010) द्वारा खोजा गया अन्य दृष्टिकोण अद्वैतवाद है, जहां भाग पूर्ण में आधारित होते हैं। शेफ़र का मतलब सिर्फ यह नहीं है कि, मान लीजिए, जो भाग मेरे शरीर को बनाते हैं वे मेरे शरीर में स्थित हैं। बल्कि, शेफ़र का तर्क है कि संपूर्ण ब्रह्मांड अधिक मौलिक है और बाकी सब कुछ ब्रह्मांड का भाग है। फिर, पहचान सिद्धांत है जो दावा करता है कि भागों और संपूर्णों में कोई पदानुक्रम या मौलिकता नहीं है। इसके अतिरिक्त पूर्ण उनके भाग मात्र (या समकक्ष) हैं। दो-वस्तु दृश्य भी हो सकता है जो कहता है कि पूर्ण भाग भागों के बराबर नहीं हैं - वे संख्यात्मक रूप से दूसरे से भिन्न हैं। इनमें से प्रत्येक सिद्धांत के लाभ और लागतें जुड़ी हुई हैं।

विशेष रचना प्रश्न (एससीक्यू)

दार्शनिक यह जानना चाहते हैं कि कब कुछ X कुछ Y की रचना करते हैं। कई प्रकार की प्रतिक्रियाएँ होती हैं:

• इस प्रश्न के उत्तर को शून्यवाद कहा जाता है। शून्यवाद कहता है कि कोई मात्रिक जटिल वस्तुएँ नहीं हैं (पढ़ें: मिश्रित वस्तुएँ); वहाँ केवल सरल (दर्शन) हैं। शून्यवादी रचना को पूर्ण रूप से अस्वीकार नहीं करते हैं क्योंकि वे सोचते हैं कि सरल लोग स्वयं रचना करते हैं, परन्तु यह अलग बात है। अधिक औपचारिक रूप से शून्यवादी कहेंगे: आवश्यक रूप से, किसी भी गैर-अतिव्यापी Xs के लिए, Xs से बना ऑब्जेक्ट होता है यदि और केवल यदि Xs में से केवल ही होता है। यद्यपि इस सिद्धांत की ठीक रूप से खोज की गई है, फिर भी इसकी अपनी समस्याएँ हैं। जिनमें से कुछ में सम्मिलित हैं, परन्तु इन्हीं तक सीमित नहीं हैं: अनुभव और सामान्य ज्ञान, परमाणु रहित गंक के साथ असंगत, और यह अंतरिक्ष-समय भौतिकी द्वारा समर्थित नहीं है।*एक अन्य प्रमुख प्रतिक्रिया को सार्वभौमिक रचना (यूसी) कहा जाता है। यूसी का कहना है कि जब तक एक्स स्थानिक रूप से ओवरलैप नहीं होता है, तब तक एक्स जटिल वस्तु बना सकता है। सार्वभौमिक रचनाकार वे भी माने जाते हैं जो अप्रतिबंधित रचना का समर्थन करते हैं। अधिक औपचारिक रूप से: आवश्यक रूप से, किसी भी गैर-अतिव्यापी Xs के लिए, Y होता है जैसे कि Y, Xs से बना होता है। उदाहरण के लिए, किसी का बायां अंगूठा, किसी अन्य व्यक्ति के दाहिने जूते का ऊपरी भाग और उनकी आकाशगंगा के केंद्र में क्वार्क सार्वभौमिक संरचना के अनुसार जटिल वस्तु की रचना कर सकता है। इसी प्रकार, इस सिद्धांत में भी कुछ मुद्दे हैं, उनमें से अधिकांश हमारे अनुभवों से संबंधित हैं कि ये बेतरतीब ढंग से चुने गए भाग जटिल संपूर्ण बनाते हैं और हमारी ऑन्कोलॉजी में बहुत सारी वस्तुएं मौजूद हैं।
• तीसरी प्रतिक्रिया (शायद पिछले दो की तुलना में कम खोजी गई) में प्रतिबंधित रचना दृश्यों की श्रृंखला सम्मिलित है। यद्यपि कई विचार हैं, वे सभी समान विचार साझा करते हैं: कि जटिल वस्तु के रूप में क्या गिना जाता है उस पर प्रतिबंध है: कुछ (परन्तु सभी नहीं) एक्स जटिल वाई बनाने के लिए साथ आते हैं। इनमें से कुछ सिद्धांतों में सम्मिलित हैं:

(ए) संपर्क - एक्स जटिल वाई बनाते हैं यदि और केवल तभी जब एक्स संपर्क में हों;

(बी) बन्धन - एक्स जटिल वाई बनाते हैं यदि और केवल यदि एक्स को बांधा जाता है;

(सी) सामंजस्य - एक्स जटिल वाई बनाते हैं यदि और केवल यदि एक्स साथ हों (बिना तोड़े दूसरे के संबंध में अलग नहीं किया जा सकता है या स्थानांतरित नहीं किया जा सकता है);

(डी) फ्यूजन - एक्स जटिल वाई बनाते हैं यदि और केवल यदि एक्स फ्यूज हो जाते हैं (फ्यूजन तब होता है जब एक्स साथ जुड़ जाते हैं जैसे कि कोई सीमा नहीं होती है);

(ई) जीववाद - एक्स जटिल वाई की रचना करता है यदि और केवल यदि एक्स की गतिविधियों से जीवन बनता है या एक्स में से केवल ही है;और

(एफ) क्रूर रचना- यह चीजें ऐसी ही हैं। इसका कोई सच्चा, गैर-तुच्छ और निश्चित रूप से लंबा उत्तर नहीं है। यह विस्तृत सूची नहीं है क्योंकि कई और परिकल्पनाओं की खोज जारी है। यद्यपि, इन सिद्धांतों के साथ आम समस्या यह है कि वे अस्पष्ट हैं। उदाहरण के लिए, यह स्पष्ट नहीं है कि बन्धन या जीवन का क्या अर्थ है। परन्तु प्रतिबंधित रचना प्रतिक्रियाओं के भीतर कई अन्य मुद्दे भी हैं - यद्यपि उनमें से कई इस विषय पर हैं कि किस सिद्धांत पर चर्चा की जा रही है।

• चौथी प्रतिक्रिया को अपस्फीतिवाद कहा जाता है। अपस्फीतिवाद बताता है कि अस्तित्व शब्द का उपयोग कैसे किया जाता है, इस पर भिन्नता है, और इस प्रकार एससीक्यू के उपरोक्त सभी उत्तर अस्तित्व के अनुकूल अर्थ में अनुक्रमित होने पर सही हो सकते हैं। इसके अलावा, ऐसा कोई विशेषाधिकार प्राप्त तरीका नहीं है जिसमें अस्तित्व शब्द का उपयोग किया जाना चाहिए। इसलिए SCQ का कोई विशेषाधिकार प्राप्त उत्तर नहीं है, क्योंकि जब इस प्रकार, एससीक्यू सामान्य ऑन्कोलॉजिकल यथार्थवाद और यथार्थवाद-विरोधी में बड़ी बहस का भाग है। जबकि अपस्फीतिवाद SCQ से सफलतापूर्वक बचता है, यह समस्याओं से रहित नहीं है। यह ऑन्टोलॉजिकल एंटी-यथार्थवाद की कीमत के साथ आता है जैसे कि प्रकृति में कोई वस्तुनिष्ठ वास्तविकता नहीं है। क्योंकि, यदि वस्तुओं के अस्तित्व की निष्पक्ष पुष्टि करने का कोई विशेषाधिकार प्राप्त तरीका नहीं है, तो प्रकृति में भी कोई निष्पक्षता नहीं होनी चाहिए।

महत्वपूर्ण सर्वेक्षण

सिमंस (1987) और कासाती और वर्ज़ी (1999) की किताबें अपनी खूबियों में भिन्न हैं:

• साइमन्स (1987) मेरियोलॉजी को मुख्य रूप से ऑन्कोलॉजी और तत्वमीमान्सा को औपचारिक बनाने के तरीके के रूप में देखते हैं। उनकी शक्तियों में मेरियोलॉजी और के बीच संबंध सम्मिलित हैं:
  • स्टैनिस्लाव लेस्निविस्की और उनके वंशजों का कार्य
  • विभिन्न महाद्वीपीय दार्शनिक, विशेषकर एडमंड हुसरल
  • समकालीन अंग्रेजी बोलने वाले तकनीकी दार्शनिक जैसे किट ठीक है और रोडेरिक चिशोल्म
  • औपचारिक ऑन्कोलॉजी और तत्वमीमान्सा पर वर्तमान कार्य, जिसमें निरंतरता, घटना, वर्ग संज्ञा, द्रव्यमान संज्ञा और ऑन्टोलॉजिकल निर्भरता और अखंडता सम्मिलित है
  • पृष्ठभूमि तर्क के रूप में निःशुल्क तर्क
  • तनावपूर्ण तर्क और मोडल तर्क के साथ मेरियोलॉजी का विस्तार
  • बूलियन बीजगणित (संरचना) और जाली सिद्धांत।
• कासाती और वर्ज़ी (1999) मेरोलॉजी को मुख्य रूप से भौतिक दुनिया को समझने और मनुष्य इसके साथ कैसे बातचीत करते हैं, इसे समझने के तरीके के रूप में देखते हैं। उनकी शक्तियों में मेरियोलॉजी और के बीच संबंध सम्मिलित हैं:
  • भौतिक वस्तुओं के लिए आद्य-ज्यामिति
  • टोपोलॉजी और मेरियोटोपोलॉजी, विशेष रूप से सीमा (टोपोलॉजी), क्षेत्र और छेद
  • घटनाओं का औपचारिक सिद्धांत
  • सैद्धांतिक कंप्यूटर विज्ञान
  • अल्फ्रेड नॉर्थ व्हाइटहेड का लेखन, विशेष रूप से उनकी प्रक्रिया और वास्तविकता और कार्य उसी से उत्पन्न हुए।

सिमंस ऐतिहासिक संकेतन को स्पष्ट करने के लिए काफी प्रयास करते हैं। कासाती और वर्ज़ी के अंकन का प्रयोग प्रायः किया जाता है। दोनों पुस्तकों में उत्कृष्ट ग्रंथ सूची सम्मिलित है। इन कार्यों में होव्डा (2008) को जोड़ा जाना चाहिए, जो मेरियोलॉजी के स्वयंसिद्धीकरण पर कला की नवीनतम स्थिति प्रस्तुत करता है।

यह भी देखें

• गंक (मेरियोलॉजी)
• डेविड बोहम के अनुसार आदेश को लागू करें और व्याख्या करें
• फॉर्म के नियम जी. स्पेंसर-ब्राउन द्वारा
• मेरियोलॉजिकल अनिवार्यतावाद
• मात्रिक शून्यवाद
• मेरियोटोपोलॉजी
• मेरोनॉमी
• मेरोनिमी
• मोनाड (दर्शन)
• बहुवचन परिमाणीकरण
• परिमाणक विचरण
• सरल (दर्शन)
• व्हाइटहेड की बिंदु-मुक्त ज्यामिति
• रचना (वस्तुएँ)

स्रोत

• बोडेन, कीथ, 1991। पदानुक्रमिक टियरिंग: पद्धति अपघटन के लिए कुशल होलोग्राफिक एल्गोरिदम, इंट। जे. जनरल पद्धति्स, वॉल्यूम. 24(1), पीपी 23-38।
• बोडेन, कीथ, 1998. ह्यूजेन्स सिद्धांत, भौतिकी और कंप्यूटर। इंट. जे. जनरल पद्धति्स, वॉल्यूम. 27(1-3), पृ. 9-32.
• बंट, हैरी, 1985। मास टर्म्स और मॉडल-सैद्धांतिक शब्दार्थ। कैम्ब्रिज विश्वविद्यालय. प्रेस।
• जॉन पी. बर्गेस|बर्गेस, जॉन पी., और गिदोन रोसेन|रोसेन, गिदोन, 1997। बिना किसी वस्तु वाला विषय। ऑक्सफ़ोर्ड विश्वविद्यालय. प्रेस।
• बर्कहार्ट, एच., और डुफोर, सी.ए., 1991, भाग/संपूर्ण I: बर्कहार्ट, एच., और स्मिथ, बी., संस्करण में इतिहास, मेटाफिजिक्स और ओन्टोलॉजी की हैंडबुक। मुएनचेन: फिलोसोफिया वेरलाग।
• कैसाती, रॉबर्टो, और अकिल वरजी (दार्शनिक)|वरजी, अकिल सी., 1999। भाग और स्थान: स्थानिक प्रतिनिधित्व की संरचनाएं। एमआईटी प्रेस.
• कोटनोइर, ए. जे., और अचिल वर्ज़ी (दार्शनिक)|वरज़ी, अचिल सी., 2021, मेरियोलॉजी, ऑक्सफ़ोर्ड यूनिवर्सिटी प्रेस।
• एबरले, रॉल्फ, 1970. नाममात्र प्रणाली। क्लूवर.
• एटर, टॉम, 1996। टोफोली टी. एट अल में मेरियोलॉजी की शाखा के रूप में क्वांटम मैकेनिक्स, PHYSCOMP96, भौतिकी और संगणना पर चौथी कार्यशाला की कार्यवाही, न्यू इंग्लैंड कॉम्प्लेक्स पद्धति इंस्टीट्यूट।
• एटर, टॉम, 1998. प्रक्रिया, प्रणाली, कारणता और क्वांटम यांत्रिकी। एसएलएसी-पब-7890, स्टैनफोर्ड लीनियर एक्सेलेरेटर सेंटर।
• पीटर फॉरेस्ट (दार्शनिक)|फॉरेस्ट, पीटर, 2002, गैरक्लासिकल मेरियोलॉजी और समुच्चय पर इसका अनुप्रयोग, नोट्रे डेम जर्नल ऑफ़ फॉर्मल लॉजिक 43: 79-94।
• गेर्ला, जियानगियाकोमो, (1995)। पॉइंटलेस ज्योमेट्रीज़, ब्यूकेनहौट, एफ. में, कांटोर, डब्ल्यू. एड., हैंडबुक ऑफ़ इंसीडेंस ज्योमेट्री: बिल्डिंग्स एंड फ़ाउंडेशन्स। उत्तर-हॉलैंड: 1015-31।
• नेल्सन गुडमैन|गुडमैन, नेल्सन, 1977 (1951)। उपस्थिति की संरचना. क्लूवर.
• नेल्सन गुडमैन|गुडमैन, नेल्सन, और विलार्ड क्विन|क्विन, विलार्ड, 1947, रचनात्मक नाममात्रवाद की ओर कदम, जर्नल ऑफ सिम्बोलिक लॉजिक 12: 97-122।
• ग्रुस्ज़्ज़िंस्की, आर., और पिएट्रस्ज़कज़क, ए., 2008, टार्स्की की ठोसों की ज्यामिति का पूर्ण विकास, बुलेटिन ऑफ़ प्रतीकात्मक तर्क 14: 481-540। लेस्निविस्की की मेरियोलॉजी पर आधारित ज्यामिति की प्रणाली, मेरियोलॉजिकल संरचनाओं के मूलभूत गुणों के साथ।
• होव्डा, पॉल, 2008, शास्त्रीय मेरियोलॉजी क्या है? जर्नल ऑफ फिलॉसॉफिकल लॉजिक 38(1): 55-82।
• एडमंड हुसेरल|हुसेरल, एडमंड, 1970. तार्किक जांच, वॉल्यूम। 2. फाइंडले, जे.एन., ट्रांस। रूटलेज।
• क्रोन, गेब्रियल, 1963, डायकोप्टिक्स: द पीसवाइज़ सॉल्यूशन ऑफ़ लार्ज स्केल पद्धति्स। मैकडोनाल्ड, लंदन।
• डेविड लुईस (दार्शनिक)|लुईस, डेविड के., 1991। कक्षाओं के भाग। ब्लैकवेल.
• लियोनार्ड, एच.एस., और नेल्सन गुडमैन|गुडमैन, नेल्सन, 1940, व्यक्तियों की गणना और इसके उपयोग, जर्नल ऑफ़ सिम्बोलिक लॉजिक 5: 45-55।
• स्टैनिस्लाव लेस्निविस्की|लेस्निविस्की, स्टैनिस्लाव, 1992. एकत्रित कार्य। सूरमा, एस.जे., श्रीज़ेडनिकी, जे.टी., बार्नेट, डी.आई., और रिकी, वी.एफ., संपादक और अनुवादक। क्लूवर.
• जॉन लुकास (दार्शनिक)|लुकास, जे.आर., 2000. गणित की संकल्पनात्मक जड़ें। रूटलेज। चौ. 9.12 और 10 मेरियोलॉजी, मेरियोटोपोलॉजी और ए.एन. के संबंधित सिद्धांतों पर चर्चा करते हैं। व्हाइटहेड, सभी डेविड बोस्टॉक (दार्शनिक) के अप्रकाशित लेखन से काफी प्रभावित थे।
• मेसारोविक, एम.डी., मैको, डी., और ताकाहारा, वाई., 1970, मल्टीलेवल, पदानुक्रमित प्रणालियों का सिद्धांत। अकादमिक प्रेस.
• निकोलस, डेविड, 2008, द्रव्यवाचक संज्ञा और बहुवचन तर्क , भाषा विज्ञान और दर्शन 31(2): 211-44।
• पिएत्रुस्ज़क, आंद्रेज, 1996, वितरण वर्गों के मेरियोलॉजिकल समुच्चय, तर्क और तार्किक दर्शन 4: 105-22। मेरोलॉजी का उपयोग करके निर्माण करता है,निर्धारित सैद्धांतिक कक्षाओं से गणितीय इकाइयाँ।
• पिएत्रुस्ज़क, आंद्रेज, 2005, मेरियोलॉजी के टुकड़े, तर्क और तार्किक दर्शन 14: 211-34। लेस्निविस्की की मेरियोलॉजी के मूलभूत गणितीय गुण।
• पिएत्रुस्ज़क, आंद्रेज, 2018, मेटामेरोलॉजी, निकोलस कोपरनिकस यूनिवर्सिटी साइंटिफिक पब्लिशिंग हाउस।
• पॉटर, माइकल, 2004. समुच्चय थ्योरी एंड इट्स फिलॉसफी। ऑक्सफ़ोर्ड विश्वविद्यालय. प्रेस।
• पीटर सिमंस (अकादमिक)|साइमन, पीटर, 1987 (पुनःमुद्रित 2000)। भाग: तात्विकी में अध्ययन। ऑक्सफ़ोर्ड विश्वविद्यालय. प्रेस।
• श्रीज़ेडनिकी, जे. टी. जे., और रिकी, वी. एफ., संस्करण, 1984. लेस्निविस्की पद्धति: ओन्टोलॉजी और मेरोलॉजी। क्लूवर.
• अल्फ्रेड टार्स्की|टार्स्की, अल्फ्रेड, 1984 (1956), फ़ाउंडेशन ऑफ़ द ज्योमेट्री ऑफ़ सॉलिड्स इन हिज़ लॉजिक, सिमेंटिक्स, मेटामैथेमेटिक्स: लेख्स 1923-38। वुडगर, जे., और कोरकोरन, जे., सं. और ट्रांस. हैकेट.
• अकिल वरजी (दार्शनिक) | वरजी, अकिल सी., 2007, स्थानिक तर्क और तात्विकी: भाग, संपूर्ण और स्थान ऐएलो, एम में और अन्य, संपा., स्थानिक तर्कशास्त्र की पुस्तिका। स्प्रिंगर-वेरलाग: 945-1038।
• ए.एन. व्हाइटहेड|व्हाइटहेड, ए.एन., 1916, ला थियोरी रिलेशनिस्ट डे ल'एस्पेस, रिव्यू डी मेटाफिजिक एट डी मोराले 23: 423-454। हर्ले, पी.जे., 1979 के रूप में अनुवादित, अंतरिक्ष का संबंधपरक सिद्धांत, दर्शन अनुसंधान अभिलेखागार 5: 712-741।
• ------, 1919. प्राकृतिक ज्ञान के सिद्धांतों के संबंध में जांच। कैम्ब्रिज विश्वविद्यालय. प्रेस। दूसरा संस्करण, 1925।
• ------, 1920. प्रकृति की अवधारणा। कैम्ब्रिज विश्वविद्यालय. प्रेस। 2004 लेखबैक, प्रोमेथियस बुक्स। 1919 में कैम्ब्रिज के ट्रिनिटी कॉलेज में टार्नर व्याख्यान दिया गया।
• ------, 1978 (1929)। प्रक्रिया और वास्तविकता. फ़ी प्रेस।
• जोसेफ हेनरी वुडगर|वुडगर, जे.एच., 1937। जीव विज्ञान में स्वयंसिद्ध विधि। कैम्ब्रिज विश्वविद्यालय. प्रेस।

बाहरी संबंध

• The dictionary definition of मेरियोलॉजी at Wiktionary
• Media related to मेरियोलॉजी at Wikimedia Commons
• Internet Encyclopedia of Philosophy:
  • "Material Composition" – David Cornell
• Stanford Encyclopedia of Philosophy:
  • "Mereology" – Achille Varzi
  • "Boundary" – Achille Varzi