Logic is foundational to how people think and how we understand our world. Still, like other formal frameworks, logic has limiting assumptions. Understanding these limitations can enable us to appreciate better both the real world and human understanding, and go beyond logic in their description.
Logic is the most fundamental framework of our understanding of the world in a formal language. The ability to say that a statement is true or false is basic to everything we know as mathematics. Despite its fundamental nature it is also difficult to understand fully.
Real world truths and and our methods of understanding them by human cognition encounter the challenge of high complexity. Identifying the many different possible true statements we might make about the world is an impossible challenge. Human cognition is a dynamical system, influenced by internal and external information, which is incomplete. It addresses the challenge of real world complexity by strategies that are as good as possible at determining truth values given individual objectives, associated subjectivity, and partial information. Logic is designed to avoid these complexities in order to achieve universally agreed upon truths.
In these papers we explore the relationship between logic and real world truth and human cognition.