Монография посвящена исследованию формально-логических противоречий-антиномий, возникающих на стыке этики, метафизики и права, а также изучению возможностей разрешения этих противоречий с помощью логико-математических моделей указанных дисциплин. В книге впервые конструируются и обсуждаются простейшие дискретные математические модели объединения морали, естественного права и метафизики. Впервые формулируется и систематически исследуется гипотеза, согласно которой в сущности метафизика есть формальная аксиология. В качестве простейшего искусственного языка теоретического описания фундаментального единства метафизики, этики и естественного права используется алгебра поступков - двузначная математическая модель естественного права как системы. В монографии впервые предлагается и всесторонне изучается некий вариант алгебры формальной метафизики. Эта алгебра используется в книге для прояснения и уточнения целого ряда метафизических концепций (Парменида, Р. Декарта, Г. В. Лейбница, Д. Юма, И. Канта и др.), имевших место в истории философии. Всесторонне исследуется взаимосвязь концепций модальностей Аристотеля и Г. В. Лейбница. При этом модальности трактуются как бинарные операции алгебры формальной метафизики (=аксиологии). Книга адресована научным работникам, преподавателям и студентам философских и юридических факультетов. The monograph submits investigations of formal-logical contra-dictions-antinomies emerging at the intersection of ethics, metaphysics and law. Also it represents inquiries about possibilities of resolving these contradictions by means of logical-mathematical simulations of the mentioned disciplines. The book contains original constructing and discussing an elementary type of discrete mathematical simulations of a fundamental unity of morals, metaphysics and the natural law. The author submits and systematically investigates an original hypothesis that, in its essence, metaphysics is formal axiology. Algebra of actions - a two-valued mathematical simulation of the natural law as a system - is used as a basic artificial language for theoretical representation of the fundamental unity of metaphysics, ethics and the natural law. The monograph submits and thoroughly investigates an original variant of algebra of formal metaphysics. This algebra is used in the book for clarifying and explicating several metaphysical conceptions (Parmenides of Elea, R. Descartes, G. W. Leibniz, D. Hume, I. Kant, etc.) representative for the history of philosophy. The interconnection of Aristotle’s conception and G. W. Leibniz’s one of modalities is studied in details. The author treats modalities as binary operations of algebra of formal metaphysics (=formal axiology). The book is addressed to researchers, professors and students of philosophical departments and law schools of universities. It can be useful for teaching and studying the following standard courses: “Ethics”, “Philosophy”, “History of Philosophy”, “Jurisprudence”, etc. Moreover this monograph could be used as a handbook for the following special (non-standard) courses: “Mathematical Ethics”, “Mathematical Philosophy of Law”, “The Natural Law (as a System of Laws)”, “Mathematical Simulations and Methods in Metaphysics”, etc.