قضیه بتّیّه و غیر بتّیّه

یکی از تقسیمات قضیه که در برخی از کتاب‌های فلسفی و منطقی متاخرین مطرح شده تقسیم قضیه به بتیه و غیربتیه است. هریک از این دو قسم به‌ویژه قضیه غیربتیه دارای احکامی است که می‌توان از آن‌ها در حل پاره‌ای از مشکلات منطق و فلسفه بهره برد. تا پیش از جعل این اصطلاح، آن مشکلات به‌آسانی حل نمی‌شد، اما با توجه به این‌گونه از قضایا، راه‌حل آسانی برای این مشکلات پدید آمد. البته خود این قسم از قضیه با چالش‌هایی روبه‌رو شده که در این مقاله پس از بررسی مفهوم و نیز حقیقت این‌گونه قضایا، به این مسائل نیز پرداخته شده است. در ضمنِ این بررسی، ناگزیر پای برخی دیگر از قضایا، مانند شرطیه، مشروطه و حقیقیه نیز به مقاله باز شده است تا تفاوت قضیه غیربتیه با آن‌ها روشن شود.