این کتاب شامل مباحثی فلسفی درباره موضوعاتی است که در منطق از آنها بحث میشود؛ برای مثال اگر در منطق با استفاده از شیوههایی, اعتبار یک استدلال را بررسی میکنیم, در فلسفه منطق این بحث مطرح میشود که چه چیز را بررسی میکنیم و اساسا معتبر بودن یک استدلال به چه معناست. به تصریح نویسنده: 'در این کتاب اهتمام به فلسفه منطق است نه تاریخ منطق؛ اما راهبرد من به گونهای طراحی شده است که نگاهی نیز به تاریخ تعامل مباحث صوری و فلسفی که هم اکنون طرح کردم داشته باشد. بحث خود را با بررسی بعضی از مسائلی آغاز میکنم که دستگاههای منطقی استاندارد پدید آورده ـ تفسیر ادات ربط, جمله نشانهها, سورها, متغیرها, ثابتهای فردی, مفهوم اعتبار, صدق, صدق منطقی ـ از فصل 9 به بعد به بررسی این نکته باز میگردم که چگونه بعضی از مسائل مذکور سبب پیدایش ابداعات صوری [نظیر] 'منطقهای توسعه یافته' و 'منطقهای غیر متعارف' شدند. همچنین بررسی خواهم کرد که از چه راههایی این صورت بندیهای جدید به نوبه خود, به ارزیابی مجدد بحثهای فلسفی انجامید ودر فصل آخر, به نتیجهگیری, همراه با طرح چند پرسش ـ و شمار کمتری پاسخ ـ درباره شان متافیزیکی و معرفت شناختی منطق, روابط میان زبانهای طبیعی و صوری و ارتباط منطق با استدلال خواهم پرداخت'.