فرگ

💡 درست همان‌گونه که منطق گزاره‌ای به نوعی یک پیشرفت در مقایسه با دستگاه قدیمی‌تر منطق قیاسی است، منطق محمولاتی ابداع شده توسط گوتلاب فرگ هم پیشرفتی در مقایسه با منطق گزاره‌ای به حساب می‌آید. منطق محمولاتی به عنوان "تلفیقی از ویژگی‌های شاخص منطق قیاسی و منطق گزاره‌ای" توصیف شده‌است، در نتیجهٔ آغازگر دورانی تازه در تاریخ منطق است. با این وجود پیشرفت‌های جدید در منطق گزاره‌ای بعد از فرگ هم انجام گرفته‌است از جمله کسر طبیعی، درخت‌های درستی و جدول ارزش. کسر طبیعی توسط گرهارد گنتزن و جان لوکاسویچ ابداع شده‌است اما در مورد منشأ اختراع جدول درستی بحث و اختلاف نظر وجود دارد.

💡 ایده‌های پشت جدول ارزش در نوشته‌های هر دو فرگ و برتراند راسل یافت شده‌اند، با این حال ساختار جدولی (یعنی قرار دادن مقادیر درستی در جدول‌ها) عمدتاً به لودویگ ویتگنشتاین، امیل لئون پست یا هر دو نسبت داده می‌شود (مستقل از یکدیگر). جدا از فرگ و راسل، دیگرانی که به داشتن نظریاتی ماقبل جدول‌های درستی شناخته می‌شوند، عبارتند از: فیلو، بول، چارلز سندرز پرس و ارنست شرودر. همچنین علاوه بر پست و ویتگنشتاین ساختار جدولی را منتسب به افرادی چون لوکاسویچ، شرودر، آلفرد نورث وایت‌هد،ویلیام استنلی جوونز، جان ون و کلارنس اروینگ لوویس می‌دانند. در نهایت بعضی چون جان شاشکی این‌گونه نتیجه‌گیری می‌کنند که «بدیهی است که هرکسی می‌تواند مخترع جدول ارزش شناخته شود».