In this insightful web content, the author delves into the fascinating world of category theory, logic, and mathematics. Exploring the roots of logic as the science of the possible, which underpins all other sciences, the content uncovers the relationship between logic, set theory, and category theory. From the composition of propositions to the intricacies of logical operations, the content navigates through tautologies, contradictions, axiom schemas, and rules of inference. Notably, the discussion on the implications of modus ponens and the principle of bivalence in classical logic provides a deep dive into the foundations of logic. Additionally, Gödel’s completeness theorem sheds light on the completeness of logical systems, concluding with a reflection on classical logic through the lens of Plato’s theory of forms.
https://abuseofnotation.github.io/category-theory-illustrated/05_logic/