比浏览器更快的访问！
25 关系: 一阶逻辑，亚里士多德，库尔特·哥德尔，伯特兰·罗素，德国，德语，德意志邦聯，哥廷根大学，哲学家，約翰·奧斯丁，维斯马，魏瑪共和國，语言哲学，鲁道夫·卡尔纳普，鲁道夫·赫尔曼·陆宰，路德维希·维特根斯坦，阿尔弗雷德·塔斯基，耶拿大学，逻辑学家，恩斯特·阿贝，概念文字，戈特弗里德·莱布尼茨，数学家，数学哲学，数理逻辑。
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 戈特洛布·弗雷格和一阶逻辑 · 查看更多 »
亚里士多德
亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.
新！!: 戈特洛布·弗雷格和亚里士多德 · 查看更多 »
库尔特·哥德尔
库尔特·弗雷德里希·哥德尔（Kurt Friedrich Gödel，），出生於奧匈帝國的數學家、邏輯學家和哲學家，维也纳学派（维也纳小组）的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。.
新！!: 戈特洛布·弗雷格和库尔特·哥德尔 · 查看更多 »
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
新！!: 戈特洛布·弗雷格和伯特兰·罗素 · 查看更多 »
德国
德意志联邦共和国（Bundesrepublik Deutschland／），简称德国（Deutschland），是位於中西歐的联邦议会共和制国家，由16个-zh-hans:联邦州; zh-hant:邦;-组成，首都与最大城市为柏林。其国土面积约35.7万平方公里，南北距离为876公里，东西相距640公里，从北部的北海与波罗的海延伸至南部的阿尔卑斯山。气候温和，季节分明。德国人口约8,180万，为欧洲联盟中人口最多的国家，也是世界第二大移民目的地，仅次于美国。 在50万年前的舊石器時代晚期，海德堡人及其後代尼安德特人生活在今德國中部。自古典時代以來各日耳曼部族開始定居於今日德國的北部地區。公元1世紀時，有羅馬人著作的關於“日耳曼尼亞”的歷史記載。在公元4到7世紀的民族遷徙期，日耳曼部族逐漸向歐洲南部擴張。自公元10世紀起，德意志領土組成神聖羅馬帝國的核心部分。16世紀時，德意志北部地區成為宗教改革中心。在神聖羅馬帝國滅亡後，萊茵邦聯和日耳曼邦聯先後建立，1871年，在普魯士王國主導之下，多數德意志邦國統一成為德意志帝國，「德意志」開始做為國名使用。在第一次世界大戰和1918-1919年德國革命後，德意志帝國解體，議會制的威瑪共和國取而代之。1933年納粹黨獲取政權並建立獨裁統治，最終導致第二次世界大戰及系統性種族滅絕的發生。在戰敗並經歷同盟國軍事佔領後，德國分裂为德意志聯邦共和國（西德）和德意志民主共和國（東德）。在1990年10月3日重新統一成為現在的德國。国家元首为联邦总统，政府首脑則为联邦总理。 德國是世界大國之一，其國内生產總值以國際匯率計居世界第四，以購買力評價計居世界第五。其諸多工業工程和科技部門位居世界前列，例如全球馳名的德國車廠、精密部件等，為世界第三大出口國。德國為發達國家，生活水平居世界前列。德國人也以熱愛大自然聞名，都市綠化率極高，也是歐洲再生能源大國，是可持續發展經濟的樣板，除了強調環境保護與自然生態保育，在人為飼養活體的態度十分嚴謹，不但獲得大量外匯和資訊優勢，其動物保護法律管束、生命教育水準也是首屈一指的，在高等教育方面並提供免費大學教育，並具備完善的社會保障制度和醫療體系，催生出拜爾等大藥廠。 德国为1993年欧洲联盟的创始成员国之一，为申根区一部分，并于1999年推动欧元区的建立。德国亦为联合国、北大西洋公约组织、八国集团、20国集团及经济合作与发展组织成员。其军事开支总额居世界第九。 德語是歐盟境内使用人數最多的母語。德國文化的豐富層次和對世界的影響表現在其建築和美術、音樂、哲學以及電影等等。德國的文化遺產主要以老城為代表。另外國家公園和自然公園共計有上百處。.
新！!: 戈特洛布·弗雷格和德国 · 查看更多 »
德语
德语（德语：Deutsch，）是印欧语系西日耳曼語支的一门语言。以使用國家數量來算是世界排名第六的語言，也是世界大國語言之一以及欧盟内使用最广的母语，德语拥有9000万到9800万使用者。德语标准共同语的形成可以追溯到马丁·路德对拉丁文《圣经》的翻译工作。大多数德语词汇源于印欧语系日耳曼语族的语言，一些词汇来自拉丁语和希腊语，还有部分来自法语和英语。 德语母语使用者的主要分布在德国、奥地利、瑞士北部、列支敦士登和卢森堡。欧洲许多地区（如意大利北部、比利时东部以及波兰等地）和作为原德国殖民地的纳米比亚也有大量的德语使用者，主要为作为当地少数民族的日耳曼人。 德语书写使用拉丁字母。德文字母除去标准的26个拉丁字母外，另有三个带分音符的元音Ä/ä、Ö/ö、Ü/ü以及一个特殊字母ß。.
新！!: 戈特洛布·弗雷格和德语 · 查看更多 »
德意志邦聯
德意志邦联（；1815年6月8日—1866年8月23日）是在1815年根据维也纳会议而成立的一个松散组织，目的是团结在1806年神圣罗马帝国被废除后余下的德意志邦国。.
新！!: 戈特洛布·弗雷格和德意志邦聯 · 查看更多 »
哥廷根大学
哥廷根的格奥尔格·奥古斯特大学（Georg-August-Universität Göttingen），简称哥廷根大学，位于德国西北部下萨克森州南端的大学城哥廷根市，因德国汉诺威公爵兼英国国王格奥尔格二世创建而得名。始建于1734年，于1737年向公众开放。同德国的海德堡大学、佛莱堡大学、圖宾根大学相似，哥廷根大学属于传统的大学城，是“没有校门和围墙的大学”。 哥廷根拥有十分辉煌的历史，名人辈出，蜚声世界。2007年10月至2012年5月期间为德国第二轮“精英大学”所评选的德国九所精英大学之一。.
新！!: 戈特洛布·弗雷格和哥廷根大学 · 查看更多 »
哲学家
#重定向 哲學家.
新！!: 戈特洛布·弗雷格和哲学家 · 查看更多 »
約翰·奧斯丁
約翰·奧斯丁（John Langshaw Austin，著作常署名 J. L. Austin，1911年3月26日－1960年2月8日）英國哲學家，屬於分析哲學學派，以語言哲學為專長。.
新！!: 戈特洛布·弗雷格和約翰·奧斯丁 · 查看更多 »
维斯马
维斯马（德语：Wismar），是德国北部梅克伦堡-前波莫瑞州的一个市镇。总面积41.69平方公里，总人口44057人，其中男性21541人，女性22516人（2011年12月31日），人口密度1 057人/平方公里。 属于漢薩同盟，2002年六月二十七日維斯馬老城與施特拉爾松德為聯合國教科文組織指定世界文化遺產。.
新！!: 戈特洛布·弗雷格和维斯马 · 查看更多 »
魏瑪共和國
威瑪共和國（Weimarer Republik）指1918年至1933年採用共和憲政政体的德国，于德意志帝國在第一次世界大战中战败、霍亨索伦王朝崩溃后成立。由於這段時間施行的宪法（一般称之为《威瑪憲法》）是在憲法召开的国民议会上通过的，因而得此名稱。其使用的國名為「德意志國」（Deutsches Reich）。「威瑪共和」这一稱呼是后世历史学家的称呼，从来不是政府的正式用名。有如現在的法蘭西共和國算是第五共和國，共和是針對政權的說明。 威瑪共和是德国历史上第一次走向共和的嘗試，于德国十一月革命后而生，因阿道夫·希特勒及纳粹党在1933年上台执政而结束。虽然1919年的威瑪共和宪法在第二次世界大战结束前在法律上仍然有效，但納粹黨政府在1933年采取的一体化（Gleichschaltung）政策已经彻底破坏了共和国的民主制度，所以魏玛共和国在1933年已经名存实亡。.
新！!: 戈特洛布·弗雷格和魏瑪共和國 · 查看更多 »
语言哲学
語言哲學是一門哲學的分支，對語言的用法、來源及本質作理性的研究。對於分析哲學來說，有四個主要關心的問題：意義的本質、語言用法、語言認知及語言與現實的關係。對歐陸哲學家來說，語言哲學是邏輯、歷史甚至政治的一部分。 首先，語言哲學家尋求意義的本質，解釋「意義」的意義。順著這個脈絡，找尋同義詞的本質。 研究人的语言的哲学成为当代哲学的主要方向。主要代表人物有维特根斯坦。.
新！!: 戈特洛布·弗雷格和语言哲学 · 查看更多 »
鲁道夫·卡尔纳普
鲁道夫·卡尔纳普（Rudolf Carnap，又译卡納普，），是20世纪著名的美國分析哲学家，生於德国雷姆沙伊德。經驗主義和逻辑实证主义代表人物，维也纳学派的领袖之一。卡尔纳普是学物理和数学出身的，在耶拿大学曾受业于弗雷格门下，研究邏輯學、數學、語言的概念結構。受羅素和弗雷格的著作影響。 哲学上早期受新康德派的影响，他最早的作品如《空间。论科学哲学》，《论物理学的任务和简化原则之应用》等都可以看到这种影响的印迹。同时他受到了马赫实证论和经验论的影响，使他完全走上了实证论的道路。《世界的逻辑构造》是卡尔纳普的代表作。.
新！!: 戈特洛布·弗雷格和鲁道夫·卡尔纳普 · 查看更多 »
鲁道夫·赫尔曼·陆宰
鲁道夫·赫尔曼·陆宰（德语：Rudolf Herman Lotze，）是一位德国 哲学家、逻辑学家。他还拥有医学学位，并且精通生物学。他的医学研究成为科学心理学的先锋工作。.
新！!: 戈特洛布·弗雷格和鲁道夫·赫尔曼·陆宰 · 查看更多 »
路德维希·维特根斯坦
路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.
新！!: 戈特洛布·弗雷格和路德维希·维特根斯坦 · 查看更多 »
阿尔弗雷德·塔斯基
阿尔弗雷德·塔斯基（Alfred Tarski，），美国籍波兰裔犹太逻辑学家和数学家。塔斯基1939年移居美国，一直任教于加利福尼亚大学伯克利分校。华沙学派成员，广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑、集论和分析哲学等领域，专精于模型论、元数学、代数逻辑。 逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、伯特兰·罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门·费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Feferman, A. B., and Solomon Feferman, 2004.
新！!: 戈特洛布·弗雷格和阿尔弗雷德·塔斯基 · 查看更多 »
耶拿大学
耶拿市弗里德里希·席勒大学（），簡稱耶拿大学，是一所位于德国图林根耶拿的公立大学。該校之當代命名源自其前任哲學教授弗里德里希·席勒之名。.
新！!: 戈特洛布·弗雷格和耶拿大学 · 查看更多 »
逻辑学家
逻辑学家是学术研究主题为逻辑学的哲学家，数学家或其他人。下面按姓氏的英语的字母顺序列出著名的逻辑学家。.
新！!: 戈特洛布·弗雷格和逻辑学家 · 查看更多 »
恩斯特·阿贝
恩斯特·卡爾·阿贝（Ernst Karl Abbe，）德国物理学家、光学家、企業家。.
新！!: 戈特洛布·弗雷格和恩斯特·阿贝 · 查看更多 »
概念文字
《概念文字》是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书名《Begriffsschrift》通常翻译成《Concept Writing》或《Concept Notation》；书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。.
新！!: 戈特洛布·弗雷格和概念文字 · 查看更多 »
戈特弗里德·莱布尼茨
戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz， 或 ；Godefroi Guillaume Leibnitz，，），德意志哲学家、数学家，歷史上少見的通才，獲誉为十七世纪的亚里士多德。他本人是律師，經常往返於各大城鎮；他許多的公式都是在顛簸的馬車上完成的，他也自稱具有男爵的貴族身份。 莱布尼茨在数学史和哲学史上都占有重要地位。在数学上，他和牛顿先后独立发明了微积分，而且他所使用的微積分的数学符号被更廣泛的使用，萊布尼茨所发明的符号被普遍认为更综合，适用范围更加广泛。莱布尼茨还对二进制的发展做出了贡献。 在哲学上，莱布尼茨的乐观主义最为著名；他认为，“我们的宇宙，在某种意义上是上帝所创造的最好的一个”。他和笛卡尔、巴鲁赫·斯宾诺莎被认为是十七世纪三位最伟大的理性主义哲学家。莱布尼茨在哲学方面的工作在预见了现代逻辑学和分析哲学诞生的同时，也显然深受经院哲学传统的影响，更多地应用第一性原理或先验定义，而不是实验证据来推导以得到结论。 莱布尼茨对物理学和技术的发展也做出了重大贡献，并且提出了一些后来涉及广泛——包括生物学、医学、地质学、概率论、心理学、语言学和信息科学——的概念。莱布尼茨在政治学、法学、伦理学、神学、哲学、历史学、语言学诸多方向都留下了著作。 莱布尼茨对如此繁多的学科方向的贡献分散在各种学术期刊、成千上万封信件、和未发表的手稿中，其中約四成為拉丁文、約三成為法文、約一成五為德文。截至2010年，莱布尼茨的所有作品还没有收集完全。 2007年，戈特弗里德·威廉·莱布尼茨图书馆暨下薩克森州州立圖書舘的莱布尼茨手稿藏品被收入联合国教科文组织编写的世界记忆项目。 由於莱布尼茨曾在汉诺威生活和工作了近四十年，并且在汉诺威去世，为了纪念他和他的学术成就，2006年7月1日，也就是萊布尼茨360周年诞辰之际，汉诺威大学正式改名为汉诺威莱布尼茨大学。.
新！!: 戈特洛布·弗雷格和戈特弗里德·莱布尼茨 · 查看更多 »
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
新！!: 戈特洛布·弗雷格和数学家 · 查看更多 »
数学哲学
数学哲学是哲学的一个分支，研究数学中的哲学问题的学科。从毕达哥拉斯到康德的众多思想家都有许多数学哲学的重要思想，但作为专门学科直到19世纪中叶以后才逐渐建立起来。着重研究：.
新！!: 戈特洛布·弗雷格和数学哲学 · 查看更多 »
数理逻辑
数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。.
新！!: 戈特洛布·弗雷格和数理逻辑 · 查看更多 »
