वह तर्कण जिसमें हम किसी विशिष्ट कथन से आरंभ कर सार्विक कथन पर समाप्त होते हैं, कहलाता है

किसी विशिष्ट कथन से सार्विक निष्कर्ष की ओर बढ़ना आगमनात्मक तर्कण है।

निगमन इसके विपरीत चलता है, सामान्य आधार-वाक्यों से विशिष्ट या संकीर्ण निष्कर्ष तक।

आगमन विशिष्ट देखे गए उदाहरणों से सार्विक दावे तक सामान्यीकरण करता है।

यहाँ निष्कर्ष दिए गए विशिष्ट प्रमाण से आगे तक पहुँचता है।

ऐसा विशिष्ट-से-सार्विक अनुमान आगमन का लक्षण है।