AL（Algorithm & Logic）セミナー

　　　　　　　　　　 第 112回 ALセミナーのお知らせ

JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマに
してALセミナーを開催しています。興味をおもちの方はどなたでもフラリ
と気楽におたちより下さい。
今回のセミナーは JAIST 研究プロジェクト LCCC (Logic for
Cognition,Computation and Communication) の一環として開催されます。

講演者の岡崎さんは広島大学文学研究科において宇野惇教授の指導の下で
インド論理学を学び、2005年には平楽寺書店より著書「ウッド ヨータカラの論理学」
を出版されました。

********************************************************************

日時： 　2006年2月10日（金）(10th February, 2006) 15:30 -- 17:00

場所： 情報科学研究科 II 棟 5 階 コラボ7
School of Information Science, 2rd bldg. 5th floor, Collab. Room 7

-------------------------------------------------------

講演題目： Some Problems of Early Indian Logic

話題提供者： 岡崎康浩　
Yasuhiro Okazaki (Ph. D, Takamiya Senior High School, Hiroshima)

The aim of this lecture is to present some problems concerning to the
reasons in early Indian demonstration and its symbolic formulation.
Early Indian logicians formulated their demonstrations, and examined the
conditions of valid reasons in them. The examination of those logicians
resulted in three conditions of valid reason called *trairuupya-theory.
Some scholars of Indian logic have formulated the trairuupya-theory and
early Indian demonstration in terms of classical symbolic logic
approximately. The theories of Indian logic including trairuupya-theory,
however, have inductive character. So such a symbolic logical
formulation can not be said to be a faithful reflection of the reasoning
of early Indian logicians. I will re-consider the formulation of Indian
demonstration and propose a model of it. Such a approach would make
Indian logic attract to modern logicians.

* trairuupya: literally means "consisting of three characters". "uu" is
long vowel of "u".


===========================================================
今回の世話人： 小野　寛晰
===========================================================


AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学
技術大学院大学（JAIST）

東条 敏 (tojo)
小野 寛晰 (ono)