کتاب سیر منطق

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