मुक्त तर्क और पूर्वधारणा
शास्त्रीय तर्क यह मानता है कि प्रत्येक विलक्षण पद किसी वस्तु को दर्शाता है; मुक्त तर्क इस धारणा को शिथिल करता है ताकि 'पेगासस' जैसे रिक्त नामों और उन निश्चित वर्णनों को संभाला जा सके जो संदर्भित करने में विफल रहते हैं।
Definition
मुक्त तर्क परिमाणीकरण की एक प्रणाली है जिसके विलक्षण पदों को मौजूदा वस्तुओं को दर्शाना आवश्यक नहीं है, ताकि 'a, F है' से 'कुछ F है' जैसे अनुमान केवल इस अतिरिक्त आधार पर मान्य हों कि a का अस्तित्व है।
Scope
यह विषय मुक्त तर्क — अपने विलक्षण पदों के लिए अस्तित्व संबंधी मान्यताओं से मुक्त तर्क — और पूर्वधारणा विफलता की निकट संबंधी घटना को शामिल करता है। यह बताता है कि मुक्त तर्क गैर-दर्शाने वाले पदों के लिए सार्वभौमिक दृष्टांतीकरण और अस्तित्वगत सामान्यीकरण के शास्त्रीय नियमों को कैसे संशोधित करते हैं, सकारात्मक, नकारात्मक और तटस्थ (सुपरवैल्यूएशनल) प्रकारों को, और रसेल-स्ट्रॉसन विवाद में दार्शनिक पृष्ठभूमि को भी बताता है कि गैर-संदर्भित वर्णनों वाले वाक्यों को सत्य मान कैसे प्राप्त होते हैं।
Core questions
- रिक्त नामों या विफल वर्णनों वाले वाक्यों को तर्क को कैसे संभालना चाहिए?
- क्या ऐसे वाक्यों में सत्य मान की कमी होती है (पूर्वधारणा विफलता) या वे असत्य निकलते हैं?
- जब पद किसी वस्तु को नहीं दर्शा सकते हैं तो किन शास्त्रीय अनुमान नियमों को प्रतिबंधित किया जाना चाहिए?
- क्या अस्तित्व एक विधेय है, और परिमाणकों को अस्तित्व से कैसे संबंधित होना चाहिए?
Key concepts
- गैर-दर्शाने वाले विलक्षण पद
- सार्वभौमिक दृष्टांतीकरण और अस्तित्वगत सामान्यीकरण
- सकारात्मक, नकारात्मक और तटस्थ मुक्त तर्क
- पूर्वधारणा विफलता
- सत्य-मान अंतराल
- एक विधेय के रूप में अस्तित्व
Key theories
- मुक्त तर्क
- लैम्बर्ट उन तर्कों को व्यवस्थित करते हैं जिनमें विलक्षण पद रिक्त हो सकते हैं; सार्वभौमिक दृष्टांतीकरण और अस्तित्वगत सामान्यीकरण को अस्तित्व की धारणा द्वारा योग्य बनाया जाता है, और प्रकार गैर-दर्शाने वाले पदों वाले परमाणु वाक्यों के सत्य मानों पर भिन्न होते हैं।
- पूर्वधारणा और सत्य-मान अंतराल
- स्ट्रॉसन का तर्क है कि एक गैर-संदर्भित वर्णन (रसेल का 'फ्रांस का वर्तमान राजा') का उपयोग करने वाला वाक्य अस्तित्व को प्रतिपादित करने के बजाय पूर्वधारणा करता है और इसलिए न तो सत्य है और न ही असत्य; वैन फ्रासेन इसे सुपरवैल्यूएशन के साथ मॉडल करते हैं।
History
रसेल के 1905 के वर्णनों के सिद्धांत ने तार्किक संशोधन के बजाय विश्लेषण द्वारा रिक्त पदों को संभाला; स्ट्रॉसन के 1950 के जवाब ने पूर्वधारणा और सत्य-मान अंतरालों को प्रस्तुत किया। 1960 के दशक से लैम्बर्ट ने एक व्यवस्थित विकल्प के रूप में मुक्त तर्क को गढ़ा और विकसित किया, और वैन फ्रासेन ने परिणामी अंतरालों के लिए एक सुपरवैल्यूएशनल सिमेंटिक्स प्रदान किया।
Debates
- असत्य या सत्य-मान रहित?
- क्या गैर-संदर्भित पदों वाले वाक्य केवल असत्य हैं, जैसा कि रसेल का वर्णनों का सिद्धांत इंगित करता है, या पूर्वधारणा विफलता से ग्रस्त हैं और सत्य मान की कमी है, जैसा कि स्ट्रॉसन और सुपरवैल्यूएशनल मुक्त तर्कशास्त्री मानते हैं।
Key figures
- Karel Lambert
- P. F. Strawson
- Bas van Fraassen
- Bertrand Russell
- Hugues Leblanc
Related topics
Seminal works
- strawson1950
- lambert2003
Frequently asked questions
- शास्त्रीय तर्क रिक्त नामों को क्यों नहीं संभाल सकता?
- शास्त्रीय तर्क किसी भी पद 'a' के लिए 'a, F है' से 'कुछ F है' का अनुमान लगाने की अनुमति देता है, जो विफल हो जाता है यदि 'a' किसी भी चीज़ को नहीं दर्शाता है — उदाहरण के लिए 'पेगासस एक पंखों वाला घोड़ा है' से यह अनुमान लगाना कि कुछ एक पंखों वाला घोड़ा है। मुक्त तर्क ऐसे अनुमानों को प्रतिबंधित करता है ताकि उन्हें यह अतिरिक्त आधार की आवश्यकता हो कि नामित वस्तु का अस्तित्व है।