検索結果

…f set" と呼ばれる '''ST''' のより精巧な存在論がもっと簡単な公理（公理図式）を構成している。型理論の出発点は集合論だが、その公理、[[存在論]]、用語は異なる。型理論には他にも [[:en:New Foundations|New Foundations]] や [[:en:Scott-Pot …

[[フォン・ノイマン＝ベルナイス＝ゲーデル集合論|NBG]]とMKでは[[存在論]]が共通する。[[議論領域]]は[[クラス (集合論)|真のクラス]]からなる。ほかのクラスの要素となるクラスを[[集合]]と呼ぶ。集合でないクラスは Monk (1980) と Rubin (1967) はMKを中心に扱った集合論の教科書である。Rubin の[[存在論]]は{{仮リンク|アトム (集合論)|en|urelement|label=アトム}}(urelement) を含む。これらの著者と Mendelso …

…実在論]]的な[[コペンハーゲン解釈]]と異なり、[[実在論]]的な解釈であり、ボーム自身はこれを'''[[因果律]]的解釈'''、のちには'''[[存在論]]的解釈'''と呼んだ。ボーム解釈は[[隠れた変数理論]]に基づいており、その源流は1927年の[[ルイ・ド・ブロイ]]による[[パイロット波理論]] …

:(a) 最良の科学理論にとって不可欠なあらゆる(all)実体に対して、そしてそうした実体のみ(only)に[[存在論]]的関与をすべきである（一般に"all and only"として言及される)。 …

「宇宙は何故あるのか」のような問いは[[存在論]]と呼ばれ、[[認識論]]と並ぶ[[形而上学]]の主要テーマのひとつである。 …

…990|p=108}}, footnote i. この脚注を含む段落は、なぜゲーデルが「集合の属性」を集合論の原始概念とみなして、どのように自身の[[存在論]]に合わせこんだかを含む。「クラスの属性」はNBGにおける「クラス」概念に対応する。</ref> NBG に関する[[存在論]]的な議論や哲学的な問題、特に ZFC と MK との比較については、{{Harvnb|Potter|2004}}の Appendix C を参照。 …

…ウルフラムは、計算世界についての事実がいかに、[[進化|進化論]]、[[地球外知的生命体探査]]、[[自由意志]]、[[計算複雑性理論]]、および[[存在論]]、[[認識論]]、[[ポストモダン|ポストモダニズム]]などの哲学分野について教えてくれるかについて論議している。 …

…議論は様々な論点が知られている。なかでも最も大きな論争となるのは、クオリアは現在の物理学の中でどこに位置づけられるのかという、[[形而上学]]的・[[存在論]]的な位置づけについての哲学的な議論である。この問題に対する考え方や分類は論者によって様々であり、一概に分類することはできない。しばしば、各人の立場は 科学の立場からの研究においては、上に述べたようなクオリアに関する[[存在論]]的な議論（「この世界に本当にあるのは何か？」という議論）には直接関わらないのが一般的である。神経科学分野の有名な（非常に分厚い）教科書 [[エリック …

[[存在論]]のテーマは突き詰めると「何が在るのか」と「なぜ在るのか」の二つの問いに収束していくとも言われるが、この問いは後者の「なぜ在るのか」にあたる問いである * 相沢義男 (2011) 『存在論 ―なぜ無ではなく世界が存在するのか―』 彩流社 ISBN 978-4779116124 …

…2006|pp=1–12|loc=Introduction: Philosophy of logic today}}。また、論理体系の分類や、その[[存在論]]的な問題も研究する。哲学的論理学は、論理学の哲学の一分野である。論理学の方法論の形而上学、倫理学、認識論などの分野の問題への応用を研究する{{sfn …

!存在論 第3の前提条件である「存在論」の「[[方法論的個人主義]]」とは、新古典派において'''プライステイカーの仮定'''として定式化されていたものであり、彼らの想定する経済主体は他者か …