Software
(chi - pronounced ki) is a Windows 7/Vista/Xp/NT/2000/9x/Me application developed to facilitate the This software was developed by N.A Friedrich. (2.6M)
(para) is a Windows 7/Vista/Xp/NT/2000/9x/Me application developed to facilitate research into the preservationist approach to paradox tolerant logics. It offers a convenient, interactive visual resource to aid the understanding of paradox tolerant logics as extensions of more classical, paradox intolerant logics. Para allows the user to define the preservational profiles of a logic's connectives, and then to extend this logic to a logic of higher-order valuation. Para also provides a Validity Appraisal mechanism in which sentences can be appraised for validity in various logics and their extensions. Para can also be utilized as a resource to visually derive an axiomatization of a given logic. As an ongoing project, para was designed to incorporate additional enhancements. These enhancements may include the addition of purely user-defined connectives, the use of n-ary designational assessments per valuation, or the use of para to solve all the World's troubles. Some of these future enhancements may be easier to implement than others. This software was developed by N.A Friedrich. (2.6M) |
