现实在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有实际事物或是存在事物的总和，和全然想像虚构的事物相反。现实一词也常用来表示事物本体论的状态，包括其是否存在等。哲学上有关自然现实、存在或是存有的问题可以在本体论脉络下讨论。许多哲学领域中也有本体论的问题，像是科学哲学、宗教哲学、数学哲学、哲学逻辑这些哲学领域中都有。相关的问题包括是否只有实际物体才是真实的、现实在本质上是否是非物质的、是否有假定符合科学理论，但是不可观察的实体存在、是否有神、是否存在其他的抽象对象、可能世界是否存在等。
现实在日常应用时意味着“客观存在的事物”或“合于客观情况的条件”。现实是所有实际事物或是存在事物的总和，和全然想像虚构的事物相反。现实一词也常用来表示事物本体论的状态，包括其是否存在等。哲学上有关自然现实、存在或是存有的问题可以在本体论脉络下讨论。许多哲学领域中也有本体论的问题，像是科学哲学、宗教哲学、数学哲学、哲学逻辑这些哲学领域中都有。相关的问题包括是否只有实际物体才是真实的、现实在本质上是否是非物质的、是否有假定符合科学理论，但是不可观察的实体存在、是否有神、是否存在其他的抽象对象、可能世界是否存在等。
蒂莫西·威廉姆森是一位英国哲学家。他的主要研究领域包括哲学逻辑、语言哲学、知识论以及形而上学。在牛津大学，他担任逻辑学的威克汉姆教授，同时是牛津大学新学院的成员之一。
在哲学逻辑、形而上学以及语言哲学当中，绝对普遍性的问题是当句子指涉绝对一切事物时，会遇到的问题。在历史上，哲学家们有时认为自己的一些陈述是绝对普遍的，真正是指一切。近年来，研究量化与悖论的逻辑学家，陆续对这一观点提出了质疑，认为逻辑论域不可能绝对不受任何限制。
佩尔·埃里克·罗格·马丁-洛夫，瑞典逻辑学家、统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的数学结构主义数学基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。
Mini wiki
