तनाव तर्क (Tense logic), जिसे अब व्यापक रूप से अस्थायी तर्क (Temporal logic) के रूप में जाना जाता है, की स्थापना 1957 में आर्थर प्रायर (Arthur Prior) ने की थी। इस प्रणाली के उनके विकास ने समय की प्रचलित धारणाओं को चुनौती दी, यह दावा करते हुए कि अतीत, वर्तमान और भविष्य आवश्यक ऑन्टोलॉजिकल श्रेणियां हैं। उनका काम औपचारिक तर्क और समय के तत्वमीमांसा में एक मौलिक स्तंभ बना हुआ है, जो आज भी समकालीन दार्शनिक प्रवचन को प्रभावित कर रहा है।
प्रारंभिक जीवन और शिक्षा
1914 में मास्टर्टन, न्यूजीलैंड में जन्मे आर्थर प्रायर एक चिकित्सक के बेटे थे। उनका पालन-पोषण एक मेथोडिस्ट घर में हुआ, एक ऐसा वातावरण जिसने शुरू में उनकी रुचि को धर्मशास्त्र और दर्शन की ओर निर्देशित किया। उन्होंने ओटागो विश्वविद्यालय में इन अध्ययनों को आगे बढ़ाया और 1935 में बी.ए. के साथ स्नातक किया। विश्वविद्यालय में अपने समय के दौरान, उन्होंने जे. एन. फाइंडले (J. N. Findlay) के काम का सामना किया, जिन्होंने उन्हें तर्क से परिचित कराया और दार्शनिक आदर्शवाद पर उनके महत्वपूर्ण दृष्टिकोण को प्रभावित किया।
शैक्षणिक करियर और प्रभाव
प्रायर ने 1946 में कैंटरबरी यूनिवर्सिटी कॉलेज में अपना शिक्षण करियर शुरू किया, कार्ल पॉपर (Karl Popper) द्वारा छोड़े गए रिक्त पद को भरा। समय की प्रकृति के बारे में उनके गहरे मतभेदों के बावजूद, जे. जे. सी. स्मार्ट (J. J. C. Smart) के साथ उनकी लंबी दोस्ती ने उनके पेशेवर विकास को महत्वपूर्ण रूप से आकार दिया। अपने करियर के दौरान, प्रायर संस्थानों के बीच चले गए, 1959 से मैनचेस्टर विश्वविद्यालय में प्रोफेसरशिप संभाली और अंततः 1966 में ऑक्सफोर्ड के बैलियल कॉलेज में फेलो और ट्यूटर बन गए।
औपचारिक तर्क में योगदान
आधुनिक औपचारिक तर्क में काफी हद तक स्व-शिक्षित, प्रायर ने पोलिश तर्कशास्त्रियों जोज़ेफ मारिया बोचेन्स्की (Józef Maria Bocheński) और जान लुकासिएविच (Jan Łukasiewicz) के काम से प्रेरणा ली। भाषा न बोलने के बावजूद, उन्होंने अपने लेखन के लिए पोलिश अंकन को अपनाया। उनके सबसे महत्वपूर्ण योगदान उनके जॉन लॉक व्याख्यानों में औपचारिक रूप दिए गए थे, जिन्हें बाद में 'टाइम एंड मॉडलिटी' (Time and Modality) के रूप में प्रकाशित किया गया था। अपने स्वयं के शोध से परे, उन्होंने संगठित संगोष्ठियों के माध्यम से यूनाइटेड किंगडम में तर्क को पुनर्जीवित करने में महत्वपूर्ण भूमिका निभाई।
बीस प्रश्न, घड़ी पर आठ मिनट, और अब तक टेस्ट देने वालों के सामने मापा गया पर्सेंटाइल। साइन-अप नहीं।
IQ टेस्ट दें →अंतिम वर्ष
प्रायर ने तर्कशास्त्रियों की एक नई पीढ़ी को प्रभावित करना जारी रखा, जिसमें मैक्स क्रेसवेल (Max Cresswell) और किट फाइन (Kit Fine) जैसे विद्वान उनके छात्रों में शामिल थे। सितंबर 1969 में नॉर्वेजियन विश्वविद्यालयों के व्याख्यान दौरे के दौरान, प्रायर को दिल का दौरा पड़ा। 6 अक्टूबर 1969 को ट्रॉनहेम में उनकी मृत्यु हो गई, जिस रात उन्हें एक प्रस्तुति देनी थी। उनकी विरासत उनके व्यापक युद्धकालीन पत्राचार के संरक्षण और दार्शनिक ग्रंथों में उनकी निरंतर उपस्थिति के माध्यम से बनी हुई है।
त्वरित तथ्य
- जन्म: 1914, मास्टर्टन - मृत्यु: 1969, ट्रॉनहेम - शिक्षा: ओटागो विश्वविद्यालय - मुख्य क्षेत्र: तर्क - प्रमुख नवाचार: तनाव तर्क - प्रमुख प्रकाशन: 'टाइम एंड मॉडलिटी' (1957) - सैन्य सेवा: रॉयल न्यूजीलैंड वायु सेना (1943-1945) - नागरिकता: यूनाइटेड किंगडम; न्यूजीलैंड
पाठकों द्वारा पूछे जाने वाले प्रश्न
### तनाव तर्क क्या है?
अस्थायी तर्क के रूप में भी जाना जाता है, यह प्रायर द्वारा विकसित एक प्रणाली है जो अतीत, वर्तमान और भविष्य को समय की मौलिक ऑन्टोलॉजिकल श्रेणियों के रूप में मानती है।
### आर्थर प्रायर ने कहाँ पढ़ाया?
उन्होंने कैंटरबरी यूनिवर्सिटी कॉलेज, मैनचेस्टर विश्वविद्यालय और बैलियल कॉलेज, ऑक्सफोर्ड में पद संभाले।

