高木翼のWebサイト


汝自身を知れ(グノーティ・セアウトン)

Information

論理学

形式論理入門

論理プログラミング

Prolog入門

論理学とは

私たちは、言葉を使って他者と意思疎通を図っています。しかし、自分の考えを正確に伝えたり、説得力のある意見を言うためには、ある一定の法則に従って言葉を用いなければなりません。その法則こそが「論理」と呼ばれるものであり、数学や物理学の法則のように、どの国や文化圏に属する人であっても受け入れざるを得ない一般性と客観性を備えています。「言葉を論理的に筋道立てて使うこと」は、国や文化圏の壁を超えて、普遍的に必要となる技術だといえます。

しかし、論理を既に完成した「弁論のための技術」とみなすだけでは、論理の奥深さを捉えきれていません。それは、今現在も科学が完成することなく、日進月歩で発展し続けているのと同様です。科学は、私たちが生きている物理世界を探求し、新たな理論を生み出していますが、それと同じように、論理学でも新たな理論が生み出され続けています。ただし、論理学が探究の対象とするのは、目に見える物理世界ではなく、目には見えない「思考」の世界です。

では、論理学とは具体的には一体どのようなものなのでしょうか。このwebサイトでは、論理学を全く学んだことがない人のための解説記事を掲載しています。これまで自分はあまり論理的に物事を考えてこなかったなという人も、あるいは論理なんて当たり前で何をこれ以上学ぶことがあるのかという人も、論理学がどんなものか、ちょっと覗いてみませんか。

inserted by FC2 system