2018年11月09日 に初出の投稿

Last modified: 2018-11-09 14:00:03

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.

New Free Open-Source Multi-Purpose Multi-System Logic Software

Quine とか Frege とかは既に使われてるんだけど、Carnap なぁ。ちなみに、バーワイズの本の付録でもいいし他の本とかソフトウェアのプロジェクトでもいいけど、theorem prover って「哲学の」役に立ってるのかな。

  1. もっと新しいノート <<
  2. >> もっと古いノート

冒頭に戻る


※ 以下の SNS 共有ボタンは JavaScript を使っておらず、ボタンを押すまでは SNS サイトと全く通信しません。

Twitter Facebook