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

शूरवीरों और knaves

शूरवीरों और knaves के मुख्य पात्र हैं एक प्रकार की पहेलियों तर्क द्वारा आविष्कार किया रेमंड Smullyan. पर एक द्वीप की कल्पना, सभी निवासियों को कर रहे हैं, या शूरवीरों, जो हमेशा सच बताओ, या ठगों, कि झूठ हमेशा. पहेली होते हैं के लिए एक आगंतुक आता है ...

गुणी चक्र और दुष्चक्र

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

दुष्चक्र (मनोविज्ञान)

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

Consequentia मिराबिलिस

के consequentia मिराबिलिस है एक वाक्यांश लैटिन में भी जाना जाता है, के रूप में कानून के Clavius है, जो में प्रयोग किया जाता है शास्त्रीय तर्क बनाता है कि प्राप्त करने के लिए की वैधता unaffermazione के अवलोकन से की विसंगति उसका निषेध. है कुछ मायनो ...

विरोधाभास

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

Counterexample

तर्क में, और अधिक आम तौर पर, गणित और दर्शन में, एक counterexample है एक विशेष रूप से तथ्य यह है कि पता चलता है कि एक निश्चित अनुमान सामान्य रूप में गलत है । स्पष्ट रूप से निर्माण के लिए एक counterexample विधि है सबसे अधिक प्राकृतिक और प्रभावी तरी ...

शुद्धता (गणितीय तर्क)

गणितीय तर्क में, सटीकता या वैधता की एक मौलिक संपत्ति के तार्किक नियमों और गणना कर रहे हैं तार्किक. एक तार्किक नियम या नियम के निष्कर्ष या नियम की व्युत्पत्ति सही है, तो निष्कर्ष यह है की एक तार्किक परिणाम है कि, जरूरी नहीं कि इस प्रकार परिसर से: ...

परिभाषा

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

विरोधाभास

शब्द विरोधाभास से निकला ग्रीक διχοτομία, dichotomìa: से बना δίχα, और τέμνω और मुख्य रूप से गणित, दर्शन और भाषा विज्ञान. विरोधाभास है, इसलिए, विभाजन के unentità दो भागों में नहीं है, जो जरूरी बाहर dualistically एक दूसरे लेकिन पूरक हो सकता है । एक ...

विरोधाभास Ousterhout

इस प्रमेय का कहना है कि भाषाओं की प्रोग्रामिंग करने के लिए उच्च स्तर में गिरावट के दो समूहों, प्रत्येक के साथ अलग अलग गुण और उपयोग करता है: भाषा के सिस्टम प्रोग्रामिंग और पटकथा भाषा है. इस तरह के अंतर underlies डिजाइन की भाषा टीसीएल. सिस्टम प्रोग ...

प्रदर्शन

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

ड्रॉप-डाउन अनंत

ड्रॉप-डाउन अनंत है की एक प्रकार के गणितीय सबूत के लिए बेतुका है, मुख्य रूप से इस्तेमाल किया संख्या सिद्धांत में, के मामले में लागू होता प्रमेयों के लिए ही मान्य सकारात्मक integers. यह है एक संस्करण के सबूत प्रेरण द्वारा.

वितरण की शर्तें

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

Erotetica

एल erotetica है का एक हिस्सा तर्क और बयानबाजी के साथ संबंधित है कि विश्लेषण का सवाल है । पहले की पहचान करने के लिए lerotetica के रूप में एक विषय का स्वतंत्र अध्ययन के तार्किक ब्रिटिश अग्रिम-आदेश दिया गया, जिसका काम करता थे, इसके बाद आधार जैसे दार ...

आनुवंशिक त्रुटि

आनुवंशिक त्रुटि या भ्रम आनुवंशिकी है एक त्रुटि के विवाद को अपनाया बदनाम करने के लिए unaffermazione पर आधारित है, अपने स्वयं के कथित कमी का स्रोत है । Allopposto आप हमेशा एक "आनुवंशिक गलती" जब सच्चाई के unaffermazione साबित हो रहा है केवल संदर्भ क ...

षट्कोण तर्क

