目录
存在
存在（Existence），又譯為實在、存有，是一个哲学概念，按照20世紀西方存在主义哲學家的定义，是具有難以改變，但能夠改變的特性。而相對於存在的不存在（虛無）則是具有難以控制，但能夠控制的特性。而兩者的界別存在於（無限線）的正反面上。但此界別中的正反面本不存在，故分辨的方向只在乎於其外延對該物的影響。 貝克萊認為，無法被感知的事物（包括被神感知），就無法證明其存在，故“存在就是被感知”。 黑格爾認為，存在不過是絕對理念的一個最簡單的規定；存在主義所說的“存在”，實質上僅僅是個人的主觀存在。 存在乃是一切存在者的共性。 存在可以說是「可以被理解並形成概念」，以一個小嬰兒為例，他剛出生，並不了解「書本」為何物，但是一旦他長大後了解了「書本」為何物，那對他來說，「書本」的概念已經形成，所以存在。所以「存在」是相對於個體的一種狹義概念。對我們來說，未來的科技是「不存在的」，但我們一旦理解，那「不存在」將會被轉變為「存在」，所以可以說我們的世界是無法定義「不存在」，因為我們如果把某項東西定義為「不存在」，那不存在的東西便存在了。.
查看 本体论和存在
形而上学
#重定向 形上學.
查看 本体论和形而上学
信息学
信息学，旧称情报学（外來語），主要是指以信息为研究对象，利用计算机及其程序设计等技术为研究工具来分析问题、解决问题的学问，是以扩展人类的信息功能为主要目标的一门综合性学科。.
查看 本体论和信息学
关系
关系的基本含义为事物之间相互作用、相互影响的状态，特定环境下可以指：.
查看 本体论和关系
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
查看 本体论和计算机科学
论域
在形式科學裡，論域（或稱做論述全集），是指在某些系統化的論述裡的一些令人感興趣的變數之上，由其中的實體所組成的集合。論域通常被視為預備知識，所以不需要每一次都指出相關變數的範圍來。 例如，在一階邏輯的解釋中，論域是指由量詞能指涉到的個體所組成的集合。在一個解釋裡，論域可以是實數的集合；在另一個解釋裡，則可能是自然數的集合。若沒有指定任何論域，則如∀x (x2 ≠ 2) 之類命題的真偽是不確定的。若論域是實數的集合，此命題即是假的，因為有x.
查看 本体论和论域
概念
概念是抽象的、普遍的想法，是充当指明实体、事件或关系的范畴或类的实体。在它们的外延中忽略事物的差异，如同它们是同一的去处理它们，所以概念是抽象的。它们等同的适用于在它们外延中的所有事物，所以它们是普遍的。概念也是命题的基本元素，如同词是句子的基本语义元素一样。 概念是意义的载体，而不是意义的主动者。一个单一的概念可以用任何数目的语言来表达；术语则是概念的表达形式。狗 的概念可以表达为德语的 Hund，法语的 chien 和西班牙语的 perro。概念在一定意义上独立于语言的事实使得翻译成为可能 - 在各种语言中词有同一的意义，因为它们表达了相同的概念。 概念是人类对一个复杂的过程或事物的理解。从哲学的观念来说概念是思维的基本单位。在日常用语中人们往往将概念与一个词或一个名词（術语）同等对待。.
查看 本体论和概念
本体 (信息科学)
在计算机科学与信息科学领域，理论上，本体是指一种“形式化的，对于共享概念体系的明确而又详细的说明”。本体提供的是一种共享词表，也就是特定领域之中那些存在着的对象类型或概念及其属性和相互关系；或者说，本体就是一种特殊类型的术语集，具有结构化的特点，且更加适合于在计算机系统之中使用；或者说，本体实际上就是对特定领域之中某套概念及其相互之间关系的形式化表达（formal representation）。本体是人们以自己兴趣领域的知识为素材，运用信息科学的本体论原理而编写出来的。本体一般可以用来针对该领域的属性进行推理，亦可用于定义该领域（也就是对该领域进行建模）。此外，有时人们也会将“本体”称为“本体论”。 作为一种关于现实世界或其中某个组成部分的知识表达形式，本体目前的应用领域包括（但不仅限于）：人工智能、语义网、软件工程、 生物医学信息学、图书馆学以及信息架构。.
本体工程
本体工程，又称为本体论工程、本体论设计或本体设计，是计算机科学与信息科学当中的一个新兴领域，旨在研究用于构建本体的方法和方法学。本体工程乃是一个新兴的研究和应用领域，关注的是本体开发过程、本体生命周期、用于构建本体的方法和方法学以及那些用于支持这些方面的工具套装和语言 Asunción Gómez-Pérez, Mariano Fernández-López, Oscar Corcho (2004).
查看 本体论和本体工程
本体论 (哲学)
本体论（Ontology），又译存在论、存有論，是形而上学的基本分支，本體論主要探讨存有本身，即一切现实事物的基本特征。 有的哲学家，如柏拉图学派认为：任何一个名词都对应着一个实际存在；另外一些哲学家则主张有一些名词并不代表存在的实体，而只代表一种集合的概念，包括事物或事件，也有抽象的，由人类思维产生的事物。例如“社团”就代表一群具有同一性质的人组成的集合；“几何”就代表一种特殊知识的集合等。 本體論就是「研究到底哪些名词代表真实的存在实体，哪些名词只是代表一种概念」。所以本體論成为某些哲学分支的基础。近年來，人工智慧及資訊技術相關領域的學者也開始將本體論的觀念用在知識表達上，即藉由本體論中的基本元素：概念及概念間的關連，作為描述真實世界的知識模型。針對此一趨勢，W3C組織也開始定義了許多本體論的相關語言，如RDF、DAML+OIL、OWL等。.
查看 本体论和本体论 (哲学)
方法学
方法学 (又称为方法论；希腊语：μεθοδολογία) 的定义是.
查看 本体论和方法学
亦称为 本源。