کتاب منطق صوری  اثر خوانساری منطق صوری به انگلیسی Formal logic شاخه ای از منطق است که طرز صحیح صورت بندی اندیشه را به نحو کلی بیان می کند به گونه ای که با به کار بردن آن صورت ها ذهن از خطای صوری مصون می شود تمام اهمیت ارسطو در منطق و بزرگ ترین کشف او در این دانش کشف صورت form است