The Problems and Philosophical Thinking of the Formulization of Reasoning

HUO Shu-quan
DOI: https://doi.org/10.3969/j.issn.1008-9764.2006.04.008
2006-01-01
Abstract:The paper is concerned with the ambiguity of the formalization of reasoning and the origin of the paradox of material implication.It argues that reasoning is the object of logic while logic is based on reasoning.The paradox of material implication is resulted from its double roles.Though the paradox of material implications can't be settled easily,they can be eliminated under some conditions.Since each logic system uses reasoning and has its shortcomings,the narrow logic view should be discarded in order to help mathematical logic develop.
What problem does this paper attempt to address?