摘要
怪论：“慨念无逻辑矛盾的任一物理事件必然在物理世界中存在（或被实现）”可从下列四个易被接受的假设推出：１、经验归纳是不完备的。２、认识上仅有两方面，即经验归纳与逻辑推理。３、从逻辑观点看，断言一个物理事件在所有时间都不存在，仅是由于事件概念有逻辑矛盾。４、推理限于使用经典逻辑。以Ｐ（ｔ）表示物理事件Ｐ在时刻ｔ出现，当Ｐ的概念无逻辑矛盾时，ｔｐ（ｔ）之真可在有限时区证实，但其假则否。而フｐ（ｔ）之假可以在有限时区证实，但其真则否。所以在该情况时说ｔｐ（ｔ）之假或フｐ（ｔ）之真是无意义的。而怪论这时指定ｔｐ（ｔ）为真。类似地可以对假设１与３作相应的解释。对于无穷的概念，在对象诺言中，在“潜”意义上或“实”意义都可使用。但在元语言中，仅能在“潜”的意义上而不能在“实”的意义上使用。怪论来源于事实：即当考虑其假的证实时，在元语言中，便涉及时间序列的“实无穷”了。
The old thesis:“any physical even,without logical contradiction involved in its conception,must exist (or be realiged)in the physical world”-is deduced under four postulates: 1.Induction by experience is not complete. 2.In recognition there are only two aspects,such as experience induction and logical reasoning. 3.From the logical viewpoint,to assert that a physical event never exists in all time,it is only due to some logical contradiction involued in the conception of this event. 4.Our reasoning must be conformed to classical logic. Consider the justifiction of tp(t),where p(t)expresses that the event p appears at instant.Where there is logical Contradiction involved in the conception of P,then the truth of tp(t) Can be justified in finite time interval in principle but not its falsehood,and the falsehood of t p(t) Can be justified but not its truth.So it is meaningless to say that tp(t) is false or tp(t) is true in such a case.But in such a case,the odd thesis assigns a truth value“truth” to tp(t).By the same method,we can explain the postulates 1.and 3. For the concept of infinite,in an object language it may be used in the sense of “potentiol infinity” or “real infinity”,but in a meta-language it can only be used in “potential” sense but not in “real” one.the odd thesis originated from the fact that the “real infinity”of time sequence is involed in a meta-language when considering the justification of the falsehood of this thesis.
出处
《广西师院学报（自然科学版）》
1998年第3期28-32,共5页
Journal of Guangxi Teachers College(Natural Science Edition)
关键词
怪论
经典逻辑
直觉主义逻辑
模型论
语意
odd thesis,classical logic
intuitionistic logic
model theory,object language
meta-language
