比浏览器更快的访问！
30 关系: 可謬論，大卫·刘易斯，奎因，奎因－麦克拉斯基算法，奥卡姆剃刀，定义，实质条件，丹尼爾·丹尼特，乌鸦悖论，京都獎，形而上學學者列表，分类公理，唐纳德·戴维森，全称实例化，知識論者列表，理查德·罗蒂，科学哲学，经验主义的两个教条，真值表，行为主义，鶴見俊輔，阿尔弗雷德·塔斯基，自產生程式，自然主义，自我复制，蕴涵项，逻辑学家，杰西·帕迪拉·盖尔贝兹，正则性公理，本体 (信息科学)。
可謬論
可謬論是一個哲學學說，指出絕對肯定任何知識是不可能的；或至少對於知識的所有宣稱在原則上都是錯誤的。作為一個正式的學說，它跟查尔斯·桑德斯·皮尔士的關係非常密切，因為他曾以這個學說打擊基礎主義。然而，可謬論早就被色诺芬尼、苏格拉底和柏拉圖等早期哲人所提及。另一個可謬論的擁護者是卡尔·波普尔，他以可謬論為大前提下建立了他那知識及批判理性主義的理論。近日，可謬論也被威拉德·冯·奥曼·蒯因用以攻擊分析命題的可能性。 跟懷疑論不同，可謬論並不提倡放棄我們的知識，我們並不需要為我們所知道的提出一個邏輯總結辯護。這樣做之所以被許可，是因為透過更多的觀測結果可以更正現有的經驗知識，任何我們已有的知識最終也可能被證明是錯誤的。有些可謬論主義者在這前提下給出一些如數學或邏輯等公理化系統作為可謬論的例外。但餘下的可謬論主義者甚至也否定這些公理系統，因為即使這些系統在一些觀點下是不會有謬誤的，但使用這些系統的始終是人類，而人類是可能會出錯的。更重要的是，從哥德尔不完备定理可見，任何完整或完備的公理系統是不存在的。即使在數學中也會存在著如罗素悖论等基本悖論。不可能肯定地知道真理的理論是由约翰·杜威等人領導的教育運動的基礎，這教育運動名為实用主义者運動。 批判理性主義者Hans Albert曾展示了即使在邏輯或數學的範疇中證明任何能夠肯定的真理也是不可能的。他的明希豪森三难困境闡明了欲證明任何驗証肯定真理只會陷入絕望的情況中。即使可謬論本身也不可避免地成受害於相對主義或懷疑論。.
新！!: 威拉德·冯·奥曼·蒯因和可謬論 · 查看更多 »
大卫·刘易斯
大卫·凯洛格·刘易斯（David Kellogg Lewis，），美国哲学家，原普林斯顿大学哲学教授。他是20世纪最重要的哲学家之一。 刘易斯出生于俄亥俄州，曾就读于斯沃斯莫尔学院、牛津大学。他于1967年获得哈佛大学博士学位，曾师从威拉德·冯·奥曼·蒯因。1970年起，任教于普林斯顿大学。 刘易斯在语言哲学、心灵哲学、概率哲学、形而上学、哲学逻辑、美学等领域都作出过贡献。模态实在论其是最知名的、也极具争议性的理论。他认为可能世界存在并且是真实的实体，我们的世界只是所有可能世界中的一个。.
新！!: 威拉德·冯·奥曼·蒯因和大卫·刘易斯 · 查看更多 »
奎因
奎因、奎恩、昆恩、蒯因（Kween、Queen、Quin、Quine、Quinn）可以指：.
新！!: 威拉德·冯·奥曼·蒯因和奎因 · 查看更多 »
奎因－麦克拉斯基算法
奎因－麦克拉斯基算法（Quine-McCluskey算法）是最小化布尔函数的一种方法。它在功能上等同于卡诺图，但是它具有文字表格的形式，因此它更适合用于电子设计自动化算法的实现，并且它还给出了检查布尔函数是否达到了最小化形式的确定性方法。 方法涉及两步：.
新！!: 威拉德·冯·奥曼·蒯因和奎因－麦克拉斯基算法 · 查看更多 »
奥卡姆剃刀
奥卡姆剃刀（Occam's Razor, Ockham's Razor），又称“奥坎的剃刀”，拉丁文为lex parsimoniae，意思是简约之法则，是由14世纪逻辑学家、圣方济各会修士奥卡姆的威廉（William of Occam，约1287年至1347年，奥卡姆（Ockham）位于英格兰的萨里郡）提出的一个解决问题的法则，他在《箴言书注》2卷15题说“切勿浪费较多东西，去做‘用较少的东西，同样可以做好的事情’。”换一种说法，如果关于同一个问题有许多种理论，每一种都能作出同样准确的预言，那么应该挑选其中使用假定最少的。尽管越复杂的方法通常能做出越好的预言，但是在不考虑预言能力（即結果大致相同）的情况下，假设越少越好。 所罗门诺夫的归纳推理理论是奥卡姆剃刀的数学公式化：Induction: From Kolmogorov and Solomonoff to De Finetti and Back to Kolmogorov JJ McCall - Metroeconomica, 2004 - Wiley Online Library.
新！!: 威拉德·冯·奥曼·蒯因和奥卡姆剃刀 · 查看更多 »
定义
定義（definition）是透過列出一個事件或者一個物件的基本屬性來描述或規範一個詞或一個概念的意義；被定義的事物或者物件叫做被定義項，其定義叫做定義項。 例如“一個單身漢是一個未婚男子”這個定義中“單身漢”是被定義項，“未婚男子”是定義項。定義中的“一個”和“是”均可以使用符號取代，比如使用：.
新！!: 威拉德·冯·奥曼·蒯因和定义 · 查看更多 »
实质条件
在命题演算，或在数学的逻辑演算中，实质条件、實質蘊涵(容易和語意蘊涵\vDash搞混，建議不要用蘊涵這兩字)或蕴涵算子是一种二元的真值泛函的逻辑运算符，它有着如下形式 这裡的A和B是陈述变量（可以被语言中任何有意义的可表示的句子所替代）。在这种形式的陈述中，第一项这裡的A，叫做前件；第二项这裡的B，叫做后件。 这个算子使用右箭头“→”（有时用符号“⇒”或“⊃”）来符号化，符合“如果A為真，那么B亦為真”被写为如下：.
新！!: 威拉德·冯·奥曼·蒯因和实质条件 · 查看更多 »
丹尼爾·丹尼特
丹尼爾·丹尼特（Daniel Clement Dennett，）是美國哲學家、作家及認知科學家。其研究集中於科學哲學、生物學哲學，特別是與演化生物學及認知科學有關的課題。他目前是塔夫斯大學（Tufts University）的哲學系教授、Austin B. Fletcher 講座哲學教授及認知研究中心的共同主任。丹尼特是堅實的無神論及世俗論者，美國世俗聯盟（Secular Coalition for America）諮詢委員會成員，及明智思想運動（Brights movement）突出的支持者。有媒體將丹尼特、理查德·道金斯、山姆·哈里斯及克里斯托弗·希欽斯稱作新無神論（New Atheism）的四騎士。.
新！!: 威拉德·冯·奥曼·蒯因和丹尼爾·丹尼特 · 查看更多 »
乌鸦悖论
乌鸦悖论（raven paradox），也叫做亨佩尔的乌鸦或亨佩尔悖论，是1940年代德国逻辑学家卡尔·亨普尔（Carl Gustav Hempel）为了说明归纳法违反直觉而提出的一个悖论。.
新！!: 威拉德·冯·奥曼·蒯因和乌鸦悖论 · 查看更多 »
京都獎
京都獎（日語：京都賞）是一個頒發給在科學、技術、文化等領域有重大貢獻的國際獎項，從1984年開始頒發，包含尖端科技部門（Kyoto Prize in Advanced Technology）、基礎科學部門、思想・藝術部門等三個領域，各領域下再各細分為四種分野，每年輪流頒發一種獎項。稻盛和夫設立的財團法人稻盛基金會負責頒發京都獎。.
新！!: 威拉德·冯·奥曼·蒯因和京都獎 · 查看更多 »
形而上學學者列表
這列表列出了世界上的形而上學家。.
新！!: 威拉德·冯·奥曼·蒯因和形而上學學者列表 · 查看更多 »
分类公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括。 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 。所以这个公理的本质是： 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。.
新！!: 威拉德·冯·奥曼·蒯因和分类公理 · 查看更多 »
唐纳德·戴维森
唐纳德·赫伯特·戴维森（英语：Donald Davidson，）20世纪后半页美国最为著名和活跃哲学家之一。.
新！!: 威拉德·冯·奥曼·蒯因和唐纳德·戴维森 · 查看更多 »
全称实例化
在逻辑中，全称实例化或全称列举（Universal Instantiation,简称UI,拉丁文中叫做"Dictum de omni"）是从关于一类个体的每个成员的真理到关于这个类的特定个体的真理的推理。它一般作为全称量词的量化规则给出，但也可以作为一个公理。它是量化理论的基本原理之一。 例子："所有的狗都是动物。Fido是狗。所以Fido是动物。" 作为一个公理模式： ∀xA → A(a/x)，A(a/x)是把A中所有x的自由出现替代为某个项a的结果。 作为一个推理规则: 从 ⊢ ∀xA 推出 ⊢ A(a/x)，A(a/x)同上。.
新！!: 威拉德·冯·奥曼·蒯因和全称实例化 · 查看更多 »
知識論者列表
這列表列出了世界上的知識論家。 Category:知识论者.
新！!: 威拉德·冯·奥曼·蒯因和知識論者列表 · 查看更多 »
理查德·罗蒂
查德·麦凯·罗蒂 （Richard McKay Rorty，）是一位美国哲学家。他在大学的哲学、人文和文学系拥有漫长且多样的执教生涯。复杂的学术背景使他对分析哲学的传统有着全面细致的理解；而在后期，他抛弃了此一传统，这也是广为人知的。.
新！!: 威拉德·冯·奥曼·蒯因和理查德·罗蒂 · 查看更多 »
科学哲学
科学哲学是20世纪兴起的一个哲学分支，关注科学的基础、方法和含义，主要研究科学的本性、科学理论的结构、科学解释、科学检验、科学观察与理论的关系、科学理论的选择等。该学科的中心问题是：什么有资格作为科学，科学理论的可靠性，和科学的终极目的。此学科有时与形而上学、本体论和认识论重叠，例如当它探索科学与真理之间的关系时。 有许多关于科学哲学的核心问题，包括科学是否能揭示不可观察之事物的真相，甚至科学推理是否可以被证明为合理的，哲学家们没有达成共识。除了这些关于科学作为一个整体的一般性问题，科学哲学家也思考适用于特定学科例如生物学和物理学的问题。一些科学哲学家还使用当代的科学结果来达到哲学本身的结论。 哲学的相关历史可以追溯到至少亚里士多德时代，但科学哲学只有在20世纪中期逻辑实证主义运动兴起之后才成为一个独特的学科；该运动的目的是制定标准，确保所有哲学陈述有意义，并客观地评估它们。托马斯·库恩在他1962年的里程碑著作《科学革命的结构》中质疑了“科学进步之过程是基于固定的系统性实验方法的一个稳定的、累积的知识采集”的既定看法，并声称任何进步都是相对于一个“范式”（paradigm，意为在某一特定时期定义一门学科的一套问题、概念和实践方式）发生的。卡尔·波普尔和查尔斯·桑德斯·皮尔士则从实证主义出发，为科学方法建立了一套现代标准。 在此之后，由于W.V.蒯因等的影响，真理融贯论成为了主流，其观点为：如果一个理论使观测有意义、作为一个整体的一部分，则这个理论是验证了的。一些哲学家（例如古尔德）寻求将科学建立在公理假设（如自然的均匀性）的基础上。还有一些人，尤其保罗·费耶阿本德认为，不存在所谓的“科学方法”，因此所有的处理科学的方法都应该被允许，包括明确超自然的——不过费耶阿本德的观点是科学哲学家中的一个例外。另一种思考科学的方式是，从社会学的角度来研究知识是如何创建的，代表学者有大卫·布鲁尔和。最后，大陆哲学的处理科学的传统，是从人类经验的角度进行严格分析。 具体学科的哲学包括了各种学科的课题：由爱因斯坦的广义相对论引发的时间的本质之难题，经济学对公共政策的影响，等等。一个重要主题是，某一科学学科是否可以“还原”（化简）为另一个学科，也即：化学可以还原为物理学，或者社会学可以还原为个体心理学吗？科学哲学的一般问题也在具体的科学中更加具体地出现。例如，科学推理的有效性的问题就在统计学基础中以不同的面貌出现。什么才算科学、什么应该被排除在外，这在医学哲学裡是关乎生死的事情。此外，在生物学、心理学和社会科学的哲学中，以下问题常常被探讨：人性的科学的研究是否能达到客观性，还是不可避免地被价值观和社会关系所塑造。.
新！!: 威拉德·冯·奥曼·蒯因和科学哲学 · 查看更多 »
经验主义的两个教条
《经验主义的两个教条》是由分析哲学家威拉德·冯·奥曼·蒯因于1951年出版，根据纽约市立大学哲学教授先生所言，这篇论文可稱為中最重要的著作，这篇论文抨击了逻辑实证主义者的两个核心方面︰一方面是在分析真理与综合性事实之间的分析-綜合區別，用蒯因的话解释为一个是与事实相对独立的依据于词语理念的，以及真正依据于事实的；另一方面是讲求任何一种表象可以仅仅通过即时经验而得到的逻辑结构名词就能描述語意的还原论。 全書分为六个章节，最初的四个章节强调分析性，最后两个章节讨论还原论的问题，在这一块把关注点转向了逻辑实证主义者的理论解释，同时也给出了他个人理论的整全觀（整体性）解释。.
新！!: 威拉德·冯·奥曼·蒯因和经验主义的两个教条 · 查看更多 »
真值表
真值表是使用於邏輯中（特別是在連結邏輯代數、布爾函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭（扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（\land）、邏輯或（\lor）、邏輯非（\lnot））由原子公式建構出來的公式。舉例來說，Fx \land Gx即是個命題表示式。 真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。 经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。.
新！!: 威拉德·冯·奥曼·蒯因和真值表 · 查看更多 »
行为主义
行为主义（Behaviorism）又稱作行為論，是20世纪初起源于美国的心理学流派，主张心理学應該研究可以被觀察和直接測量的行为，反对研究沒有科學根據的意识。其主要特色為以系統方法理解人類和動物行為，並假設所有行為的產生皆是由環境中的刺激所產生的反應，或是個體的生命史中所形塑而成的結果；特別個體在環境及生命史中所受到的懲罰、激勵、刺激與行為結果所造成的強化。 因此，雖然行為主義者通常接受遺傳因子是決定行為的重要因素，但他們主要仍較重視環境因素所帶來的影響。許多行為主義者認為自由意志只是一種幻覺，並認為人類所有的行為都是由先天與後天環境所決定，也就是先天基因加上後天環境所產生的結果，由人類所經歷過的聯想或者增強所造成。 行為主義結合了哲學、方法論和心理學理論。過往的深層心理學和其他形式的傳統心理學通常是難以透過實驗預測的。 行為主義的最早的衍生物可以追溯到19世紀末，愛德華·桑代克（Edward Thorndike）開創了效果律（law of effect） ，指出行為的結果會持續強化往後的行為。 约翰·华生（John B. Watson）在二十世紀上半葉開創了方法學的行為主義，他反對內省的研究方法，主張以純實驗的方法研究心理學。伯爾赫斯·弗雷德里克·史金納則對傳統的心理學研究提出了道德上的問題，主張運用实用主义研究心理學。約翰·布羅德斯·華生與伊万·巴甫洛夫探討了古典制約的刺激與反應過程，史金納則探討了操作制約，指出結果會產生後效強化，及能夠產生控制性以及作為行為的前因。史金納也在1930年代，主張包括思想與感覺等的私人因子也應該與可觀察的行為一樣受到變量控制，其哲學被認為是激進行為主義的基礎。 與行為主義路線大相逕庭的精神分析学也在20世紀展開。.
新！!: 威拉德·冯·奥曼·蒯因和行为主义 · 查看更多 »
鶴見俊輔
見俊輔（），日本思想家、大眾文化研究者、社會運動者。曾任教於京都大學人文科學研究所、東京工業大學、同志社大學。.
新！!: 威拉德·冯·奥曼·蒯因和鶴見俊輔 · 查看更多 »
阿尔弗雷德·塔斯基
阿尔弗雷德·塔斯基（Alfred Tarski，），美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Feferman, A. B., and Solomon Feferman, 2004.
新！!: 威拉德·冯·奥曼·蒯因和阿尔弗雷德·塔斯基 · 查看更多 »
自產生程式
自產生程式（Quine），它以哲學家奎恩命名，指的是輸出結果為程式自身源碼的程式。 能夠直接讀取自己源碼、讀入使用者輸入或空白的程式一般都不視為自產生程式。.
新！!: 威拉德·冯·奥曼·蒯因和自產生程式 · 查看更多 »
自然主义
自然主义通常是指综合唯物主义和实用主义、不探究自然界中超自然因素的哲学立场，其理論基礎認為所有現象皆可用自然理由的概念解釋。自然主义不一定认为超自然现象和對於不存在之事物的假設就是荒谬，但是所有的现象和假设必须可以用相同的方法来研究，因此任何超自然事物要麼是不存在，要麼是不可知，再不然就是与自然现象或關於自然的假设没有本质上的区别。 任何限制于自然、物理、唯物方法和解释范围内的探索和调查手段，或者积累知识的过程，都可归入自然主义。 许多科学哲学家 by 雷蒙德·布莱德利（Raymond Bradley）, Emeritus Professor of Philosophy in New Zealand by 羅伯特·賓諾克（Robert T. Pennock） by Steven D. Schafersman By 阿爾文·普蘭丁格（Alvin Plantinga） (March 7, 2006) by Paul R. Draper by Massimo Pigliucci by Michael Martin (philosopher) 用“方法自然主义”（又译“方法论自然主义”，“自然方法论”）和“科学自然主义”来指科学方法中被长久广为遵循的常规，即使用方法论假设可观察的自然现象只能由自然原因来解释，而不假设超自然能力是否存在，因此也不接受超自然的解释。与“存在论自然主义”或“形上學自然主義”相对，这些思想认为：自然界（包括整个宇宙）就是存在的全部，因此超自然事物是不存在的。 这以哲学方法差异是由支持科学和演化论的哲学家提出，他们在“创造论对演化论的争议”中反对创造论或智能设计论，把“方法论自然主义”称为“科学唯物主义”或者“方法论唯物主义”，与“形而上学自然主义”结合，进一步支持他们提出的“现代科学是无神论”的理念。与其相对的自然哲学手段则接受对自然现象的超自然解释，从而被称为“有神论科学”。.
新！!: 威拉德·冯·奥曼·蒯因和自然主义 · 查看更多 »
自我复制
自我复制（Self-replication） 是动力系统的一种行为，这种行为可以产生出和自身相同的结构。在适当的环境下，细胞会通过细胞分裂进行自我复制。在细胞分裂的过程中，DNA完成了自我复制，并且可以通过繁殖传递给后代。生物病毒也可以自我复制，但是必须在感染过程中使用寄主细胞内的复制机制。有害的朊病毒是一种蛋白质，它可以通过将正常的蛋白质变为有害的朊病毒而自我复制。 计算机病毒可以使用计算机的软件和硬件自我复制。自我复制是机器人学中的研究课题，也是科学幻想中的热门主题。自我复制机制常常不会完美地复制个体，而是通过来产生各种差异。这些变异会成为自然选择的基础，其中一些有利于在现有环境下生存的变异会保留下来，而其他的会被淘汰。.
新！!: 威拉德·冯·奥曼·蒯因和自我复制 · 查看更多 »
蕴涵项
在布尔逻辑的積項和式中(和項積式亦可)，乘积项P 是布尔函数 F 的蕴涵项（implicant），如果 P 蕴涵 F。更加准确的说：.
新！!: 威拉德·冯·奥曼·蒯因和蕴涵项 · 查看更多 »
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
新！!: 威拉德·冯·奥曼·蒯因和逻辑学家 · 查看更多 »
杰西·帕迪拉·盖尔贝兹
杰西·帕迪拉·盖尔贝兹（Jesús Padilla Gálvez，）是一个西班牙科学史、语言哲学与逻辑学领域的哲学家。.
新！!: 威拉德·冯·奥曼·蒯因和杰西·帕迪拉·盖尔贝兹 · 查看更多 »
正则性公理
正则公理（也叫做基础公理）是 Zermelo-Fraenkel 集合论的公理之一。在一阶逻辑中，这个公理可叙述如下： 翻译为较容易理解的说法就是： 从这个公理可得出两个结果，其一为“不存在以自身为元素的集合”，其二为“没有无限序列 an 使得对于所有 i，ai+1 是 ai 的元素”。 通过选择公理可以证明後者的逆命题也成立：如果这樣的无限序列不存在，则正则公理为真。所以在假定选择公理的情況下，两个陈述是等价的。 正则公理被认为是Zermelo-Fraenkel 集合论中应用最少的公理，因为数学分支中的所有关键性结果都可用集合论中的其他公理證明得到。另外，不包含正则公理的康托的集合论，实际上假定了以自身为一个元素的集合的存在。.
新！!: 威拉德·冯·奥曼·蒯因和正则性公理 · 查看更多 »
本体 (信息科学)
在计算机科学与信息科学领域，理论上，本体是指一种“形式化的，对于共享概念体系的明确而又详细的说明”。本体提供的是一种共享词表，也就是特定领域之中那些存在着的对象类型或概念及其属性和相互关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在计算机系统之中使用；或者说，本体实际上就是对特定领域之中某套概念及其相互之间关系的形式化表达（formal representation）。本体是人们以自己兴趣领域的知识为素材，运用信息科学的本体论原理而编写出来的。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将“本体”称为“本体论”。 作为一种关于现实世界或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不仅限于）：人工智能、语义网、软件工程、 生物医学信息学、图书馆学以及信息架构。.
新！!: 威拉德·冯·奥曼·蒯因和本体 (信息科学) · 查看更多 »
重定向到这里：
W. V. Quine，W.V. Quine，奎因，W.V.O.，威拉德·蒯因。
