比浏览器更快的访问！
48 关系: 劍橋，叔本华，巴魯赫·斯賓諾莎，一阶逻辑，乔治·爱德华·摩尔，序列，张申府，伦理学，伯特兰·罗素，弗兰克·普伦普顿·拉姆齐，形而上学，归纳法，德语，命题，命题变量，哥德尔数，哲学家，哲学研究，几何学，商务印书馆，先验，矛盾，理想，神学政治论，符号，第一次世界大战，维也纳学派，罗素悖论，美学，真值函数，真值表，表示式，预言，语义学，谢费尔竖线，鲁道夫·卡尔纳普，路德维希·维特根斯坦，运算，重言式，自然科学，英语，逻辑，逻辑实证主义，投影，戈特洛布·弗雷格，摩里茲·石里克，数学家，拉丁语。
劍橋
劍橋（Cambridge，舊譯康橋），英國英格蘭東區域劍橋郡的城市、自治市鎮-非都市區，是英國歷史最悠久的大學城。在這裡，除了劍橋大學建築之外，還有商店、公園、茶藝館，以及代表劍橋現代化一面的百貨公司，商店及運動設施。康河上可以泛舟，在劍橋可以參加音樂會或步行到郊外欣賞幽美景色，也可以和劍橋居民一樣，享受騎腳踏車的樂趣。.
叔本华
#重定向 阿图尔·叔本华.
巴魯赫·斯賓諾莎
斯宾诺莎（Baruch de Spinoza，Benedictus de Spinoza，），西方近代哲学史重要的理性主义者，与笛卡尔和莱布尼茨齐名。.
新！!: 逻辑哲学论和巴魯赫·斯賓諾莎 · 查看更多 »
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年，一階邏輯出現過許多種名稱，包括：一阶斷言演算、低階斷言演算、量化理論或斷言逻辑（一個較不精確的用詞）。一階邏輯和命題邏輯的不同之處在於，一階邏輯有使用量化變數。一個一階邏輯，若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域，即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠（所有可證的敘述皆為真）且完備（所有為真的敘述皆可證）的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的，但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理，如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份，因為它是公理系統的標準形式邏輯。許多常見的公理系統，如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等，都可以形式化成一階理論。然而，一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新！!: 逻辑哲学论和一阶逻辑 · 查看更多 »
乔治·爱德华·摩尔
乔治·爱德华·摩尔，OM（George Edward Moore或G.
新！!: 逻辑哲学论和乔治·爱德华·摩尔 · 查看更多 »
序列
数学上，序列是被排成一列的对象（或事件）；这样，每个元素不是在其他元素之前，就是在其他元素之后。这里，元素之间的顺序非常重要。.
张申府
张申府（），原名张崧年，字申甫，河北献县人。中国哲学家，中共创始人之一。其父张濂，其二弟张崇年、三弟张岱年。.
伦理学
伦理学（ethics）也称为道德哲学或道德学，是对人类道德生活进行系统性思考和研究的学科；在此，「道德」被定義為一群人或一種文化所認可的所有行為準則。伦理学试图从理论层面建构一种指导行为的法则体系，并且对其进行严格的评判。 伦理学是哲学的一个主要分支学科，涉及到在正確行為與錯誤行為的概念督導下，人們應該怎樣過正常生活。「倫理」对应的英文用詞「ethics」來自於希臘文「ethos」，可以翻譯為「習俗」或「道德」，又可翻譯為「信念」。甚麼是正確或錯誤？甚麼是聰明或愚蠢？研究這些問題的學問統稱為「ethica」。在哲學裏，探討價值的學問稱為價值論，主要探討的是倫理學的價值與美學的價值。 倫理學主要分為四種研究領域：.
伯特兰·罗素
伯特兰·亚瑟·威廉·罗素，第三代羅素伯爵（Bertrand Arthur William Russell, 3rd Earl Russell，），OM，FRS，英国哲学家、数学家和逻辑学家，致力于哲学的大众化、普及化。 在數學哲學上採取弗雷格的邏輯主義立場，認為數學可以化約到邏輯，哲學可以像邏輯一樣形式系統化，主張逻辑原子論。 1950年，罗素获得诺贝尔文学奖，以表彰其“西歐思想，言論自由最勇敢的君子，卓越的活力，勇氣，智慧與感受性，代表了諾貝爾獎的原意和精神”。 1921年罗素曾於中国讲学，对中国学术界有相当影响。.
新！!: 逻辑哲学论和伯特兰·罗素 · 查看更多 »
弗兰克·普伦普顿·拉姆齐
弗蘭克·普倫普頓·拉姆齊（Frank Plumpton Ramsey，，英語發音），英國數學家、哲學家兼經濟學家。 拉姆齊的弟弟迈克尔·拉姆齐是第100任坎特伯里大主教。.
新！!: 逻辑哲学论和弗兰克·普伦普顿·拉姆齐 · 查看更多 »
形而上学
#重定向 形上學.
新！!: 逻辑哲学论和形而上学 · 查看更多 »
归纳法
归纳法可以指：.
德语
德语（德语：Deutsch，）是印欧语系西日耳曼語支的一门语言。以使用國家數量來算是世界排名第六的語言，也是世界大國語言之一以及欧盟内使用最广的母语，德语拥有9000万到9800万使用者。德语标准共同语的形成可以追溯到马丁·路德对拉丁文《圣经》的翻译工作。大多数德语词汇源于印欧语系日耳曼语族的语言，一些词汇来自拉丁语和希腊语，还有部分来自法语和英语。 德语母语使用者的主要分布在德国、奥地利、瑞士北部、列支敦士登和卢森堡。欧洲许多地区（如意大利北部、比利时东部以及波兰等地）和作为原德国殖民地的纳米比亚也有大量的德语使用者，主要为作为当地少数民族的日耳曼人。 德语书写使用拉丁字母。德文字母除去标准的26个拉丁字母外，另有三个带分音符的元音Ä/ä、Ö/ö、Ü/ü以及一个特殊字母ß。.
命题
在现代哲学、逻辑学、语言学中，命题是指一个判断（陳述）的语义（實際表達的概念），這個概念是可以被定義並觀察的現象。命题不是指判断（陳述）本身。当相異判断（陳述）具有相同语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是相異的判断（陳述），但它们表达的命题是相同的。在同一种语言中，两个相異判断（陳述）也可能表达相同命题。例如，刚才的命题也可以说成冰的小结晶是白的，不過，之所以是相同命题，取決於冰的小结晶可視為雪的有效定義。 通常，命題是指閉判斷，以區別於開判斷，或謂詞。在這種情況下，命題不是真的就是假的。哲學學派邏輯實證主義支援這一命題的概念。 一些哲學家，諸如約翰•希爾勒，認為其他形式的語言或行為也判定命題。是非疑問句是對命題真值的詢問。道路交通標誌不通過語言和文字也表達了命題。使用陳述句也可能給出一個命題而不判定它，例如，在當老師請學生對某個引用發表意見的時候，這個引用就是一個命題（即它有語義）而這個老師並沒有判定它。在上一段中，只給出了命題雪是白的，但沒有判定它。.
命题变量
在数理逻辑中，命题变量(也叫做句子变量)是要么为真要么为假的变量。命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。命题变量是命题逻辑的原子公式。例如，在一个给定的命题逻辑中，我们可以按如下方式定义公式.
新！!: 逻辑哲学论和命题变量 · 查看更多 »
哥德尔数
在形式数论中，哥德尔编号是对某些形式语言的每个符号和公式指派一个叫做哥德尔数(GN)的唯一的自然数的函数。这个概念是哥德尔为证明他的哥德尔不完备定理而引入的。 可计算函数集合的编号有时叫做哥德尔编号或有效编号。哥德尔编号可以被解释为一个编程语言，带有指派哥德尔数到每个可计算函数作为在这种编程语言中计算这个函数的值的程序。Roger 等价定理特征化了是哥德尔编号的可计算函数集合的编号。.
新！!: 逻辑哲学论和哥德尔数 · 查看更多 »
哲学家
#重定向 哲學家.
哲学研究
中文版《哲学研究》封面 《哲学研究》是英籍奥地利哲学家路特维希·维特根施坦的著作。《哲学研究》讨论的问题涵盖了语义学、逻辑学、数学哲学，语言哲学和心灵哲学等领域。它是二十世纪最重要的哲学著作之一。.
新！!: 逻辑哲学论和哲学研究 · 查看更多 »
几何学
笛沙格定理的描述，笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學（英语：Geometry，γεωμετρία）簡稱幾何。几何学是數學的一个基础分支，主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾里德的公理，產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓扑学及微分幾何。 在歐幾里德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾里德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠，例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。.
商务印书馆
商务印书馆，是中国第一家现代出版机构，由原美北长老会美华书馆工人夏瑞芳、鲍咸恩、鲍咸昌、高凤池四人得到长老会美國籍牧师费启鸿的帮助，于1897年2月11日始创于上海，秉承“倡明教育，开启民智”之宗旨，为中国现代出版业巨擘，在上百年的漫长岁月中，对中国现代的文化与教育事业产生了巨大而深远的影响。商務印書館初期承印商业簿记表冊、帳本、教會圖書等印務，故得名商务。.
新！!: 逻辑哲学论和商务印书馆 · 查看更多 »
先验
#重定向 先驗與後驗.
矛盾
粗略的说，矛盾（Contradiction）是在两个或更多陈述、想法或行动之间的不一致，存在差别。 汉语辞源出自《韩非子》中《难一》所述故事： 白話文大意為：有一位賣盾牌和賣矛的楚國人，他誇讚自己賣的盾牌說：“我的盾牌堅固無比，什麼東西都無法刺穿它。”又誇讚自己賣的矛說：“我的矛鋒利無比，什麼東西都可以刺穿。”有人問他說：“用你的矛来試著刺你的盾，將會如何？”那人一句話都無法回答。不能被刺穿的盾牌和能刺穿一切的矛，是不可以同时存在的。 注意在口语和辩证法中，矛盾有着同形式逻辑中完全不同的意义，口语中的矛盾强调矛盾双方的斗争性。.
理想
想可以指：.
神学政治论
《神学政治论》是17世纪荷兰哲学家斯宾诺莎主要著作之一。在书中，斯宾诺莎以理性主义和历史批判的视角审视和批判了传统的《圣经》诠释方法，在历史上第一次提出研究《圣经》的作者是谁，他们是在什么条件下写的，以及为何而作等等。书中还提倡天赋人权学说，社会契约说，信仰自由和言论自由等。 Category:哲学书籍 Category:政治学 Category:宗教批判 Category:政治哲学.
新！!: 逻辑哲学论和神学政治论 · 查看更多 »
符号
在一种认知体系中，符号是指代一定意义的意象，可以是图形图像、文字组合，也可以是声音信号、建筑造型，甚至可以是一种思想文化、一个时事人物。例如“.
第一次世界大战
一次世界大戰（簡稱一次大戰、一戰，或稱歐戰；World War I、WWI、Great War、First World War；la première Guerre Mondiale、la Grande Guerre）是一場於1914年7月28日至1918年11月11日主要發生在歐洲的大戰，然而戰火最終延燒至全球，當時世界上大多數國家都被捲入這場戰爭，史稱「第一次世界大戰」。1939年第二次世界大战爆发前，这场战争被直接称为世界大战。由于主要戰場於歐洲大陸，故此20世紀早期的中文經常稱之為“欧战”。 戰爭過程主要是同盟國和協約國之間的戰鬥。德國、奥匈帝国、鄂圖曼帝国及保加利亚屬於同盟國陣營。英國、法國、日本、俄國、意大利、美国、塞尔维亚、比利时、中國等則屬於協約國陣營。戰爭的導火線是發生於1914年6月的塞拉耶佛事件，奥匈帝国皇储斐迪南及其妻子索菲亚被塞尔维亚激进青年普林西普刺杀身亡。戰線主要分為東線（俄國對德奧作戰）、西線（英法對德作戰）和南線（包括塞爾維亞對奧匈、保加利亚作戰的巴爾幹戰線，奥斯曼土耳其对俄国的高加索战线，奥斯曼土耳其对英国的美索不达米亚战线、奥斯曼土耳其对英国、阿拉伯的巴勒斯坦战线等等），其中以西線最为慘烈。這場戰爭是歐洲歷史上破壞性最强的戰爭之一，約6,500萬人參戰，約2,000萬人受傷，超过1,600萬人喪生（约900万士兵和700万平民），造成嚴重的人口及經濟損失，估計損失约1,700億美元（當時幣值），除美洲與亞洲外，歐洲各國均受到重創，特別是戰敗國如德國等等還要面對巨額賠款，埋下第二次大戰的種子。.
新！!: 逻辑哲学论和第一次世界大战 · 查看更多 »
维也纳学派
维也纳学派（Wiener Kreis），1920年代发展出来的一个自然科学和哲学的学派。 维也纳学派是发源于20世纪20年代奥地利首都维也纳的一个学术团体。其成员主要包括领袖人物石里克、鲁道夫·卡尔纳普、纽拉特、费格尔、汉恩、伯格曼、弗兰克、韦斯曼、哥德尔，等等。他们多是当时欧洲大陆优秀的物理学家、数学家和逻辑学家。他们关注当时自然科学发展成果（如数学基础论、相对论与量子力学），并尝试在此基础上去探讨哲学和科学方法论等问题。 受到19世纪以来德国实证主义传统影响，加上在维特根斯坦《逻辑哲学论》思想启示下，维也纳学派提出了一系列有别传统的见解。大致来说，他们的（除哥德尔）中心主张有两点：一，拒绝形而上学，认为经验是知识唯一可靠来源；二，只有通过运用逻辑分析的方法，才可最终解决传统哲学问题。 20年代末以来，维也纳学派通过组织一系列国际会议与发行丛书，与欧美思想相近学者（如德国的柏林学派与波兰华沙学派）相联系，而逐渐发展成为声势浩大的逻辑实证主义运动。然而，随着30年代中起纳粹在欧洲兴起，学派中的犹太的学者受到迫害，导致不少重要成员被迫逃亡海外。及至1933年汉恩病逝，1936年石里克遇刺身亡，维也纳学派最终走向解散的结局。尽管如此，逻辑实证主义思想却因此得在英美国家得到广泛传播，并促成了二战后分析哲学成为英语世界的学术主流。.
新！!: 逻辑哲学论和维也纳学派 · 查看更多 »
罗素悖论
罗素悖论（Russell's paradox），也称为理发师悖论，是英國哲學家罗素於1901年提出的悖论，一个关于类的内涵问题。罗素悖论当时的提出，造成了第三次数学危机。.
新！!: 逻辑哲学论和罗素悖论 · 查看更多 »
美学
美学（aesthetics），在欧洲又名感覺學，是以对美的本质及其意义的研究为主题的学科，乃哲学其中一个重要分支。 欧洲的美学概念的词语来源于aisthetikos，最初的意义是“对感观的感受”。由德国哲学家鲍姆嘉通（亚力山大·葛特列·鲍姆嘉通）首次使用的。他的《美学》一书的出版标志了美学做为一门独立学科的产生。 直到19世纪，美学在传统古典艺术的概念中通常被被定义为研究“美”（Schönheit）的学说。现代哲学将美学定义为认识艺术，科学，设计和哲学中认知感觉的理论和哲学。一个客体的美学价值并不是简单的被定义为“美”和“醜”，而是去认识客体的类型和本质。.
真值函数
在逻辑中，真值函数是从语言的句子生成的函数。它采用来自 (就是真实和虚假)的真值。例如句子 A → B 生成真值函数 h(A,B)，它的真值是 F，当且仅当 A 的值是 T 而 B 的值是 F。n 个变量的命题句子生成 2^ 个真值函数。比如，如果有像 A → (B → A) 这样的 2 个变量的命题则有 16 个生成的真值函数。 陈述或命题被称为是真值泛函的，如果它的真值由它的部件的真值来决定。 比如，“在2004年4月20日保罗·马丁是加拿大首相”是真的，“在2004年4月20日乔治·沃克·布什是美国总统”也是真的，所以合取：.
新！!: 逻辑哲学论和真值函数 · 查看更多 »
真值表
真值表是使用於邏輯中（特別是在連結邏輯代數、布爾函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。 「用真值表製表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施羅德於1880年代所发明的。這種表格於1920年代之後廣泛地發現在許多文獻上頭（扬·武卡谢维奇、埃米爾·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。 真值表被用來計算以「決策程序」建構的命題表示式的值。命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（\land）、邏輯或（\lor）、邏輯非（\lnot））由原子公式建構出來的公式。舉例來說，Fx \land Gx即是個命題表示式。 真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。 经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。.
表示式
表示式亦称表達式、運算式或數學表達式，在數學領域中是一些符號依據上下文的規則，有限而定義良好的組合。數學符號可用於標定數字（常量）、變量、操作、函數、括號、標點符號和分組，幫助確定操作順序以及有其它考量的邏輯語法。.
预言
言（英文：Prophecy），是对未来将发生的事情的预报或者断言。一般来说预言指的不是通过科学规律对未来所作的计算而得出的结论，而是指某人通过預知超能力出于灵感获得的预报。 这个概念还包括着通过神力或者非凡的能力所获得的对现时的真理和事实的宣布。最常见的预言是在社会或者宗教危机时期对未来的警告。在许多重要的宗教著作中都纪录有这样的预言。.
语义学
语义学（Semantics，La sémantique），也作「语意学」，是一个涉及到语言学、逻辑学、计算机科学、自然语言处理、认知科学、心理学等诸多领域的一个术语。虽然各个学科之间对语义学的研究有一定的共同性，但是具体的研究方法和内容大相径庭。语义学的研究对象是自然语言的意义，这里的自然语言可以是词汇，句子，篇章等等不同级别的语言单位。但是各个领域里对语言的意义的研究目的不同：.
谢费尔竖线
谢费尔竖线（Sheffer stroke），得名于，写为“| ”（見豎線）或“↑”，指示等价于合取运算的否定的逻辑运算。普通语言表达为“不全是即真”（Not AND，因此也常縮寫為NAND），也就是说，A | B假，当且仅当A与B都真时才成立。它是可用来表达与命题逻辑有关的所有布尔函数的自足算子之一。在布尔代数和数字电子中有叫做「NAND」的等价运算。.
新！!: 逻辑哲学论和谢费尔竖线 · 查看更多 »
鲁道夫·卡尔纳普
鲁道夫·卡尔纳普（Rudolf Carnap，又译卡納普，），是20世纪著名的美國分析哲学家，生於德国雷姆沙伊德。經驗主義和逻辑实证主义代表人物，维也纳学派的领袖之一。卡尔纳普是学物理和数学出身的，在耶拿大学曾受业于弗雷格门下，研究邏輯學、數學、語言的概念結構。受羅素和弗雷格的著作影響。 哲学上早期受新康德派的影响，他最早的作品如《空间。论科学哲学》，《论物理学的任务和简化原则之应用》等都可以看到这种影响的印迹。同时他受到了马赫实证论和经验论的影响，使他完全走上了实证论的道路。《世界的逻辑构造》是卡尔纳普的代表作。.
新！!: 逻辑哲学论和鲁道夫·卡尔纳普 · 查看更多 »
路德维希·维特根斯坦
路德维希‧約瑟夫‧約翰‧维特根斯坦（Ludwig Josef Johann Wittgenstein，又譯维特根施泰因、維根斯坦；）是一名奧地利哲學家。他生于奥地利，后入英国籍。维特根斯坦是20世纪最有影响力的哲学家之一，其研究领域主要在语言哲学、心靈哲学和数学哲学等方面。1939年至1947年，任教於剑桥大学三一學院。Dennett, Daniel.
新！!: 逻辑哲学论和路德维希·维特根斯坦 · 查看更多 »
运算
数学上，运算（Operation）是一种行为，通过已知量的可能的组合，获得新的量。例如，算术中的加法6+3.
重言式
#重定向 套套邏輯.
自然科学
自然科学是研究大自然中有机或无机的事物和现象的科学。自然科学包括天文學、物理学、化学、地球科学、生物学等等。.
新！!: 逻辑哲学论和自然科学 · 查看更多 »
英语
英语（English，）是一种西日耳曼语言，诞生于中世纪早期的英格兰，如今具有全球通用语的地位。“英语”一词源于迁居英格兰的日耳曼部落盎格鲁（Angles），而“盎格鲁”得名于临波罗的海的半岛盎格里亚（Anglia）。弗里西语是与英语最相近的语言。英语词汇在中世纪早期受到了其他日耳曼族语言的大量影响，后来受罗曼族语言尤其是法语的影响。英语是将近六十个国家唯一的官方语言或官方语言之一，也是全世界最多國家的官方語言。它是英国、美国、加拿大、澳大利亚、爱尔兰和新西兰最常用的语言，也在加勒比、非洲及南亚的部分地区被广泛使用。它是世界上母语人口第三多的语言，仅次于汉语和西班牙语。英语是学习者最多的第二外语跟學習者最多的第一外語，是联合国、欧盟和许多其他国际组织的官方语言。它是使用最广泛的日耳曼族语言，至少70%的日耳曼语族使用者说英语。 英语有1400多年的发展史。公元5世纪，盎格魯-撒克遜人把他们的各种盎格鲁-弗里西语方言带到了大不列顛島，它们被称为古英语。中古英语始于11世纪后期的诺曼征服，这一时期英语受到了法语的影响。15世纪末伦敦对印刷机的采用、《钦定版圣经》的出版及元音大推移标志了近代英语的开端。通过大英帝国对全球的影响，现代英语在17世纪至20世纪中叶传播到了世界各地。通过各种印刷和电子媒体，随着美国取得全球超级大国地位，英语已经成为了国际对话中居领导地位的世界語言。它还是许多地区和行业（如科学、导航、法律等）的通用语。 现代英语和很多其他语言相比屈折变化较少，更多地依靠助動詞和语序来表达复杂的时态、体和语气，以及被動語態、疑问和一些否定。英语的各种口音和方言在发音和音位方面有显著差异，有时它们的词汇、语法和拼法也有所不同，但世界各地说英语的人能基本无碍地沟通交流。.
逻辑
邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.
逻辑实证主义
逻辑实证主义（logical positivism）和逻辑经验主义，共同形成了新實證主義，也被稱為科学经验主义，是以為核心的西方哲學運動。1920年代後期開始，一群哲學觀點相似的哲學家、科學家和數學家等組成维也纳学派，發展出邏輯實證主義。.
新！!: 逻辑哲学论和逻辑实证主义 · 查看更多 »
投影
在线性代数和泛函分析中，投影是从向量空间映射到自身的一种线性变换，是日常生活中“平行投影”概念的形式化和一般化。同现实中阳光将事物投影到地面上一样，投影变换将整个向量空间映射到它的其中一个子空间，并且在这个子空间中是恒等变换。.
戈特洛布·弗雷格
弗里德里希·路德维希·戈特洛布·弗雷格（德语：Friedrich Ludwig Gottlob Frege，；），著名德国数学家、逻辑学家和哲学家。是数理逻辑和分析哲学的奠基人。.
新！!: 逻辑哲学论和戈特洛布·弗雷格 · 查看更多 »
摩里茲·石里克
摩里茲·石里克（Moritz Schlick，）是一名德國哲學家，维也纳学派和逻辑实证主义的創始人，屬於分析哲學學派。.
新！!: 逻辑哲学论和摩里茲·石里克 · 查看更多 »
数学家
数学家是指一群對數學有深入了解的的人士，將其知識運用於其工作上（特別是解決數學問題）。數學家專注於數、數據、邏輯、集合、結構、空間、變化。 專注於解決純數學（基础数学）領域以外的問題的數學家稱為應用數學家，他們運用他們的特殊數學知識與專業的方法解決許多在科學領域的顯著問題。因為專注於廣泛領域的問題、理論系統、定點結構。應用數學家經常研究與制定數學模型.
拉丁语
拉丁语（lingua latīna，）,羅馬帝國的奧古斯都皇帝時期使用的書面語稱為「古典拉丁語」，屬於印欧语系意大利語族。是最早在拉提姆地区（今意大利的拉齐奥区）和罗马帝国使用。虽然现在拉丁语通常被认为是一种死语言，但仍有少数基督宗教神职人员及学者可以流利使用拉丁语。罗马天主教传统上用拉丁语作为正式會議的语言和礼拜仪式用的语言。此外，许多西方国家的大学仍然提供有关拉丁语的课程。 在英语和其他西方语言创造新词的过程中，拉丁语一直得以使用。拉丁语及其后代罗曼诸语是意大利语族中仅存的一支。通过对早期意大利遗留文献的研究，可以证实其他意大利语族分支的存在，之后这些分支在罗马共和国时期逐步被拉丁语同化。拉丁语的亲属语言包括法利斯克语、奥斯坎语和翁布里亚语。但是，威尼托语可能是一个例外。在罗马时代，作为威尼斯居民的语言，威尼托语得以和拉丁语并列使用。 拉丁语是一种高度屈折的语言。它有三种不同的性，名词有七格，动词有四种词性变化、六种时态、六种人称、三种语气、三种语态、两种体、两个数。七格当中有一格是方位格，通常只和方位名词一起使用。呼格与主格高度相似，因此拉丁语一般只有五个不同的格。不同的作者在行文中可能使用五到七种格。形容词与副词类似，按照格、性、数曲折变化。虽然拉丁语中有指示代词指代远近，它却没有冠词。后来拉丁语通过不同的方式简化词尾的曲折变化，形成了罗曼语族。 拉丁语與希腊语同為影響歐美學術與宗教最深的语言。在中世纪，拉丁语是当时欧洲不同国家交流的媒介语，也是研究科学、哲学和神學所必须的语言。直到近代，通晓拉丁语曾是研究任何人文学科教育的前提条件；直到20世纪，拉丁语的研究才逐渐衰落，重点转移到对當代语言的研究。.
