検索結果 12,232 件
紙図書
国立国会図書館全国の図書館
- 目次・記事１．論理学とは何か・記号を使う ２．記号......の方法の健全性と完全性 １４．論理学の応用 １５．論理学の歴史
- 要約等記号論理学とは、論理を論理式という数式の......の正しさを証明したりする。記号論理学は、数学、哲学、計算機科学などの基礎となるほか、論文執筆や議...
- 件名記号論理学
紙図書
国立国会図書館全国の図書館
- 要約等ヘーゲル哲学の集大成！『エンチクロペディ』第一部一般に『小論理学』として知られる本書は、ヘーゲ......みを指す。そのため本書は思考の論理学以上に、世界の論理学、存在の論理学となる。希望の近代は理性の近代......道筋を記述する著作の第一部が「論理学」となるのは当然だった。現実世......性をともども明らかにするのが「論理学」の課題だった。／ 二十一世紀にヘーゲルの「論理学」を読むことは、希望の近代の遠さと近さに探りを入れることにほ...
紙図書
国立国会図書館全国の図書館
- 要約等記号論理学の概説書。命題論理，述語論理，様相論理，直観主義論理の完全性...
- 件名記号論理学
- 典拠情報（件名/「を見よ」参照）論理代数学 論理計算 数学的論理学 現代論理学 数理論理学 Logic, Symbolic and mathemati...
紙図書
国立国会図書館全国の図書館
- 要約等現代的な論理学を中心に初学者〜中級者向けに解説。大学の講義でも独学でも学び...
- 著者紹介京都大学学際融合教育研究センター人社未来形発信ユニット特定准教授。2012年、京都大学大学院文学研究科博士課程修了。博士（文学）。 専門は哲学・論理学。
- 件名論理学
紙図書
国立国会図書館全国の図書館
- 件名論理学
- 典拠情報（件名/「を見よ」参照）形式論理学 Logic
- 典拠情報（件名/「をも見よ」参照）哲学 意味論 記号論理学 弁証法 判断 逆説
紙図書
国立国会図書館全国の図書館
- 目次・記事序 第I章 命題論理学 I-I トートロジー 命題結......命題算の同等性 第II章 述語論理学 II-I 自然推論 述語算の構想／Gentzen型述語算N...
- 要約等現代論理学の基本的なトピックを選び、命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する
- 件名論理学
紙図書
国立国会図書館全国の図書館
- 要約等数学系の「数理論理学」と計算機系の「計算理論」に長年携わってきた著者が，両分野の...
- 件名計算量理論 記号論理学
- 典拠情報（件名/「を見よ」参照）Computational complexity Logic, Symbolic and mathematical 論理代数学 論理計算 数学的論理学 現代論理学 数理論理学
紙図書
国立国会図書館全国の図書館
- 目次・記事...の誤謬推理 第６篇 道徳科学の論理学について 第１章 序言 第２章......政策を含む、実践またはアートの論理学について 校訂注 解 説 あとがき 索引（人名・事項）
- 要約等19世紀イギリスの思想家J.S.ミルの最初の著作『論理学大系』（初版1843年）の全訳（全4冊）。帰納に基づいた推論...
紙図書
国立国会図書館全国の図書館
- 要約等直観的・視覚的な理解を助けるオイラー図とベン図を活用しながら、古代ギリシア以来の伝統的論理学の基礎を学ぶ。確認問題付き。
- 件名論理学
- 典拠情報（件名/「を見よ」参照）形式論理学 Logic
紙図書
国立国会図書館全国の図書館
- 目次・記事新版へのまえがき はしがき 第一講話 この新しい論理学の計画が示される 第二講話 この論理学に対してなされた主要な反論への答弁が含まれる 論理学あるいは思考の技法 第一部 観......か 第十八章 トポスを、文法・論理学・形而上学のトポスに区分すること 第十九章 詭弁と呼ばれる妥...
- 要約等17世紀フランスで、デカルトやパスカルの新思想を取り入れ執筆された論理学教科書の古典。西洋近代の思考法の一規範となった歴史的著作（1...
- 件名論理学 Descartes, René, 1596-1650