Logical Definitions of Lying

Chiaki Sakama

Proceedings of the 14th International Workshop on Trust in Agent Societies (TRUST11), Taipei, Taiwan, May 2011.


This paper provides logical analyses of various definitions of lying. We first formulate twelve definitions of lying that appear in the literature of philosophy and were comprehensively studied by Mahon (2008). We use a propositional multi-modal logic that can represent belief and intention of agents. We then compare different definitions of lying and examine which one is best supported by both logically and empirically.

Full Paper (PDF 189K) Slide