Section 2.0: Preliminary Remarks

It is easy to think of examples of intuitively correct deductions that cannot be adequately mirrored in the model of sentential logic... This chapter presents a system of logic of much greater ability. In fact, when the “working mathematician” finds a proof, almost invariably what is meant is a proof that can be mirrored in the system of this chapter.