佩尔·马丁-洛夫和哲学

快捷方式: 差异，相似，杰卡德相似系数，参考。

佩尔·马丁-洛夫和哲学之间的区别

佩尔·马丁-洛夫 vs. 哲学

佩尔·埃里克·罗格·马丁-洛夫（Per Erik Rutger Martin-Löf，），瑞典逻辑学家、数理统计学家和哲学家。他以其在概率论基础方面的工作而闻名。自20世纪70年代以后，他的工作主要集中在逻辑学方面。在哲学逻辑方面，他的研究专注于蕴涵及判断学说，并在一定程度上受到了弗朗兹·布伦塔诺、弗雷格和胡塞尔先前工作的影响；在数理逻辑方面，他致力于创设直觉类型论作为数学的构造性基础。马丁-洛夫在类型论方面的工作深深地影响了计算机科学、尤其是后世编程语言理论的发展。 佩尔·马丁-洛夫是斯德哥尔摩大学的校友。直到2009年退休前，他一直担任斯德哥尔摩大学的数学和哲学学院的联合主席这一职务。, Academia Europaea, retrieved 2014-01-26. 哲學（philosophy）是研究普遍的、根本的问题的学科，包括存在、知识、价值、理智、心灵、语言等领域。哲学与其他学科的不同是其批判的方式、通常是系统化的方法，并以理性论证為基礎。在日常用语中，其也可被引申为个人或团体的最基本信仰、概念或态度。.

弗朗兹·布伦塔诺

弗朗兹·布伦塔诺（Franz Clemens Honoratus Hermann Brentano，）是一位著名的德国哲学家、心理学家。他的追随者包括亚历克修斯·迈农、埃德蒙德·胡塞尔、卡济梅尔兹·塔多斯基等许多著名学者。.

佩尔·马丁-洛夫和弗朗兹·布伦塔诺 · 哲学和弗朗兹·布伦塔诺 · 查看更多 »

哲学家

#重定向 哲學家.

佩尔·马丁-洛夫和哲学家 · 哲学和哲学家 · 查看更多 »

逻辑

邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.

佩尔·马丁-洛夫和逻辑 · 哲学和逻辑 · 查看更多 »

戈特洛布·弗雷格

弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.

佩尔·马丁-洛夫和戈特洛布·弗雷格 · 哲学和戈特洛布·弗雷格 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.

佩尔·马丁-洛夫和数学 · 哲学和数学 · 查看更多 »