SelfAwarePatterns<p><strong>What justifies logic?</strong></p><p>Jacob McNulty has <a href="https://iai.tv/articles/logic-is-nothing-without-metaphysic-auid-3064?_auid=2020" rel="nofollow noopener noreferrer" target="_blank">an article at IAI arguing that the foundations of logic can only be found in metaphysics</a>. (Warning: possible paywall. <a href="https://www.realclearscience.com/2025/01/31/logic_is_nothing_without_metaphysics_1088383.html" rel="nofollow noopener noreferrer" target="_blank">Alternate link</a>.). He describes a problem called “the logocentric predicament,” that any attempt to justify logic with logic ends up being circular, risking an infinite regress. He notes that the most common response to this historically has been complacency, with Aristotle trying to just dismiss anyone questioning the law of noncontradiction. However subsequent developments in alternate forms of logic apparently make this a difficult stance.</p><p>McNulty ends up going through the views of Kant, Fichte, and Hegel. The discussion gets thick with the terminology of continental philosophy. As a result I struggle to understand exactly what he’s selling. But the overall point is that logic can only be justified with metaphysics, by which he means the “ambitious area of philosophy which strives to know God, the soul, the world.”</p><p>I actually don’t think this is true, at least not in the sense of requiring <em>pure</em> metaphysics. But it requires doing something logicians may resist, bringing in empirical information. Part of my willingness to do this comes from a comment logician Graham Priest made several years ago in an interview. He was arguing for alternate systems of logic, which he saw as justified because these systems can be seen as basically very basic theories of reality. And reality being complex, can often be viewed and understood through the lens of multiple theories.</p><p>One view, which McNulty mentions as problematic, is psychologism, the idea that logic is based on how we think. He argues that the view, “elides the distinction between how people ought to think and how people in fact do.” But this assumes that common thinking isn’t logical. It may not be at one level, the level of social interactions and decision making. But even a computer system, an inherently logical system, will produce results that seem illogical if it has bad or incomplete data, or isn’t working properly. Once we take into account bad or incomplete beliefs, along with various physiological impediments, it’s not hard to see why people often seem illogical too.</p><p>Interestingly enough, in <a href="https://en.wikipedia.org/w/index.php?title=Philosophy_of_logic&oldid=1241519653#Metaphysics_of_logic" rel="nofollow noopener noreferrer" target="_blank">the philosophy of logic</a>, psychologism is often regarded as an anti-real stance, as opposed to the realism, which sees logic as existing independent of our minds. But the anti-real view of psychologism, I think, suffers from not continuing the chain of reasoning. Thinking, like digestion, at its most basic level isn’t learned. We just do it innately. Why do we think the way we do? Because it works, providing a survival advantage, which of course is why it evolved. Which means that it has a relation to the environment.</p><p>And the stance of psychologism being anti-real likely predates an example we have today, logic machines, like the one you’re using to read this. People argue about whether the mind is physical, but I’ve encountered few people asserting the operations of my phone or laptop aren’t. David Chalmers in his book Reality+ describes computers as causation machines. But I just described them as logic machines. Which is it? My take is that they’re one and the same, which I think gives us a clue to what logic is.</p><p>I’ve often referred to computation as distilled causation. Along those lines, I think logic is abstracted causation, or perhaps more fundamentally, abstracted structures and relations that exist in nature. </p><p>Of course, a platonist might argue that logic, math, and other abstractions are the more primal reality. But abstract objects in contemporary platonism (as opposed to Plato’s original forms metaphysics) are acausal with no temporospatial extent. If they exist, it’s a different type of “existence” than the patterns in our minds and environment, and don’t seem able to have any effects on those patterns. It’s a view that seems very vulnerable to Occam’s razor.</p><p>So logic is based on how we think, and our thinking evolved to resonate with common and repeatable patterns in nature. Logic, in all its various forms, captures these resonances, allowing us to optimize them, bottle them, and put them in our tools, with increasing effectiveness.</p><p>Unless of course I’m missing something. Are there problems with my view of logic? Or alternatives that work better? Or is McNulty right that we have to get into the “ambitious area of philosophy which strives to know God, the soul, the world,” to figure this out?</p><p><a href="https://en.wikipedia.org/wiki/File:Argument_terminology_used_in_logic_(en).svg" rel="nofollow noopener noreferrer" target="_blank">Featured image credit</a></p><p><a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://selfawarepatterns.com/tag/logic/" target="_blank">#logic</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://selfawarepatterns.com/tag/metaphysics/" target="_blank">#Metaphysics</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://selfawarepatterns.com/tag/philosophy/" target="_blank">#Philosophy</a> <a rel="nofollow noopener noreferrer" class="hashtag u-tag u-category" href="https://selfawarepatterns.com/tag/platonism/" target="_blank">#Platonism</a></p>