非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.用英语怎么说？

非 形式化是墨家逻辑的主要特点, 而亚里士多德逻辑的主要特点是形式化.

Mohist logic has the character of non - formalization, while Aristotlian Logic is mainly charactered by its formalization.

logic

n. 逻辑，逻辑学，（做某事的）道理，推理方法，威力，压力，强制（力）；adj. 逻辑的；

例句
...domestic appliances that also use fuzzy logic to mimic the way a person would do the job manually.
同样使用模糊逻辑模拟手动操作的家用电器

has

v. 有( have的第三人称单数 )，（亲属关系中）接受，拿，买到；

例句
...the operation a patient has had.
病人做过的手术

the

art. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

character

n. 性格，特点，字母，角色，人物；vt. 刻，印，使具有特征；

例句
Into her nineties, her thinking remained acute and her character forceful...
虽已年届九旬，她依然头脑敏锐，个性很强。

of

prep. 关于，属于…的，由…制成；aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气]；

例句
He did have a real knowledge of the country...
他对该国的确知之甚多。

Non

adv. 非，不；n. [法]反对票，投反对票的人；

例句
Above its doors was a Latin inscription: Non omnia possumus omnes...
门的上方刻有拉丁文铭“人非万能”。

formalization

n. 形式化，礼仪化；

例句
The formalization of co-operation between the republics would produce progress.
正式确立合作关系将会促进共和国之间合作的顺利进展。

while

conj. 在…期间，与…同时，虽然，

例句
A Dr Matthew Owens was reported missing while on an expedition to north-eastern Turkey.
据报道，一位叫马修·欧文斯的博士在前往土耳其东北部考察的途中失踪了。

is

vt.& vi. 是（be的三单形式；n. 存在；

例句
Bollinger 'RD' is a rare, highly prized wine.
博林格RD香槟是一种名贵的备受推崇的葡萄酒。

mainly

adv. 大部分地，主要地，基本上；

例句
Thousands of people, mainly Zulus, assembled in a stadium in Thokoza...
数以千计的人，主要是祖鲁族人，聚集在托考查的一个体育场里。

charactered

vt. 刻，印（character的过去式与过去分词形式）；

例句
She found a book containing words strangely charactered in red ink.
她找到一本书,奇怪的是里面有一些用红墨水写的字.

by

prep. 在…旁边，表示方式，由于，经过；adv. 经过，表示保留或保存时用，短暂拜访；

例句
...expensive make-up that we saw being advertised by a beautiful model...
我们所见的由一位漂亮模特代言的昂贵化妆品

its

pron. (it的所有格形式)它的，厥；

例句
The government is to accelerate its privatisation programme.
政府将加快其私有化计划的进程。