传统形式逻辑,traditional formal logic
1)traditional formal logic传统形式逻辑
1.Therefore,it is a common-sense error to attempt to reform or replacetraditional formal logic with mathematical logic.因此,用数理逻辑"改造"或"取代"传统形式逻辑是一种常识性错误。
英文短句/例句
1.There are advantages and disadvantage in both induction and deduction, and they are intertwined.究其实，争论是由逻辑观－传统形式逻辑和现代数理逻辑的不同引起的。
2.Effect of Falsification on Traditional Formal Logic and Premised Knowledge -For Karl Popper s 100th Birthday;证伪主义对传统形式逻辑学前提性知识的影响——纪念卡尔·波普尔诞辰100周年
3.Axiomatization for the first-order projection temporal logic and formal verifications投影时序逻辑的公理系统与形式验证
4.The Conflict and Unity Between Formal Logic of Narration andSignificant Logic of History--Artistic Feature of Franze Kafka s Fiction;叙事形式逻辑与历史意蕴逻辑的对立统一──卡夫卡小说艺术研究
parison between the Classical Propositional and the Propositional Modal Systems古典命题逻辑与模态命题逻辑的形式系统之比较
6.Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
7.On Huang Zhanji s Masses Logics and Logic Research--The Popularization of "Formal" and "Non-formal" Logics;论黄展骥的大众逻辑与逻辑研究——“形式”与“非形式”逻辑的普及
8.A Probe into the Cultural logic Embodied in the Traditional Forestry Operation Way of the Dong People;侗族传统林业经营方式的文化逻辑探寻
9.any formal system of reasoning that arrives at the truth by the exchange of logical arguments.通过交换逻辑论证得出真理的推理形式系统。
10.Formal Verification of Digital Hardware Based on HOL;基于高阶逻辑系统HOL的数字硬件形式化验证
11.Formal Solution to the Problem of α-triple I in Many-valued Logic System W_n;多值逻辑系统W_n中α-三I问题的形式解
12.Formal Concept Lattice of Fuzzy Description LogicL-ALCN模糊描述逻辑系统L-ALCN中的形式概念格
13.A Comparative Study On the Three Conditions of Abundant Reasons of the Heturidya in Tibetan Area and the Three Forms of Hypothetic Judgments of Formal Logic;藏传因明充足理由之三项条件与形式逻辑假言判断三形式之比较
14.Thousands Years of Logic Dispute Ends in Compromise--Conclusion of the Relation between Formal Logic and Dialectical Logic;千年逻辑之争终成合和之解——对形式逻辑和辩证逻辑之关系的解析
15.Informal Logic or Logic of Argument: The Strategy of Interpreting Argument;非形式逻辑或论证逻辑:解释论证的策略
mentary About Pan Zi-nian s Logical thought;重议辩证法与形式逻辑——从潘梓年的逻辑观谈起
17.Logical Forms of English and Logical Analysis in Translation from English into Chinese;英语的逻辑形式和英译汉时的逻辑分析
18.Experimental logic and its criticism andnegation to traditional logic;试验逻辑及其对传统逻辑的批评和否定
相关短句/例句
formal logical system形式逻辑系统
3)traditional logic传统逻辑
1.Experimental logic and its criticism andnegation totraditional logic;试验逻辑及其对传统逻辑的批评和否定
2.Reductive inference intraditional logic is performed under certain condition.传统逻辑学的演绎推理是在一定的条件限制之下进行的。
3.Intraditional logic and standard quantification logic two kinds of quantifiers are used when a proposition of natural language is analyzed.传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。
4)logic tradition逻辑传统
1.The human being began to think much of questions of social development from the Industrial Revolution to the 19th century when the western developed countries encountered some crisis during the transformation of pre-modern society to modern society, and formed two kinds of developmental theories andlogic traditions, which on the same base of productivity technique structure.人类自工业革命以来,到19世纪西方先发国家从前现代社会向现代社会转型遭遇种种危机的情境形成,促使人类开始重视社会发展问题;并逐渐形成了基于同一生产力技术结构体系———工业社会的两种发展理路和逻辑传统,即马克思主义发展理论和以古典理论为基础的西方社会发展理论。
5)Form logic形式逻辑
1.by comparing and researching law of excluded middle of form logic and mathematical logic from quantity and quality of aspect,to unify and generalize law of excluded middle,This paper presents united law of excluded middle-general law of excluded middle,and provides its mathematics expression.作者通过对形式逻辑和数理逻辑中的排中律从量和质的方面进行了比较和探讨,将排中律进行统一和推广,提出了统一的排中律———广义排中律,并给出了相应的数学表示。
6)formal logic形式逻辑
1.On the embody offormal logic in Advanced math concept;谈高等数学概念中形式逻辑的体现
2.On Teaching Western Economics and the Training of Formal Logic Thinking;论西方经济学的教学与形式逻辑思维方法的培养训练
3.Thought on Compilation of Formal Logic Aiming to Teachers Education;教师教育专业形式逻辑教材编写的几点思考
延伸阅读
形式逻辑形式逻辑formallogic研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。研究对象和方法形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命题的逻辑形式决定的，而命题的逻辑形式（简称命题形式）的逻辑性质则是由逻辑常项决定的。要弄清逻辑常项的性质，系统地揭示推理规律，就要通过建立逻辑演算，进行元逻辑的研究。建立逻辑演算、研究元逻辑的方法是形式化的公理方法。传统逻辑形式逻辑的创始人是古希腊的亚里士多德。亚里士多德建立了第一个逻辑系统，即三段论理论。继亚里士多德之后，麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质，发现了若干与命题联结词有关的推理形式和规律。中世纪的一些逻辑学家，发展和丰富了形式逻辑。所谓传统逻辑，就是指由亚里士多德开创、经历2000多年历史、至19世纪进入现代发展阶段前所发展起来的形式逻辑体系和理论。传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题的形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。数理逻辑它是现代形式逻辑。之所以称为数理逻辑，一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标，但数理逻辑的发展却逐步（还没有全部）实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中，建立了第一个一阶逻辑体系。19世纪70年代，G.康托尔创立了集合论。集合论，特别是第一个一阶逻辑体系的建立，是形式逻辑的发展进入现代阶段的标志。
