查询词典 thinking of logic

Dummett's views on intuitionism logic can be divided into three levels that are proof theory, semantics, and the theory of meaning. He expounded and proved the arguments; intuitionism logical rules are self-defended, and their semantic interpretations can be avoided cyclic argument while he demonstrated the philosophical-logical intentions of the dispute between classic logic and intuitionism logic.

他对直觉主义逻辑的辩护包括证明论、模型论或语义学、意义理论三个层次，他论证了直觉主义逻辑规律是自我辩护的、其语义解释可以避免循环论证，阐明了直觉主义逻辑和经典逻辑之争的逻辑哲学内涵。

Increasing along with the growth of grade namely along with the growth of the accepted logic knowledge, the middle school students' logic in daily lives more inclines to mathematical logic.

随着年级的增长，相应的接受逻辑知识增多，中学生日常推理更加倾向于使用数学推理。

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

The foundation education is changed direction the basic purpose of"education for all-round development" by"should try an education" to want intelligence at the child to develop a stage to come out their intelligences development with maximum limit, but the high school logic learn teaching to the foundation educate in of the intelligence development has important influence decision a function, so, as soon as possible become is suitable for high school logic in Yunnan to learn the school of teaching this a course to become each high school logic to learn the problem that the worker should value.

基础教育由&应试教育&转向&素质教育&根本目的是要在儿童智力发展阶段最大限度地把他们的智能开发出来，而高校逻辑学教学对基础教育中的智能开发有重要的影响决定作用，所以，尽快形成适合云南高校逻辑学教学的校本课程成为每一个高校逻辑学工作者应该重视的问题。

Fuzzy logic can deal with values between 0 and 1 is more analogous to human logic than the traditional binary logic of digital computers.

模糊逻辑可处理0与1间的数值；与传统的数字电脑的二进制逻辑比较，它更似人脑的逻辑推理。

When we operate all accessing databases in encapsulation at Data Access Layer by ActiveX DLL packages (DAL layer, Namely data access layer),and operate all business logic or transaction processings in encapsulations at Business Logic Layer ( BLL layer, namely business logic layer), ASP dynamic webpages are offered to the interface of user for Presentation Layer ( PL layer, Namely present layer).

使用ActiveX DLL组件将对数据库的存取操作全部封装在Data Access Layer层（简称DAL层，即数据存取层），将商业逻辑或事务处理全部封装在Business Logic Layer层（简称BLL层，即商业逻辑层），提供给使用者的界面就是Presentation Layer层的ASP动态网页。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

In the 20th century, Arnheim come up with a more detailed Concept of the visual thinking which come from Wertheimer, and breaked the traditional Western thinking of the conventional thought of the dissever of perception and visual, He explained the visual thinking is the key link which link the reality of things and abstract thinking .

20世纪阿恩海姆在韦特海默的学术基础上提出较为详细的视觉思维的概念，打破了西方传统对知觉与思维割裂的传统思想，并说明视觉思维是连接现实事物与抽象思维的关键纽带。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。