ニコライ・マル - Wikipedia
ニコライ・ヤコヴレヴィチ・マル（ロシア語: Никола́й Я́ковлевич Марр、1865年1月6日（ユリウス暦で1864年12月25日）- 1934年12月20日）またはニコロズ・マリ（ნიკოლოზ იაკობის ძე მარი tr）は、ロシア出身のグルジア人言語学者、民族学者。「ヤフェト理論」と称する言語の単一起源説を主張し、1920年代から1930年代にかけて、ソビエト学会に大きな影響を与えた。 経歴[編集] 1865年、現在のグルジアのクタイシで、スコットランド人の父と、グルジア人の母の間に生まれた。ペテルブルク大学に進み、卒業後の1891年から同大学の教員となった。1911年には東洋学部の学部長に就任。 1909年からは、ロシア帝国科学アカデミーでの活動を始め、1909年3月7日に、科学アカデミーの歴史学・文献学部門の助手（Адъюнкт）となり、アジア諸民族の
分析哲学書評
（0 字が小さくて読みにくい方は、ブラウザの「ページ」や「表示」などから字を大きくできます。） 1 このブログの著作権と文責は三好潤一郎個人に帰属します。 2 このブログへのリンクはご自由にどうぞ。なお、相互リンクは哲学またはそれに密接に関係するテーマのサイト、ブログ等に限定したいと思います。 3 このブログからの引用も、著作権を侵害しない範囲で、ご自由にどうぞ。 4 ただし、このブログの記事は、特に予告や告知なく加筆、訂正または削除されることがあります。 5 本ブログに表明された意見は三好個人のものあり、いかなる組織や団体とも無関係です。 6 コメント、トラックバックは、他人への誹謗中傷やこのブログと無関係な広告を含む場合、表示しないことがあります。 7 非公開希望のコメントは、その旨明示してあれば公開しません。 8 なお、哲学書評・一般書評・考察では、敬称は省略いたします。
プロトタイプ理論 - Wikipedia
プロトタイプ理論（プロトタイプりろん、英: prototype theory）とは、言語学、認知心理学上の理論であり、1970年代にエレノア・ロッシュらによって提唱された。 人間が実際にもつカテゴリーは、必要十分条件によって規定される古典的カテゴリーではなく、典型事例とそれとの類似性によって特徴づけられるという考え方であり、認知言語学の主要テーゼのひとつである。こうしたカテゴリーをプロトタイプ的カテゴリーと呼ぶ。 たとえば「鳥」という語から想起されるのはカラスやスズメなどの空を飛ぶ小動物であり、ダチョウやペンギンなどは典型事例から外れている。典型性の差にもとづく現象は、一般にプロトタイプ効果と呼ばれる。これに関連して、「鳥は飛ぶ」のように、特別な文脈上の理由がないかぎりデフォルトとして仮定される状況は、理想化認知モデルなどと呼ばれる。 プロトタイプ的カテゴリーの考え方は言語学上の概念自体に
日常言語学派 - Wikipedia
日常言語学派（にちじょうげんごがくは、英: ordinary language philosophy）は、伝統的な哲学的問題を、言葉が日常的な用法で実際に何を意味していたのかが哲学者たちによって歪められ、あるいは忘れられることにより、増大した勘違いに由来するものだとする言語哲学の学派。 このアプローチは概して「日常的」言語の日々の使用の詳細に対する関心を閉じるためにの哲学的「理論」を回避することを伴う。「オックスフォード学派」と呼ばれることもあるが、これは20世紀半ばの数多くのオックスフォード大学の教授陣の著作と一般的に結び付けられていることによる。その教授陣とは、主にジョン・L・オースティン、他にギルバート・ライル、ハーバート・ハート、ピーター・フレデリック・ストローソンといった人々である。後にはルートヴィヒ・ヴィトゲンシュタインが、オックスフォードの範囲からは外れるものの、当学派のもっ
オルガノン - Wikipedia
『オルガノン』（希: Όργανον、羅: Organum）は、古代ギリシアの哲学者アリストテレスにより執筆された論理学に関する著作群の総称。 概要[編集] 『オルガノン』は、『ニコマコス倫理学』や『形而上学』等の著作と同様、アリストテレス自身によってこのようにまとめられたものではなく、彼の死後、その著作の継承者達によって編纂され、このように命名された。 「オルガノン」（希: Όργανον）とは、ギリシャ語で「道具」（tool）の意味であり、文字通り、「（概念の整理整頓を通して）真理の探求を可能・容易にするための道具」としての「論理学」にまつわる著作群であることを表現している。 この著作は古代ローマへと継承され、その滅亡期に至るまで、重要な教養の1つとして重宝された。ローマ帝国末期である4世紀のキリスト教の代表的なラテン教父であるアウグスティヌスも、『範疇論』を学んだことを自伝的著書『告
シークエント計算 - Wikipedia
制約: (∃L) と (∀R) の規則において、変項 は と に自由出現をもたない。 なお、(∃L) と (∀R) の規則、および、制約は次を採用してもよい。 制約: (∃L) と (∀R) の規則において、変項 は に自由出現をもたない。 直観的説明[編集] 上記の規則群は「論理規則」と「構造規則」に分けられる。論理規則は帰結関係 の右辺か左辺に新たな論理式を導入する。一方、構造規則はシークエントの構造を操作し、論理式の正確な形を無視する。例外として同一性の公理 (I) とカット規則 (Cut) がある。 形式化されているものの、これらの規則は古典論理的に直観的に読み解くことができる。例えば、(∧L1) 規則を見てみよう。これは、A を含む論理式の列から Δ が証明される場合は常に A∧B という（より強い）仮定からも Δ が導かれることを示している。同様に、(¬R) 規則 は Γ と
エプシロン・ノート - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "イプシロン数" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2019年3月） イプシロン数あるいはエプシロン数 (英: epsilon numbers)とは、数学における超限順序数の一つ。それ自身よりも小さい順序数から有限回の加算・乗算・冪乗では到達できない超限順序数として定義される。 であるような γ 番目（0から数え始める）の順序数 α を εγ と書き、これらをイプシロン数と呼ぶ。この中で最小のものが ε0 （イプシロン・ゼロ（英: epsilon zero）、あるいはイプシロン・ノート（英: epsilon nought））であ
ゲルハルト・ゲンツェン - Wikipedia
ゲルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン（Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然数論におけるペアノ算術の無矛盾性の証明、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ERROR Detected
ERROR Detected
数理論理学入門(Introduction to Mathematical Logic) 高崎金久（京都大学） 〜京都大学での全学共通科目講義に基づく〜
ERROR Detected
Destructive dilemma - Wikipedia