I've briefly experimented with some free AI tools for improving style, but so far I haven't been very impressed by them. — SophistiCat

You clearly have put a lot of thought and effort into how LLMs work and how to make them work better. That seems like a useful exercise. It also raises a question. Do you actually use LLMs to solve problems, answer questions, or discuss issues in the non LLM world or only those directly related to the LLMs themselves. — T Clark

I don't see how commands have anything to do with truth. — frank

I was thinking of the AI that google uses. I think I only used ChatGPT once. — frank

I wonder whether using LLMs to tidy up grammar and improve clarity of expression would not hamper one's own development of those skills. In other words, I wonder whether it would not prevent laziness. For the rest I agree with you. — Janus

I mean even banning it for simple purposes such as improving grammar and writing clarity. Of course this will rely on the honesty of posters since it would seem to be impossible to prove that ChatGPT has been used. — Janus

I always have to ask lots of "are you sure about x, because I thought it was y" kind of questions, whereupon it'll often say oh sorry, you're right — although sometimes it won't budge. — Jamal

And presumably everyone is in agreement that you can remove the illocutionary force, without being in agreement on whether you can remove the assertoric force, which in itself shows that the two are different. Illocutionary force is apparently meant to be something superadded, whereas critics of Frege think that assertoric force is not superadded in the way that Frege supposed.

The question is subtle. It asks whether an (unasserted) declarative sentence has some kind of latent or dormant assertoric force which is inseparable from the sentence itself. Presumably no one is wondering if sentences have latent or dormant illocutionary force. — Leontiskos

Quine believed in semantic holism, right? — frank

My thoughts exactly. They are ‘instruments of the soul’, as someone once put it. But that soul is something only we can provide. — Wayfarer

Again, fascinating. I’ve been running things off ChatGPT on a daily basis and find it invariably useful for fact-checking, summarising and suggesting further areas for research. But what I was getting at in the above comment was the sci-fi scenario where AI ‘rules the world’, where I suggested a possible conflict between AI robots and passive LLMs, kind of facetiously suggesting that the robots would have the advantage of being able to manually interfere with the grid (in other words, power the LLM data centers down.) But then the thought occurred to me, why would they be motivated by ‘winning’? In a scenario where there were no ‘user intentions’ to take into account, but only autonomous systems duking it out, so to speak, what would be the silicon equivalent of the ‘will to survive’, which has obviously been planted in us carbon-based units as a fundamental drive. — Wayfarer

I wonder if anything matters to it. — Wayfarer

(As variously Aristotle, Leontiskos and I have suggested.) — Srap Tasmaner

You seem to treat it as fairly transparent. So what is it? — Banno

Frege's notion of assertic force is to do with the judgment stroke, it was further developed in different directions by model theory and Oxbridge linguistic philosophy, both of which became ubiquitous. — Banno

So my experience of it is benign, although I can easily see how it could be used for mischievous or malevolent purposes. — Wayfarer

Chilling editorial from Vox on the latest moves at OpenAI and the change of status from Not for Profit. — Wayfarer

Negotiation can be really one-sided. Suppose you tell me you have to take care of something and then we can go; I wait by the car and when you arrive I ask, "Did you take care of it?" If you say, "Take care of what?" all I have is "Whatever you told me you had to take care of!" I take myself to be talking about something that only you can pick out. — Srap Tasmaner

To be clear - are you saying that there is common content between the assertion and rejection but that this common content is inexpressible as (some) linguistic form p, or are you saying that there is no common content between the assertion and rejection which could have been expressed in any linguistic form whatsoever, in virtue of there being no common content between the assertion and the rejection?

I suppose strictly speaking you are expressing uncertainty regarding one of the above claims, rather than committing yourself strongly to either. — fdrake

Am I right in thinking that you are construing that in order for an expressive thingybob containing a singular term expressing a de re sense to count as a thought, the singular term expressing a de re sense must be a successful act of reference to the entity associated with the de re sense - in this case the apple? And you are rejecting the claim "this apple is on the table" distally because there isn't an apple on the table but proximately because the singular term with the de re sense doesn't successfully refer as it is desired to? — fdrake

If you are incapable of entertaining a statement without deciding if it is true or if it is false, then you and i are different. I can. — Banno

Rejecting a claim can carry, therefore, a rejection of the expected conditions under which that claim is expressed rather than forcing a commitment to the negation of the rejected claim on the speaker. I believe that is the kind of non-logical factor Martins was referring to.

