Jarhyn
Wizard
- Joined
- Mar 29, 2010
- Messages
- 15,597
- Gender
- Androgyne; they/them
- Basic Beliefs
- Natural Philosophy, Game Theoretic Ethicist
And it's a shit term that excludes an entire much more natural form of language.I wouldn't say IL breaks down so much. I'll also note that we have different usages of "natural language", insofar as I do not view spoken OL as "natural language". I view assembly and natural encoding as "natural language", because OL is anything but natural, whereas actual natural languages are languages that are only barely symbolic, assembly languages.
To me a "natural language" can be translated into an IL, and IL can be transliterated to an OL, but you can't really get from OL to natural language unless the OL is first "properly married" to a 1:1 correspondence with some process of IL.
Jarhyn, the term "natural language" is well-understood even in your own field of expertise--e.g. you have the subfield of AI called "Natural Language Processing". So it doesn't matter how you would like to use the term. If you don't want to use the term the way everyone else uses it, that is your prerogative, but don't use your private meaning to equivocate in a discussion with others.
As for your "properly married" idea, that doesn't work in practice, because you can never "properly marry" discourse propositions into mathematical logic, which is structurally context-free. Natural language represents a context-dependent signal. The meaning of an expression in mathematics does not change contextually. It is a function that always yields the same set of answers. OTOH, natural language expressions cannot be interpreted independently of the discourse that they are embedded in. To interpret the meaning of a sentence, you have to imagine a context in which it would make sense. That's where presuppositions come into play and why formal languages can't handle presuppositions.
It is difficult for me to explain all of this to you, because you simply don't have any background in theories of natural language or in the relevant philosophical literature. What you need is a graduate seminar on the subject. An informal social media discussion is not going to help very much. That's why I recommended Schank as a place to start, but that was only to get across the idea that the semantics of a natural language expression are not fully contained in the linguistic signal.
I would specifically state you are wrong about being unable to marry mathematical usage to game theory, which is all aout discourse usage.
Regardless of what you think about whether "natural language" more appropriately applies to the definition you wish to make me use (which I will not), the thing I'm calling "natural language" is down to contextless phenomena.
If you want to try me, use my language and see if you find it in your own. You claim to be an industrial grade linguist, let's see you apply it.
As I've said, there is what I refer to as natural language, there is what you call IL, and then there is what you call OL, which is what you also call natural language.
IL specifically deals with certain things that construct out of primitive concepts, even such concepts as executive agents within a system regardless of systemic concept.
I think it's somewhere in the department of "cellular automata" of varying complexity, which is pretty general and arises purely out of the study of Turing machines and thus ultimately set theory.
"This is a thing that Turing machines of various types contain".
Once you have executive agents, things with quantifiable goals and algorithms executed unto those goals (whether they exist as an expression of cycle or goal orientation), you get into the IL discussion of ethics and deterministic systems and "responsibility" in those systems, without needing to really turn towards people or neurons.
I spent long hours looking at something that only made sense because of what levers within the system were pulled by charge patterns, and constricting from that high level sentences about what was happening like "make the decision to set this flag to send that message to tell that system to put on that output."
As I noted, this doesn't say what this decision is about or what that output is. This is where I already understand are the limits of IL. The marriage happens as soon as you say "that output is a fault light." There is an OL description of this, but that OL description MUST marry to the IL structure, or whatever OL solution proposed is wrong.
In this way the marriage is what provides sanity to OL, and as you say context to IL, but the discussion we are having about free will here exists purely in IL, as does the core theorem of evolution by modification of the instantiation process of self replicating amid a selective process within the system, as does the more specific group of "DNA-based chemical systems", which again see an IL treatment in the form of pure simulation.
But if the OL doesn't conform to the context less IL structure that actually describes the physical process, the OL is simply badly formed and wrong.
My challenge to you, if you wish to agree with me that free will is real, is to find its requirements in the IL pertaining to deterministic systems in general, not OL, because OL doesn't actually prove anything, it merely gives context to things that might need it for clarity sake. You can leave things which terminate as arbitrary tokens as arbitrary tokens in IL, but much like an obfuscated Minecraft binary, this will do you no favors on trying to find the "inventory" and select the "pickaxe". It will at best help you find the an "re" that contains a ring of 10 pointers to integers that map onto some ring that contains many object types, and select the one that has any object type between "aa" and "ad" as the "zd" with nearby ascii strings which map to "*p-i-c-k-a-x-e", for example, and then when you find the marriage between "*p-i-c-k-a-x-e" and "pickaxe"... A pickaxe by any other name still breaks rocks.
My point is that my perspective on this comes from something quite a bit less speculative than what you might be imagining and is quite solid, even if it's not exactly the OL you speak or the part of IL you studied.
If you can recognize my observations among any of the literature you mentioned, I would love to hear about how people who use a more conventional IL and OL would make those statements.
However as I said, I find free will purely in IL, as you must to convince me that I ought accept your statement that free will is "real" in deterministic systems, rather than "a made up thing that is purely subjective" or whatever DBT believes (to be fair, the accusations of "subjectivity of the concept of free will" came from FromDerInside).
That's part of what you, and everyone who wants to accept compatibilism, must accept: that there is a compatibility between OL and IL here with regards to free will. I'm not arguing that this compatibility does not exist; I argue emphatically that it does, and I have stated it repeatedly in this thread, and will continue to do so. BUT...
If you can't find the compatibility here and defend the IL of it, I would say DBT is right to question your own understanding of it because OL is incapable of proving isomorphism to the "natural language", the contextless stuff, "the stuff IL hopes to model", whatever tickles your pickle. This, just as much as your questioning of his understanding of compatibilism (which is, as you mentioned, not-even-wrong)