Note that programming as experienced by beginners leads one to a lot of “objective truths” about how programming works that are actually choices made by the designers of the language, the operating system, or other layers of the total system one’s program executes on. And some of those choices are so commonly adhered to that you’ll never see past them just by trying different languages, only by making an effort to understand the system.
I agree that programming provides “objective-truth-world” in the sense that there are definitive true answers; but those answers are still built out of two-place predicates — they refer to the particular system you’re working with.
Note that programming as experienced by beginners leads one to a lot of “objective truths” about how programming works that are actually choices made by the designers of the language, the operating system, or other layers of the total system one’s program executes on. And some of those choices are so commonly adhered to that you’ll never see past them just by trying different languages, only by making an effort to understand the system.
I agree that programming provides “objective-truth-world” in the sense that there are definitive true answers; but those answers are still built out of two-place predicates — they refer to the particular system you’re working with.