Leibniz, Acosmism, and Incompossibility

Leibniz claims that God acts in the best possible way, and that this includes creating exactly one world. But worlds are aggregates, and aggregates have a low degree of reality or metaphysical perfection, perhaps none at all. This is Leibniz’s tendency toward acosmism, or the view that there this no such thing as creation-as-a-whole. Many interpreters reconcile Leibniz’s acosmist tendency with the high value of worlds by proposing that God sums the value of each substance created, so that the best world is just the world with the most substances. I call this way of determining the value of a world the Additive Theory of Value (ATV), and argue that it leads to the current and insoluble form of the problem of incompossibility. To avoid the problem, I read “possible worlds” in “God chooses the best of all possible worlds” as referring to God’s ideas of worlds. These ideas, though built up from essences, are themselves unities and so well suited to be the value bearers that Leibniz’s theodicy requires. They have their own value, thanks to their unity, and that unity is not preserved when more essences are added

DaVinci – A Model-driven Web Engineering Framework

Abstract — The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distributed applications (Web applications), moreover it serves as a generic architecture for autonomous applications and services. Many research work has been done regarding the modeling and engineering process of Web applications and various platforms, frameworks and development kits exist for the efficient implementation of such systems. Concerning the modeling process, many of the published concepts try to merge traditional hypermedia modeling with techniques from the software engineering domain. Unfortunately, those concepts which capture all facets of the Web’s architecture become rather bulky and are eventually not applicable for a model-driven Web application development. Moreover, there is a need for frameworks which address both, the modeling process and the implementation task and allow a modeldriven