タルスキの世界

Tarski's World は、 Jon BarwiseとJohn Etchemendyによって書かれた、コンピュータベースの一階述語論理入門です。数学論理学者Alfred Tarskiにちなんで名付けられました。このパッケージには、教科書とマニュアルとして機能する書籍と、コンピュータ プログラムが含まれており、これらが一体となって、単純な 3 次元の世界にさまざまな幾何学的図形を配置し、それらを使用して一階述語論理文の真偽をテストするゲームを通して、論理の意味論への入門として機能します。このプログラムは、Language, Proof and Logicパッケージにも含まれています。^{[ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]}

このプログラムは後にハイパープルーフへと拡張された。^{[ 6 ]}

• Barwise, J. & Etchemendy, J. (1993)。タルスキーの世界。カリフォルニア州スタンフォード: CSLI Publ.
• Barker-Plummer, D.、Barwise, J.、および Etchemendy, J. (2008)。タルスキーの世界。カリフォルニア州スタンフォード: CSLI Publications。
• CSLIのOpenproofプロジェクト：Tarski's Worldコースウェアパッケージのホームページ、Dave Barker-Plummer、Jon Barwise、John EtchemendyがAlbert Liuと共同で作成

• 言語証明と論理のためのプログラム「Tarski's World」の使い方を示す短いビデオクリップ。