Predicate functor logic is a way of and understanding how we can use symbols and language to try and explain how the world works. It uses symbols and diagrams to break down our thoughts into smaller pieces so that we can understand them better and make better decisions. It is a way to combine both mathematics and philosophy together.