Comment

Comment by hackinthebochs

Yes, a formal system is a logical structure. The set of all formal systems defines all possible logical structures, i.e. all consistent rule-based systems. So the question of why do atoms follow a logical structure is simply the question of whether it is possible for atoms to not follow a rule-based system. The answer is embedded in the question: atoms are constrained structures, thus to have atoms is to have a rule-based system. More broadly, we can't conceive of a universe not governed by rules on some scale so all our credence should rationally lie with the necessity of a rule-based universe.

>It's still a topic in philosophy to this day. I'm sure you appreciate that if it was a simple solution it wouldn't be a big deal.

The more philosophy I read, the less I appreciate this. It's clear to me that philosophy as an institution is perniciously dominated by the fashion of the day which undermines the idea of philosophical consensus (or lack thereof) as oriented towards truth.

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton