Abstract:
From the perspective of structural linguistics, a fundamental defect of Logicism’s notion of truth is that it makes no difference between signified and signifier in formal logic language. Due to the persistance in the beliefs of reductionism and logocentricism, Logicism fall into a semantic dilemma. To pursue the signified of logic truth in the scope of signifier leads to failure in the end. G del’s incompleteness theorem, Tarski theorem and undecidability of the halting problem of the Turing machine all indicate that in logic theory, there is no meta language which can be escaped from being questioned, neither ultimate logic signified truth. Any logic paradigms should keep dynamic openness and diversified alternatives, so that they could play better and unique effects in the process of revealing the truth of formal language.
