标签：C++ spdlog 光速入门 logger 简单 最快 c语言 方式 程序 退出
逻辑是一门语言吗？
从莱布尼茨的通用语言，到弗雷格的概念文字，很多的逻辑学家对逻辑的看法首先是想让逻辑成为一门语言，在认知应用的方向，可以替代自然语言。较近的努力包括了德裔美籍逻辑学家、哲学家卡尔纳普（Paul Rudolf Carnap,1891.5-1970.9）的逻辑句法。卡尔纳普把逻辑视为句法问题，他于1934年出版了《语言的逻辑句法》《Logical Syntax of Language》一书，提出了一种基于句法规则的形式语言。按句法规则产生的语句，同时合乎语法与逻辑。在卡尔纳普理论里句法的规则分为二类：形成规则（formation rules）和转换规则（transformation rules）。形成规则决定语句如何组成，它的作用相当于自然语言里的语法。转换规则决定语句可以怎样推出其他的语句，它的作用相当于逻辑公理系统里作为公理的重言式集合。可以发现卡尔纳普的方法与前面所说的乔姆斯基的形式文法的相似之处，乔姆斯基理论是在自然语言领域的研究，卡尔纳普的理论是在逻辑领域的研究，但他努力的方向是让逻辑也成为一门语言。
现代逻辑本身也努力形成自己的表述方式。与自然语言比较，比如自然语言里的词汇，现在称为概念，并表示为x、y等；自然语言里的陈述句，现在称为命题，并表示为p、q、P（x）、P（x、y）、∀x：P（x）、∃x：P（x）等形式；自然语言里复合句（compound sentence），在逻辑里归为与、或、非对命题的联接。在逻辑的推理与证明中，一个后承语句可以认为是逻辑机制生成的，而不是由语法机制组合出，只是推导出的语句仍要符合语法的要求。这提供了一种新的符号表达力：计算生成表述的能力。这是卡尔纳普的转换规则所突出的一类能力，它们其实更早就出现于数学中。虽然如此，在真实的使用中，我们看不到单纯由逻辑符号组织起完整表达的例子。
起源上，逻辑是从对自然语言使用进行专门的总结与抽象开始的。经典逻辑出现后，基本上也是用来分析和处理自然语言语句的。并且经典逻辑本身也主要是用自然语言来表达。在逻辑出现之前，“if”“then”“and”“or”“no”等自然语言词汇已经存在，它们就是后来的逻辑词项。自然语言中也有着更多的量词以及更复杂的量词用法。显然，自然语言中存在内生的逻辑应用，所呈现的逻辑也称为自然逻辑。自然语言的使用离不开语义，自然语言中符号的意义是模糊的，歧义普遍存在。自然语言的这些特性使得自然逻辑的使用无法呈现出独立清晰的模式，其严谨性也无法得到保证。通过观察自然语言中涉及逻辑符号的使用，我们可以进行分析与反思，总结出逻辑学，这正是亚里士多德等前人所做的。新的模态逻辑的出现也是从对自然语言中某些类型逻辑词的研究开始。现代逻辑是否涵盖了自然语言使用中出现的所有逻辑类型，这反而是值得怀疑的。除了自然语言之外，具有原生逻辑应用的另一个地方是数学。经典逻辑之后，逻辑越来越多地与数学相关。现代逻辑本身被认为是以数学的方式来研究，并形成抽象的符号系统。
简单地说，经典逻辑是对自然语言使用的再抽象，二者并不在一个平面。自然语言是一种表达意义的系统。在认知方向，自然语言的使用需要表现与刻画外部对象与关系，实现符号与外部世界的对应。逻辑并不直接关心存在什么外在的对象与关系，以及它们如何存在，逻辑没有类似自然语言那样的表义功能。另一方面。自然语言使用时，当所要表达的内容变得复杂，需要不只一个语句来呈现时，一个基本要求是语句之间是无矛盾的，逻辑所关注的就是如何保障这种无矛盾性。具体的做法是将语句区分为前提与结论二种性质，研究从前提到结论的过程与形式，实现只要前提语句为真，过程符合逻辑的规范，结论语句就为真。即结论语句不会与前提语句矛盾。现代逻辑的研究进一步把这种推理过程发展成了一种符号演算的系统，类似于算术的系统。
逻辑以符号使用为对象。逻辑自身发展出了自己的符号系统，自成一类符号结果。这类符号结果是自然语言或数学使用时的一类规范，在认知方向使用符号时的规范。逻辑与自然语言的关系不是替代性关系。任何想替代自然语言的想法，整体上也是不现实的。自然语言源于口语，是人类整体与个体初始化的经验与符号习惯，与人类心智有着根深蒂固的联系，对它的使用已近乎第二本能。
逻辑的应用
逻辑的性质决定了逻辑需要与自然语言或数学结合来使用。理想的方式是：涉及逻辑过程时，自然语言或数学能直接应用逻辑的规则，进行符号的演算，完成逻辑的过程。逻辑学家们努力形成逻辑的一套表示方法，目标也在于此。
对于公理系统，有过于简单的观点认为：建立起初始的概念与命题，余下的过程就是机械、半机械的推理。真实的过程并不是这样。至少领域第一次公理系统的建立，其过程是领域各部分认知成熟的过程。成书于公元前三世纪的《几何原本》，其第47命题在中国称为勾股定理。此定理在公元前六世纪也由毕达哥拉斯学派证明过，因此又称为毕达哥拉斯定理。《几何原本》里其他的一些定理，也是同样的历史。整体上，欧几里德《几何原本》是古希腊时期，以及之前古代埃及、阿拉伯等地几何知识的集大成。牛顿《自然哲学的数学原理》是更早的开普勒、伽利略、笛卡尔等思想的总结与提升。正是在领域各部分内容有一定明确的基础上，才有可能去提炼初始的概念与公理。逻辑在这的作用主要是组织与整理。通过逻辑的整理，可明确所依据的前提，并保障体系内容的可靠。能否提炼出公理，它们能达到的概括性、经济性与优雅性，即理论系统的成色，这不是由逻辑思维，而是由创造性思考决定的。欧几里德与牛顿的天才也在于此。
领域后续公理系统的重构，可以对照着前面的版本更快速地进行。这也不一定是基于逻辑规则的符号演算过程。首先，推理与证明的路径是发散的，还需要考虑算法来获得可行的路径。更重要的逻辑只是一些通用的符号与过程，并不足以表征现实的对象与关系。自然语言或数学不可能只遵循逻辑标准来改造自身，以适配逻辑的应用。先有自然语言的表示，再设法转换为当代逻辑符号的表示，然后去进行逻辑演算，这是否可行？对于教学中简单关系的语句，这种转换不难实现。真实场景中语句并不都是这么简单，且自然语言表述方式本身不拘一格，逻辑不一定具有对等的表达力。就算这种转换是可行的，对多数人来说也非常困难，阅读可能更不容易。数学本身也是抽象符号的系统，没有语义模糊的问题，相对容易与逻辑结合，进行各分支的构建与应用。这种努力业已取得一定的成功，如算术的皮亚诺公理系统。进一步实践则会遇到逻辑与数学的基础，逻辑与数学的关系等困难问题。
今天，在自然语言的使用中，以至在数学的使用中，逻辑的应用形式主要是基于人对逻辑的理解，在涉及逻辑过程时，自觉遵循逻辑的要求与规范来使用自然语言或数学的符号，而不是直接套用逻辑符号的演算。直接套用逻辑符号的演算，只是局部地、有限地存在。逻辑的过程仍是人脑的思考，就很难克服自然语言及其中自然逻辑既有习惯带来的影响。对照莱布尼茨的原意：发生争论时算一算就可以解决问题，这个理想很难认为已经实现。
逻辑上的觉悟与逻辑学的发展，是不可能被低估的。由此带来的影响，我们可以把自然语言的使用划分为二个阶段。第一阶段，自然语言使用时只包含有自然逻辑的自发使用，这一用法在口语时代就已基本成熟，传统语言学主要就是研究此状态下的自然语言使用。第二阶段，主要指自觉遵循逻辑方式的使用，这一用法基本是在自然语言视觉符号的使用上发展起来的。在自然语言的第一阶段，符号的使用主要是基于语义、语法以及人脑中聚合记忆的机制，再加上自然逻辑。符号使用用于认知方向，也用于其他的方向，如文学。在认知方向的使用主要是对观点的直接陈述，以及基于联想的聚合。在自然语言的第二阶段，符号的使用会接受逻辑的影响，比如明确地使用定义，推理，证明等，包括局部套用逻辑的符号与演算。当逻辑在自然语言第二阶段的符号使用中占据主导地位时，可独立使用符号的正式入口是定义，命名则是定义的必要前提。陈述句由强调真值的属性而成为命题，这是使用上更难适应的。
在中国，从小学开始的学校教育中，设置有“语文”（Language and Literature）这一课程。此课程主要讲语法，也会讲逻辑，所有类型的文章都会在这一门课程里学习，也就是包含了这里所说的第一阶段的符号使用方式与第二阶段的符号使用方式。文学这样的应用方向，同样的意思每次表达，词汇、语句会追求采用新的不同的词汇、语句，以让读者产生更深的感受，所谓语不惊人死不休。显然，这时词汇、语句使用倾向于发散。在认知方向的应用，要求是采用公认有限固定的术语；同样的意思始终是标准的陈述；词汇、语句的使用倾向于收敛。在语篇上，前面提到自然语言在复合语句层次之上的内容组织，并没有语法范围内的规则可遵循，也不再形成某种类型的语法实体。在自然语言使用的第一阶段，语句是通过意义上的相关来聚合，这种相关性是由人来把握的，性质上更具主观性。逻辑的出现，可带来内容组织的一种方法：符号与语句都成为前面内容的后承，后面内容的前提，逻辑的链条串起不同的内容，表达出更复杂且更确定的思想。显然，存在二种不同的自然语言符号使用方式。现在，所有的内容都放在同一课程内，学生是否能分别领悟不同的要点，这是一个问题。
第二阶段的自然语言使用，可看作自然语言在认知方向的专门化改变。前述逻辑在语篇层级上对内容的组织，其进一步的发展就是公理演绎系统。公理演绎系统是逻辑与具体领域内容结合的模式：精心地选择初始的概念与公理，通过有组织的定义、推理、证明，演绎出整个系统。在一个具体领域，因为论域范围是限定的，这为逻辑的应用提供了更有利的条件。初始的概念与公理就算用自然语言来表达，它们可以反复提炼，做到清晰明确。这样，它们也有可能用抽象的符号与表达式来替代，抽象的符号与表达式的使用更容易与逻辑相结合，进行符号的演算。
把自然语言的使用划分为二个阶段，意味着自然语言的使用不只是符号组合产生的静态排列，还包括了逻辑演算所带来的动态过程。逻辑的演算并不都是三段论那样简单，虽然三段论是容易想到的。复杂一些的逻辑演算，与算术计算同样的原理，需要利用纸笔媒介系统提供的特性，才可能出现与发展。
逻辑符号演算与逻辑思维
逻辑缺乏像自然语言那样表义的能力，逻辑的通用过程也不与具体意义相关，那么逻辑的符号结果反映的是什么？一种常见的说法是：逻辑是人类逻辑思维规律的体现。人类都拥有逻辑思维的天赋，其他很多的动物也同样，否则很难想象它们能进行如合作狩猎这样复杂的活动。问题是：今天的符号逻辑是否反映了人类逻辑思维的真实规律？答案更可能是人类逻辑思维的真实规律的细节是不存在的。
说我们的天赋中有逻辑思维的能力，这种能力的存在是抽象的，我们能观察到的只是其在各类具体活动中的表现。符号使用只是其中的一类场景，一种很晚才出现的场景，并且只有人类这一物种才需要面对这一场景。自然语言出现后，我们的逻辑思维以自然逻辑出现于其中。自然逻辑与自然语言一起发展，但始终没有呈现出自己独立清晰的模式。这说明我们逻辑思维天赋并不那么强大，可以自动形成其应用的稳定模式；或者逻辑思维不一定是独立存在的。
通过对自然语言中逻辑原生应用的观察与反思，亚里士多德总结出最初的逻辑，这一总结是有限的。现代逻辑学的研究模仿数学的方法，构造一些抽象符号的演算系统，通过对这类符号系统的完善来发展逻辑学。这样的做法使逻辑思维获得一种具象的替代品，方便我们对逻辑的探讨与交流。其次，这类符号系统可看作对符号使用中的逻辑运行进行模拟，我们可将符号的演算与可观察到的实际情况进行比较，反思所构造的符号演算是否可接受。然而，观察、反思一类的方法都不是充分的。逻辑符号系统的发展首先是要遵循这一标准：所构造的符号方式不能导致矛盾。如果没有产生矛盾，所构造的符号系统就有可接受的前提，否则需要调整对逻辑符号系统的设计。在无矛盾的前提下，我们可以相对自由地去构建逻辑符号系统，更快速地设想出符号使用各种情形下逻辑思维的可能方式。这实际是一种后天实践发展的方式。
现代逻辑学的成果成为符号使用的一类规范，这类规范可通过遵循逻辑规则的符号演算来达到。逻辑符号演算过程不受个体心理其它因素的影响，这种理性正是逻辑学家追求的。如果逻辑符号演算是可施行的，人脑原有的相应思维也就可被符号的操作所替代。换句话说，逻辑符号演算系统在一定程度上代表了逻辑思维规律。这种代表性只在当前符号使用场景下适用，而不能说逻辑符号的系统能完全代表我们的逻辑思维能力。在我们其它活动中，我们的逻辑思维能力可以是其它的表现形式。出现新的语言类型，逻辑符号的演算系统本身也可能是不同的形式。问题还在于今天的逻辑符号演算并不能与其他的符号方式很好兼容，真实场景下逻辑符号演算并不容易施行，我们仍需要人脑遵循逻辑的要求来进行逻辑的思考，这会让人们对今天现代逻辑学的成果产生疑问。
可以想象，有朝一日脑科学足够发达，可以通过解剖去研究人类大脑所有的神经回路，我们是否可通过此方式来明确逻辑思维生理上是那些神经回路，从而明确逻辑思维形式应该是什么样。本书不认为存在这种可能。人类先天的逻辑思维能力更接近于一种元能力，可塑性才是这种能力的关键。现代的符号逻辑由后天实践方式发展而来，它更应该看作我们先天逻辑思维能力在当前符号使用场景下的扩展。
上面关于逻辑的结论，自然语言的情况也有相似之处。自然语言的出现背后也有智力上的基础，这被说成是普遍语法或别的什么。然而我们不能通过对言语的观察来完善地总结自然语言的规则，这也不可能通过反省得到。一般人对语法的学习不一定能明显影响他们的语言使用能力，就如一般人对现代逻辑的学习并不会显著影响他们的逻辑思维能力一样，这二类能力主要是对语法与逻辑不断觉悟的基础上，通过实际的使用才能得以提高。
标签：C++,spdlog,,光速入门,logger,简单,最快,c语言,方式,程序,退出 来源：
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。