Universal instantiation
विधेय तर्क में, सार्वभौमिक तात्कालिकता (यू. आई.; जिसे सार्वभौमिक विनिर्देश या सार्वभौमिक उन्मूलन भी कहा जाता है, और कभी-कभी डिक्टम डी ऑम्नी के साथ भ्रमित किया जाता है) व्यक्तियों के एक वर्ग के प्रत्येक सदस्य के बारे में सच्चाई से उस वर्ग के एक विशेष व्यक्ति के बारे में सच्चाई का एक वैध नियम है। यह आम तौर पर सार्वभौमिक परिमापक के लिए एक परिमाणीकरण नियम के रूप में दिया जाता है लेकिन इसे एक स्वयंसिद्ध योजना में भी कूटबद्ध किया जा सकता है। यह परिमाणीकरण सिद्धांत में उपयोग किए जाने वाले बुनियादी सिद्धांतों में से एक है। उदाहरण-"सभी कुत्ते स्तनधारी हैं। फिडो एक कुत्ता है। इसलिए फिडो एक स्तनधारी है। औपचारिक रूप से, एक स्वयंसिद्ध योजना के रूप में नियम प्रत्येक सूत्र ए और प्रत्येक शब्द ए के लिए दिया जाता है, जहां ए में एक्स की प्रत्येक मुक्त घटना के लिए ए को प्रतिस्थापित करने का परिणाम है। क्वाइन विलार्ड वान ऑर्मन क्वाइन के अनुसार, सार्वभौमिक तात्कालिकता और अस्तित्वगत सामान्यीकरण एक ही सिद्धांत के दो पहलू हैं, क्योंकि यह कहने के बजाय कि "x = x" का अर्थ है "सुकरात = सुकरात", हम यह भी कह सकते हैं कि इनकार "सुकरात" का अर्थ है "x = x"। इन दोनों कार्यों में सन्निहित सिद्धांत परिमाणीकरण और एकवचन कथनों के बीच की कड़ी है जो उदाहरण के रूप में उनसे संबंधित हैं। फिर भी यह केवल शिष्टाचार का सिद्धांत है। यह केवल उस मामले में लागू होता है जहां एक शब्द नाम और, इसके अलावा, संदर्भित रूप से होता है। यह भी देखें कि अस्तित्वगत तात्कालिकता अस्तित्वगत सामान्यीकरण अस्तित्वगत मात्रात्मक अनुमान नियम संदर्भ अनुमान के नियम अनुमानित तर्क