منطق صوری

نخستین کاشف صریح و ثبت‌شدهٔ منطق صوری (formal logic) در تاریخ، ارسطو فیلسوف مشهورِ یونانی است. نوشته‌هایِ ارسطو دربارهٔ منطق در دوره بیزانسی به صورت مجموعه‌ای یگانه تدوین و به نامِ ارگانون[1] (ارغنون) گردآوری شد. این مجموعه شامل شش بخش است به نام‌های: «مقولات»، «عبارت(قضایا)»،… اطلاعات بیشتر