درآمد به منطق (ایروینگ کپی- کارل کوهن- کنث مک‌ماون)

یادداشت ۱: روند منطق نوین

این یادداشت به تمایز بنیادین بین صورت و معنا، رابطه آن‌ها و نقش فرامنطق در منطق نوین، با نگاه نزدیک‌تر به فصل‌های نهم و دهم کتاب درآمد به منطق، می‌پردازد. گرچه آنچه می‌آید منطق گزاره‌ای و درباره آن است ولی چه منطق کلاسیک جدید و در ادامه آن منطق محمولات و چه منطق‌های غیر کلاسیک (مانند منطق شهودی/Intuitionistic logic، منطق‌ سه ارزشی/Ternary logics و چند ارزشی، منطق مدال/Modal Logic و مانند آن‌ها) گام با چنین روندی دارند.  یادداشت دارای قسمت‌های به‌قرار زیر است:

۱- روند منطق نوین

۲- زبان، صوری و فرازبان

۳- تعبیر و معناشناسی در منطق

۴- بنای دستگاه صوری استنتاج

۵- منطق و فرامنطق

۶- درخت ارزش در منطق گزاره‌ای