「型 （タイプ）」 の理論は、数学的に記述すれば、そうとうに難しい理論です。
　ラッセル・ホワイトヘッド 共著 「数学原理」 （Principia Mathematica、この書物で提示された述語論理の体系を 「PM」 と略称することが多い） は、述語論理の体系を作りましたが、「型」 の理論も導入されています。そして、「型」 の理論は、直接的・間接的に、後世の数学・論理学・哲学に影響を与えたそうです。ちなみに、ゲーデル は、この タイプ 理論を使って、いわゆる 「不完全性定理」 を証明しました。

　ただ、数学を専門にしていないのであれば、ここに述べた 「考えかた」 さえ理解していれば充分でしょう。もし、厳密に学習したいのであれば、「型」 の理論を直接に読み下すのではなくて、PM の体系を学習すれば良いでしょう。ただ、「数学原理」 は大著なので--ページ 数が 1,000ページを超える--、専門家でないひとが読み通すことは無理でしょうね （小生も 「数学原理」 を読んでいない）。幸いに、「序論」 の邦訳が出版されているので、下記の 「序論」 を読めば、PM の根底にある考えかたは、数式を使って理解できます。

　　　ホワイトヘッド・ラッセル 共著、岡本賢吾・戸田山和久・加地大介 共訳、
　　　「プリンキピア・マテマティカ 序論」、哲学書房、1988年。

　ウィトゲンシュタイン は、（記号論を 言語の 「意味」 の観点に立って考えて、） ラッセル の 「タイプ 理論」 を否認しました。そして、「真」 概念を検証する一般手続きとして、主選言標準形を使った 「真理値表」 を提示しました。

　TM （Ｔ字形 ER手法） は、事業過程 （正確には、管理過程） のなかで使われている 「語-言語の 『意味』 を記述する構造」 を作る手法なので、ラッセル の タイプ理論を使わないで、ウィトゲンシュタイン の考えかたを基底にしました。私は、当初 （10数年前に）、ウィトゲンシュタイン の前期哲学 （「論理哲学論考」） を起点にして、TM を作りましたが、あとで （2000年に）、かれの後期哲学 （「哲学探究」） を使って、TM の前提を転回しました。