3 ms·
> “There is a profound sense that there is no mode of reasoning (nevermind just the mechanical deductivism) that can completely capture all expressible truths w
by clairity 8y ago
> “There is a profound sense that there is no mode of reasoning (nevermind just the mechanical deductivism) that can completely capture all expressible truths without reaching contradiction.”
but you’re extrapolating beyond godël’s incompleteness theorem here, which only makes that sort of assertion for axiomatic systems, as the article exhorts not to do, do you not?
what does seem self-evident is that logical systems cannot encompass the whole of human experience (yet?) so we continue to search for a more complete system of thinking. godël’s work probably is only incidental to this, not a completely explanatory theory.
- rocqua 8y agoWhat logical system isnt axiomatic? I can't envision such a thing. The only way out I see is uncountably many axioms.