षट्कोण तर्क है एक वैचारिक मॉडल के संबंधों के बीच मौजूद है कि सच का मूल्य छह प्रस्ताव. यह है एक विस्तार के वर्ग के विरोधाभासों से निकाली गई, अरस्तू. सड़कों के लिए समानांतर चल रहा है और स्वतंत्र था, के द्वारा की खोज की तार्किक फ्रेंच ऑगस्टिन Sesmat ...

भ्रम का बुरा चीन

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

सूत्र Barcan

सूत्र के Barcan formalized किया जा सकता है के रूप में इस प्रकार है: ∀ x ◻ एक → ◻ ∀ x एक {\displaystyle \forall x\एक\rightarrow \Box \forall xA} दूसरे शब्दों में, अनुवाद इतालवी भाषा में है: "हर एक के लिए एक्स के लिए, यह आवश्यक है करने के लिए, शामि ...

ग्राफ अस्तित्व

एक ग्राफ है, अस्तित्व का एक प्रकार है अंकन, एक दृश्य या ढांचे के लिए तार्किक अभिव्यक्ति, द्वारा प्रस्तावित चार्ल्स सैंडर्स पियर्स, लिखा था जो अपने पहले काम पर रेखांकन और तर्क और 1882 में जारी रखा विकसित करने के लिए विधि, जब तक उसकी मौत में 1914.

Ignoratio सूची

ignoratio सूची है कि विशेष प्रकार के भ्रम होते हैं, जो पेश करने में एक विषय में और खुद के लिए मान्य है, लेकिन विषय है ।

निष्कर्ष

में तर्क एल निष्कर्ष प्रक्रिया है, प्रेरक या निगमनात्मक, द्वारा, जिनमें से एक प्रस्ताव ले लिया के रूप में सच है, हम करने के लिए कदम एक दूसरा प्रस्ताव है जिसका सच्चाई से ली गई सामग्री के अनुसार, उचित करने के लिए निष्कर्ष के नियमों. "अनुमान" है, और ...

निष्कर्ष तत्काल

एक अनुमान है, तत्काल निष्कर्ष बनाया जा सकता है कि एक प्रस्ताव है एक कथात्मक. से, उदाहरण के लिए प्रस्ताव "सभी toads हरा कर रहे हैं" आप ले सकते हैं कटौती तुरंत, "कोई मेंढक हरी नहीं है". वहाँ के एक नंबर रहे हैं अनुमान कर सकते हैं, जो तत्काल पहचानी क ...

Isagoge

के Isagoge या परिचय करने के लिए की श्रेणियों में अरस्तू ने लिखा है, Porphyry में ग्रीक और अनुवाद में लैटिन से मारियो Vittorino और फिर से अनुवाद और टिप्पणी पर बाद में द्वारा Boethius था, के मार्गदर्शक पाठ तर्क के लिए कम से कम एक सहस्राब्दी की मौत ...

Lindovinello सबसे मुश्किल दुनिया में

Lindovinello दुनिया के सबसे मुश्किल है अनुवाद में छपी है कि गणतंत्र 1992 में, निम्न पहेली तर्क द्वारा प्रस्तावित जॉर्ज Boolos शीर्षक के साथ, "सबसे मुश्किल तर्क पहेली कभी", और से प्रेरित रेमंड Smullyan: तीन दिव्य भविष्यवाणी A, B, और C कहा जाता है, ...

जेक्स डे ला Palice

जैक्स द्वितीय de Chabannes डे ला Palice, कभी कभी आधुनिकीकरण में Lapalisse, एक फ्रांसीसी सैन्य, के मार्शल फ्रांस, प्रभु के ला Palice, Pacy, Chauverothe, Bort-le-Comte बगला. एक गीत समर्पित है, उसे करने के लिए आता है laggettivo "स्पष्ट".

कानून के Peirce

तर्क में, कानून के Peirce से अपने नाम निकला दार्शनिक और तर्कशास्त्री चार्ल्स सैंडर्स पियर्स. यह है के बीच axioms में अपनी पहली axiomatizability के साध्यात्मक तर्क है. आप कर सकते हैं के रूप में यह विचार एक tertium गैर datur में लिखा है कि एक फार्म ...

