I thought a lot of it showed the different little tricks that formal logic has. The concept of true and false doesn’t exist in reality in any form. Things just are. A lot of representations and operations are things we use that are useful to create bigger useful logic statements. In a sense how we categorize intelligence is very human. This is why I think AGI will end up being human-like. We use these methods to help us organize reality into meaningful, to us, and practical representations that we recognize as individual concepts and entities mentally.
I thought a lot of it showed the different little tricks that formal logic has. The concept of true and false doesn’t exist in reality in any form. Things just are. A lot of representations and operations are things we use that are useful to create bigger useful logic statements. In a sense how we categorize intelligence is very human. This is why I think AGI will end up being human-like. We use these methods to help us organize reality into meaningful, to us, and practical representations that we recognize as individual concepts and entities mentally.