普遍記号法
From Wikipedia, the free encyclopedia
ライプニッツは数学者として解析学へ貢献の貢献が有名である。ニュートンと同時期、かつ独力で無限小計算の概念を導入し、積分に対する微分を計算する法則である「ライプニッツの積分法則」を発案している[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]。
ラッセルに由来するとされる批判によれば、彼はアリストテレス論理学が関係について推論するには不十分であることを自覚していた。しかし、アリストテレスの三段論法にあまりに執着していたため、普遍論理計算という自らの計画に必要な改変を加える事ができなかった。
