3 ms·
Those are propositions with existential quantifications, not parameters, and we do not minimise them We use comparisons over the richness of existential commit
by mjburgess 2y ago
Those are propositions with existential quantifications, not parameters, and we do not minimise them
We use comparisons over the richness of existential commitments in theory comparison, but NOT in the creation of theories nor in their specification
- naasking 2y agoThese are all distinctions without a difference when analyzing theory descriptions under a unified framework, like ordering them by Kolmogorov complexity, eg. a Turing machine description is equivalent to a universal Turing machine+a suitably encoded tape.
- mjburgess 2y agoYes, indeed, at the level of abstraction in which everything is syntax without any semantics, then everything is the same. That's as content free as saying, "since the sun is ordered, and my CD collection is ordered, the sun and my CDs are the same". This "unified framework" you're talking about is just an analysis of functions over whole numbers.
- naasking 2y agoEverything is not the same, but everything can be quantified and ordered by some metrics which may discard some irrelevant info, yes. I disagree that it's content-free, there is probably only syntax at a fundamental level so whatever the semantics you've created in your head, they also reduce to syntax in the end. There are little to no semantics in the standard model of particle physics after all.