Several Of The Basic Theoretical Issues About Possible World

The possible world is now one of the main problems of logic philosophy research, which is generated through philosophical research of the possible world semantics. The possible world theory mainly involves ontological status problem of the possible world (i.e. the existence of world of ontological problems) and individual cross-boundary identity and cross-border identification problem in the possible world"The possible world" concept is raised first by German philosopher Leibniz, who believes the mode of existence of matters is varied, as long as it doesn't contain logic contradiction, there things can constitute a possible world. After continuous research and exploration of many philosophers and logics, there are now abundant research achievements. While constructing the possible world theory, logics understanding of the concept also divided into several factions: the realistic ontology which believes that the possible world do exist as the real world; the moderate realism which believes that the possible world is probable merely people's subjective image; language alternative theory, which considerate the possible world theory is a kind of technical means used for handling modal proposition judgment.These three factions have different features as well as their own supporters. Logician create various theories while researching the possible world, such as the ontology of possible world, the cross-boundary identity and identification of individuals in the possible world, etc Through research on the basics of the possible world mentioned above, this paper seeks to represent a relatively comprehensive elaboration of the possible world theory.