Quine And The Development Of Modal Logic

Modern modal logic is an extension of logic,it is the classical logic with modal operators for expansion and the formation of a new form of system,it applies to classical logic can not be dealt with in a manner previously modal argument.This expansion is not only related to the level of morphological changes,and will certainly require innovative semantics.However,in modal logic established by the early development of a variety of modal systems,and not a more complete explanation of semantics,it attracted many scholars questioned at the time.Quine was first proposed on the criticism of the legitimacy of modal logic,he believed that"first-order language of his philosophy of integration theory,philosophy and theory will be universal,systematic and transparent philosophy".And the need for classical modal logic first-order language based on the increase in"natural","possible"ambiguous in nature,such as modal operator,such language would be tantamount to an increase of fuzzy logic,ambiguity and unnecessary complexity,and his pursuit of"scientific theories should be unified with the precise form of"incompatible with the philosophical thinking.So Quine,respectively,from the motives,the source of allegations of modal and interpretation of the word in terms of modal logic to carry out a full term and witty criticism,he concludes that"the whole should be the abolition of modal logic."Quine of the above criticism is profound and strong,and it stirred up strong reactions and extensive discussion.In response to criticism of Quine,a philosopher of logic for the effectiveness of the principle of classical logic problem;de re modal and is caused by the nature and possible world-related issues,a variety of amendments to the program,the issue of these three types of defense and to refute the philosophy constitutes a mode of rich content. The purpose of this paper through a comprehensive analysis of Quine's criticism of modal logic,critical appraisal of the Quine can not be established,is not sufficient to cause the overthrow of the entire modal logic.In fact,in his criticism,has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.So Quine explained to the modal attitude is fraught with difficulties too pessimistic,perhaps he overlooked this point:classical logic has a kind of"logic of invention",which also need to mature a lengthy process.