戈特洛布·弗雷格和逻辑哲学论

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

戈特洛布·弗雷格和逻辑哲学论之间的区别

戈特洛布·弗雷格 vs. 逻辑哲学论

弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。. 《逻辑哲学论》（又译《名理论》，英语、拉丁语：Tractatus Logico-philosophicus，德语：Logisch-Philosophische Abhandlung），是奥地利哲学家维特根斯坦在其一生中出版的唯一的书籍篇幅的著作。本书在1918年第一次世界大战作者服兵役期间写成。首先在1921年以德语出版。它现在被广泛的认为是20世纪最重要的哲学著作之一。拉丁语标题Tractatus Logico-Philosophicus最初是乔治·爱德华·摩尔建议的，以表示对斯宾诺莎的《神学政治论》的敬意。维特根斯坦的著名的文笔风格——他表达自身的绝对冷静和简洁的方式——是从他所崇拜的德国逻辑学家和哲学家弗雷格的哲理散文中铸就而来。在他的《哲学评论》中，他写道：“我的句子的风格受到弗雷格的非常强烈的影响。并且如果我想要的话，我能在没有人能第一眼就辨别的地方察觉到这种强烈的影响。” 少于80页的微薄的容量形成了简短的、预言式的说话方式的、编号为1, 1.1, 1.11, 1.12等等到7的一个系统。1.1是1的注释或细节，1.11和1.12注释1.1，以此类推，用来展示它们的嵌套的相互关系。他阐述了一个雄心勃勃的计划：识别语言和现实之间的关系，并通过清晰的说出“逻辑上完美的语言的条件”来定义哲学的界限。其目标是完善伯特兰·罗素早年提出的基于逻辑原子论的哲学系统。 本书的结尾有些令人惊讶，达成了关于哲学的有点激烈的结论。它明确的建议：任何形而上学的讨论都位于意义领域之外，而唯一正确的哲学方法是为自然科学而舍弃哲学（对于不可说的事物，我们必须保持沉默）。 《逻辑哲学论》主要是在逻辑实证主义者中间有着影响力，但也启迪了很多其他哲学家。.

一阶逻辑

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.

一阶逻辑和戈特洛布·弗雷格 · 一阶逻辑和逻辑哲学论 · 查看更多 »

伯特兰·罗素

伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.

伯特兰·罗素和戈特洛布·弗雷格 · 伯特兰·罗素和逻辑哲学论 · 查看更多 »

德语

德语（德语：Deutsch，）是印欧语系西日耳曼語支的一门语言。以使用國家數量來算是世界排名第六的語言，也是世界大國語言之一以及欧盟内使用最广的母语，德语拥有9000万到9800万使用者。德语标准共同语的形成可以追溯到马丁·路德对拉丁文《圣经》的翻译工作。大多数德语词汇源于印欧语系日耳曼语族的语言，一些词汇来自拉丁语和希腊语，还有部分来自法语和英语。 德语母语使用者的主要分布在德国、奥地利、瑞士北部、列支敦士登和卢森堡。欧洲许多地区（如意大利北部、比利时东部以及波兰等地）和作为原德国殖民地的纳米比亚也有大量的德语使用者，主要为作为当地少数民族的日耳曼人。 德语书写使用拉丁字母。德文字母除去标准的26个拉丁字母外，另有三个带分音符的元音Ä/ä、Ö/ö、Ü/ü以及一个特殊字母ß。.

德语和戈特洛布·弗雷格 · 德语和逻辑哲学论 · 查看更多 »

哲学家

#重定向 哲學家.

哲学家和戈特洛布·弗雷格 · 哲学家和逻辑哲学论 · 查看更多 »

鲁道夫·卡尔纳普

鲁道夫·卡尔纳普（Rudolf Carnap，又译卡納普，），是20世纪著名的美國分析哲学家，生於德国雷姆沙伊德。經驗主義和逻辑实证主义代表人物，维也纳学派的领袖之一。卡尔纳普是学物理和数学出身的，在耶拿大学曾受业于弗雷格门下，研究邏輯學、數學、語言的概念結構。受羅素和弗雷格的著作影響。 哲学上早期受新康德派的影响，他最早的作品如《空间。论科学哲学》，《论物理学的任务和简化原则之应用》等都可以看到这种影响的印迹。同时他受到了马赫实证论和经验论的影响，使他完全走上了实证论的道路。《世界的逻辑构造》是卡尔纳普的代表作。.

戈特洛布·弗雷格和鲁道夫·卡尔纳普 · 逻辑哲学论和鲁道夫·卡尔纳普 · 查看更多 »

路德维希·维特根斯坦

路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.

戈特洛布·弗雷格和路德维希·维特根斯坦 · 路德维希·维特根斯坦和逻辑哲学论 · 查看更多 »

数学家

数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.

戈特洛布·弗雷格和数学家 · 数学家和逻辑哲学论 · 查看更多 »