इसलिए थोड़ी देर पहले मैंने पहली बार किसी को बताया था कि कॉल / सीसी Peirce के कानून को लागू करके शास्त्रीय प्रमाण के लिए सबूत वस्तुओं की अनुमति दे सकता है। मैंने हाल ही में इस विषय के बारे में कुछ सोचा था और मैं इसके साथ कोई दोष नहीं ढूंढ सकता। हालाँकि मैं वास्तव में किसी और को इसके बारे में बात करते हुए नहीं देख सकता। यह चर्चा से शून्य लगता है। क्या देता है?
मुझे ऐसा लगता है अगर आप की तरह एक निर्माण है कि कुछ संदर्भ में तो दो में से 1 बातें सच है। या तो आप एक उदाहरण के लिए उपयोग किया ⊥ किसी भी तरह वर्तमान संदर्भ में ऐसी स्थिति में नियंत्रण प्रवाह यहाँ तक पहुँचने कभी नहीं होगा और हम यह मान के लिए जो कुछ भी या यह देखते हुए कि सुरक्षित हैं च : ¬ ( ¬ पी ) का अर्थ है च : ( पी → ⊥ ) → ⊥ केवल एक तरह से f, ⊥ P का एक उदाहरण बनाकर वापस आ सकता हैऔर यह दो यह तर्क (का एक उदाहरण लागू करने । ऐसे मामले में पहले से ही पी के एक उदाहरण के निर्माण का कुछ तरीका था ; यह मेरे लिए इस निर्माण को खींचने के लिए कॉल / सीसी के लिए उचित लगता है। यहां मेरा तर्क मुझे कुछ संदेहास्पद लगता है लेकिन मेरा भ्रम अभी भी कायम है। यदि कॉल / cc केवल पतली हवा से पी का एक उदाहरण नहीं बना रहा है (मैं यह नहीं देखता कि यह कैसे है) तो मुद्दा क्या है?
क्या कुछ अच्छी तरह से टाइप की गई शर्तों में कॉल / सीसी नहीं है, जिनके सामान्य रूप नहीं हैं? क्या ऐसी अभिव्यक्तियों के कुछ अन्य गुण हैं जो उन्हें संदेह करते हैं? क्या कोई प्रसिद्ध कारण है कि एक रचनाकार को कॉल / सीसी पसंद नहीं करना चाहिए?