ⓘ मुक्त ज्ञानकोश. क्या आप जानते हैं? पृष्ठ 218




                                               

Regressus विज्ञापन इन्फिनिटी

Regressus विज्ञापन इन्फिनिटी – एक अंतहीन श्रृंखला या पिछड़े कदम, सोच के साथ जुड़े परिभाषा uzasadnianiem या समझ । एक क्लासिक उदाहरण के एक regressus विज्ञापन इन्फिनिटी की व्याख्या है अवधारणाओं. का अर्थ समझाने के लिए, "घर", वे कर सकते हैं का वर्णन अ ...

                                               

नियम dedukcyjna

शासन dedukcyjna भी inferencyjną नियम के रूप में, शासन के आदेश को सही कर रहे हैं के लिए अपने सिस्टम निगमनात्मक तर्क, एक नियम स्वीकार करने के लिए प्रस्तावों के आधार पर वर्तमान प्रस्तावों के साथ एक विशिष्ट संरचना पहले से जाना जाता है । एक संरचनात्मक ...

                                               

एक नियम के कम अच्छी तरह से

शासन को कम अच्छी तरह से शासन का आदेश है कि अगर हम सच्चाई को पहचान अच्छी तरह से?∧?, {\displaystyle \alpha \भूमि \बीटा}, तो हमें यह भी समझना चाहिए, प्रत्येक के pojedycznych तत्वों के साथ यह अच्छी तरह से, यह क्या है? {\displaystyle \alpha } और? {\di ...

                                               

नियम लुक

शासन के प्रतिस्थापन, कानून के लाइबनिट्स – मानदंडों में से एक के ekstensjonalności. वह क्या कहते हैं के बारे में गुणों में से कुछ के विभिन्न भाव से संबंधित करने के लिए एक ही बात है । अर्थात्, पूर्व शर्त x = y और कुल्हाड़ी से यह निष्कर्ष निकाला जा ...

                                               

निर्माण के नियम

हम ई {\displaystyle ई} किसी भी सेट. एक नियम के अनुमान में ई {\displaystyle ई} एक मनमाना संबंध आर ⊆ ℘ ई × ई {\displaystyle r\subseteq \wp ई\बार ई} के लिए जो ∅ ∉ डीएम आर. {\displaystyle \emptyset \नहीं है \में {\बिट्स {डीएम}}आर.} अगर आर {\displayst ...

                                               

एक नियम के रूप में, एक स्वयंसिद्ध

एक नियम के रूप में, एक स्वयंसिद्ध - एक नियम के रूप में, विशिष्ट भाषा वाक्य एक शोध के रूप में, की परवाह किए बिना तार्किक मानों के किसी भी अन्य वाक्यों में शामिल एक ही भाषा है । उनके विपरीत कर रहे हैं आमतौर पर inferencyjne.

                                               

की एक किस्म (पारंपरिक तर्क)

विविधता, विविधता है एक अवधारणा के क्षेत्र से पारंपरिक तर्क है. किस्म है nietożsamość प्रजातियों. धारणा की विविधता से मेल खाती है, अवधारणाओं के अंतर के लिए दुर्लभ प्रजाति है, जो nietożsamością प्रजाति के रूप में के रूप में अच्छी तरह से अलगाव है, ज ...

                                               

तर्क

तर्क – एक सोचा था कि प्रक्रिया के आधार पर मान्यता की वास्तविक धारणा है या राय के अनुसार अन्य विश्वासों या विचारों के एक मान्यता प्राप्त अचल पहले. में बोलचाल की भावना तर्क सही है, तो तर्कों की आवश्यकता होती है कि आवेदन के तर्क के नियमों, और यह भी ...

                                               

तर्क abdukcyjne

तर्क abdukcyjne, abdukcja – से ली गई एक अवधारणा के दर्शन चार्ल्स पियर्स बनाया निरूपित करने के लिए बनाने की प्रक्रिया के स्पष्टीकरण; प्रक्रिया के तर्क, जो के लिए एक निश्चित सेट के तथ्यों बनाता है सबसे अधिक संभावना विवरण. Abdukcja शब्द का कभी कभी प ...

                                               

तार्किक तर्क

सरल कटौती है, तर्क, तर्क, के प्रयोजन के लिए आ रहा है एक निष्कर्ष के आधार पर पहले से बनाई गई सेट की मान्यताओं. निगमनात्मक तर्क के विपरीत, प्रेरण तर्क पूरी तरह से है में निहित उनकी मान्यताओं, कि है, की आवश्यकता नहीं है निर्माण के नए दावे या अवधारणा ...

                                               

आगमनात्मक तर्क

प्रेरण प्रकार तर्क कहा जाता है reductive तर्क "से विशिष्ट करने के लिए सामान्य", है कि इस निष्कर्ष की सच्चाई के बारे में सच्चाई का परिणाम है, और इस प्रकार के प्रेरण तुलना में अधिक जटिल है सरल प्रेरण enumeracyjną अधूरा तर्क हैं निगमनात्मक. इसके विप ...

                                               

तर्क में कमी

तर्क सकर्मक – ग्रस्त जनवरी Lukasiewicz तर्क प्रकार तर्क. अनुसार Lukasiewicz करने के लिए, विधियों के नेतृत्व में विभाजित किया जा सकता निगमनात्मक और क्षणिक. आगमनात्मक तर्क है, जो अधिकांश लेखकों का विरोध करने के लिए कटौती का उपयोग कर, Lukasiewicz के ...

                                               

अंतर (तर्क)

में अंतर का तर्क पारंपरिक – सुविधा का विषय है, और porównywanego के साथ वस्तु बी, वस्तु बी है. पारंपरिक तर्क है साझा करने के लिए अंतर को समझने के मतभेद के गुणात्मक और मात्रात्मक मतभेद हैं । मौलिक अंतर है करने के लिए विरोध की अवधारणाओं समानता, पहचा ...

                                               

अदालत में (तर्क)

में अदालत की भावना, तार्किक अर्थ का तो वाक्य के अर्थ में तर्क. अदालत से मेल खाती है, विभिन्न प्रस्तावों के साथ एक ही अर्थ है, जो तार्किक है । से अदालतों के अर्थ में तार्किक है द्वारा प्रतिष्ठित कोर्ट में मनोवैज्ञानिक भावना, अनुभव कर रहे हैं, उचित ...

                                               

योजना का गठन

स्कीमा के तर्क, योजना inferencyjny प्रणाली की अभिव्यक्ति, बढ़ती के साथ एक जगह करने के लिए अनुरोध, के रूप में यह मान्यताओं और बयानों चर zdaniowymi. इस योजना के गठन का निर्धारण कर सकते हैं ठीक कैसे एक जोड़ी के रूप में, जहां एक्स किसी भी लगातार और ए ...

                                               

Soryt (तर्क)

Soryt – सर्किट के लघु sylogizmów में जो परिणाम के बारे में सोच से एक प्रारंभिक sylogizmów कर रहे हैं मैदान की वापसी के लिए आगे sylogizmów.

                                               

की जाँच करें

जाँच भी konfirmacja के मुख्य किस्मों के तर्क के पास गठन, प्रबंधन और स्पष्टीकरण. जांच में Ajdukiewiczem को परिभाषित करने के लिए एक अवधारणा है – एक प्रस्ताव है, उदाहरण के लिए, वाक्य "एक है बी" है एक समस्या को हल पाता है कि अपने मौखिक अभिव्यक्ति में ...

                                               

विरोधाभास (तार्किक वर्ग)

के विरोधाभास में से एक है तार्किक कनेक्शन, तार्किक, जो वर्ग के बीच होते हैं वाक्य. वाक्य एक दूसरे के विरोध अगर एक एक प्रत्यक्ष निषेध कर रहे हैं । दो वाक्यों के खिलाफ है कि एक होना चाहिए सच है और दूसरा गलत । अलग विरोधाभास से अन्य मूल्यों की तार्कि ...

                                               

चीजों के राज्य

इस स्थिति में असली है या संभव के संबंध वस्तुओं, अर्थ नक्शे प्रदान करता है, समझदार है. बातें जगह लेता है कि एक तथ्य है । स्थिति है कि हो सकता है: वहाँ कुछ घटना में जगह लेता है एक प्रक्रिया है । निर्दिष्ट वस्तु P के दौरान एक निश्चित समय अंतराल में ...

                                               

न्याय

न्याय – योजना के गठन के आधार पर दो परिसर है, जिसमें एक आम तत्व है, और प्रत्येक तत्व के बयान शामिल हैं, वास्तव में, एक आधार है.

                                               

हार्ड लोगो

हार्ड लोगो में मोडल तर्क शब्द desygnuje एक और एक ही वस्तु में सभी संभव दुनिया में जो कि ऑब्जेक्ट मौजूद है. इस अभिव्यक्ति निर्धारित किया गया था पहली बार के लिए, शाऊल Kripke की पुस्तक "नामकरण और आवश्यकता". Kripke का मानना है कि नाम कठोर कर रहे हैं ...

                                               

शांति संभव है

शांति में संभव है तर्क है, और मॉडल. जिस तरह से चीजें लग सकता है. अधिक संक्षेप में: संभव दुनिया है एक पूरा या सबसे अच्छा संभव चीजों के राज्य, जहां पूर्णता परिभाषित किया जा सकता है के रूप में इस प्रकार है: हमें लगता है कि चीजों के राज्य एस शामिल एक ...

                                               

Tautologia (तर्क)

Tautologia – अभिव्यक्ति है कि हमेशा सच है. में तार्किक समझ में इस्तेमाल किया गया था पहली बार के लिए के तहत लुई Wittgensteina Tractatus logico-philosophicus 1922. तो सब ठीक समझा tautologiami शास्त्रीय खाते और खाते के परिमाणकों. यह नहीं निकलता परिभ ...

                                               

सिद्धांत deskrypcji

सिद्धांत deskrypcji है, विशेष रूप से, इस सिद्धांत की प्रस्तुति के प्रस्तावों से युक्त deskrypcję कुछ – कि है, इन के नाम जो विषय बन सकता है और सजा के रूप में "एक है बी" और इरादे के अध्यक्ष है के लिए संबंधित करने के लिए एक विषय है), उदाहरण के लिए: ...

                                               

सिद्धांत के नाम

के सिद्धांत के नाम – विभाजन की औपचारिक तर्क सहित, एक तर्क सर्किट के गठन, जिसमें चर होते हैं nazwowe और funktory zdaniotwórcze से तर्क nazwowych; अध्ययन संरचना और संरचना के सरल वाक्य से युक्त नाम है । में शास्त्रीय दृष्टिकोण, वहाँ रहे हैं चार प्रस ...

                                               

थीसिस

थीसिस – एक बयान है जो औचित्य. गणितीय संदर्भ में, इस भाग के प्रमेय आप को साबित करना चाहते हैं, के आधार पर स्वीकार किए जाते हैं धारणा है. थीसिस के रूप में एक दार्शनिक अवधारणा से संबंधित है, द्वंद्ववाद की हेगेल designates के पहले तत्व के त्रय हेगेल, ...

                                               

Topika

Topika – अध्ययन करता है कि विज्ञान wynajdywaniem, विश्लेषण, वर्गीकरण और आवेदन toposów है कि आम इस्तेमाल में विवाद या refutacji में बयान या विचार विमर्श. यह माना जाता है अनुशासन की बयानबाजी और द्वंद्ववाद, और कभी कभी भी साहित्यिक सिद्धांत, तर्क शास ...

                                               

पहचान (तर्क)

पहचान, पहचान में तर्क: के संबंध में है कि हर बात के साथ ही है । दो बातें एक दूसरे के साथ मेल खाना अगर और केवल अगर, जब एक ही हैं । उदाहरण के लिए, Fosforos और Hesperos एक दूसरे के समान – इन नामों में से प्रत्येक से मुश्किल है लोगो के ग्रह शुक्र है. ...

                                               

प्रणाली के दावों को बंद कर दिया

इस प्रणाली का दावा है बंद कर दिया – प्रणाली का दावा है, जो में: मान्यताओं के प्रमेय निकास सभी संभावनाओं थीसिस अनुमोदन परस्पर अनन्य हैं टी 1, टी 2, टी 3., T-n – प्रमेय पी 1, पी 2 पी 3., p n – बेस क्यू 1, क्यू 2, क्यू 3., क्यू एन – सार

                                               

औचित्य

औचित्य इस दृश्य के लिए सेट है, के अधिकारों या विश्वास है कि समर्थन देखने के इस बिंदु. का चयन करें औचित्य epistemiczne दार्शनिक, व्यावहारिक या धार्मिक. दर्शन में वहाँ विभिन्न प्रकार के और सिद्धांतों के औचित्य के लिए इसकी आवश्यकता है या वैधता. औचित ...

                                               

शर्त

के लिए एक आवश्यक शर्त निष्कर्ष से उत्पन्न होने वाले इस तथ्य है । अगर तथ्य यह है करने के लिए किया जा करने के लिए, की वजह से तथ्य यह है कि एक बयान है. उदाहरण के लिए: यदि एक संख्या के द्वारा विभाज्य 15 है, तो अपने पिछले अंक है 0 या 5. - यह स्पष्ट है ...

                                               

एक पर्याप्त शर्त

एक पर्याप्त शर्त – एक शर्त से जो तथ्य इस प्रकार है. अगर हालत पर्याप्त होता है, तो वहाँ इस तथ्य है । उदाहरण के लिए, यदि एक संख्या के द्वारा विभाज्य है 10, फिर से विभाजित 5. तथ्य यह विभाज्यता के 10 से अधिक है, यह एक पर्याप्त शर्त के लिए विभाज्यता 5 ...

                                               

संपत्ति (दर्शन)

में गुण एक संकीर्ण अर्थ, पर्याय सुविधाएँ. एक व्यापक अर्थ में, हर शब्द है कि बकाया विषय के लिए: इस प्रकार, यह आवश्यक है समझने के लिए गुण, प्रकार के गुण है ।

                                               

उत्सर्जन

इस निष्कर्ष में से एक है मुख्य किस्मों के तर्क के आगे की जाँच के लिए आदेश और स्पष्टीकरण. निष्कर्ष के लिए Casimir Ajdukiewiczem – इतना तो है कि के आधार पर पहले से जाना जाता है-प्रस्तावों के जहाजों तक पहुँचने के लिए नई मान्यता है अभी भी मान्यता प्र ...

                                               

उत्सर्जन entymematyczne

निष्कर्ष entymematyczne भी entymemat या entymem – इस निगमनात्मक तर्क, जिसमें वह छिपा हुआ था, एक किसी और चीज की. उत्पादन में, जो छोड़े गए कुछ आप अंतरिक्ष की जरूरत है, निष्कर्ष का पालन नहीं करता है तार्किक रूप से अच्छी तरह से किसी और चीज में से लिय ...

                                               

स्पष्टीकरण

स्पष्टीकरण में से एक है सबसे प्रसिद्ध किस्मों के तर्क के पास गठन, प्रबंधन, और सत्यापन. समझा, यह भी कहा जाता अनुवाद के लिए कार्य किया है, जो संकेत की शक्ति है, जो पता चला है कि अमेरिका ने प्रस्ताव. अन्य शब्दों में, विवरण में निहित है के सवाल का जव ...

                                               

पहचान करने के लिए तार्किक

सूत्र zdaniowa और rst-क्रम में भाषा एल है एक तार्किक परिणाम के सेट के सूत्र वाक्य के एक्स की भाषा एल wtw मौजूद है: के लिए हर व्याख्या मीटर की भाषा एल: यदि सभी फार्मूले के सेट से एक्स के लिए सच में व्याख्या मीटर है, तो सूत्र एक सच है की व्याख्या. ...

                                               

बयान शक्ति

कह रही है शक्ति में मोडल तर्क बयान के साथ निर्माण किया है funktora मोडल "चाहिए" पर की आवश्यकता है और तर्क के रूप में राय या अपने इनकार. उदाहरण: क्राको की राजधानी होना चाहिए । मोडल बयान नहीं कर रहे हैं वाक्य में तार्किक समझ में आता है, क्योंकि आप ...

                                               

बयान में समस्याग्रस्त है

बयान में समस्याग्रस्त है मोडल तर्क बयान के साथ निर्माण किया है funktora मोडल कर सकते हैं, साबित करने के लिए एक संभावना है और तर्क के रूप में राय या अपने इनकार. उदाहरण: जॉन स्मिथ सही हो सकता है. मोडल बयान नहीं कर रहे हैं वाक्य में तार्किक समझ में ...

                                               

सिद्धांत ekstensjonalności

सिद्धांत ekstensjonalności अंत के व्यवहार योजना के प्रस्तावों की कीमत अपने मूल मूल्य तार्किक के उद्भव के बावजूद, एक नंबर के परिवर्तनों की एक ही योजना की जगह से, कुछ या सभी तत्वों के नेन ही, रचना के अन्य तत्वों.

                                               

सिद्धांत की पहचान

सिद्धांत की पहचान, पहचान सिद्धांत रूप में, सापेक्ष जीवन के सिद्धांत है, जो राज्यों है कि सभी अस्तित्व है बना दिया है कि पहली बार के लिए Parmenidesa. कानून की पहेली के रूप में शास्त्रीय पथरी वाक्य głoszące कि पी ⟺ p {\displaystyle p\Longleftrighta ...

                                               

सिद्धांत की उदारता

के सिद्धांत उदारता – धारणा है कि पाठ की व्याख्या करने के लिए है स्वीकार करते हैं कि इस पाठ तर्कसंगत नहीं है. व्याख्या करने की कोशिश करनी चाहिए यह विश्लेषण करने के लिए और अधिक के लिए बेहतर पाठ के लेखक या बयान इस प्रकार है । मुख्य लाभ के सिद्धांत क ...

                                               

वाक्यांश अस्तित्व

पेशकश अस्तित्व के प्रस्ताव को रिपोर्ट करता है, जो के अस्तित्व के बारे में बात, व्यक्ति या घटना कुछ निश्चित परिस्थितियों में. अलग-अलग भाषाओं में विभिन्न संरचनाओं की; पेश किया जा सकता है एक विशेष डिजाइन के साथ की तरह, उदाहरण के लिए, अंग्रेजी भाषा म ...

                                               

वाक्यांश काल्पनिक

काल्पनिक राय - एक शब्द के प्राचीन पारंपरिक तर्क में शामिल हैं, जो तीन प्रकार के वाक्यों में: के के प्रदान करता है एक असंबद्ध । disiunctivae - प्रदान करता है एक जटिल संयोजन spójnikiem "या" है कि समझा जाता है और, एक विकल्प के रूप में, और के रूप में ...

                                               

चर indywiduowa

indywiduowa चर - एक चर है कि आप विकल्प नहीं हो सकता किसी भी शब्द है कि अद्वितीय नहीं है. के माध्यम से Quine, और इलाज किया जा के रूप में सही के बराबर के कई सर्वनाम साधारण की भाषा है ।

                                               

चर जुड़े

चर जुड़ा हुआ है - इसके विपरीत करने के लिए नि: शुल्क चर एक चर है कि क्षेत्र में ऑपरेटर की कार्रवाई. चर के लिए यह संभव नहीं है स्थानापन्न करने के लिए अन्य अभिव्यक्ति है । का एक उदाहरण चर हो सकता है कि चर से संबंधित हैं परिमाणकों.

                                               

Zupełność

तर्क में, अर्थ zupełność वहाँ परीक्षण प्रणाली की औपचारिक. आधिकारिक तौर पर इस प्रणाली को "शब्दार्थ पूरा" यदि सभी tautologie कर रहे हैं, आरोपों और "सही", जब उसके आरोपों की जांच कर रहे हैं tautologiami. कुर्ट गेडेल, Henkin लियोन, और एमिल पोस्ट के सभ ...

                                               

शुद्ध गणित

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

                                               

गणित parakonsystentna

गणित parakonsystentna प्रयास का निर्माण करने के लिए गणितीय संरचनाओं के आधार पर parakonsystentnej तर्क के बजाय शास्त्रीय तर्क है. के विकास के गणित की नींव पर parakonsystentnych पहले प्रस्तावित किया गया था न्यूटन द्वारा दा कोस्टा में 1958.

                                               

एमएससी 2000

एमएससी 2000 – पदानुक्रमित वर्गीकरण के वैज्ञानिक अनुसंधान में गणित के द्वारा व्यक्त की अमेरिकन सोसायटी के लिए गणित.

शब्दकोश

अनुवाद