Abstract

The prospect of organic unified knowledge challenges the increasing fragmentation of scientific disciplines which have become narrowly specialized with the accelerating rate of discoveries and the shaky status of many inductively obtained theories. Yet proof checkers which can control the logical correctness of reasoning offer the possibility of developing an integrative, deductive approach encompassing many branches of science within the same framework. The Principia Humanistica, developed by Krzysztof de Werszowec Rey, constitute such an attempt to apply the Mizar system of verification to the human and related sciences as well as theology. Mizar is based on set theory whose terms may define the individual, value choices, the human person, culture, and religion. This essay explores the Mizar framework, including the definition of valuation and religion. It seeks to show the possibilities opened by such an integrated multidisciplinary approach for the study of free will, the definition of courage, and convergence towards unification with God.