तर्कशास्त्र में “अस्तित्वाची आशय” (Existential Import) की धारणा का संबंध इस प्रश्न से है कि क्या कोई कथन अपने विषय के अस्तित्व को मानकर चलता है या नहीं। पारंपरिक अरस्तूवादी तर्कशास्त्र में यह माना जाता था कि प्रत्येक सार्वत्रिक प्रतिज्ञप्ति (universal proposition) अपने विषय के अस्तित्व को सूचित करती है। उदाहरण के लिए “सभी मनुष्य नश्वर हैं” कथन केवल गुण-निषेध या गुण-स्वीकार का संबंध नहीं बताता, बल्कि यह भी संकेत करता है कि “मनुष्य” नामक वर्ग वास्तव में अस्तित्व में है। इसी प्रकार “कोई भी यूनिकॉर्न घोड़ा नहीं है” जैसी प्रतिज्ञप्ति अरस्तूवादी दृष्टि में समस्या उत्पन्न करती है, क्योंकि यदि यूनिकॉर्न अस्तित्व में ही नहीं हैं, तो उनके बारे में सार्वत्रिक कथन का सत्य या असत्य निर्धारण कैसे होगा। इस प्रकार अस्तित्वाची आशय का मूल प्रश्न यह है कि क्या कथनों की सत्यता के लिए उनके विषयों का वास्तविक अस्तित्व आवश्यक है। अरस्तूवादी वर्गीय तर्क (syllogistic logic) में चार प्रकार की प्रतिज्ञप्तियाँ मानी जाती हैं—A (सर्व S, P हैं), E (कोई S, P नहीं है), I (कुछ S, P हैं), और O (कुछ S, P नहीं हैं)। पारंपरिक दृष्टिकोण में A और E प्रकार की सार्वत्रिक प्रतिज्ञप्तियों में भी अस्तित्वाची आशय माना जाता था। इसका परिणाम यह हुआ कि यदि “सभी S, P हैं” सत्य है, तो यह भी माना जाएगा कि “कुछ S, P हैं” सत्य होगा, क्योंकि यदि सभी हैं तो कम से कम कुछ तो होंगे ही। इस प्रकार A से I का निष्कर्ष वैध माना जाता था, जिसे उपवर्ती निष्कर्ष (subalternation) कहा जाता है। यह पूरा ढाँचा इस धारणा पर आधारित था कि विषय वर्ग खाली (empty) नहीं हो सकता। किन्तु आधुनिक प्रतीकात्मक तर्कशास्त्र के विकास के साथ इस धारणा पर पुनर्विचार हुआ। विशेष रूप से जॉर्ज बूल (George Boole) ने वर्गीय तर्क को गणितीय रूप देने का प्रयास किया और प्रतिज्ञप्तियों को वर्गों के संबंध के रूप में व्याख्यायित किया। बूलियन तर्क में वर्गों को समुच्चय (sets) के रूप में देखा गया, और कथनों को इन समुच्चयों के बीच संबंधों