منطق صوری در آثار ارسطو ارسطو، فیلسوف یونانی، یکی از بنیانگذاران منطق صوری است. او در کتابهای خود، به ویژه در “تحلیلهای پیشین” و “تحلیلهای پسین”، به بررسی اصول و قواعد منطق پرداخته است. یکی از مهمترین مفاهیم در منطق صوری، مفهوم قیاس است. قیاس، استنتاجی است که از دو مقدمه به یک نتیجه میرسد. […]