Modal Logic’s Historical Development And Inquiry Of Philosophical Questions

Modal logic is an important branch of logic, mainly by chance, possibility, mustand other related concepts.Aristotle was the first philosopher thought on chance, might, possibility, modalpropositions and the relationship between logical necessity, propositions and the inevitablepossible between propositions, modal syllogistic. Based on the ideas of Aristotle,Megara and Stoics made the modal concept further thought and discussion on the“necessary and possible”,conditional statement to a more profound understanding.Medieval modal logic thinking, there are two parts, one is the modal logic of Arabperiod, proposed the time concept of modal predicate logic; another part is the Scholasticperiod of the modal logic, presented on the derivation and modal syllogisms theory.Leibniz was a great logician, the law of contradiction and sufficient reason, possibleworlds and the real world, the inevitable truth and the fact of truth, possibility, necessityand contingency, etc. have a more profound understanding. Frege introducedmathematical function inside the concepts and methods in logic and philosophy ofconstraint variables and quantifiers, and so do the definitions, established the first initialaxiomatic system of the predicate calculus.When modal logic really into the formal development, formated of three relativelydistinct phases: morphological period, the classic period, and the modern period. Themain morphological features of the period is to focus only on language form. Themaximum period is characterized by the development of classic semantic relations,semantic relations refers to the framework, the model can meet the concept andeffectiveness of such programs also include the introduction of a possible world. The mainconcern of modern times: the frame is not entirely a result of the discovery andapplication of theoretical computer science in the modal language.In the development of modal logic, modal logic gradually to promote thegeneralized modal logic, modal logic and derivatives segments constantly. On thephilosophical problems of modal logic, ontological of the possibility world, identityproblem and existence of abstract entities such as the problem of essentialism is the mainproblem. Finally, Our team do further research on the relationship between modal logicand classical logic, Prof.Wan XiaoLong the first proposed Special Theory of Relativity of Function, and the new view of logic’s questions.