イスラム哲学における論理

初期のイスラム法は議論の基準を定式化することに重点を置き、それがカラム（イスラムのスコラ哲学）における「論理への新しいアプローチ」（アラビア語：منطق manṭiq「話し言葉、雄弁」）を生み出した。 ^{[1]しかし、}アリストテレスの『オルガノン』を高く評価したムタズィル派の哲学者 の台頭により、このアプローチはヘレニズム哲学の古い考えに取って代わられた 。^{[要出典]アリストテレス論理学を批判・修正し、独自の論理形式を導入した}アル＝ファーラビー、アヴィセンナ、アル＝ガザーリーなどのイスラム論理 学者の著作も、ルネサンス期のヨーロッパ論理学のその後の発展において中心的な役割を果たした。^[2]

ラウトレッジ哲学百科事典によると：

「イスラム哲学者にとって、論理学は推論の形式的パターンとその妥当性の研究だけでなく、言語哲学、さらには認識論や形而上学の要素も含んでいた。アラビアの文法学者との領土紛争のため、イスラム哲学者は論理と言語の関係を解明することに非常に興味を持ち、推論や言語との関連における論理の主題と目的の問題に多くの議論を捧げた。形式的論理分析の分野では、アリストテレスの『範疇論』、『解釈論』、『事前分析論』で定式化された用語、命題、三段論法の理論を詳しく論じた。アリストテレスの精神に則り、彼らは三段論法をすべての合理的議論を還元できる形式とみなし、三段論法理論を論理学の焦点とみなした。詩学さえも、ほとんどの主要なイスラムのアリストテレス主義者によって、ある意味で三段論法の芸術とみなされていた。」

イスラムの論理学者による重要な発展には、アリストテレス論理学に代わる「アヴィセンナ論理学」の発展が含まれる。アヴィセンナの論理体系は、仮説三段論法、時間 様相論理学、帰納論理学の導入につながった。イスラム初期哲学におけるその他の重要な発展には、厳格な引用科学であるイスナード（裏付け）^{[3] [4]}の発展と、主張を反証するための科学的公開調査方法であるイジュティハード（多くの種類の質問に一般的に適用可能）の発展が含まれる。^{[5] [6] [7] [8]}

類推的推論、帰納的推論、定言三段論法の初期の形態は、アリストテレスの著作がアラビア語に翻訳される前の7世紀から、キヤースの過程とともにフィクフ（イスラム法学）、シャリーア（イスラム法）、カラム（イスラム神学）に導入された。その後、イスラムの黄金時代には、イスラムの哲学者、論理学者、神学者の間で、 「キヤース」という用語が類推的推論、帰納的推論、定言三段論法のいずれを指すかについて論理的な議論があった。一部のイスラム学者は、キヤースは帰納的推論を指すと主張したが、イブン・ハズム（994-1064）はこれに反対し、キヤースは帰納的推論ではなく、本当の意味での定言三段論法と比喩的な意味での類推的推論を指すと主張した。一方、ガザーリー（1058-1111）とイブン・クダマ・アル・マクディスィー（1147-1223）は、キヤースは実際の意味での類推的推論と比喩的な意味での定言的三段論法を指すと主張した。しかし、当時の他のイスラム学者は、キヤースという用語は実際の意味での類推的推論と定言的三段論法の両方を指すと主張した。^[9]

論理学に関する最初のオリジナルのアラビア語の著作は、アル・キンドゥス（805-873）によって著され、同時代までの初期の論理学の要約を著した。非アリストテレス的な要素を含む論理学に関する最初の著作は、アル・ファラビー（873-950）によって著され、未来の偶然性、カテゴリーの数と関係、論理と文法の関係、非アリストテレス的な推論形式などのトピックについて論じた。^{[10]彼はまた、論理学を「アイデア」と「}証明」の2つの別々のグループに分類したことでも知られている。

アヴェロエス（1126-98）はアルアンダルス出身の最後の主要な論理学者であり、アリストテレス論理学に関する最も精巧な注釈を書いた。^[11]

アヴィセンナ（980年 - 1037年）は、アリストテレス論理学に代わる「アヴィセンナ論理学」として知られる独自の論理体系を開発した。12世紀までに、アヴィセンナ論理学はイスラム世界の支配的な論理体系としてアリストテレス論理学に取って代わった。^{[12] [13]}

アリストテレス論理学に対する最初の批判は、注釈書ではなく論理学に関する独立した論文を著したアヴィセンナによって書かれた。彼は、当時バグダッドの論理学派がアリストテレスに傾倒していたことを批判した。彼は定義と分類の理論、および定言命題の述語の量化を調査し、「時間的様相」三段論法に関する独自の理論を展開した。その前提には、「常に」、「大抵の場合」、「ある時点で」などの 修飾語が含まれていた。

アヴィセンナは哲学では演繹的推論に頼ることが多かったが、医学では異なるアプローチを用いた。アヴィセンナは帰納的論理の発展に独創的な貢献をし、それを用いて症候群という概念を開拓した。医学書の中で、アヴィセンナは帰納的論理と科学的方法にとって極めて重要な一致、相違、付随する変化の方法を初めて説明した。^[14]

イブン・ハズム（994–1064）は『論理学の範囲』を著し、知識の源泉としての感覚 知覚の重要性を強調した。 ^[15] ガザーリー（アルガゼル）（1058–1111）は『カラム』でアヴィセンナ論理学を活用し、神学における論理の使用に重要な影響を与えた。

ファフル・アッディーン・ラーズィー（1149年生まれ）は、アリストテレスの「第一図」を批判し、ジョン・スチュアート・ミル（1806年 - 1873年）が開発した帰納論理の体系を予見する帰納論理の一形態を開発した。ギリシャ論理の体系的な反駁は、シャハブ・アッディーン・スフラワルディ（1155年 - 1191年）が創設した啓蒙主義学派によって書かれた。スフラワルディは、「決定的必然性」という概念を開発し、これは論理哲学的思索の歴史における重要な革新である。^{[15] [検証に失敗した]}ギリシャ論理学に対するもう一つの体系的な反論は、イブン・タイミーヤ（1263–1328）による「アル・ラッド・アラ・アル・マンティキイイン（ギリシャ論理学者の反論）」であり、彼は三段論法の有効性ではないが有用性を否定し^{[16] 、}帰納的推論を支持した。^[17]

• 初期のイスラム哲学
• 論理の歴史
• キヤス
• イジュティハード

• レッシャー、ニコラス 1964年。『アラビア論理学の歴史研究』、ピッツバーグ：ピッツバーグ大学出版局。
• レスチャー、ニコラス（1966年）。アラビア論理学における時間的様相。ドルドレヒト：ライデル。

• 「アヴィセンナ（イブン・シーナー）：論理学」。インターネット哲学百科事典。
• ラウトレッジ哲学百科事典：イスラム哲学の論理、ラウトレッジ、1998年
• イスラム哲学の論理、Deborah L. Black 著、Muslimphilosophy.com:
• 古代イスラム（アラビア語とペルシャ語）の論理学と存在論、ラウル・コラゾンの『論理学の歴史』より。