クエリ: 論理学とはどのような学問ですか?
文章: 論理学 論理学(ろんりがく、)とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。
文章: 論理学 古代より世界各地において論理学の研究に関する文献が残されており、それらから中国の墨子が墨弁において推論や証明の形式的な方法を考察したことや、インドのディグナーガなどが論証の基本的な条件について整理したこと、またギリシアにおいてはエウクレイデスが公理に基づいた論証を用いたことや、アリストテレスが推論の規則として三段論法(gr. syllogismos) を定式化したことが知られている。これらの研究の中でもインドと中国での研究は個別に進められたが、ギリシアでの研究は中世においてアラビアやヨーロッパに伝わり、ルネサンス以後の研究者にも参照されていることから、歴史的な研究成果として位置づけることができる。今日の論理学の体系は19世紀における研究成果に基づいているため、ここではそれ以前の論理学である伝統的論理学について概説する。 文章: 論理学の歴史 インドの六学派のうち、ニヤーヤ学派とヴァイシェーシカ学派の二つが論理学を扱っている。アクサパンダ・ガウタマ(2世紀)の『』はヒンドゥー哲学の6つの正統学派の一つニヤーヤ学派の中心的な文献となっている。この実在論的な学派は最初の前提、根拠、事例、応用、結論という五段階の枠組みから成る厳密な推論を発展させた。観念論的な仏教哲学はニヤーヤ学派に対する主な反論者となった。中観派の創始者ナーガールジュナ (150年頃-250年頃)はとして知られる分析を発展させた。この論証法では命題の肯定、否定、肯定かつ否定、肯定でも否定でもないの四種類を体系的に吟味・棄却する。しかし一方で形式的な三段論法を発展させたディグナーガ(480年頃-540年頃)やその弟子で仏教論理学を頂点に導いたダルマキールティといった人々も並行して存在していた。彼らの分析は一定の付随物また浸透物としても知られる必然的な論理的帰結、「ヴィヤプティ (遍充)」の定義に重点を置いていた。この目的のために「アポーハ」つまり差別化として知られる教説が発展した。これは物の特質を定義する際の包含・除外と呼ばれるものと関係している。 文章: 論理積 数理論理学において論理積(ろんりせき、)とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接(ごうせつ)、連言(れんげん、れんごん)とも呼び、ANDとよく表す。 文章: 存在論 アリストテレスは、存在への問いを明確に立て体系化した最初の人物である。彼は、その学問体系を、「論理学」をあらゆる学問成果を手に入れるための「道具」(organon)であるとした上で、「理論」(テオリア)、「実践」(プラクシス)、「制作」(ポイエーシス)に三分し、理論学を「自然学」と「形而上学」、実践学を「政治学」と「倫理学」、制作学を「詩学」に分類した。アリストテレスによれば、形而上学は存在するものについての「第一哲学」であり、始まりの原理についての知である。すなわち、存在者のさまざまな特性を問う個別科学とは区別され、その上位に位置づけられる究極の学問として、「存在者である限りでの存在者」、「全体としての存在者」、すなわち「存在とは何か」を問う学問を構想し、これを「第一哲学」と呼んだのである。 文章: 論理学者 もともと論理学は哲学の一部門だったため、かつては哲学者が論理学者を兼ねることが多かった。しかし、19世紀末から論理学の研究が急速に進むようになって、論理学研究の担い手も、哲学者から数学者へとシフトしていった。現在では、数学科や計算機科学科に所属している論理学者が多い。 文章: 科学史 紀元前3-2世紀、古代ギリシアが古代ローマに征服されてローマ帝国として発展するが、ギリシアの科学の研究が本格的に始まったのはマルクス・テレンティウス・ウァロ(紀元前116年 - 紀元前27年)の頃からであると考えられている。しかしローマでは実践的・実用的な研究に重きがおかれ、ギリシアの文化や思想はあまり浸透しなかった。ウァロはギリシアの科学から知識を吸収し、学問を9つに分類して体系化した。すなわち文法学・論理学・修辞学・幾何学・数論・天文学・音楽の自由七科と医学と建築学である。この後に網羅的な研究が進められ、道路やローマ水道が整備され、建築や彫刻を設計する技術力を獲得する。学問ではプリニウスが『博物学』、ウィトルウィウスが『建築書』、セネカが『自然の研究』などを記しているが、ギリシアの科学を無批判に受容し、また自然物のすべては人間のために作られたという思想のためにギリシア的な学問は廃れてしまった。 文章: 数学 現代における純粋数学の研究は主に代数学、幾何学、解析学の三分野に大別される。また、これらの数学を記述するのに必要な道具を与える論理を研究する学問を数学基礎論という。 文章: 論理学 弁証法なども、「論理」なのであるが、論理学における論理とは異なる。これらは、論理というよりむしろ理論 (Theory)である。 文章: インド論理学 メーダティティ・ガウタマ(紀元前6世紀頃)は論理学のアンヴィクシキ学派の創始者である。紀元前5世紀頃の『マハーバーラタ』(12.173.45)には論理学の学派としてアンヴィクシキ学派とタルカ学派が言及されている。パーニニ(、紀元前5世紀頃)はサンスクリット文法を定式化するために論理学の形式を研究した(後世のブール論理学はこのパーニニの論理学に類似している)。チャーナキヤ(紀元前350年-紀元前283年)は『アルタシャーストラ』において質疑という独立した領域の論理学を展開した。 文章: 論理学の歴史 "伝統的論理学"は一般的にはアントワーヌ・アルノーとピエール・ニコルの『論理学、あるいは思考の技法』、通称『ポール・ロワイヤル論理学』に始まる教科書の伝統である。『ポール・ロワイヤル論理学』は1662年に出版され、19世紀までの間イングランドで最も影響力の大きい論理学書となった。本書はアリストテレス及び中世の名辞論理学の枠組みの中にデカルトの教説(例えば、命題は名辞よりむしろ観念の結合である、等)を大まかに表している。1664年から1700年までの間に八刷を重ね、それ以降の時期にも顕著な影響を及ぼした。ジョン・ロックが『人間悟性論』で与えた命題の説明は根本的には『ポール・ロワイヤル論理学』のものと同じである: 「音声的な命題、つまり言葉[は]、我々の持つ観念の表徴[であり]、肯定文あるいは否定文を構成したり分離したりする。そのため命題は肯定あるいは否定を意味するものに従って、こういった表徴を構成したり分離したりすることのうちにある。」 (Locke, "An Essay Concerning Human Understanding", IV. 5. 6) 文章: 筆跡学 筆跡学(ひっせきがく、グラフォロジー、英語:graphology)とは、手書き文字の分析、個々の心理的特性を推測することを目的とする手法。筆跡「学」がついているので学問と誤認されていることがあるが、統一論理や検証方法が存在しないため、日本での定義としては学問ではない。各個人、もしくは団体がそれぞれに探求している段階である。 文章: 論理学の歴史 ヘーゲルの『論理学』は主流派の論理学研究にほとんど影響を及ぼさなかったが、そこからの影響をみることができる作品としてカール・フォン・プラントルの『西洋論理学史』(、1855年-1867年)やイギリス観念論者の作品-例えばフランシス・ハーバート・ブラッドリーの『論理学の諸原理』(英:Principles of Logic、1883年)-、そしてカール・マルクスおよびマルクス主義諸学派の経済学、政治学、哲学等の研究といったものがある。 文章: 論理和 数理論理学において論理和(ろんりわ、)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。 文章: 神経言語学 歴史的に、神経言語学は失語症学(aphasiology)と密接な関連を持っている。失語症学とは、ヒトの脳損傷の結果として、どのような言語障害が起きるか、また、どのような言語能力は障害を回避できるかを研究する学問である。 文章: 理学 大学によっては、地理学や人類学なども理学部で取り扱っているところもある。ただし、これらの学問は学際的であり、「理学」的領域と「人文学」的領域を併せ持つので、その学問全体をどの学部にふくめるかは大学ごとの判断による。文学部で扱うこともある。あるいは、その学問をさらに細分化したうえで、理学部・文学部などに分散する形で分属させていることもある。