अरस्तू तर्क

तर्क में शामिल हैं की एक श्रृंखला लिखा aristotelians में एकत्र समग्र शीर्षक के ऑरगेनन, सहित: सूची sofistici एक पुस्तक विश्लेषणात्मक सेकंड, के साथ दो किताबें सामयिक आठ किताबें श्रेणियों की एक पुस्तक De Interpretatione पुस्तक विश्लेषणात्मक पहले दो ...

Logica deontica

शब्द deontico से निकला ग्रीक कृदंत नपुंसक ठोस "déon", को संदर्भित करता है जो क्रिया δέι.

विवरण तर्क

तार्किक वर्णनात्मक रहे हैं एक परिवार के formalisms के लिए प्रयोग किया जाता का प्रतिनिधित्व करते हैं, ज्ञान में एक आवेदन डोमेन कहा जाता है दुनिया. पहली जगह में, परिभाषित कर रहे हैं अवधारणाओं के लिए प्रासंगिक है कि डोमेन, और उसके बाद का उपयोग करने ...

दार्शनिक तर्क

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

मुक्त तर्क

एक मुक्त तर्क है कि एक तर्क नहीं है, शास्त्रीय, एक है कि एक कम राशि के अस्तित्व के तर्क के पहले के आदेश । एक मुक्त तर्क के लिए अनुमति देता है संदर्भ नहीं निरूपित करने के लिए किसी भी सदस्य के डोमेन की मात्रा का ठहराव; जब इस के अलावा, संभावना है, आ ...

Polyvalent तर्क

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

Logicismo

के लिए logicismo के लिए संदर्भित करता है कम करने के लिए प्रयास करने के लिए गणित अवधारणाओं और तर्क के नियमों. के अनुसार पदों logiciste विकास के लिए dellaritmetica नहीं होगा के लिए आवश्यक अन्य अवधारणाओं की तुलना में तर्क है, के बाद से गणित की मूल र ...

Metalanguage

में तर्क और सिद्धांत की औपचारिक भाषाओं के लिए मेटा-भाषा का मतलब है कि भाषा का औपचारिक रूप से परिभाषित किया गया है, जो के रूप में अपने उद्देश्य की परिभाषा के अन्य कृत्रिम भाषाओं में परिभाषित लक्ष्य भाषा या भाषाओं का विषय है. इस परिभाषा हो जाता है, ...

Metamatematica

के metamatematica परिभाषित किया जा सकता है के भाग के रूप में गणित के दर्शनशास्त्र का अध्ययन करना है कि गणितीय बिंदु देखने के सामान्य है. यह भेदभाव के बाकी हिस्सों से गणित की दिशा में उन्नीसवीं सदी के अंत के भाग के रूप में विचार-विमर्श कर रहे थे क ...

ढंग tollens

इस ढंग tollens, छोटा करने के लिए लैटिन " ढंग tollendo tollens है, एक नियम के निष्कर्ष के साध्यात्मक तर्क विकसित पूरी तरह से पहली बार के लिए तार्किक मध्ययुगीन लेकिन पहले से ही ज्ञात करने के लिए stoics. इसका अर्थ है: जिस तरह से लेता है कि सत्य के ए ...

इनकार (गणित)

करने के लिए संकेत के निषेध के एक प्रस्ताव p हम लिखने, equivalently: पी {\displaystyle \neg p} ~ पी {\displaystyle p} पी {\displaystyle {\बार {p}}} ! p {\displaystyle!p} p - ' {\displaystyle p}

इनकार dellantecedente

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

कोई सच स्कॉटिश

अभिव्यक्ति के साथ कोई सच स्कॉटिश संदर्भित करता है के लिए एक तार्किक भ्रम में होते हैं कि एक पुनर्व्याख्या की तदर्थ सामग्री के अपने स्वयं के बयान में शामिल है कि एक सामान्यीकरण उचित नहीं है, क्रम में से बचने के लिए unobiezione है कि खंडन: विशेष रू ...

विपक्ष (दर्शन)

