Abstract
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.