Loading article…
論理マシンまたは論理そろばんは、真理値表を使用して正式な論理演算を実行するためにエネルギーを使用する一連の部品を含むツールです。初期の論理マシンは、ブール論理の基本的な演算を実行する機械装置でした。このようなマシンの主な例としては、ウィリアム・スタンレー・ジェヴォンズ（論理ピアノ）[1] [2]ジョン・ヴェン、[3]アラン・マルカンドのマシンがあります。[4] [5]
現代の論理マシンは、数理論理学の定理の証明を支援するコンピュータベースの電子プログラムです。21 世紀には、これらの証明支援プログラムによって、数学的知識管理と呼ばれる新しい研究分野が誕生しました。
起源
最も初期の論理マシンは、19世紀後半に作られた機械構造物でした。 ウィリアム・スタンレー・ジェヴォンズは1869年に最初の論理マシンである論理ピアノを発明しました。[6] 1883年にアラン・マーカンドは、ジェヴォンズの論理ピアノと同じ操作を実行できる新しい論理マシンを発明しましたが、設計の簡素化、移植性、入出力制御が改善されていました。[7]
論理そろばんは、論理用語とその否定語の可能な組み合わせをすべて示し、さらに、属性やその他の限定語を追加することでこれらの組み合わせがどのように影響を受けるかを示すために、つまり、論理問題の解決を機械的に簡素化するために作られています。これらの器具はすべて、「論理石板」の多かれ少なかれ精巧な開発であり、その石板には、一定数の用語から論理的に作成できるすべての記号または文字の組み合わせが縦の列に書かれています。これらは、任意の前提と比較され、互換性のないものは消されました。そろばんでは、組み合わせはそれぞれ単一の木片または同様の物質に刻まれており、キーによって動かされます。したがって、互換性のない組み合わせは、任意の一連の前提に従って、機械的に自由に削除できます。
参照
参考文献
- ^ ジェヴォンズ、ウィリアム・スタンレー。「xxiii」。論理学初等講座。
- ^バレット、リンゼイ、コネル 、マシュー (2005)。「ジェヴォンズと論理学の『ピアノ』」ラザフォードジャーナル。1 。
- ^ ヴェン、ジョン（1894）。記号論理学（第2版）。ロンドン：マクミラン。p.135f –インターネットアーカイブ経由。
- ^ マルカンド、アラン(1883).ジョンズホプキンス大学論理学研究.
- ^マルカンド、アラン（ 1885年）。アメリカ芸術科学アカデミー。pp.303-7 。
- ^ ベネット2005年、162-163頁。
- ^ ベネット2005年、163ページ。
文献
この記事には、現在パブリック ドメインとなっている出版物のテキストが組み込まれています: ヒュー・チザム編 (1911)。「Abacus」。ブリタニカ百科事典。第 1 巻 (第 11 版)。ケンブリッジ大学出版局。pp. 5– 6。
- ベネット、デボラ(2005)。『論理を簡単にする：言語があなたを欺くときを知る方法』WW ノートン & カンパニー。p. 163。ISBN 0393326926。
アラン・マーカンドのロジックマシン。
- マルカンド、アラン
- (1883)、「三段論法の変化を生成する機械」、C. S. Peirce 編、Studies in Logic、pp. 12-15、および「8 項論理機械に関する注記」p. 16。Google Books Eprint。1983 年に Max Fisch の序文付きで再版された本。
- (1886)「新しい論理マシン」、アメリカ芸術科学アカデミー紀要 21 : 303–07。Google ブックス Eprint。
- ピアース、CS
- (1886 年の手紙)、手紙、ピアースから A. マルカンドへ、1886 年 12 月 30 日、1993 年に Kloesel, C. 他編『Writings of Charles S. Peirce: A Chronological Edition』第 5 巻、インディアナ大学出版、pp. 421–3 に掲載。Google ブックス プレビュー。
- (1887)「論理機械」、アメリカ心理学会誌第 1 巻、第 1 号、ボルチモア、N. マレー、pp. 165–70。Google ブックス Eprint。(1976) The New Elements of Mathematics第 3 巻、第 1 部、pp. 625–32、(1997) Modern Logic 7:71–77、Project Euclid Eprint、および (2000) Writings of Charles S. Peirce第 6 巻、pp. 65–73 に再録。
- ボールドウィン、マーク・ジェームズ（1902）、「論理機械」、哲学と心理学の辞典、pp. 28-30、Google ブックス Eprint。心理学の歴史における古典Eprint。
- Ketner, Kenneth Laine (1984)、「コンピュータ設計の初期の歴史: Charles Sanders Peirce と Marquand の論理マシン」、Arthur Franklin Stewart の協力を得て、Princeton University Library Chronicle、v. 45、n. 3、pp. 186–211。PULC 15MB PDF Eprint。
- Dalakov, Georgi (日付なし)、「Charles Peirce と Allan Marquand」、コンピュータとコンピューティングの歴史。Eprint。
さらに読む
- ジェヴォンズ、ウィリアム・スタンレー（1869年）。類似物の置き換えは、アリストテレスの格言の修正から派生した推論の真の原理である。ロンドン：マクミラン –インターネットアーカイブ経由。— 55 ページ以降で、ジェヴォンズは彼の論理的算盤について説明しています。