(ক) অনুমান প্রধানত দুই প্রকার। যথা: অবরোহ অনুমান এবং আরোহ অনুমান। (খ) অমাধ্যম অনুমানকে প্রকৃত অনুমান বলা যায় কি না, তা নিয়ে যুক্তিবিদদের মধ্যে মতভেদ রয়েছে। যে অবরোহ অনুমানে একটিমাত্র আশ্রয়বাক্য থেকে সিদ্ধান্তটি সরাসরি নিঃসৃত হয়, তাকে অমাধ্যম অনুমান বলে। অমাধ্যম অনুমানের ক্ষেত্রে সিদ্ধান্তটি আশ্রয়বাক্যেরই একটি পরিবর্তিত রূপ মাত্র, এখানে নতুন কোনো তথ্যের সংযোজন ঘটে না। এই কারণে মিল ও বেইন-এর মতো অনেক যুক্তিবিদ মনে করেন যে, অমাধ্যম অনুমান প্রকৃত অনুমান নয়, কারণ প্রকৃত অনুমানে সিদ্ধান্তের মধ্যে আশ্রয়বাক্য থেকে নতুন কিছু পাওয়ার প্রত্যাশা থাকে। (গ) উদ্দীপকের যুক্তি-১ হলো: সকল পাখি হয় দ্বিপদ। সকল কোকিল হয় পাখি। অতএব, সকল কোকিল হয় দ্বিপদ। এখানে প্রদত্ত যুক্তিটি একটি অবরোহ অনুমানের দৃষ্টান্ত। যে অনুমান প্রক্রিয়ায় সিদ্ধান্তটি এক বা একাধিক আশ্রয়বাক্য থেকে অনিবার্যভাবে নিঃসৃত হয় এবং সিদ্ধান্তটি কখনোই আশ্রয়বাক্যের চেয়ে বেশি ব্যাপক হয় না, তাকে অবরোহ অনুমান বলে। উদ্দীপকের যুক্তিটিতে দুটি আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে নিঃসৃত হয়েছে। এখানে 'পাখি' ও 'দ্বিপদ' পদের সম্পর্ক এবং 'কোকিল' ও 'পাখি'র সম্পর্কের ভিত্তিতে 'কোকিল' ও 'দ্বিপদ' পদের মধ্যে একটি অনিবার্য সম্পর্ক স্থাপিত হয়েছে। এটি অবরোহ অনুমানের আকারগত সত্যতার একটি চমৎকার উদাহরণ। (ঘ) উদ্দীপকের যুক্তি-১ ও যুক্তি-২ নির্দেশিত অনুমানদ্বয়ের মধ্যে মৌলিক পার্থক্য বিদ্যমান। নিচে তা বিশ্লেষণ করা হলো: যুক্তি-১ একটি অবরোহ অনুমানের উদাহরণ। এখানে আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে নিঃসৃত হয় এবং সিদ্ধান্তটি আশ্রয়বাক্যের চেয়ে বেশি ব্যাপক হতে পারে না। এই অনুমানে আকারগত সত্যতার ওপর বিশেষ গুরুত্ব দেওয়া হয়। অন্যদিকে, যুক্তি-২ একটি আরোহ অনুমানের উদাহরণ। উদ্দীপকের যুক্তি-২ হলো: সজল হয় মরণশীল। জহির হয় মরণশীল। জাকির হয় মরণশীল। ফরিদ হয় মরণশীল। অতএব, সকল মানুষ হয় মরণশীল। এখানে কয়েকটি বিশেষ দৃষ্টান্তের (সজল, জহির, জাকির, ফরিদ) পর্যবেক্ষণ থেকে সমগ্র মানুষ জাতি সম্পর্কে একটি সার্বিক সিদ্ধান্ত গ্রহণ করা হয়েছে। আরোহ অনুমানের মূল বৈশিষ্ট্য হলো, এখানে বিশেষ থেকে সামান্যের দিকে যাওয়া হয় এবং সিদ্ধান্তটি আশ্রয়বাক্যের চেয়ে বেশি ব্যাপক হয়। আরোহ অনুমানে আকারগত সত্যতার পাশাপাশি বস্তুগত সত্যতার ওপরও গুরুত্ব দেওয়া হয়। পরিশেষে বলা যায়, যুক্তি-১-এ আশ্রয়বাক্য থেকে অনিবার্যভাবে সিদ্ধান্ত পাওয়া যায় যা অবরোহ অনুমানের বৈশিষ্ট্য, আর যুক্তি-২-এ বিশেষ দৃষ্টান্তের ভিত্তিতে সার্বিক সিদ্ধান্ত নেওয়া হয়েছে যা আরোহ অনুমানের বৈশিষ্ট্য। এভাবেই উভয় অনুমানের মধ্যে পার্থক্য পরিলক্ষিত হয়।