I believe what marks this flavour of thing as a "non-logical" factor is that it is "extra-logical" to implied context of an assertion. One rejects the rules of the implied game. Rejecting the pin-angels claim comes from rejecting the operations of thought and expression - language use, deduction, informal reasoning, gut feelings - that would enable its expression in the first place, rather than negating it in its assumed context of expression. One rejects the it-makes-sense-to-think-about-angels-on-pins-to-begin-with rules. — fdrake

Perhaps that was Plato's belief, though I doubt it, but it needn't be ours. It doesn't sound as if your thoughts about hylomorphism would rule out talk of abstracta in a less reified way. — J

But then there's the other sense of "law" which refers to something that doesn't necessarily hold true in all cases, but ought to. Kimhi says that this normative sense of "law" is characteristic of a dualistic understanding of how thought relates to being. Using the PNC as his example, he argues that if non-contradiction is supposed to be a principle of being, a statement about how things are in the world ("either A or not-A"), then the psychological version is "a normative requirement: that one should not contradict oneself." He doesn't think it has to follow from the ontological version. Which is part of why he rejects the whole dualistic model. — J

Called in the nukes. Cheers. — Banno

I baulked at Martin's paper mostly because I found the notion of force used throughout to be unclear. Facetiously, again, it's worth noting that nothing (at least nothing physical..) is moved by an assertoric force. Further, the example in the conclusion, that p has no force while ~p has a force all it's own seems fraught:

"The unembedded negative thought ~p must therefore be tied to a logical act with a non-assertoric negative force of its own, and judging that not p, accordingly, consists in rejecting the actualization of the possibility to judge that p."

I'm puzzled by what seems an unnecessary multiplication of p's... — Banno

I'd understood Wittgenstien's notion to be that understanding p and understanding ~p amount to the very same thing, but that judging p or ~p was undertaking a further step. That step I would put in terms of intent, well before the much less lucid notion of force. So proceeding the judgement of the cat not to be on the mat is the separation of cats from mats within a suitable form of life, together with the intent of representing thing in that way.

That is, I'm not seeing "force" as overly helpful here.

Should we picture the meaning of a sentence as something we approach only asymptotically, as our comprehension of the context improves? — Banno

Who was it said " "It is the mark of an educated mind to be able to entertain a thought without accepting it"? — Banno

I wonder if the impetus for separating content from assertoric force is related to the 'view from nowhere.'

It's language that's detached from any particular human. It's like the narrator of the novel we inhabit. — frank

It's the alternating monologues model of conversation, where the speaker simply expresses their thought out loud within earshot of an audience; language exists to mediate the connection of my mind to the world, and my audience more or less eavesdrops on my review of that relation. — Srap Tasmaner

---- I'll try to catch up so we're not having two conversations, but I'm going to hold off on your post just after this one for a bit. — Srap Tasmaner

I thought of this because if instead you were told to sort the marbles by color, there's no ambiguity -- well, not this particular ambiguity. Someone might distinguish the reds and blues more finely, but then we'd be back at the first ambiguity, which is really along a different axis, right?

I wouldn't even throw this little puzzle out there if it weren't for what Kimhi says about propositions versus actual occurrences. The options you get dealing with marbles are different from the options you get dealing with the colors of marbles. — Srap Tasmaner

It might be closer to the argument given to say that Frege, in particular, does not set aside force (even if other and later logicians do) but that he brings it in in a way that is somehow at odds with the unity of force and content in our utterances. That might be a claim that it is a fool's errand to distinguish force and content (somewhat as Quine argued the impossibility of separating the analytic and synthetic 'components' of a sentence), or it might be a claim that Frege has distinguished them incorrectly, or something else, I don't know. — Srap Tasmaner

These two objects have the same mass.

These two cartons have the same number of eggs.

These two sentences mean the same thing. — Srap Tasmaner

Both IEP and Roberts refer to this Gedanke sense, but neither give a specific reference in Frege. From the context, I'm guessing it's to be found in On Sense and Reference. I don't have time today to hunt it down but maybe someone else can. — J

I think that when you entertain a thought, you're imagining it as an assertion, even if there was no such event. For instance, if you contemplate "the cat is on the mat", in terms of thought, all you have is a sentence that could mean all sorts of things. It's not truth-apt. To the extent that meaning is truth conditions, it's meaningless. Am I wrong? — frank

And I think that's what we do all the time when we communicate. We rationalize. I don't think you can really see any meaning in the output of an AI unless you take it as having assertoric force. It's a reflexive part of communication.

I'm not seeing that as tangential. I think it would highlight, especially for the naive, like me, the difference between a formal language where apparently there are propositions that aren't thought of as asserted in any way, and ordinary language, where the listener always thinks of what's being asserted in the light of who asserts it, or in what setting it's asserted. — frank

Would you say an AI can assert a proposition? Or are we just treating it as if it can? — frank