What is the translation of " SYMBOLIC LOGIC " in Chinese?

• 符号逻辑
• 数理逻辑

Examples of using Symbolic logic in English and their translations into Chinese

Elements of Symbolic Logic.
符号逻辑.

In shorthand and in the more esoteric characters of symbolic logic.
在速记和符号逻辑的更深奥的特征中。

Chapter 6: Symbolic logic.
第6章符号逻辑.

Synth has a background in mathematics, distributed systems, and symbolic logic.
Synth有数学、分布式系统和符号逻辑的背景。

The Association for Symbolic Logic 1944.
是美国于19441946年符号逻辑.

The International Union of History and Philosophy of Science Association for Symbolic Logic.
历史联合、符号逻辑的科学.

I won't go into the mathematics and symbolic logic involved, but we have disposed of the objections;
我不会去涉及数学和数理逻辑,但是我们有异议的处理;

The International Union of History and Philosophy of Science Association for Symbolic Logic.
国际历史和科学哲学联合符号逻辑协会的.

Bring to class tomorrow a written proof, in symbolic logic, of your answer to my original question.
明天把上课的书面证明,在数理逻辑,你对我最初的问题的回答。

A definition of logicist of mathematics is Russell's"All Mathematics is Symbolic Logic".
数学的逻辑学定义是罗素的“所有数学是符号逻辑”。

Semantics, symbolic logic, psychoanalysis- they had all been devices whereby speech could either be refined or by-passed….
语义学，符号逻辑，精神分析--它们都是言语可以被提炼或通过的装置。

All Mathematics is Symbolic Logic".
所有数学是符号逻辑”.

He went to Paris to the second International Congress of Mathematicians, where he met Giuseppe Peano, an icon in symbolic logic.
他前去巴黎参加第二届国际数学家大会，在那里遇到了朱塞佩·皮亚诺，这是当时符号逻辑的代表性人物。

Here; I will write it down in symbolic logic for you.
在这里;我把它写下来在数理逻辑。

In 1848 Boole published The Mathematical Analysis of Logic, the first of his contributions to symbolic logic..
年，布尔出版了《TheMathematicalAnalysisofLogic》，这是他对符号逻辑诸多贡献中的第一次。

Afterwards he wrote two popular books: Elements of symbolic logic(1947) and The rise of scientific philosophy(1951).
随后他写了为人熟知的两本书：《符号逻辑基础》(1947)与《科学的哲学的兴起》(1951)。

A logicist definition of mathematics is Russell's"All Mathematics is Symbolic Logic"(1903).
数学的逻辑学定义是罗素的“所有数学是符号逻辑”（1903）。

Leibniz‘s calculus ratiocinator, which resembles symbolic logic, can be viewed as a way of making such calculations feasible.
莱布尼茨的演算推论器，很能让人想起符号逻辑，可以被看作使这种计算成为可行的一种方式。

The rigorous analysis of quantities, magnitudes, forms and their relationships, using symbolic logic and language.
分析数量、大小、形状和它们的关系，使用符号逻辑和语言。

For example, symbolic logic- rules engines, expert systems and knowledge graphs could all be described as AI, and none of them are machine learning.
例如，符号逻辑、规则引擎、专家系统和知识图都可以被描述为人工智能，它们都不是机器学习。

In 1847 Boole published The Mathematical Analysis of Logic, the first of his works on symbolic logic..
年，布尔出版了《TheMathematicalAnalysisofLogic(逻辑的数学分析)》，这是他对符号逻辑诸多贡献中的第一次。

Earlier appellations were symbolic logic(as opposed to philosophical logic); and metamathematics, which is now restricted as a term to some aspects of proof theory.
以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。

Since the mid-nineteenth century formal logic has been studied in the context of foundations of mathematics, where it was often called symbolic logic.
自十九世纪中叶，“形式逻辑”已被作为数学基础而被研究，当中经常被称之为符号逻辑。

Mathematics in physics would reduce to symbolic logic via logicism, while rational reconstruction would convert ordinary language into standardized equivalents, all networked and united by a logical syntax.
物理学中的数学会通过逻辑主义还原为符号逻辑，而理性的重建将把普通的语言转换成标准的等价物，所有都连接和统一在一个逻辑句法之下。

In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic.
在逻辑和哲学中，S5是ClarenceIrvingLewis和CooperHaroldLangford在他们1932年的书《SymbolicLogic》中提议的五个模态逻辑之一。

Her imagination is symbolic, her logic ruthlessly rational(she was a trained philosopher, after all).
她的想象是象征性的，她的逻辑是无情的理性（毕竟她是受过专业训练的哲学家）。

Early work in AI was based on the latter approach, using programming languages built to handle logic and symbolic representation.
早期的人工智能研究都是基于第二种方法，使用的是用来处理逻辑和符号表示的编程语言。

In mathematical logic, predicate logic is the generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic, or infinitary logic..
在数理逻辑中，谓词逻辑（Predicatelogic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或无穷逻辑等等。

We contain multiple species of cognition that do many types of thinking: deduction, induction, symbolic reasoning, emotional intelligence, spacial logic, short-term memory, and long-term memory.
我们包含多种认知类型，它们有多种思维方式:演绎推理、归纳推理、符号推理、情商、空间逻辑、短期记忆和长期记忆。

Symbolic AI means the use of automated logic that has been pre-programmed, like decision trees.
符号AI意味着使用已预编程的自动逻辑，如决策树。