### 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.

### License

BSD License

### History

April 9, 2019
  added proof for a stronger variant of the PGC and examplary inferences (revision 88182cb0a2f6)

### Topics

- Logic/Philosophical aspects

### Session GewirthPGCProof

- CJDDLplus
- ExtendedDDL
- GewirthArgument

## Cite

×

GewirthPGCProof-AFP

    @article{GewirthPGCProof-AFP,
      author  = {David Fuenmayor and Christoph Benzmüller},
      title   = {Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL},
      journal = {Archive of Formal Proofs},
      month   = {October},
      year    = {2018},
      note    = {\url{https://isa-afp.org/entries/GewirthPGCProof.html},
                 Formal proof development},
      ISSN    = {2150-914x},
    }

Download

## Download

× Download latest

Older releases:

- Sep 13, 2023 : Isabelle2023
- Oct 27, 2022 : Isabelle2022
- Dec 14, 2021 : Isabelle2021-1
- Feb 23, 2021 : Isabelle2021
- Apr 18, 2020 : Isabelle2020
- Jun 11, 2019 : Isabelle2019
- Oct 31, 2018 : Isabelle2018