Established on the framework of Frege＇s philosophy of language, with the help of Tarlski in the development on the innovation oftheory of truth （including methodology level）, Davidson explained the concept of mean...Established on the framework of Frege＇s philosophy of language, with the help of Tarlski in the development on the innovation oftheory of truth （including methodology level）, Davidson explained the concept of meaning in the process of language Ibrmation with the interpretation and characterization of＂the formalization of axis＂ which was Developing from ＂t refers to x＂ to ＂s means m ＂, then to＂ s means that p＂, then to ＂ （T） s is T if and only ifp＂. After a series of ideas conversion on the restructuring and improvement, Davidson finally created an innovative view of meaning on the holistic level. In order to realize the meaning of language itself as the axis, with Tarski＇s theory of truth as the transmission fulcrum, with natural language translation and interpretation as the actual operation range, he has run the theory of meaning as the understanding, interpretation and action picture of people dealing with events arranged in a crisscross pattern world.展开更多
By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the c...By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).展开更多
随着对煤炭需求的增加,传统的煤矿生产设备已远不能满足目前的需求,因此,须对采煤机等设备进行结构优化处理,通过提升各工艺技术水平,加强煤炭生产效率,提高煤炭质量。通过介绍采煤机C A N总线调速系统,分析采煤机调速系统存在的问题,...随着对煤炭需求的增加,传统的煤矿生产设备已远不能满足目前的需求,因此,须对采煤机等设备进行结构优化处理,通过提升各工艺技术水平,加强煤炭生产效率,提高煤炭质量。通过介绍采煤机C A N总线调速系统,分析采煤机调速系统存在的问题,针对其问题阐述C A N总线调控系统的优势所在,并给出实验设计分析,通过实验结果验证C A N总线调控系统的精准性与高效性。就采煤机C A N总线的调速系统进行相关探讨。展开更多
The traditional way to filter out the implausible candidate solutions to the semantic paradoxes is to appeal to the so-called ＂cost/benefit analyses.＂ Yet it is often tedious and controversial to carry out such anal...The traditional way to filter out the implausible candidate solutions to the semantic paradoxes is to appeal to the so-called ＂cost/benefit analyses.＂ Yet it is often tedious and controversial to carry out such analyses in detail. Facing this, it would be helpful for us to rely upon some principles to filter out at least something, if not everything, from them. The proposal in this paper is thereby rather simple： We may use principles of compositionality as a ＂filter＂ for this purpose. The paper has four sections. In Section 2, the author uses the filter to examine Kripke＇s fixed-point theory and to thereby show how it works. In Section 3, the author gives more examples from the classical theories of truth to demonstrate the power of the filter. In Section 4, the author addresses the skepticism concerning whether there is any consistent or non-trivial theory of truth that can survive this filtering procedure. A ＂nearly sufficient＂ condition for a theory of truth to survive this test is discussed in order to show that at least some consistent or non-trivial theories of truth do indeed survive the filtering procedure.展开更多
文摘Established on the framework of Frege＇s philosophy of language, with the help of Tarlski in the development on the innovation oftheory of truth （including methodology level）, Davidson explained the concept of meaning in the process of language Ibrmation with the interpretation and characterization of＂the formalization of axis＂ which was Developing from ＂t refers to x＂ to ＂s means m ＂, then to＂ s means that p＂, then to ＂ （T） s is T if and only ifp＂. After a series of ideas conversion on the restructuring and improvement, Davidson finally created an innovative view of meaning on the holistic level. In order to realize the meaning of language itself as the axis, with Tarski＇s theory of truth as the transmission fulcrum, with natural language translation and interpretation as the actual operation range, he has run the theory of meaning as the understanding, interpretation and action picture of people dealing with events arranged in a crisscross pattern world.
文摘By restricting the common replacement axiom schema of ZF to ∑~M-formulae,Professor Zhang Jinwen constructed a series of subsystems of Zennelo-Frankel set theory ZF and he called them ZF^M.Zhao Xi shun show that the consistency of ZF^M can be deducted from ZF.Professor Zhang Jinwen raised the question whether the consistency of ZF^M can be deducted from ZF^(M+m(M)) for some m(n)≥1.In this paper,we get a positive solution to Professor Zhang's problem.Moreover,we show that the consistency of ZF^M can be deducted from ZF^(M+3).
文摘随着对煤炭需求的增加,传统的煤矿生产设备已远不能满足目前的需求,因此,须对采煤机等设备进行结构优化处理,通过提升各工艺技术水平,加强煤炭生产效率,提高煤炭质量。通过介绍采煤机C A N总线调速系统,分析采煤机调速系统存在的问题,针对其问题阐述C A N总线调控系统的优势所在,并给出实验设计分析,通过实验结果验证C A N总线调控系统的精准性与高效性。就采煤机C A N总线的调速系统进行相关探讨。
文摘The traditional way to filter out the implausible candidate solutions to the semantic paradoxes is to appeal to the so-called ＂cost/benefit analyses.＂ Yet it is often tedious and controversial to carry out such analyses in detail. Facing this, it would be helpful for us to rely upon some principles to filter out at least something, if not everything, from them. The proposal in this paper is thereby rather simple： We may use principles of compositionality as a ＂filter＂ for this purpose. The paper has four sections. In Section 2, the author uses the filter to examine Kripke＇s fixed-point theory and to thereby show how it works. In Section 3, the author gives more examples from the classical theories of truth to demonstrate the power of the filter. In Section 4, the author addresses the skepticism concerning whether there is any consistent or non-trivial theory of truth that can survive this filtering procedure. A ＂nearly sufficient＂ condition for a theory of truth to survive this test is discussed in order to show that at least some consistent or non-trivial theories of truth do indeed survive the filtering procedure.
