概念文字和逻辑

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

概念文字和逻辑之间的区别

概念文字 vs. 逻辑

《概念文字》是1879年出版的戈特洛布·弗雷格写的一本关于逻辑学的书。书名《Begriffsschrift》通常翻译成《Concept Writing》或《Concept Notation》；书的完整标题把它标识为《模仿算术的纯思维的形式语言》。这本小书无可争议是亚里士多德之后在逻辑学领域最重要的出版物。弗雷格开发他的形式逻辑系统的动机是类似于莱布尼兹对“演算推论器”的渴望。 弗雷格定义了逻辑演算来支持他在数学基础上的研究。“概念文字”是书和其中定义的演算二者的名字。. 邏輯（λογική；Logik；logique；logic；意大利语、西班牙语、葡萄牙语: logica），又稱理則、論理、推理、推論，是对有效推論的哲學研究。邏輯被使用在大部份的智能活動中，但主要在哲學、心理、学习、推论统计学、脑科学、數學、語義學、 法律和電腦科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。 邏輯通常可分為三個部份：歸納推理、溯因推理和演繹推理。 在哲學裡，邏輯被應用在大多數的主要領域之中：形上學/宇宙論、本體論、知識論及倫理學。 在數學裡，邏輯是指形式逻辑和数理邏輯，形式逻辑是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。数理邏輯是研究抽象邏輯关系和数学基本的问题。 在心理、脑科学、語義學、 法律裡，是研究人类思想推理的处理。 在学习、推论统计学裡，是研究最大可能的结论。主要是歸納推理、溯因推理。 在電腦科學裡， 是研究各种方法的性质，可能性，和实现在机器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。 从古文明开始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。.

亚里士多德

亞里士多德（Αριστοτέλης，Aristotélēs，），古希腊哲学家，柏拉圖的學生、亚历山大大帝的老師。他的著作包含許多學科，包括了物理學、形而上學、詩歌（包括戲劇）、音乐、生物學、經濟學、動物學、邏輯學、政治、政府、以及倫理學。和柏拉圖、蘇格拉底（柏拉圖的老師）一起被譽為西方哲學的奠基者。亞里士多德的著作是西方哲學的第一個廣泛系統，包含道德、美學、邏輯和科學、政治和形而上学。 亞里士多德关于物理學的思想深刻地塑造了中世紀的學術思想，其影響力延伸到了文藝復興時期，雖然最終被牛頓物理學取代。在動物科學方面，他的一些意見仅在19世纪被确信是準確的。他的学术领域还包括早期关于形式逻辑理论的研究，最终这些研究在19世纪被合并到了现代形式逻辑理论裡。在形而上學方面，亞里士多德的哲學和神學思想在伊斯蘭教和猶太教的傳統上產生了深遠影響，在中世紀，它繼續影響着基督教神學，尤其是天主教教會的學術傳統。他的倫理學，虽然自始至终都具有深刻的影响，后来也随着新兴現代美德倫理的到来获得了新生。今天亞里士多德的哲學仍然活躍在學術研究的各个方面。在經濟學方面，亞里士多德對於經濟活動的分類與看法持續影響到中世紀與重農主義，直到被亞當斯密的古典經濟學派取代為止。雖然亞里士多德寫了許多論文和優雅的對話（西塞羅描述他的文學風格為“金河”），但是大多數人認為他的著作现已失散，只有大約三分之一的原创作品保存了下來。.

亚里士多德和概念文字 · 亚里士多德和逻辑 · 查看更多 »

形式语言

在数学、逻辑和计算机科学中，形式语言（Formal language）是用精确的数学或机器可处理的公式定义的语言。 如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。.

形式语言和概念文字 · 形式语言和逻辑 · 查看更多 »

逻辑

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

概念文字和逻辑 · 逻辑和逻辑 · 查看更多 »

戈特弗里德·莱布尼茨

戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz， 或 ；Godefroi Guillaume Leibnitz，，），德意志哲学家、数学家，歷史上少見的通才，獲誉为十七世纪的亚里士多德。他本人是律師，經常往返於各大城鎮；他許多的公式都是在顛簸的馬車上完成的，他也自稱具有男爵的貴族身份。 莱布尼茨在数学史和哲学史上都占有重要地位。在数学上，他和牛顿先后独立发明了微积分，而且他所使用的微積分的数学符号被更廣泛的使用，萊布尼茨所发明的符号被普遍认为更综合，适用范围更加广泛。莱布尼茨还对二进制的发展做出了贡献。 在哲学上，莱布尼茨的乐观主义最为著名；他认为，“我们的宇宙，在某种意义上是上帝所创造的最好的一个”。他和笛卡尔、巴鲁赫·斯宾诺莎被认为是十七世纪三位最伟大的理性主义哲学家。莱布尼茨在哲学方面的工作在预见了现代逻辑学和分析哲学诞生的同时，也显然深受经院哲学传统的影响，更多地应用第一性原理或先验定义，而不是实验证据来推导以得到结论。 莱布尼茨对物理学和技术的发展也做出了重大贡献，并且提出了一些后来涉及广泛——包括生物学、医学、地质学、概率论、心理学、语言学和信息科学——的概念。莱布尼茨在政治学、法学、伦理学、神学、哲学、历史学、语言学诸多方向都留下了著作。 莱布尼茨对如此繁多的学科方向的贡献分散在各种学术期刊、成千上万封信件、和未发表的手稿中，其中約四成為拉丁文、約三成為法文、約一成五為德文。截至2010年，莱布尼茨的所有作品还没有收集完全。 2007年，戈特弗里德·威廉·莱布尼茨图书馆暨下薩克森州州立圖書舘的莱布尼茨手稿藏品被收入联合国教科文组织编写的世界记忆项目。 由於莱布尼茨曾在汉诺威生活和工作了近四十年，并且在汉诺威去世，为了纪念他和他的学术成就，2006年7月1日，也就是萊布尼茨360周年诞辰之际，汉诺威大学正式改名为汉诺威莱布尼茨大学。.

戈特弗里德·莱布尼茨和概念文字 · 戈特弗里德·莱布尼茨和逻辑 · 查看更多 »

戈特洛布·弗雷格

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

戈特洛布·弗雷格和概念文字 · 戈特洛布·弗雷格和逻辑 · 查看更多 »

数学基础

数学上，数学基础一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为真? 目前占统治地位的数学范式是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个形式化的方法不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么"真"数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 上述的形式化真实性也可能完全没有意义：有可能所有命题，包括自相矛盾的命题，都可以从集合论公理导出。而且，作为歌德尔第二不完备定理的一个结果，我们永远無法排除這種可能性。 在數學實在論（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类发现。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础，.

数学基础和概念文字 · 数学基础和逻辑 · 查看更多 »