Scribble at 2018-11-09 14:00:03 Last modified: unmodified
Graham Leach-Krouse, assistant professor of philosophy at Kansas State University, has created some remarkable new logic software and has made it free for everyone to use and develop. He has named the software Carnap and describes it in the guest post* below.
Quine とか Frege とかは既に使われてるんだけど、Carnap なぁ。ちなみに、バーワイズの本の付録でもいいし他の本とかソフトウェアのプロジェクトでもいいけど、theorem prover って「哲学の」役に立ってるのかな。