命题逻辑

argue

辩论

没有人会否认,商议(deliberate)和辩论(argue)能力是理智群体的一个显著标志. 尽管如此,对用来说服他人接受某一论证的方法的探讨,却被逻辑学家和研究知识的理论家们忽视了三个世纪. 这种情况源于支持某个命题的那些论证的非强制性特征.

computational complexity

计算复杂性

计算复杂性(computational complexity)源于20世纪30年代数学逻辑发展过程中提出的一些深刻命题. 它们都有自己特定的问题规模N,计算复杂性就是指解决问题随问题规模N增长而需要的代价增长. 这种简单性和复杂性的分野是,如果计算时间(或空间)的增长不超过N的某个幂次或多项式,

Discourse Analysis

英语语篇分析

本书以英语语篇分析(Discourse Analysis)的理论为依据,引导学生注重语篇层次的阅读. 从语言的词汇、结构及逻辑等衔接、连贯手段入手,研究雅思考试阅读中的各类题型,分析其命题特点,总结其出题的套路. 通过对每一道试题的分析、对每一题答案的详解,

Law of the Excluded Middle

排中律

以总共不到17页的三篇论文,一个年轻的荷兰数学家布饶儿 (Brouwer) 对以往古典逻辑的确实性提出挑战,特别是对所谓的排中律 (Law of the excluded middle),即对任一命题「A」,A或A之否定命题必有一为真,他认为我们不可无条件的接受,布饶儿坚持有其它的可能性,

predicate

谓词

从文法和逻辑的角度看来,这是一个"命题"的形式. 由"主词"(subject)和"谓词"(predicate)两项组成,谓词"确认"或"否认"主词,命题可以是真实的或虚假的. 比如:

venn diagram

范氏图

1881年英国数学家范恩(John Venn, 1834-1923)出版的>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

emotivism

情绪论

至于我们对于道德命题的性质要采取情绪论(Emotivism)或是规范主义(Prescriptivism)的立场,在此并无差异. 不可知论据否定的只是形上学的客观性,而无法否定逻辑意义的客观性(P.24). 此一讨论逼使我们必须更全面更详细地面对道德命题的真值基础问题.

Megalosaurus" chubutensis：巨齿龙错误种春秋中文社区

| "Megalosaurus" andrewsi巨齿龙错误种 | | "Megalosaurus" chubutensis巨齿龙错误种春秋中文社区http://bbs.cqzg.cn | | "Megalosaurus" insignis巨齿龙错误种

they were unimpressed, so I had to impress myself on them：他们不会有什么特别的印象 所以,我就必须加深他们对我的印象

I was born without those qualities. When peo... | ...they were unimpressed, so I had to impress myself on them.|他们不会有什么特别的印象 所以,我就必须加深他们对我的印象 | I admire you, Cassidy, and I w...