| ▲ | RGS1811 8 hours ago |
| This piece circles, without naming it, around the concept of “deontic scorekeeping” central to the work of Robert Brandom on semantics. The idea that our ability to create and sustain conceptual systems depends on the give and take of reasons within a social setting. Brandom has been front of mind for me lately because elements of his theory both explain why LLMs should work in principle, and where they are bound to be radically deficient. An LLM encodes the normative regularities of our linguistic/conceptual games into its weights, but it cannot be a real participant in our games because it is incapable of staking durable commitments or changing its dispositions over time. Worth reading: Robert Brandom, “Making It Explicit: Reasoning, Representing, and Discursive Commitment” |
|
| ▲ | fritzo 7 hours ago | parent | next [-] |
| > An LLM ... cannot be a real participant The participant is not an LLM, the participant is a company. The company learns. It adapts. It has a trillion dollars of skin in the game. |
| |
| ▲ | vector_spaces 6 hours ago | parent | next [-] | | I mean, many companies operate within particular domains but don't have much skin in the domain itself in a way that is meaningful to other participants there -- like Oracle builds software for healthcare, ostensibly, but any actual user of their products will tell you they are nightmarish with regard to usability, and research shows that patients are often harmed as a result. So healthcare isn't their game, it's selling healthcare software. Likewise OpenAI doesn't have "skin" of any shape or value in e.g. the mathematics community or even in mathematics research per se. In my cynical view, they are exploiting the exposure of mathematical research to automation in an effort to create a case study of their product obsoleting a highly visible and well-leveraged and relatively small profession. Regardless, I doubt even they would say they have durable skin in mathematics in any sense, certainly not in either of the senses I mentioned above. But their output inhabits the same space as mathematicians, who have to contend with the consequences | | |
| ▲ | throwaway89864 6 hours ago | parent [-] | | OpenAI most certainly have a "skin" in math and physics. They hire math and physics grads and good command of math is very useful in computer science, machine learning and AI. | | |
| ▲ | 2b3a51 5 hours ago | parent | next [-] | | What qualities do the recruiters at OpenAI value in the mathematics and physics graduates that they hire? And how do you see these qualities changing over, say, the next decade? | |
| ▲ | vector_spaces 5 hours ago | parent | prev [-] | | OpenAI is concerned about math and physics insofar as these skillsets enable their current staffing model. That is not exactly durable. |
|
| |
| ▲ | JumpCrisscross 5 hours ago | parent | prev [-] | | > The company learns. It adapts And potentially steals [1]. [1] https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_priority... | | |
| ▲ | joquarky 3 hours ago | parent [-] | | I don't see any theft in that article. Who was deprived of what property? Why didn't they make backups? | | |
|
|
|
| ▲ | skrebbel 5 hours ago | parent | prev | next [-] |
| > The idea that our ability to create and sustain conceptual systems depends on the give and take of reasons within a social setting. I read this sentence 5 times and I still cannot parse it. |
| |
| ▲ | 6gvONxR4sf7o 4 hours ago | parent [-] | | I think it means if we all have to justify ourselves to each other, we collectively come up with an sustainable ecosystem of ideas that we can understand. So if we stop justifying ourselves to each other, the ecosystem doesn't get built or sustained, and we stop understanding things. Not the person you responded to, but that's my reading. |
|
|
| ▲ | sigbottle 6 hours ago | parent | prev | next [-] |
| What a coincidence, I've also picked up inferentialism but never really got into it. I'm interested in the reversal that Sellars proposes - it seems clear to me that "representation" is not prior to the space of reasons, despite how unintuitive it is. > An LLM encodes the normative regularities of our linguistic/conceptual games into its weights, but it cannot be a real participant in our games because it is incapable of staking durable commitments or changing its dispositions over time. I see no reason why this can't be the case in the future, even though I think inferentialist-based theories are generally strong. Can't you force LLM's (or whatever AI architecture will exist in a decade) to stake durable commitments itself, then? They're at least autonomous enough to run computers. I agree that that is a core part to true meaning & autonomy, but nobody just lets them yet. I don't think inferentialism is a consciousness-based argument, either, so that escape hatch isn't available. I also don't think this is a necessary condition to engage in the space of reasons (but maybe then I'm misunderstanding it, or retreating to a more Sellarsian understanding). Could you explain on this more? Though again, I only have the book sitting on my desk, and I haven't cracked it open... |
| |
| ▲ | RGS1811 5 hours ago | parent [-] | | I actually agree with you. LLMs could become participants in the future, but this would require (1) durability of real awareness over time (an architecture change from the current fixed-weights + transient context architecture) and (2) that humans grant them the status of equal participants (probably not a terribly high bar given how people already treat these things). I'm not aware of any real progress toward (1), and all the stand-ins people have developed live in the context layer or textual artifacts, which are poor stand-ins for durable memory. And yeah, consciousness based arguments are bunk IMO. It's clear that LLMs are in a basic sense "aware", and even to some extent "sapient" (in Brandom's usage), i.e. they can justify claims and object to things at least locally. I follow Rorty on the question of consciousness, which is to say that consciousness has no deeper meaning in practice beyond "are you awake", and in philosophical discussion it's largely a proxy for "are you one of us" in some amorphous sense. | | |
| ▲ | PaulDavisThe1st 5 hours ago | parent [-] | | Well that's too bad, since Rorty completely misses the point on consciousness. Consciousness, the interesting part anyway, is qualia, or the "it is like something to be me" as Nagel put it. Intention, as Dennett used it in his book "The Intentional Stance" is the "are you one of us" angle, and is distinct from consciousness because as the book title suggests, it is a stance taken with respect to some other system (person, cat, dog, turtle, LLM) rather than a description of subjective experience. So I think it is your (and Rorty's) positions that are bunk. It is very, very far from clear that LLM's are in any basic sense "aware" let alone "sapient". They are extraordinarily able to manipulate language in a way that leads to text generation that has traditionally been assumed to indicate consciousness and/or intelligence. But we have no way of knowing if it is like anything to be an LLM, even though most of us are busy taking the Intentional Stance towards them. | | |
| ▲ | RGS1811 5 hours ago | parent [-] | | I guess I'd say that your qualia aren't a something, but they're not a nothing either. We can't say what they are. They're not publicly describable, and therefore not publicly attributable. As Wittgenstein would say, "They cancel out." And as I think Dennett himself would say, qualia are just Sellars's Given rearing its ugly head again. | | |
| ▲ | PaulDavisThe1st 4 hours ago | parent [-] | | Well, while I love much of Dennett's work, I emailed him after "Consciousness Explained" was published to say that I was disappointed that it appeared to describe what we are conscious of, not how we are conscious. He sent back a short note to say "You're probably right". |
|
|
|
|
|
| ▲ | BatmansMom 6 hours ago | parent | prev | next [-] |
| This sounds super interesting but 477 pages is a beast. Would you recommend anything about this subject thats a bit more approachable? |
| |
| ▲ | RGS1811 5 hours ago | parent [-] | | Brandom wrote a shorter version of the book, called "Articulating Reasons", which is available in full on his faculty page [1], or from booksellers. He's a very wordy writer (kind of exhausting to read, even for someone who enjoys philosophy), but if you get ahold of Making It Explicit, chapters 2 and 3 have the meat of the ideas I'm talking about here. [1] https://sites.pitt.edu/~rbrandom/Courses/2022%20Phil%20of%20... Edit: One of my ways of benchmarking new AI models is actually to type a version of this prompt in and see how sophisticated the response is: "Talk to me about the concept of deontic scorekeeping in the context of llms". You'll get good mileage out of that. |
|
|
| ▲ | sean_pedersen 6 hours ago | parent | prev | next [-] |
| Ok what about memory systems though (basically LLM modifies its own RAG context) - that should allow commits and changing dispositions over time? |
| |
| ▲ | Avicebron 6 hours ago | parent | next [-] | | RAG context memory and modifying the weights are two different things. As far as I know, models can't modify their weights reliably. | |
| ▲ | layer8 6 hours ago | parent | prev [-] | | Humans change over time due to what they experience. It’s different from waking up from a ten-year coma and having access to a record of what happened to yourself in an alternative timeline where you didn’t fall into the coma. | | |
|
|
| ▲ | bongofizzbuzz 7 hours ago | parent | prev | next [-] |
| I think in future, each company will built its own universe of mathematics consisting of prized discoveries. Maybe one Mathematical Universe per Company in the multiverse of mathematics. |
|
| ▲ | NooneAtAll3 8 hours ago | parent | prev | next [-] |
| tbf naming something "deontic" is not helpful |
| |
| ▲ | RGS1811 8 hours ago | parent [-] | | The irony of complaining about an academic jargon word in a thread about mathematicians. | | |
| ▲ | feoren 7 hours ago | parent [-] | | Mathematicians always define their terms exactly, in order to begin their discussion. Philosophers never define their terms exactly, because then they would have nothing to discuss. | | |
| ▲ | monknomo 6 hours ago | parent [-] | | Deontic - `Relating to or expressing moral duty or obligation` Deontology - `normative ethical theory that the morality of an action should be based on whether that action itself is right or wrong` |
|
|
|
|
| ▲ | simianwords 8 hours ago | parent | prev [-] |
| I don't think that's true. Why is it that I see more people using "shaped" and "load bearing"? |
| |
| ▲ | RGS1811 8 hours ago | parent | next [-] | | Because language is mimetic, and people are consuming huge quantities of AI-generated text. I.e. saying that an LLM can't be an equal participant in our language games isn't saying that it can't play by the rules. In fact that's what LLMs are trained to be best at. What an LLM can't do (at least with the current architecture) is sustain a commitment that it can be held accountable for later. It doesn't have durable "perspective". It can't update its priors. Maybe a new architecture will come along that gives LLMs memory plasticity, at which point they will shift into being individuated quasi-persons, but that's not what we've got now. I've written some about this here, if you're interested: https://elliotmilco.substack.com/p/deontic-scorekeeping-comm... | | |
| ▲ | itsalwaysgood 8 hours ago | parent | next [-] | | You don't consider recursive self-improvement a step towards 'updating a perspective'? I think you are also suggesting Mathematics and Language are the same thing. | | |
| ▲ | RGS1811 8 hours ago | parent [-] | | Recursive self improvement is a bulk process that shapes the weights of the next model. The weights are still frozen. Each individual "agent" would need to able to durably update its own dispositions to get to what I'm talking about. I'm not suggesting mathematics and language are the same thing, but I am saying (which shouldn't be controversial) that mathematics as a discipline exists within the medium of language, and that mathematical reasoning, discovery, and proof happen via people proposing, justifying, testing, and objecting to formulations in language. This isn't a metaphysical claim about whether math is real or captures inherent structures of the universe etc. | | |
| ▲ | itsalwaysgood 7 hours ago | parent [-] | | Ok, then what is an agent that provides a 'thinking' or reasoning loop around said model? You ended your first post with: "An LLM encodes the normative regularities of our linguistic/conceptual games into its weights, but it cannot be a real participant in our games because it is incapable of staking durable commitments or changing its dispositions over time." And so if there is an agent, a thinking loop, that can recursively adjust over time...how does your statement hold up? I'm particularly talking about 'staking durable commitments or changing its dispositions over time'. Recursive self improvement is all about these 2 things, especially when it's the 'outer thinking loop' doing the improvement. But you're right, Mathematics exists as a medium within Language. But then Language is just a transfer of ideas from one mind to another. This principle is the heart of what the article is talking about: a transfer of logical mathematical ideas passed from a human to another. And the sense of 'shared understanding' that comes with it. It has nothing to do with keeping score. It's about getting a 'sense' for why someone thought or rationalized an idea in order to connect some other idea. You get an 'ah-ha' moment, and some of those moments are gone, or a different path is taken to reach the moments now. That is what the 'weeping' is about (not that I agree with the article. I think anyone can spend however they want. Math doesn't have to change, it's that people want it to, apparently, because it's 'easier' to do something different, or for some other reason I don't know about). |
|
| |
| ▲ | calf 4 hours ago | parent | prev [-] | | Rather the opposite, AIs are arguably deontically asymmetric because they are powerful and virtual digital entities, and thus should be very concerning to the human species. Not because they current have no internal abstract state for learning state like humans and animals. |
| |
| ▲ | itsalwaysgood 8 hours ago | parent | prev | next [-] | | It would only be true if you consider Mathematics and Language to be the same thing. Both depend on Logic, which is where "deontic scorekeeping" comes in. You can only establish something (score) is true and believable by 'keeping score' and having some level of understanding about the language or math you are reading. The article is mostly referring to the connection that comes from shared understanding between humans, particularly mathematicians, as they build new shared understanding, and realize there are limits to what they can know and 'leave behind' logic for others to pick up and carry on. That connection has been severed, or strained a bit, but I'm sure new ones will be created. It just might be of the same flavor that mathematicians prefer, therefore they weep. And if I understand "deontic scorekeeping" correctly, these forums are a better representation of the concept. You will lend some amount of belief to what is said/read based on what you know. | |
| ▲ | contravariant 7 hours ago | parent | prev [-] | | Ideas are contagious and AI is our most powerful vector yet. I suppose we would see some interaction with AI in that sense, but it'll take place over the course of learn cycles and when AI starts ingesting its own ideas it typically goes wrong somewhere down the line. |
|