高木翼のWebサイト


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

古代ギリシャのデルフォイ神殿に捧げられた「汝自身を知れ」という標語は、人間の傲慢さを戒める。自分たちの事なら何でも分かると思いがちだが、本当は自分こそが自分にとっての究極の謎なのだ。私は、論理・認識・言語という観点から、この謎に迫ろうと試みている。

新着情報

  • 新着記事

    論理プログラミングの解説記事を公開しました。

  • お知らせ

    飛び級で大学院に進学しました。

  • 新着論文

    論文をarXivに投稿しました。

  • 新着記事

    様相論理文献集を公開しました。

  • お知らせ

    やまなみ書房のページにて、本サイトが紹介されました。

  • お知らせ

    Webサイトを開設しました。

論理学とは

論理学とは、人間の合理的な思考の仕組みを探求する学問である。それにより、高度な思考を自動で行える計算機の作成や、思考の些細な誤りを瞬時に検出する計算機の作成につながる。論理学の研究課題としては、次のようなものがある。

関連分野:計算機科学、数学基礎論、言語哲学、言語学など

論理学における証明(計算)の例
(公理) A ⊦ A
(否定右規則) ⊦ ¬A, A
(選言右規則) ⊦ A∨¬A, A
(交換右規則) ⊦ A, A∨¬A
(選言右規則) ⊦ A∨¬A, A∨¬A
(縮約右規則) ⊦ A∨¬A
証明完了
ページの先頭へ
inserted by FC2 system