与 «きごう‐ろんりがく»相关的日语书籍
在以下的参考文献中发现
きごう‐ろんりがく的用法。与
きごう‐ろんりがく相关的书籍以及同一来源的简短摘要提供其在 日语文献中的使用情境。
1
ゲーデルの世界: 完全性定理と不完全性定理 - 55 ページ
その前半では,論理記号の定義,真偽関数としての命題計算,命題を関数と変数に分解すること,変数の束縛条件などを展開して,彼の論理学を体系化し,そして後半では,それに基づいて算術の論理学的再構成を試みている.彼は公理と推論規則を分離し,今日的な ...
するもの,の產にこだわらず、記号間の縿理的 1 的な 8 ^を研究 8 一さコ 138 〕カルナップが論理学に導入した考え方,記号ろんりてきこうぶんろん【論理的構文 31 】〔論〕〔 1081 -ろんリだいすう【 191 理代数】み記 13 理学基礎づけようとする、フレ—ゲ,ラッセルら ...
三省堂 (Chiyoda-ku, Tokyo, Japan). 編修所, 1991
論理学の方法』クワイン,中村秀吉他訳,岩波書店論理学の構成方法に対する反省を盛り込み,集合論,数論への展望も述べる記号論理学の概説書.『数理論理学序説』前原昭二,共立出版論理計算の形式的な実際面とともに,記号論理学の基本的な考え方や基礎 ...
4
日本国語大辞典 - 第 14 巻 - 895 ページ
【言肩】いいととのう【言論】げんろん【言論界】げんろんかい【言論統制】げんろんとうせ【 1513 論機関】げんろんきかん【一言質】げん .... 理学】きごうてきろんリがく【記号偽造罪】きごうぎぞうざい【記号論】きごうろん【記号論理】きごうろんり【記号論理学】きごうろんり ...
日本大辞典刊行会. 第二版編集委員会, 小学館. 国語辞典編集部, 2002
5
Shakai kagaku daijiten - 第 19 巻 - 311 ページ
想界に注目されはじめ, 1920 年代末ころからのウイ—ン学団の活動によって,その記号^理学つまり論理計算の哲学的意味が広がりだしたといえる。輪理計算の基本的な出発点は,古典論理学におけるような概念てはなく,命題そのものてあり,つぎに命題間の関係 ...
6
Intermediate Technical Japanese, Volume 2: Glossary - 17 ページ
13111 ) 861 キゴゥロンリキゴゥロンリガクスゥガクキヨゥッゥのロンリテキなスィ 0 ンスゥガクテキキゴゥホウケンキユウロン ... 1 - 8 :記号論理レな、ま合含合合集も合る個集個集び分つ集すつ限限限限よ部 1 空属持有有無無お真法学学学号学理理のるも題理理 ...
7
成長するティップス先生: 授業デザインのための秘訣集 - 20 ページ
令この授業のねらい現代記号論理学の基礎を学ぶ。論理学は、推論、証明、論証の論理的妥当性とはなにかを明らかにし、その妥当性の判定基準となる実効的な形式的アルゴリズムを定式化し、その信頼性と限界とを研究する科学である。現代の論理学の ...
池田輝政, 戸田山和久, 近田政博, 2001
9
日本コミュニケーション学会四十周年記念, 現代日本のコミュニケーション研究: ...
3 諸実践の場(トポス)に介入するレトリックの可能性カルチュラル・スタディーズの方法論上における闘争に特・権・的・に・介入することができるのは、コミュニケーション学(研究)であると考える(記号論も然り)。媒体的なものを起点とする方法論(テクスト分析など) ...
1 食ァ〉 3 ろんリ-がく【論理学】〖名〗正しい認識を得るために、思考の形式や法則を研究する学問。特に、記号論理学で、日常言語のあいまいさを避けるために,形式化された言語や計算によって,形式的論理を取り扱う学問,また、その害物。,吾輩は猫であるへ ...