文档介绍：第一章绪论〔P6〕
一、
,逻辑学是研究思维形式构造及其规律的科学。
、联系方式。逻辑常项是思维形式构造中的不变局部,它决定思维的逻辑容。逻辑变项是思维形式构造中的可变局部,它容纳思维的具体容。如"所有S是P〞这一全称肯定命题的思维形式构造,其中"所有……是……〞是逻辑常项,说明该命题具有"全称肯定〞的逻辑容。"S〞、"P〞是逻辑变项(词项变项),代入不同具体词项,表达不同的具体思维容,并有真假。又如"如果P,那么Q〞这一充分条件假言命题的思维形式构造,其中"如果……那么……〞是逻辑常项,说明该命题具有蕴涵式的逻辑容,即前件真那么后件真("有之必然〞),并非前件真而后件假(并非"有之而不然〞)。"P、Q〞是逻辑变项(命题变项),代入不同的具体命题,表达不同的具体思维容,并有真假。
,是指用具体的词项或命题替换思维形式构造中的逻辑变项,因而使思维形式构造成为有容的具体思想,并具有真假值。如用具体的词项"树〞和"落叶乔木〞,分别替换"所有S是P〞这一全称肯定命题的思维形式构造中的逻辑变项"S〞和"P〞,因而使思维形式构造成为有容的具体思想"所有树是落叶乔木〞,并具有真值。又如用具体的命题"过度砍伐森林〞和"会破坏生态平衡〞,分别替换"如果P,那么Q〞这一充分条件假言命题的思维形式构造中的逻辑变项"P〞和"Q〞,因而使思维形式构造成为有容的具体思想"如果过度砍伐森林,那么会破坏生态平衡〞,并具有真值。
。如命题逻辑中的逻辑规律就是重言式(一真值形式在命题变项的任意一组赋值下都真),谓词逻辑中的逻辑。规律就是普遍有效式(指一命题形式在任一解释下都得到一个真命题)①,传统逻辑主要沉着、作用上定义和说明逻辑规律。逻辑规律有特殊和一般之分。如定义、划分的规那么,是特殊的逻辑规律,作用于定义、划分的特殊围。同一律、矛盾律、排中律和充足理由律,是一般的、根本的逻辑规律,概括正确思维形式构造的根本性质和联系,普遍作用于各类思维形式构造,支配各类思维形式构造的特殊规律(规那么),对思维具有强制的规和约束作用,保证思维确实定性、一贯性、明确性和论证性。违反这些规律,会发生逻辑谬误。
,是指一类思维形式构造,在任意代入下都表达虚假的思想容。如"有S不是S〞、"P并且非P〞。命题逻辑中的矛盾式,指一真值形式在命题变项的任意一组赋值下都假。谓词逻辑中的矛盾式(不可满足式),指一命题形式在任一解释下都不能得到一个真命题。模态逻辑中的矛盾式(不可满足式),指一模态公式在任意模型的任一可能世界上都假。逻辑矛盾又叫自相矛盾。狭义的逻辑矛盾指同时肯定一对互相矛盾的命题(如"这是牛,并且这不是牛〞)。广义的逻辑矛盾还包括同时肯定一对互相反对的命题(如"这是牛,并且这是马〞),因为同时肯定一对互相反对的命题,相当于同时肯定两对互相矛盾的命题(如"这是牛,并且这不是牛〞与"这是马,并且这不是马〞)。
,是正确的思维形式构造所具有的普遍、必然的性质和联系。有特殊和一般之分。特殊的思维形式构造的规律,指各类思维形式构造的特殊规那么,如定义、划分的规那么,只在各自的特殊围起作用。一般的、根本的思维形式构造的规律,指同一律、矛盾律、排中律和充足理由律,概括正确思维形式构造的根本性质和联系,普遍地作用于各类思维形式构造,支配着各类思维形式构造的特殊规那么,对思维具有普遍的规和约束作用,保证思维确实定性、一贯性、明确性和论证性。违反思维形式构造的规律,会发生逻辑谬误。
,是推理及其有效性的判定。即答复什么样的推理是正确的,什么样的推理是错误的,如何判定。有效的演绎推理的形式构造,同时也是逻辑规律。逻辑学研究、运用逻辑规律,发现、排除逻辑矛盾,使推理的形式构造正确,即符合逻辑。
、思维和逻辑这三者的关系,是研究对象与研究学科之间的关系。逻辑学以思维为研究对象,而思维与语言是一个不可分割的统一体。思维是人类认识以概念、判断、推理的理性方式反映世界的活动和过程,是无声无息、看不见听不到的抽象心理活动,注定要与语言这种有声有息、看得见听得到的物质存在相结合。语言是思维的实现和载体,是思维的存在方式和物质外壳。思维的成果用语言记载和稳固,用语言进展交流和交际。逻辑学自然要以语言为中介,借助于语言的手段,研究思维及其形式构造。
,即素材,如汉语的字库和标点符号。第二个构成要素是语形规那么,即语法,决定一符号串在该语言中是否合式(成立)的标准。第三个构成要素是语义规那么,即对符合语法的语言进展解释,赋予意义。