Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL


Authors
Christoph Benzmueller
Freie Universität Berlin
Abstract
An ambitious ethical theory ---Alan Gewirth's "Principle of Generic Consistency"--- is encoded and analysed in Isabelle/HOL. Gewirth's theory has stirred much attention in philosophy and ethics and has been proposed as a potential means to bound the impact of artificial general intelligence.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,201
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

On the Logic of Demonstratives.David Kaplan - 1979 - Journal of Philosophical Logic 8 (1):81 - 98.
Two-Dimensional Semantics.Laura Schroeter - 2010 - Stanford Encyclopedia of Philosophy.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Gewirth and Adams on the Foundation of Morality.William M. O’Meara - 1982 - Philosophy Research Archives 8:367-381.
Gewirth and Adams on the Foundation of Morality.William M. O’Meara - 1982 - Philosophy Research Archives 8:367-381.
Gewirth and Categorial Consistency.N. Fotion - 1968 - Philosophical Quarterly 18 (72):262-264.
Foundations of Ethical Rationalism.Daniel Silber - 1994 - Dissertation, Vanderbilt University
Gewirth and the Voluntary Agent’s Esteem of Purpose.Robert D. Heslep - 1985 - Philosophy Research Archives 11:379-391.
Gewirth and the Voluntary Agent’s Esteem of Purpose.Robert D. Heslep - 1985 - Philosophy Research Archives 11:379-391.
The Trouble with Categorial Consistency.Robert Simon - 1975 - Philosophical Studies 27 (4):271 - 277.

Analytics

Added to PP index
2018-12-01

Total views
25 ( #378,317 of 2,289,674 )

Recent downloads (6 months)
8 ( #120,746 of 2,289,674 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature