逻辑学

argumentation

论证

"基于逻辑学与修辞学这两种论证方法的本质区别,佩雷尔曼的新修辞学指出方**上"论证"(argumentation)与"证明"(demonstration)两种方法的基本差异,并对传统哲学上的笛卡儿主义进行了彻底的批判,而强调"论证"在人文学科研究上的重要性.

Aristotelian ethics

亚里士多德伦理学

Aristotelian classification 亚里士多德分类法 | Aristotelian ethics 亚里士多德伦理学 | Aristotelian logic 亚里士多德逻辑学

Aristotelian method

亚里士多德演绎法

Aristotelian logic 亚里士多德逻辑学 | Aristotelian method 亚里士多德演绎法 | Aristotelian realism 亚里士多德实在论

cobden

科布登

1866年,杰文斯成为欧文学院的逻辑学、精神和伦理哲学、和科布登(Cobden)政治经济学教授. 次年他娶了Harriet Ann Taylor,她的父亲是曼彻斯特护理学校的建立者和经营者. 杰文斯饱受疾病和失眠的困扰,发现教授如此宽泛领域内的课程实在很繁重.

containing

包含

他说,对于包含(containing)关系,我们可有着不同于通常"-<"的理解,从而会得到与之平行的几种逻辑学说. 若令a-<b意为a同b一样小,除了在a同某物一样小时而b不能同这一物一样小之外,a、b之间没有什么不同;则我们可得到数学或量的逻辑学.

deductive reasoning

演绎推理

演绎推理(deductive reasoning)是人类特有的心理活动,早在古希腊时期人们就已对这种心理现象有了浓厚的研究兴趣. 目前,人们对演绎推理的理解仍然离不开逻辑学对它所作出的界定. 因此,在进一步探讨心理学对演绎

demonstration

证明

"基于逻辑学与修辞学这两种论证方法的本质区别,佩雷尔曼的新修辞学指出方法论上"论证"(argumentation)与"证明"(demonstration)两种方法的基本差异,并对传统哲学上的笛卡儿主义进行了彻底的批判,而强调"论证"在人文学科研究上的重要性.

symbolic logic

符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

Universal Logics

泛逻辑学

通用模型:universal model | 泛逻辑学:Universal Logics | 宇宙意识:universal spirit

THEOREMS

定理 IN LOGIC(逻辑学)

170 TG 转换语法 TRANSFORMATIONAL GRAMMAR | 171 THEOREMS 定理 IN LOGIC(逻辑学) | 172 TOKENS 语言符号

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul