择其中之一作为直接解答,这样就可以引入、,那么我们把问题(a)~(f)表示为:a、(S,~S) b、 [SW,~(SW)] c、 [SW,~(SW)] d、(S,W) e、(S~W,W~S) f、(S~W,W~S,S W)。 抑或问题
择其中之一作为直接解答,这样就可以引入λ、λ,那么我们把问题(a)~(f)表示为:a、λ(S,~S) b、λ [S∧W,~(S∧W)] c、λ [S∨W,~(S∨W)] d、λ(S,W) e、λ(S∧~W,W∧~S) f、λ(S∧~W,W∧~S,S∧
W)。
抑或问题一般是指提供有穷多个选项而要求从中择其一作为解答的问题,例如“Ω是a,是b,是c,……还是x?”那么我们就能够导出抑或问题的一般形式:
λDi 详解为 λ(D1,D2,D3,……,Dn)其中n=1,
2,3,4,5,……,1<i≤n,Di(disjunctive)是任意的命题,形如λ的疑问算子,它的上标列出要求选出命
题的个数,下标指明该算子主目的个数。
这样我们来观察抑或问题(d)~(f),如果我们详细考察一下(d),就会发现问题(d)含义不明确,而(e)(f)则可视作对(d)的扩展解释。问(e)要求选项S和W不能同真,问(f)中的选项S和W可以同真。从(d)中看来,对于基本的二项抑或问题,可有相容和不相容的不同理解,那依据逻辑惯例,我们采取相容的理解方式来处理。那么(d)就可分析为:S和W两者之中至少有哪一个能够得到确立?同样(e)是在S∧~W,W∧~S之中选择其一。故,问(e)可以分析为:S和W仅有那一个能够得到确立?同样(f)则是在S∧~W,W∧~S,S∧W这三者之中至少有哪一个能够得到确立?因此与(f)等值的问题是:S和W仅有哪些能够得到确立?这样我们就发现(d)(e)(f)为三类性质不同的抑或问题。像(d)这样的只要求回答者断定选项中的一项,并不排除另一项也是真的情形,我们称之为“指例型抑或问题”;像(e)要求回答者确定选项中唯一真的那一项的情形,我们称之为“确选型抑或问题”;而(f)要求受问者完全列出选项中的真项来的情形,我们称之为“全举型抑或问题”。以上我们相应地简称为“指例抑问、确选抑问和全举抑问”。指例抑问只要求回答供选项其中的已断定为真的项,而确选抑问和全举抑问则要求受问者回答出全部为真的项,区别是前者唯一,后者则不然。
当我们区别了抑或问题(d) (e)(f)的不同性质之后,
就会觉察出λ、λ、λ的笼统表达方式显然既不能刻
画它们的不同性质,也不能达到我们的要求;因而必
须引进新的算子。我们分别用λ、λ表示(e)和(f)的情形,这样λ、λ、λ就详细刻画了不同性质的指
例抑问、确选抑问和全举抑问。
在上述的抑或问题中,我们详细探讨了施问者提供二元选项的三种情形,它们既有差别,又有本质上的联系,实际上确选抑问和全举抑问可以归入指例抑问的特殊情况。现在可以看出仅仅提供二元选项的抑问并非抑或问题的普遍概括,那么可以联想三元四元乃至更多元的情况,不过我们可以从二元的抑问推展到含有任意n个选项的抑或问题。同样地也把它们分为三类:从n中回答出k个以及两类特殊的情形——从n中回答出仅有的k个与从n中举出所有的真项(ENTIRE,E个)来。由此给出三类一般形式的抑或问题
算子:λ(指例抑问)、λ(确选抑问)、λ(全举抑问),
且有1≤ m ≤n。根据组合数公式原理,可知从n个供
选项中选出k个来就是C=[n(n?1)(n?2)……(n-k+1)] /k!=n!/k!(n?k)!③然后设C=g,§Dx为以x序首
的k个自然数依序选项组,那么§D1共有n?k+1组,§D2共有n?k组,§D3共有n?k?1组,……§Dn?k?1
共有+1组,则可以对λ作解。λDi(1≤i≤n)=λ(D1,D2,D3,……,Dn)同样设C=g,然后再设§Dx?为
以x序首的k个自然数依序的排他性选项组,然后进
一步对λ做出分析:λDi(1≤i≤n)=λ(D1,D2,D3,……,Dn)最后,探讨一下λ之解。我们知道从n项中全部列出可能情况的组合数C+C+C+……+C+C=2n?1,设2n?1=m,那么λDi(1≤i≤n)=λ (λ,λ,λ,……λ,λ )。
以上我们大致地分析的,就是抑或问题的三种基 本类型:从n项中举k例的抑或问题λ,n项中恰好k例的排他性择取抑或问题λ,以及从n项中全部列出的抑或问题λ 。
(二)孰问题λ(m|y)˙λ(m-|y)˙λ(E|y)
孰问题在日常语言中的代表性疑问词是“哪个(些)”,形如“哪K个x成立:x(pxSx)?”。与抑或问题不同,孰问题题设选项不是给定的命题集,而是由归类条件确定的(pxSx),所以它的直接解答常分析为交集。实际上,这类问题的题设选项常可以有无穷多个。
还是让我们先观察一组例子:
g. 太阳系至少有哪一颗有卫星的行星?
h. 太阳系至少有哪二颗有卫星的行星?
i. 太阳系恰好有哪一颗有卫星的行星?
j. 太阳系恰好有哪二颗有卫星的行星?
k. 太阳系总共有哪些有卫星的行星?
l. 太阳系总共有哪些行星?
以上列出的问题(g)~(l)与上一节所论述的抑或问题(a)~(e)有显著的不同,我们无法直接从(g)~(l)题设本身所含命题中做出判定并给予解答,这些问题只是给出了一些范畴条件。不像分析抑或问题那样仅涉及命题(联结词),在考察此类问题时,要牵涉到个体词和谓词。这样的问题以“哪(些)个”型为典型代表,并处于探讨的突出位置,我们称之为“孰问题”。问题(g)和问题(h)情形相当,与它们等值的说法是:在太阳系中有卫星的行星的一例(两例)是什么?问(i)和问(j)的同义问句是:在太阳系中只有一(二)颗有卫星的行星,是哪一(二)颗?④与抑或问题的分析相似,问(g)和问(h)要求列出在题设条件下的k个例子来,只不过是Kg =1,Kh =2,这样的孰问题,我们称为“指例型孰问题”;对于(i)和(j)来说,则要求排斥性地列出其题设条件下的k个例子(如Ki =1,Kj =2),依照地,我们称如此的孰问题为“确选型孰问题”;最后,问题(k)和(l)要求说出符合题设条件的全部,我们称“全举型孰问题”;那么它们的简称是“指例孰问、确选孰问和全举孰问”。 (责任编辑:南粤论文中心)转贴于南粤论文中心: http://www.nylw.net(南粤论文中心__代写代发论文_毕业论文带写_广州职称论文代发_广州论文网)
顶一下
(0)
0%
踩一下
(0)
0%
版权声明:因本文均来自于网络,如果有版权方面侵犯,请及时联系本站删除.