व्यतिरेकी भाषाविज्ञान
व्यवहार-वादी और अवयववादी दोनों में अधिगम के संबंध में परस्पर विरोधी मतों की अस्वीकार करते हुए कोस्टलेर के कथन को उद्धृत करते हुए आर. होक कहते हैं कि अधिगम चाहे वह भावनात्मक हो, गतिक हो या संज्ञानात्मक एक बार अधिगमित होकर निष्पादित हो जाता है तो दूसरी बार आसानी से निष्पादित किया जा सकता है। अत: आदतनिर्माण का अपनी महत्त्व है। लेकिन दोनों विचारधाराओं की उपपत्तियों का समन्वय करते हुए जान बी. करोल (१९७१) कहते हैं कि नियम-नियंत्रित व्यवहार और आदत-नियंत्रित व्यवहार ये दोनों परस्पर विरोधी नहीं हैं, क्योंकि भाषा-नियम वास्तव में भाषा-आदत के ही वर्णन प्रस्तुत करते हैं और हम नियमों के सचेतन अनुप्रयोग से आदत तक पहुँच सकते हैं। इसी से मिलता-जुलता विचार प्रख्यात रुसी मनोविज्ञानी ए. ए. लियोनतोव ने प्रकट किया है कि `अनुकरण के परिणामस्वरुप आदत का निर्माण हो सकता है और/या ज्ञान (भाषा नियम) के स्वचालन एवं वशीकरण/रुपांतरण के परिणाम से भी। पहले को `आदत-निर्माण की आरोहण प्रक्रिया' और दूसरे को `अवरोहण प्रक्रिया' कह सकते हैं .' (वाल्डेमर मार्टन, १९७३ : १९) शेरवुड स्मित (१९७८) ने `संज्ञानात्मक मनोविज्ञान सम्मत अनुप्रयुक्त भाषाविज्ञान' नामक अपने लेख में कहा है कि संज्ञानात्मक मनोविज्ञान के द्वारा स्वीकृत दो प्रमुख सिद्धांतों में से एक यह है कि नया ज्ञान चाहे मात्रात्मक दृष्टि से कम हो या ज्यादा, पुराने ज्ञान के माध्यम से ही ग्रहण किया जा सकता है। संज्ञानात्मक शिक्षण अधिगम के लिए भी संबद्ध संरचनाओं को इस तरीके से व्यवस्थित रखा जा सकता है कि उन्हें आसानी से सिखाया व सीखा जा सकता है। अर्थात् संज्ञानात्मक मनोविज्ञान की दृष्टि से भी व्यतिरेकी विश्लेषण की उपयोगिता को अन्य भाषा शिक्षण में अस्वीकार नहीं किया जा सकता।
तर्कशास्त्र
प्रतीकनिष्ठ तर्कशास्त्र की एक अन्य विशेषता यह है कि वहाँ वाक्यों और उनके संबंधों को प्रतीकों के द्वारा व्यक्त किया जाता है। अनुमिति के आधार वाक्यों के विशिष्ट संबंध है; ये संबंध वाक्यों के आकार (फॉर्म) पर निर्भर करते हैं, न कि उनके अर्थों पर। फलतः वाक्यों के अर्थों का विचार किए बिना, उनके आकारों में अनुस्यूत संबंधों को और उनपर आधारित अनुमितियों को, प्रतीकों की भाषा में प्रकट किया जा सकता है। प्रतीकित होने पर विभिन्न संबंधों को संक्षेप में प्रकट किया जा सकता है। यह प्रक्रिया गणित की श्लाघनीय विशेषता है। गणित शास्त्र की उन्नति का एक प्रधान हेतु संख्याओं को दशमलव विधि (डेसमिल सिस्टम) से लिखने का आविष्कार था, यह आविष्कार भारतवर्ष में हुआ। अंकों को लिखने की रोमन प्रणाली में दस, पचास सौ आदि संख्याओं के लिए अलग-अलग संकेतचिन्ह है; इसके विपरीत प्रचलित दशमलव प्रणाली में अंकविशेष का मूल्य उसकी स्थिति के अनुसार होता है और सिफ नौ अंकों तथा शून्य-चिह्न, की मदद से किसी भी संख्या को प्रकट किया जा सकता है। प्रतीकनिष्ठ तर्कशास्त्र में वर्गों, वाक्यों आदि को प्रतीकों में प्रकट करके उनसे संबद्ध अनुमितियों के नियम प्रतिपादित किए गए हैं। वर्गकलन (कैलकुलस्‌ आफ्‌ क्लासेज) में वर्गों के पारस्परिक संबंधों, विरोध आदि के नियम बतलाए गए हैं। इसी प्रकार वाक्यसंबंधों, विरोध आदि के नियम बतलाए गए हैं। इसी प्रकार वाक्यकलन (कैलकुलस ऑफ प्रापोजीशंस) में वाक्यसंबंधों के नियामक सिद्धातों या नियमों का उल्लेख रहता है। अरस्तू के न्यायवाक्य में सन्निहित सिद्धांत उक्त नियमों में से ही एक है। इससे प्रकट है कि प्रतीकनिष्ठ तर्कशास्त्र का अनुमितिक्षेत्र अरस्तू के तर्कशास्त्र की अपेक्षा कहीं अधिक विस्तृत है।