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