शब्द विपक्ष प्रयोग किया जाता है इंगित करने के लिए में दर्शन के लिए शर्त है जिसमें से कुछ अपनी विशेषताओं बन गया है, भौतिक और/या आदर्श रूप में, एक विपरीत के लिए की तुलना में अन्य.

विरोधाभास deontici

अभिव्यक्ति विरोधाभास deontici प्रयोग किया जाता है के भीतर तर्क deontica का इरादा करने के लिए एक विशिष्ट परिणाम की औपचारिक भाषा का इस्तेमाल किया द्वारा बयान deontiche.

विरोधाभास के कौवों

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

विरोधाभास की नाई

विरोधाभास की नाई है unantinomia द्वारा तैयार की दार्शनिक और तर्कशास्त्री ब्रिटिश बर्ट्रेंड रसेल में 1918. यह है के बारे में एक reformulation, सहज ज्ञान युक्त, या कल्पनाशील, प्रसिद्ध रसेल ' s विरोधाभास है. Lantinomia हो सकता है प्रतिपादित इस प्रका ...

विरोधाभास है, पैरा 22

विरोधाभास के अनुच्छेद 22 तैयार की है उपन्यास में पकड़ने के द्वारा 22 जोसेफ हेलर. विरोधाभास चिंताओं unapparente चुनाव में एक नियम या एक प्रक्रिया है, जहां, वास्तव में, तार्किक कारणों के लिए कर रहे हैं कि छिपा हुआ है या बहुत स्पष्ट है, वहाँ कोई विक ...

विरोधाभास delleterologicità के Grelling-नेल्सन

विरोधाभास delleterologicità, या विरोधाभास के Grelling, एक reformulation के संदर्भ में भाषा के रसेल के विरोधाभास द्वारा प्रस्तावित तार्किक और जर्मन दार्शनिक कर्ट Grelling में 1908. जा रहा है एक पॉप-अप लेख Bemerkungen zu den Paradoxien वॉन रसेल und ...

विरोधाभास की knowability फिच

विरोधाभास की knowability फिच भी जाना जाता है, के रूप में विरोधाभास के knowability के चर्च-फिच, के नाम से तार्किक Alonzo चर्च है, जो साबित के लिए सबसे पहले एक है, और फ्रेडेरिक फिच, जो फिर से खोज की और यह जाना जाता है, एक प्रमुख पहेली तर्क के epist ...

विरोधाभास के करी

विरोधाभास की करी है, एक विरोधाभास के सिद्धांत के नादान सेट, और अपने नाम बकाया है करने के लिए तार्किक और अमेरिकी गणितज्ञ हास्केल करी जो इसे प्रकाशित 1942 में. यह है के निर्माण पर आधारित unaffermazione आत्म referential से जो हम परिणाम निकालना कर सक ...

रसेल के विरोधाभास

रसेल ' s विरोधाभास है, द्वारा तैयार की दार्शनिक तार्किक और ब्रिटिश बर्ट्रेंड रसेल के बीच, 1901 और 1902 में से एक है antinomies सबसे महत्वपूर्ण के इतिहास में दर्शन और तर्क. कहा जा सकता है इस प्रकार है: संग्रह के सभी सेट में संबंधित नहीं है कि खुद ...

विरोधाभास के Yablo

के विरोधाभास Yablo एक विरोधाभास तर्क द्वारा प्रकाशित स्टीफन Yablo 1993 में. यह करने के लिए इसी तरह के विरोधाभास झूठा, विशेष रूप से, करने के लिए अपने संस्करण के विरोधाभास के कागज के Jourdain. के विपरीत के विरोधाभास झूठा, एक ऊपर, इस का उपयोग करता ह ...

Petitio principii

तर्क में, परिभाषा के petitio principii इंगित करता है एक तर्क भ्रम में जो प्रस्ताव किया जाना चाहिए कि सिद्ध माना जाता है परोक्ष या स्पष्ट रूप से परिसर में. Laffermazione प्रदर्शित करने के लिए है, तो है, प्रदान के लिए लिया में तर्क है कि होना चाहिए ...

शब्दकोश

अनुवाद