मेरियोलॉजी

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

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

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

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