In “Elementa Juris Naturalis” (1671) G.W. Leibniz formulated the genius intuition about the fundamental unity of juridical and Aristotelian modalities. Interpreting and explicating this intuition by virtue of the deontic logic G.W. Wright arrived to the conclusion that the unity of modalities in question is not an equivalence relation but an analogy one. However a complement for G.W. Wright’s explication of the intuition of G.W. Leibniz was submitted. This complement was a two-valued algebra of formal-natural-law philosophy of juridical and Aristotelian (...) modalities as moral-legal evaluation-functions determined by one variable. In thepresent paper I submit a binary generalization of the mentioned unary complement. By virtue of this generalization some significant shortcomings of the complement in question are eliminated. The generalization deals with the modalities as moral-legal evaluation-functions determined by two variables. (shrink)

There is a hitherto not recognized possibility effectively to use computer-based scientific investigating, teaching and learning strategies and resources in history of philosophy. This is especially interesting for comparative scientific investigations in history of philosophy, for distance learning and teaching it. Effectively to apply modern computer technologies one has to have an adequate mathematical simulation of the sphere of application. Therefore the paper starts with submitting a mathematical simulation of metaphysics (in general). Then this mathematical machinery is applied to a (...) representative concrete example, namely, to the metaphysical system of Parmenides of Elea. By means of the method submitted in this paper (and by virtue of computer) a user himself can create (construct) an adequate digital simulation of some computable aspect of any specific philosophical system. Here the digital method of investigating the history of philosophy is exemplified by applying it to the metaphysical system of Parmenides. According to the hypothesis underlying the mentioned method, metaphysics is formal axiology. Hence algebra of metaphysics is algebra of formal axiology. Therefore metaphysics of Parmenides is represented below as a system of equations of the formal-axiology algebra. This system of equations could be computer-generated and investigated by any user autonomously. (shrink)