A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...) in larger scale by philosophers. (shrink)

In matters of discontinuation of life-sustaining treatment, traditional role of the family to speak on behalf of the incompetent patient is questionable. We explore the reasons why physicians perceive patient autonomy to be transferrable to family members. Principle of patient autonomy may not suffice when futile treatment is demanded and may serve to erode the ethical integrity of medical profession. An enhanced role for bioethics committees is proposed when physicians propose to discontinue life-sustaining treatment against the wishes of the patient (...) or their families. (shrink)