One Formalization of Virtue Ethics via Learning

Given that there exist many different formal and precise treatments of deontologi- cal and consequentialist ethics, we turn to virtue ethics and consider what could be a formalization of virtue ethics that makes it amenable to automation. We present an embroyonic formalization in a cognitive calculus (which subsumes a quantified first-order logic) that has been previously used to model robust ethical principles, in both the deontological and consequentialist traditions.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/30/2019

On Quantified Modal Theorem Proving for Modeling Ethics

In the last decade, formal logics have been used to model a wide range o...
research
06/07/2022

Towards a Coq formalization of a quantified modal logic

We present a Coq formalization of the Quantified Reflection Calculus wit...
research
12/21/2020

Taking Principles Seriously: A Hybrid Approach to Value Alignment

An important step in the development of value alignment (VA) systems in ...
research
12/07/2018

Toward the Engineering of Virtuous Machines

While various traditions under the 'virtue ethics' umbrella have been st...
research
02/13/2023

A Logic for Veracity

This paper shows the initial stages of development, from first principle...
research
10/11/2017

Counterfactual Conditionals in Quantified Modal Logic

We present a novel formalization of counterfactual conditionals in a qua...
research
07/15/2019

Logic Conditionals, Supervenience, and Selection Tasks

Principles of cognitive economy would require that concepts about object...

Please sign up or login with your details

Forgot password? Click here to reset