
Focusing on studies of how humans categorize objects and ideas, this book examines the new understanding of human thought which proposes that human reason is imaginative, metaphorical, and intrinsically linked with the human body.
Favorite fascinating George Lakoff book: Women, Fire, and Dangerous Things: What Categories Reveal About the Mind
Lakoff himself talking about cognitive semantics https://www.youtube.com/watch?v=JFgFjdCo2Js
In software architecture, metaphors may help us to better identify objects and their interaction patterns.
> As long as the dumb AI is unable to guess our wishes, there will be a need to specify them using a precise language. We already have such language, it’s called math.
Math is wonderful and elegant, but it is useless (in itself) to specify things in the real world. You need tons of conceptualisation and operationalisation and common sense etc. for the foreseeable future.
Heck, logic is useless for the real world - everyone knows the example that “a bachelor is a man that is not married”, but even if you can implement it as a conjunction of two logical predicates, then try to define, with logic a computer can understand, what “man” is, or “married”, or “game”, or “taxable income” or “murder” or “fake news”. Go on, use math and category theory. Good luck.
EDIT to add: For a wonderful overview of the problems with the naive Aristotelian view of definition (easily captured by predicate logic) in the real world, see George Lakoff’s book “Women, Fire and Dangerous Things: What Categories Reveal About the Mind”.
1. This sounds like a great idea: In trying to do it, you will learn a lot about all the ways it won't work. (It seems to me.) I started writing a program once to understand poetry & jokes. I learned a lot, like just how much humans have to know to understand this stuff. You have to know about everything just to understand one word! Best example I know of this: see the chapter on 'over' in Lakoff's Women, Fire and Dangerous Things.
2. It sounds a bit like - music! Maybe you could use music for that? Hmm well no. But maybe look at Deryck Cooke's The Language of Music, which is a remarkable attempt to spell out explicitly what the elements/motifs/phrases/melodic units in music are saying. I guess any partially-facial-expression-based language would have a lot in common with that.
