 যুক্তিবিদ্যার প্রধান ভূমিকা হচ্ছে জ্ঞান অর্জনের জন্য বিভিন্ন প্রমাণের মূল্যায়ন। জ্ঞান অর্জনের জন্য মানুষ পর্যবেক্ষণের মাধ্যমে প্রাপ্ত তথ্যের উপর চিন্তা করে। এই চিন্তাকে পুনরায় ভাষায় প্রকাশ করে তাকে সামাজিক আদান প্রদানের মাধ্যমে রূপান্তরিত করে । ব্যক্তি জ্ঞান অর্জন করে। কিন্তু জ্ঞান ব্যক্তির ব্যাপার নয়-জ্ঞান সামাজিক ব্যাপার। এ কারণে চিন্তার ভাষায় প্রকাশিত রূপ হচ্ছে যুক্তিবিদ্যার বিচার্য বিষয়। কেবল চিন্তার ব্যাপারটা মনোবিজ্ঞানের বিষয়। তথ্যের সঙ্গে তথ্যের সঙ্গতি ও সম্পর্ক, সেই তথ্য সম্পর্কে রচিত বাক্যের মধ্যে প্রকাশ পায়। তাই যুক্তিবিদ্যার সূত্রপাত ঘটে একটি যৌক্তিক বাক্যের সঙ্গে অপর একটি যৌক্তিক বাক্যের সম্পর্ক বিশ্লেষণে বাক্যের সঙ্গে বাক্যের সম্পর্ক কত প্রকারের হতে পারে, বাক্যের অংশসমূহের বৈশিষ্ট্য কী, বাক্যের পারম্পর্য কিভাবে রক্ষিত হতে পারে, ইত্যাকার প্রশ্নের আলোচনায়। খুব ব্যাপক অর্থে যুক্তিবিদ্যা হচ্ছে জ্ঞানানুসন্ধানের তত্ত্ব। নির্ভরযোগ্য জ্ঞান আহরণের বিভিন্ন পদ্ধতির আলোচনা দিয়েই যুক্তিবিদ্যার পরিমণ্ডল গঠিত। পর্যবেক্ষণ, তুলনা, বিশ্লেষণ, সংশ্লেষণ, সংজ্ঞা, পরীক্ষা-নিরীক্ষা, হেত্বাভাষ বা ত্রুটির প্রকার, যুক্তির নীতির বিকৃতি এবং অপপ্রয়োগ ইত্যাকার প্রক্রিয়াগুলির অনসুধাবন সঠিক জ্ঞানের জন্য আবশ্যক বলে এগুলিকে সুনির্দিষ্ট করার জন্য যুক্তিবিদ্যা এ সমস্ত প্রক্রিয়াও আলোচনা করে।

যুক্তির দুটি প্রধান পদ্ধতি হচ্ছে: অবরোহ ও আরোহ। অবরোহ যুক্তিতে একটি নির্দিষ্ট যুক্তির শুরুতে প্রদত্ত এক কিংবা একাধিক বাক্যের ভিত্তিতে একটি অনিবার্য সিদ্ধান্ত গ্রহণ করা হয়। আরোহ যুক্তিতে বাস্তব পর্যবেক্ষণের মাধ্যমে প্রাপ্ত তথ্যাদির ভিত্তিতে বাস্তবক্ষেত্রে সম্ভব একটি সিদ্ধান্ত গৃহীত হয়। অবরোহ যুক্তির সিদ্ধান্তের সত্যতা যুক্তির শুরুতে গৃহীত যৌক্তিক বাক্যের সত্যতা, অসত্যতার উপর নির্ভরশীল। কিন্তু আরোহ যুক্তির  সিদ্ধান্তের সত্যতা নির্ভর করে বাস্তব পর্যবেক্ষণের সঠিকতার উপর। অবরোহ এবং আরোহ পরস্পর পরিপূরক পদ্ধতি। যে কোনো সমস্যা সমাধানের প্রয়াসে অনুসন্ধানের বিভিন্ন পর্যায়ে আমরা অবরোহ এবং আরোহ উভয় পদ্ধতির সাহায্য গ্রহণ করি।

পূর্বে ধারণা ছিল যে, অবরোহ এবং আরোহ ব্যতীত যুক্তির আর কোনো পদ্ধতি নেই। কিন্তু ঊনবিংশ শতকের মধ্যভাগ থেকে দার্শনিক জর্জ বুল যুক্তির ক্ষেত্রে আঙ্গিক ও প্রতীক পদ্ধতি প্রয়োগ শুরু করেন। পরবর্তীকালে বার্ট্রান্ড রাসেল এবং হোয়াইটহেড এই পদ্ধতিকে অধিকতর ব্যাপকভাবে ব্যবহারের চেষ্টা করেছেন। যুক্তির এই আধুনিক বিকাশকে আঙ্কিক যুক্তি, প্রতীক যুক্তি কিংবা যুক্তির বীজগণিত বলেও আখ্যায়িত করা যায়। আঙ্কিকযুক্তি জটিল বলে বোধ হলেও সাধারণীকরণের ক্ষেত্রে এর যে গভীর তাৎপর্য রয়েছে তা নিম্নের উদাহরণ থেকে বোঝা যায়।

সকল মানুষ মরণশীল।

সক্রেটিস একজন মানুষ।

অতএব, সক্রেটিসও মরণশীল।

অবরোহ যুক্তির এই দৃষ্টান্তটি খুবই পরিচিত। এই দৃষ্টান্তের মধ্যে অনিবার্যতার যে সত্য রয়েছে, তাকে অধিকতর সাধারণ করে আমরা বলতে পারি-

সকল ক হচ্ছে খ

সকল গ হচ্ছে ক

সকল গ হচ্ছে খ।

আবার এ সত্য আরো আঙ্কিক করে বলা যায়:

ক=খ, গ=ক, সুতরাং গ=খ।

যুক্তিবিদ্যা
স্বজ্ঞাবাদ
অভিজ্ঞতাবাদ
প্রয়োগবাদ