Here we start to review and take notes on Henning Diedrich's draft book **Monads of Meaning**. The title was inspired by use of the term in a casual comment to him a few onths ago. He has asked me to give feedback on the book in confidence, and I do that here writing on my local machine - but with the view that these notes will be published when Henning feels he is ready.
# Conventions In reviewing Hennings work in this wiki, I use markdown quotes to refer to the draft abstract of Monads of Meaning by default. Any other use of markdown quotations will contain a link to the source as usual. I do this for speed and convenience.
However, I do not necessarily keep the original formatting. In particular I will break longer paragraphs into shorter ones that are easier on the ey in wiki, and provide a better opportunity for comments.
# Abstract > This paper introduces a **more** useful approach to artificial intelligence that captures meaning and can execute a text like a program, to perform contracts, regulations, and law, in trustless or trusted settings.
This is the first sentance. It is important, and sets the tone wrong. See opening sentance for a better way to phrase an opening sentance like.
> It explains how this is safer, more result-oriented, fully aligned, precise, accessible, transparent, democratic, economic, and ecological; has a small footprint in terms of storage, processing power and energy consumption; is deeply rooted in the science of logic; and the urgent answer to the abuse of digitalization that degrades our political and civil societies.
All good important points - needs rewriting to not be a single block / rant. See Main Purpose.
> Its simplicity and divergence are described; the school of thought it comes from; >- the monadic and gestalt principles it is based on; >- its broad roster of use cases; >- its foreseeable economic and political impact; >- how it improves access to justice and the socio-economic status quo; >- what it contributes to general AI; >- how it differs from and is complementary to generative AI; >- and how it relates to logic, law, philosophy, and computer sciences.
> In particular, the contribution is defended as Leibniz’ illusive characteristica universalis and argues that the characteristica are categories. This paper is the latest in a series based on the 2017 Lexon paper.