論理学 in Vietnamese

Kana: ろんりがく

• luân lý học

Sentence patterns related to "論理学"

1. 教科書の伝統に属する他の作品としてアイザック・ウォッツの『論理学: あるいは理性の正しい使い方』(英: Logick: Or, the Right Use of Reason、1725年)、リチャード・ウェイトリーの『論理学』(英:Logic、1826年)、ジョン・スチュアート・ミルの『論理学体系』(1843年)がある。

2. 数多くの特徴によって現代論理学が旧来のアリストテレス論理学や伝統的論理学から区別されるが、中でもとくに重要なものは以下: 現代論理学は根本的には「計算」であって、この計算を遂行する規則は、用いられる記号の「意味」によってではなく、数学と同様に記号の「形式」によって決まる。

3. 線形論理は1987年、フランスの論理学者ジャン=イヴ・ジラールが提唱した。

4. ライムンドゥス・ルルスから300年の後に、あらゆる論理学・推論は加法と減法という数学的作業に還元できるとイギリスの哲学者・論理学者のトマス・ホッブズが主張した。

5. タルスキはワルシャワ大学にて最年少で博士号を取得した後、ポーランド教育大学で講師として論理学、ワルシャワ大学でも講師として数学と論理学を教える傍ら、ヤン・ウカシェヴィチの助手を務めた。

6. 論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。

7. そのような論証は論理学ではなく倫理学の範疇にあり、誤謬ではない。

8. この学派に対する応答の中で、ナスィール・アル=ディーン・アル=トゥースィー(1201年–1274年)は新アヴィセンナ論理学派を創始しており、同派はイブン・スィーナーの著作に忠実であり続け、その後数世紀の間支配的であったポスト・アヴィセンナ論理学派のライヴァルとして存在した。

9. 意味あるいは観念を指すイブン・スィーナー用語「マッナ」はスコラ論理学者によって「インテンティオ」(羅: intentio)とラテン語訳された。

10. 数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。

11. オッカムはこの見解を支持するためにイブン・スィーナーの「『形而上学』註解」Vを引用している ファフル・アル=ディーン・アル=ラーズィー(1149年生)はアリストテレスの「第一格」を批判して原始的な帰納論理学を組織立てており、ジョン・スチュアート・ミル(1806年–1873年)による機能論理学の発展の先駆けとなっている。

12. 公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。

13. ギリシア論理学に対するもう一つの体系的な論駁としてイブン・タイミーヤ(1263年–1328年)の『アル=ラッド・ッアラ・アル=マンティキイン』(ギリシア論理学者に対する論駁)があるが、本書では三段論法の妥当性ではなく有用性が問題視されており、帰納推論の方が好ましいものとされている。

14. エウクレイデスの教義を継承したのが、アリストテレスの逍遙学派と並ぶ古代の重要な学派であるストア派の論理学者たちである。

15. このような記述が「様相的(modal)」であるというのは、様相論理学的な可能性と必然性を主張しているためである。

16. 古代中国の詭弁は、学問的な発展につながらなかったが、ソフィストの詭弁術は、後世の論理学の発展へとつながっていった。

17. 中でも、墨家から別れた学派の名家は原始的な形式論理学を研究したものと何人かの研究者に考えられている。

18. 批判的合理主義者ハンス・アルバート (Hans Albert) によると、論理学や数学においてさえ、どの真理であろうと確実に証明することは不可能である。

19. 『プリンキピア』は記号論理学においてよく定義された一連の公理と推論規則からすべての数学的真理を引き出そうという試みであった。

20. 論理学に対する厳密で形式的なアプローチにおいてフレーゲは先達の遥か先を行っており、また彼の計算法、いわゆる概念記法は重要である。

21. 十分な理解力を有していませんが 進化論的な選択は 少なくとも 真の数学や論理学から 退化する方向には向かっていません

22. これらに加え、『診断手引書』では治療計画、原因療法、経験論の活用、論理学、診断・予後・治療における合理主義などが取り入れられている。

23. 本書はアリストテレス及び中世の名辞論理学の枠組みの中にデカルトの教説(例えば、命題は名辞よりむしろ観念の結合である、等)を大まかに表している。

24. ファーラービーはまた仮言三段論法や類推の理論についても考えているが、古代においてはこれらはアリストテレスよりもむしろストア派論理学の領分であった。

25. ここで示しているような反応性システムの設計だけでなく、有限オートマトンは電気工学、言語学、計算機科学、哲学、生物学、数学、論理学など様々な領域で利用される。

26. アリストテレスを高く評価していたマイモニデスは,「迷える人々のための導き」の中で,聖書とユダヤ教の真髄を哲学的思索や論理学と調和した方法で説明しようとしました。

27. 続く命題6の補助命題群において、かれは論理学のより哲学的反省、つまり知識や思考、アプリオリや先験的、超越的、といった理念に関連する問題へと移る。

28. 『ギリシア論理学者に対する論駁』(Ar-Radd 'ala al-Mantiqiyyin)において三段論法に関して、妥当性には異論はないが有用性がないと主張して、帰納的推論の方を好んでいる。

29. 論理学と科学的手法に関する彼の最も重要な著作は、彼の『科学の法則』("Principles of Science",1874年)、これと並んで『経済学理論』(1871年)及び『労働関係の状態』("The State in Relation to Labour",1882年)である。

30. 排中律(はいちゅうりつ、英: Law of excluded middle、仏: Principe du tiers exclu)とは、論理学において、任意の命題 P に対し"P ∨ ¬P"(P であるか、または P でない)が成り立つことを主張する法則である。

31. 現代論理学の発展は大きく五つの時期に分けられる: ライプニッツから1847年までの胎動期、この時期には論理演算という発想が、特にライプニッツによって議論され発展したが学派が形成されることはなく、孤立した断続的な試みがなされては放棄され、あるいは無視された。

32. 中世の哲学者たちの研究に通底する三つの原理として、「ratio」として知られる、真理を発見するために論理学、弁証術、分析を用いること、「auctoritas」、つまり特にアリストテレスやその他の権威ある古代の哲学者への識見への敬意、「concordia」、つまり哲学の識見と神学的な教え・啓示を調和させるという義務がある。

33. 中世哲学の歴史は伝統的に二つの主な時期、つまりアリストテレスおよびプラトンの研究が保存され、発展させられた12世紀までの初期中世と、アラブ系の批評家たちの反応を受け、宗教哲学、論理学、形而上学の注目すべき発展とともに、古代哲学の再発見の極致を記録した12、13、14世紀の「黄金時代」に分けられる。

34. トーマス・ヒル・グリーン『倫理学序説』(Prolegomena to Ethics, 1883) フランシス・ブラッドリ『倫理学研究』(Ethical Studies, 1876)、『現象と真実在』(Appearance and Reality, 1893) バーナード・ボザンケ『論理学――知識の形態学』(Logic, or the Morphology of Knowledge, 1888) トーマス・ヒル・グリーン『政治的義務の原理』(Principles of Political Obligation, 1901) バーナード・ボザンケ『国家の哲学的理論』(The Philosophical Theory of the State, 1899) レオナルド・ホブハウス『国家の形而上学的理論』(The Metaphysical Theory of the State, 1918) 明治時代においては、多くの哲学研究者がトーマス・ヒル・グリーンから人格主義の考え方を学ぼうとしていた。