Karel Lambert
करेल लैम्बर्ट (जन्म 1928) कैलिफोर्निया विश्वविद्यालय, इरविन और साल्ज़बर्ग विश्वविद्यालय में एक अमेरिकी दार्शनिक और तर्कशास्त्री हैं। उन्होंने मुक्त तर्क के विषय पर व्यापक रूप से लिखा है, एक ऐसा शब्द जिसे उन्होंने गढ़ा था। लैम्बर्ट का नियम किसी भी मुक्त निश्चित विवरण सिद्धांत में प्रमुख सिद्धांत है जो कहता हैः सभी x के लिए, x = y (A) यदि और केवल यदि (A (x/y) और सभी y के लिए (यदि A तो y = x))। मुक्त तर्क स्वयं एक दिए गए मानक विधेय तर्क का एक समायोजन है जैसे कि इसे अस्तित्वगत मान्यताओं से मुक्त करने के लिए, और इसलिए इसे एक मुक्त तर्क बनाते हैं। बर्ट्रेंड रसेल के सिद्धांत गणित में विधेय तर्क को मानक के रूप में लेते हुए, सार्वभौमिक तात्कालिकता को सार्वभौमिक विनिर्देश के साथ प्रतिस्थापित किया जाता है। इस प्रकार सार्वभौमिक कथन, जैसे "सभी मनुष्य नश्वर हैं", या "सब कुछ एक यूनिकॉर्न है", यह नहीं मानते कि पुरुष हैं या कुछ भी है। इन्हें उचित भविष्यवाणियों के साथ और के रूप में प्रतीकीकृत किया जाएगा, जो सिद्धांत गणित में निहित है और, लेकिन मुक्त तर्क में नहीं। इन अंतिम कथनों की सच्चाई, जब एक मुक्त तर्क में उपयोग की जाती है, तो परिमाणीकरण के क्षेत्र पर निर्भर करती है, जो कि शून्य सेट हो सकता है। प्रकाशित कृतियाँ "फ्री लॉजिक एंड द कॉन्सेप्ट ऑफ एक्सिस्टेंस", नोट्रे डेम जर्नल ऑफ फॉर्मल लॉजिक, VIII, संख्या 1 और 2, अप्रैल 1967। फ्री लॉजिक के दार्शनिक अनुप्रयोग, न्यूयॉर्कः ऑक्सफोर्ड यूनिवर्सिटी प्रेस, 1991, "ए थ्योरी ऑफ डेफिनिट डिस्क्रिप्शन", पीपी। 17-27, मुक्त तर्क में रसेल के विवरण के सिद्धांत का विवरण देता है। इस प्रक्रिया में, वह दर्शाता है कि कैसे हिन्तिक्का से एक सूत्रीकरण रसेल के विरोधाभास के तर्क में सहसंबंध द्वारा विरोधाभास की अनुमति देता है। वह विधेय का परिचय देता है। फ्री लॉजिक। चयनित निबंध, कैम्ब्रिज यूनिवर्सिटी प्रेस, 2003। संदर्भ बाहरी लिंक इंटरनेट आर्काइव 1928 में आधिकारिक व्यक्तिगत पृष्ठ अमेरिकी तर्कशास्त्री 21वीं सदी के अमेरिकी दार्शनिक कैलिफोर्निया के साल्ज़बर्ग विश्वविद्यालय, इरविन संकाय के अकादमिक कर्मचारी जीवित लोग