論理学って、一般の人が想像するのは古典論理か
プール代数だろうけど、ちょっと応用面になると、
プール代数におけるフリップフロップみたいな
時間様相が入ってくるじゃないですか。さらに
制禦とかをやろうとすると、ファジイ論理とかも
視野に入ってくるし。
一方で、証明可能性とかになると、「二重否定の除去」が
できないから直観論理が必要になってくる（「神が存在しないことの
証明が可能でないならば、神は存在する」は、一般的に正しくない。
とはいえホーン節の論理だと、閉世界仮説が通用するので
「正しい」という教条主義的な結論になりそうだが）とか、
様相論理（多値論理？）とか考えないと「多数派の多数派は必ずしも
多数派ではない」みたいなわりと素朴な推論も、うまく扱えない。
各論は掘り下げなくてもいいけど（それぞれ専門の本はある）、
それぞれの論理の概観的な紹介と現実的な応用、またそれぞれの
論理の関係について、ざっくりと解説してくれているような
本ってないのかな。