コンテンツにスキップ

普遍記号法

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ライプニッツ肖像画

普遍記号法 ( ふへんきごうほう : characteristica universalis ) は、ドイツ哲学者数学者科学者であるゴットフリート・ヴィルヘルム・ライプニッツが構想した普遍的で形式的な言語である[1]。 この言語は、数学的概念、科学的概念、形而上学的概念のいずれをも表現できるものとして考案された。ライプニッツは、機械化可能な普遍論理計算――「推論計算器 ( : calculus ratiocinator ) 」――が可能な言語の創造を目指した[1]

記号法の定義

[編集]

ライプニッツは数学者として解析学へ貢献の貢献が有名である。ニュートンと同時期、かつ独力で無限小計算の概念を導入し、積分に対する微分を計算する法則である「ライプニッツの積分法則」を発案している[2]。 哲学者としても、彼は論理学、形而上学、法学、倫理学、さらには政治学や神学について数々の考察を残した[3]

青年期の著作『組合せ術について ( : De arte combinatoria ) 1666年刊行』において、彼は記号言語の最初の形式を導入しようと試みたが成功しなかった。 彼は「普遍記号法」 ( : characteristica universalis または: lingua philosophica ) と呼ぶ形式的な普遍言語の可能性について数多くの機会に論じた。 それは、合理的な分野はもちろん、美学(美学だけでなく芸術理論等)などの分野の言説も含めての発展に寄与した。特に、形而上学法学音楽の記法、倫理学数学物理学において顕著である[3]

ラテン語の ( : caracteristica ) は「記号」を意味し、ライプニッツはこの「記号法」を、あらゆる概念を統一的に表現できる形式言語とするべく構想していた。

ライプニッツによれば、普遍記号法の創造は推論計算器 ( : calculus ratiocinator ) 創造への第一歩である。推論計算器は、考えられるすべての理論的問題を計算によって、つまり、命題の真理値を決定する機械化可能な手続きの有限集合によって解決することを目指した。推論計算器は、電卓の計算と類似した単純な機械化可能な計算機を目指した[1]

ライプニッツは次のように叫んでさえいる

そうなれば、二人の哲学者の間で、二人の数学者の間以上に長い議論をする必要はもはやなくなるであろう。なぜなら、彼らがペンを取り、計算机に向かい(望むなら友人の助けを借りて)、互いに「計算しよう!」と言い合うだけで十分だからである ( « Alors, il ne sera plus besoin entre deux philosophes de discussions plus longues qu'entre deux mathématiciens, puisqu'il suffira qu'ils saisissent leur plume, qu'ils s'asseyent à leur table de calcul (en faisant appel, s'ils le souhaitent, à un ami) et qu'ils se disent l'un à l'autre : « Calculons ! » » ) — ライプニッツ、" Nova methodus pro maximis et minimis " in Acta Eruditorum, 1684

努力にもかかわらず、彼はこの言語を完成させることに成功しなかった。それでも彼は、幾何学的記号法と無限小計算のアルゴリズムにおいて、局所的にはそのような記号法を確立することに成功した[4]

ラッセルに由来するとされる批判によれば、彼はアリストテレス論理学が関係について推論するには不十分であることを自覚していた。しかし、アリストテレスの三段論法にあまりに執着していたため、普遍論理計算という自らの計画に必要な改変を加える事ができなかった。

脚注

[編集]
  1. ^ a b c 山内 1998, p. 1390.
  2. ^ 戸倉.
  3. ^ a b 佐々木 1998, pp. 1647–1648.
  4. ^ Michel Fichant, in Science et "métaphysique dans Descartes et Leibniz", PUF, 1998, chap. 5, p=128

関連項目

[編集]

参考文献

[編集]
  • ライプニッツ著、ルイ・クトゥラフランス語版編『ライプニッツ未刊小論集パリ1903年刊行。
  • ルイ・クトゥラ『ライプニッツの論理学:未公刊資料による』パリ、1901年刊行。
  • ウンベルト・エーコ「記号法と計算 ( La caractéristique et le calcul ) 」『ヨーロッパ文化における完全言語の探求 ( La Recherche de la langue parfaite dans la culture européenne ) 』所収
  • 山内志朗 著「普遍記法」、廣松渉; 子安宣邦; 三島憲一; 宮本久雄 編『岩波 哲学・思想辞典』(第1版)岩波書店、日本、1998年3月18日、1390頁。ISBN 4-00-080089-2 
  • 佐々木能章 著「ライプニッツ」、廣松渉; 子安宣邦; 三島憲一; 宮本久雄 編『岩波 哲学・思想辞典』(第1版)岩波書店、日本、1998年3月18日、1647-1648頁。ISBN 4-00-080089-2 
  • 戸倉隆「微分・積分の概念形成過程 数学的な見方や考え方を中心に (PDF)」『日本数学教育学会誌』78巻(1号)、日本: 公益社団法人 日本数学教育学会、1996年、24–31頁。doi:10.32296/jjsme.78.1_24。2025年8月19日閲覧