記号論理学入門 の商品レビュー

小松寿(著者)

2016/09/17

ほとんど説明がないままに怒涛の記号。
説明されている内容はごくオーソドックスな命題論理・述語論理の意味論と公理論なので、こういうスタイルでこういった言わばドライな進め方があっている人もいるかもしれない。記号論理学をある程度知っている人でも、こうした定式化で頭の整理をしてみる意味はあるとも思った。