Interesting post. Let me see if I understand you. You want to say:

I judge p is true = refers to a proposition that can be judged true
I judge "p" is true = refers to any proposition whatsoever

You're saying that only the former can be "recognized as true." What I don't understand is how this recognition differs from judging that it is true. Do you mean "recognition" to refer to a pre-linguistic or pre-propositional experience?

Frege says that the content is separate to the force, where p in "I judge p is true" is separate to "I judge_is true"

The content cannot be any possible proposition, but only those propositions that are capable of being judged true. — RussellA

There seems to be a misunderstanding about "capable of being judged true." The statement about the blue creatures is capable of being judged true, but as it happens, the correct judgment is "false." When Frege and Fregeans talk about truth-aptness, they're not referring to facts on the ground about what is the case. They're talking about the kinds of propositions to which assent could be given.

That said, it's true that Fregean "content" can't be "any possible proposition" if you agree with Rodl and others that there's a deep problem involving 1st person propositions and whether we can indeed separate the 1st personal from assertion.

This I take it is what J has in mind. — Banno

Yes.

It may be at p.93 here. — Banno

. It is indeed, thanks for tracking it down. The whole book is very good.

I'd like to express my admiration for your even-handedness. — Banno

Oh, I'm just conflict-averse. :wink: Actually, it's a carry-over from a couple of teachers who stressed that understanding a position is far more important, and far more difficult, than taking sides. One of them (RJ Bernstein, in fact), used to caution about viewing argument as a winner-take-all affair in which one person is shown to be right, the other wrong. Which was interesting, coming from him, who could argue the pants off anyone. I think his idea was not that you couldn't do it, but you wouldn't learn anything.

It's interesting how this parallels Quine's holism. If Socrates turned out to be a robot, then a large number of other entries in our web of belief would have to be changed. — Banno

Yes, nice observation. "Large number" hardly does it justice!

There's a fine essay by J. L. Mackie called "Locke's Anticipation of Kripke." It appears in his Problems from Locke but I can't find a link online. I'm thinking that @Count Timothy von Icarus might particularly appreciate it because it's all about Locke's views of essences. One highlight: Mackie gives Locke's view that "while it would be advantageous to use [substance-terms] to refer to real essences if we knew them, if we had clear and adequate ideas of them in our minds, it is a mistake, an abuse of words, to try to do this when we lack those ideas: we cannot 'remove that imperfection' [Locke] by merely intending to refer to a unknown real essence." Mackie believes this closely anticipates what Kripke will say about how reference actually works -- that we refer to designatable features rather than essences.

Yes, and there are those fortunate few who aren't sure!

It's metaphysically possible for Socrates to have been a chimp. — frank

But is it metaphysically possible for him to have been born of different parents? I don't think Kripke would agree (not that he's the boss).

I appreciate everything you've contributed.

I was thinking along these lines: Let's say someone wants to assert that Socrates is a Humandroid, defined as an android good enough to imitate someone like the historical Socrates. We could deny on this three distinct bases:

1. There are no Humandroids.
2. There is no evidence that Socrates was one, and a lot of evidence that he wasn't.
3. It is logically (analytically) impossible that Socrates was a Humandroid.

The first two refutations are empirical, and defeasible. The third, of course, is not, should it be true. So, is that what Count T is saying, when he says that Socrates is a man, not a chimpanzee? The question you asked about essential properties vs. necessary properties is the same question, perhaps.

Kripke addresses the point specifically in Naming and Necessity, using his pet example "Nixon":

If we can't imagine a possible world in which Nixon doesn't have a certain property, then it's a necessary condition of someone being Nixon. . . Supposing Nixon is in fact a human being, it would seem that we cannot think of a possible counterfactual situation in which he was, say, an inanimate object; perhaps it is not even possible for him not to have been a human being. Then it will be a necessary fact about Nixon that in all possible worlds where he exists at all, he is human, or anyway he is not an inanimate object. This has nothing to do with any requirement that there be purely qualitative sufficient conditions for Nixonhood which we can spell out.

. . . .

Suppose Nixon actually turned out to be an automaton. That might happen. We might need evidence whether Nixon is a human being or an automaton. But that is a question about our knowledge. The question of whether Nixon might not have been a human being, given that he is one, is not a question about knowledge [my emphases], a posteriori or a priori. It's a question about, even though such and such things are the case, what might have been the case otherwise. — Kripke, 46-47

The moral, I think, is that questions about necessary and sufficient conditions are modal, and hence not about what we know to be true in our world. Can we refer to "Nixon" without knowing he is a human being, in the same way that (to use another of Kripke's examples) we can refer to a table without knowing that it is made of molecules? As it happens, we do know both things, but if we knew as little about Socrates as Socrates himself knew about tables, we presumably could still refer to him, and be unconfused about him in possible worlds. So, in doing so, we don't have in mind some necessary and sufficient (or essential) qualities about him. We're not denying them, but we just need to be able to point to him, as it were.

But . . . "Anything coming from a different origin would not be this object." This is the lesson Kripke draws from his discussion about whether Queen Elizabeth could have been born of different parents. We should probably say the same thing about Socrates being engendered by robotics. Again, nothing to do with necessary and sufficient conditions.

Possibly not, but would it matter to what we wanted to say about Socrates' humanity? I'm not exactly sure what you two are disputing. Is it whether Socrates is necessarily a man, or whether, in referring to him, we are adopting a Kripkean understanding of proper names?

Have you guys read Kripke? This might help clear it up. Or check out "Rigid Designators" here.

In my terms, Frege is a Direct Realist in that he believes that force is separate to content. For example, in the world apples exist independent of any observer.

In my terms, Rodl is an Indirect Realist in that he believes that force is inside content. — RussellA

I don't want to dispute terminology, especially when it comes to a time-honored Thorny Problem such as realism, but the "content" that Frege is upholding isn't the apples, it's the proposition "There are apples in that tree". Frege probably did think the apples would be there even if you or I were not. But his concern was more about the truths of logic and math, which he insisted were "there" just as much as the apples.

As for Rodl, if force is "inside" or "accompanies" content, that might lead to a sort of indirect realism. But Rodl is clear that the entire picture is wrong, according to him.

As the force-content distinction makes no sense, it has no explanatory power. . . . What is thought cannot be isolated from the act of thinking it; it cannot be understood as the attachment of a force to a content. — Rodl, 36-7

Hence "absolute idealism."

However, since what a thought is, is not all that clear, there are compound issues with being clear as to the content of a thought. Perhaps this explains much of the puzzlement hereabouts. — Banno

No question. My thought1 and thought2 discrimination was trying to make some progress there, because even if we say, "OK, we're clear about thought2, it's the 'content' of a thought," we still are left with the uncertainty you describe about the nature of thought1. I would be fascinated to know if there is any psychological/scientific consensus on what a thought is, understood as a mental phenomenon. I would bet they're even more confused than the philosophers are. I suppose in good conscience they'd have to leave out any talk of thought2?!

The way things are: the tree is dropping its leaves.

A report about the way things are: "The tree is dropping its leaves".

A report of a thought: I think that the tree is dropping its leaves. Another: I thought "The tree is dropping its leaves".

A few more thoughts. Is the tree dropping its leaves? Is the thing dropping leaves a tree? I wish the tree would not drop it's leaves. Let's call that thing that is dropping leaves, a "tree".

A report about a thought: I wonder if the tree will drop its leaves.

There's quite a lot going on in each of these. — Banno

It's interesting how the first two stick out. The first one, if I'm understanding you, isn't a thought at all; it's meant to be something in the world. Probably a photo of the tree would be the best way to represent it. The second is supposed to be thought2, the "propositional content" of someone or other's thought1. That you invoke "the way things are" for both speaks to Rodl's perplexity about how this can be. All the other formulations are 1st-personal, even the 1st "report of a thought," because although it asserts the proposition, it's phrased as someone's assertion. (And the 2nd "report" is clearly referring to a thought1 thought, quoted.)

I know I've never really laid out a case, if there is one, for why Rodl's perplexity about "content" makes sense. Any case I make has to account for the usages you list. God knows, the force/content distinction allows us to say things we want to say about both logic and thinking. Which Rodl doesn't deny, he just thinks we shouldn't want to say those things, as they're based on a misunderstanding. I'm still wrestling with it. (And barely halfway through his book . . . )

The more I work with this, the more I'm realizing that the idea of "accompanying" a thought can be given so many interpretations that I wonder if it's even helpful.
— J

Perhaps you're over-thinking it. Rödl's point is that the truth of propositions can't be 'mind-independent' in the way that Frege's objectivism insists it must be. — Wayfarer

This is true. But he's also laying out a thesis about self-consciousness, and about why objectivity must be self-conscious, aware of itself as objective. This is where an innocent verb like "accompany" can become complicated. I'm still working to understand the nature of the accompaniment Rodl has in mind. Is it structural or experiential? Is it a thought like any other thought? etc.

I can't help but think that book you once mentioned, Bernstein's 'Beyond Objectivism and Relativism', might also be relevant to this argument. — Wayfarer

It is, but somewhat at a tangent. Bernstein's approach, through Gadamer, is hermeneutic. He's not focused on the logical/psychological structure of thought, a la Rodl and Kimhi, but more on the challenges to objectivity posed by the thesis that we have to draw a line between what is "out there" and our own ability to know it -- "Cartesian anxiety" is his term for this. There's a PhD dissertation for you -- connect Rodl and Gadamer!

What?? Not ready to declare total understanding of all things yet?!?

:rofl: — Patterner

Fortunately not a requirement! Although to listen to some people on TPF, you'd think it was a requirement, and anyone who isn't quite sure what they think, and pursues possible lines of inquiry, is perceived as "refusing to take a position" or "arguing sophistically" or something like that.

That would have been my answer as well. "Convey," of course, is equivocal, but I took Wayfarer to be referring to an actual "feel," not merely the report that one was experienced. The latter can be conveyed, in a sense, without remainder, but not the former. In any case, I'm not sure Rodl is limiting himself to such cases.

This means that while we can refer to, or quote, a first-person statement like “my hand hurts,” we cannot adequately convey the subjective experience it conveys in a third-person proposition. — Wayfarer

This is a generous, sense-making interpretation, but I'm not sure Rodl is really talking about subjective experiences like pain, for instance. I think he's saying, more radically, that any 1st person statement resists translation in the ways we're used to, such as quoting. And his reasons for thinking this -- one of which you gave -- are still unclear to me. More on this another time . . .

So "The tree is dropping leaves" is a thought, but what about that the tree is dropping leaves? I gather that, being an idealist, Rödl wants that to be a thought too. That strikes me as somewhat odd. — Banno

Just to be clear, would the full thought you're referring to, which I bolded, be "I think that the tree is dropping leaves"?

Did you mean a type of evidence of self-awareness or self-consciousness? Or did you really mean a type of self-awareness or self-consciousness? — Patterner

I think either interpretation could make sense, but the "hardcore proponents" a la Rodl probably mean the latter: Some actual self-consciousness is meant to accompany the thought of p. As opposed to a "soft proponent" like Descartes, who would presumably say merely that thinking p provides evidence that I must be conscious, and aware of being so.

I don't yet know what I believe about all this myself -- still locating the pieces on the board. (My own model might as well be, "I think p ...but slowly." :smile: ) So, sorry if I sound like I'm waffling.

Makes sense. The more I work with this, the more I'm realizing that the idea of "accompanying" a thought can be given so many interpretations that I wonder if it's even helpful.

Frege believes that force is outside content, such that "I think" is outside "p". This means that "p" doesn't require "I think".

Rodl believes that force is inside content, such that "I think" is inside "p", meaning that "p" is "I think". — RussellA

This is what a lot of the controversy on TPF has been about -- whether it's proper to consider merely thinking p as giving it some kind of force. Frege did indeed believe that force is separable from content, but he probably wouldn't agree that therefore you have to separate "I think" from "p" -- because he didn't believe "I think" gives "p" any force at all. Unless we're using "think" in that ambiguous way that can also mean "aver" or "believe".

Rather, I'm working toward understanding what we need to refer to in order to resolve a disagreement about what I'll call "essentiality" (or perhaps you have a term you prefer).

Well, given we agree that there are such things as tigers, stars, and daffodils, it would be whatever makes those things the sort of thing they are and not anything else. — Count Timothy von Icarus

So would it be fair to say that, in the example of the tiger, we must refer to the tiger itself? And a disagreement about the tiger's "essentiality" (or definition, if you prefer) would be investigated by saying, in effect, "Let's return to the tiger. Let's examine him more closely in the relevant aspects so we can learn which of us is right"?

Is that about how you see it? (I do too.)

Not really familiar with "choiceworthy." Is that a synonym for "desirable"?

Again, the meta-ethical dispute seems a long way off from Quine and reference, which was what piqued my interest.

OK, thanks for explaining.

Can you give examples of philosophers who don't think goodness has anything to do with desirability? — Count Timothy von Icarus

On my understanding, the Kantian deontological approach is not about goodness as desirability. It is about goodness as following the dictates of practical reason. A person who does this may be called good, though as you know Kant focused more on "right" as the key ethical term.

Now of course you can reply, "But isn't following the dictates of practical reason desirable?" or "Shouldn't we desire to be good in this way?" But that cannot represent the moral motive, as Kant sees it. To insist on desirability here is simply to misunderstand or disregard what Kant is arguing. For him, it's all about what is right, not what is desirable. Whether I find the good desirable is neither here nor there.

This is a huge topic. Do we really want to pursue it here?

How would they resolve this?

By considering what tigers are. — Count Timothy von Icarus

Sure. But please be patient with me and describe the process a little bit. Let me show you where I'm heading: It's got nothing to do with disagreement = no fact of the matter. Only a skeptic or a sophist would say there's no way to decide what a tiger is. Rather, I'm working toward understanding what we need to refer to in order to resolve a disagreement about what I'll call "essentiality" (or perhaps you have a term you prefer). And this in turn will set up, I hope, the problem of how this transfers over to philosophical disagreement about words. It's all in aid of clarifying the very important distinction you brought up between defining a word and "defining" an object. (Though I will also argue that we should drop that latter usage on grounds of awkwardness and ambiguity.)

If you find this tedious, just say so. I like it very much as a philosophical process of inquiry, but I know it's not for everyone . . . very slow-moving.

I differentiated different kinds of thoughts, in regards to baseball. What is the significance of it all? Is this a first step toward something? — Patterner

Hopefully. The OP was examining a common but still controversial claim -- that when we think, there is some accompanying "I think" that characterizes the act of thinking, and which according to some is also a type of self-awareness or self-consciousness. In order to give this proper consideration, it seems we have to do a lot of discriminating and disambiguating around "think" and "thought." I thought your post about baseball was very useful in that regard.

I for one would like to understand this issue better. I guess that's the "something" toward which I'm heading. Its significance might be to give me a better self-understanding, a clearer feel for what being me in the world actually is, thought I don't mind admitting that I find the topic interesting in its own right, regardless of any further insights.

I appreciate this thread as well as the general tone within it. Well done! I would not want to dampen it, and so I will not. Better to keep my piece for another time.

Cheers! — creativesoul

And cheers to you. I certainly like it when a thread's tone is inquisitive rather than dismissive or dogmatic. I'll watch for an OP from you . . .

the disagreement is that both parties agree that, for example, 'good' = the desirable, — Leontiskos

But they don't. That's the whole problem.

How would we know the correct definition of "tiger"? — J

Presumably if it specifies the things in virtue of which all tigers are tigers, while not having anything that isn't a tiger fall under the definition. — Count Timothy von Icarus

Sounds reasonable. Now suppose there was a disagreement about the first part. A and B offer different specifications of what the essential tiger qualities are. How would they resolve this?

Again, I know this sounds a little baby-stepping, but if you'll indulge me? I just want to lay out the reasoning as simply as possible, with your help.

An utterance does occur at at a time and place. Indeed, you seem here to run two ideas together - the first, rejecting the notion that a thought occurs in a particular language, the second, accepting that a thought occurs at a particular time. — Banno

Yes, I'm trying to develop a sort of checklist of what has to constitute an utterance and a "thought utterance" (thought1). For a (spoken) utterance, we want to say that it consists of a particular piece of language, spoken at a particular time and place. But do we want to say this for a thought1? I was proposing that the "time and place" criterion is necessary, but found myself uneasy about the "particular piece of language" one.

Possibly I wasn't clear about the reasons for my unease. It's mostly about common usage -- with the caveat that there isn't much common usage to call upon here, as "quoting thoughts" doesn't come up too often. My own experience of thinking suggests that language is supererogatory to thought. Countless times I've had a fully formed thought, and even a response to said thought, occur much more quickly than it could be "said" or comprehended in language. So would we want to allow that a thought1 -- the "utterance" of a thought -- could transcend a particular piece of language? Or is such a transcendence the very thing that makes it a thought2 -- a piece of content that can be the same from mind to mind, time to time?

I'm going to leave that alone for now, as I'm not sure how much depends on a decision.

And you seem to fluctuate between thought2 as "I think that the tree is an oak" and "The tree is an oak". From what Pat said, don't you need it to be the latter? — Banno

My concept of a thought2 is of a proposition -- "The tree is an oak." So yes, Pat and I are talking about the latter.

But on that account, Rödl is on the face of it mistaken, since these two sentences are about quite different things. — Banno

That would be true if the two sentences are meant to occur in two thoughts, two thought1s. But Rodl tells us this is not what he means: “This cannot be put by saying that, in every act of thinking, two things are thought: p and I think p.” If that is the case, it must also be the case that there aren't two thoughts. At least that's how I read Rodl. I suppose one could argue that "one act of thinking" could be imagined as including "two things" being thought, and that this is what Rodl denies. But I think he's saying something simpler: His claim about the "I think" is that it "accompanies" all thoughts in the sense of structuring them or constituting the conditions for their occurrence. I believe I mentioned somewhere earlier that the very term "the I think" may be unfortunate, as it suggests an activity on a par with regular thinking*. A lot of the back-and-forth on this thread is trying to understand what the nature of this "I think" could be . . . or is it just neo-Kantian wordplay?

*And a reminder here that we've noticed how Rodl probably has only propositional, discursive thinking in mind in this essay.

To your last point: yes, I think it is just a question of style. Rodl expressed himself sloppily, and your interpretation is correct. I think that’s what he would have wanted to say.

↪J

How would we know when one was correct?

Well, suppose someone gave a definition of "tiger" as: "a large purple fish with green leaves, a tap root, and horns." Clearly, this is off the mark and we can do better or worse (although in this case, not much worse). — Count Timothy von Icarus

Good. But putting the question in terms of "correct" rather than "incorrect" has a point, so if you wouldn't mind playing interlocutor with me, I'll ask again: How would we know the correct definition of "tiger"? This is going somewhere if you'll bear with me!

Let Think1 = I think "my hand hurts"
Let Think2 = I think my hand hurts

Think1 means that I am thinking about the proposition "my hand hurts". I can think about the proposition regardless of whether my hand is hurting or not. I can know that my hand hurts and think about the proposition "my hand hurts" at the same time, but my hand hurting does not require Think1. I have no propositional attitude towards the proposition.

In Think2, "I think" means "I believe". Therefore Think2 means "I believe my hand hurts". But this is not a valid expression, in that if my hand hurts, this is not a belief, it is knowledge. — RussellA

You've got the "think1/think2" distinction down perfectly. If I understand the issue you're raising, it's whether an experience such as "my hand hurts" can be said to have a thought2 version, in the same way that "The oak tree sheds its leaves" can. I'd have to give this more reflection, but I see the point you're making. I'm inclined to agree that our beliefs about private sensations don't add force to a proposition such as "My hand hurts."

What I'm wondering is, do you think this challenges the thought1/thought2 distinction as such, or is this a special case involving what used to be called "incorrigible knowledge"?

Thank you for your time. — Patterner

You're welcome. I don't at all mind trying to explain this stuff -- if I can't do it, there's something wrong with either the ideas or my understanding of them!

focus on the idea of a thought as being merely entertained qua thought, as something to ponder or question.
— J
As opposed to what?? — Patterner

This introduces the force/content distinction. When I say, "I think X," in ordinary language it can mean two things (and probably more). It can mean, "Right now I'm considering the thought X, just as an idea. [content]. I don't know whether it's true or false, and I'm certainly not prepared to say I believe it. I'm just formulating the thought." Or, it can mean, "Yes, I think X, I believe X is true. [force]" This is giving an assertoric force to the thought of X: not only are you thinking X in the first sense (which you would have to do in order to have any opinion about it), but you are judging it to be true.

Compare:

"I think, 'E=MC2' -- hmm, interesting idea, wonder if it's true."

and

q. Do you think that E=MC2"
a. I certainly do.

But I couldn't make head nor tail of the op. I'll try again. — Patterner

Yeah, see if it's any clearer. And not too far into that thread, @Banno gives a good overview of how Frege (a late 19th century logician) first formulated all this.

Your think1 and think2 seem to parallel the difference between an utterance and a proposition — Banno

Is that what you have in mind on your think1 and think2? — Banno

I think it's very close. "Think1" is meant to refer to the "utterance" of a thought, if you will -- the specific time and place when the thought occurs in a brain. "Think2" is meant to be, quite simply, a proposition, same as in Davidson's discussion of "said." If you or anyone else is interested in really exploring these parallels, it's fascinating to read through "On Saying That" and substitute, as you read, "think" for "say" or "said" (and all the other various cognates). You get things like:

"We are indeed asked to make sense of a judgment of synonymy between thoughts . . . as an unanalyzed part of the content of the familiar idiom of indirect quotation of a thought. The idea that underlies [this] is samethinking: When I say that Galileo thought that the earth moves, [and so do I], I represent us as samethinkers."

and

"[Quine] now suggests that instead of interpreting the thought-content of indirect discourse as occurring in a language, we interpret it as thought by a thinker at a time."

This is indeed what I'm trying to clarify with thought1 and thought2.

Why, then, do I say "very close" rather than "exact"? I do see a difference between thought and speech, as follows:

We all know what it means to quote a sentence, an utterance, but it is not so clear what we mean when we talk about "quoting a thought." To quote an utterance is surely to quote the language used; but must that be true of what we report about a thought? Intuitively, it seems wrong. My thought in English is going to be the same as your thought in Spanish, even at the level of quotation. To put it another way, what makes a thought "thought1" rather than "thought2" is not a matter of holding the language steady, but of occurrence in time: "thought1" specifies my thought or your thought at times T1 and 2; "thought 2" specifies what we are both thinking about.

This difference (if it is one) between saying and thinking is illuminated by the last idea Davidson offers us in "On Saying That":

If we could recover our pre-Fregean semantic innocence, I think it would seem to us plainly incredible that the words 'The earth moves', uttered after the words 'Galileo said that', mean anything different, or refer to anything else, than is their wont when they come in other environments. — Davidson, 108

In other words, the Fregean separation of utterance and proposition does create a certain artificiality in our analysis of what words do. What might this suggest about thinking? Is it "plainly incredible" that we should even make a separation between thought1 and thought2 if that separation is supposed to treat thought1 as a "quoted" item with no semantic content? Undoubtedly that is what some reductionist psychologists might prefer to do. But I'm suggesting that treating thought1 as "extensionally equivalent" (cut me some slack here!) to "neurons 4545d + 2234v doing XYZ at Time T1" is going too far.

I’ve been rereading Davidson’s “On Saying That” and noticed an interesting parallel with our “I think p” question.

The essay is about indirect discourse and quotation. It discusses the logical structure of a sentence such as “Mary says x.” One of the issues is that, if we’re meant to be quoting Mary here, you can’t just substitute logical equivalents and have it come out right.

Mary says, “The evening star is out tonight.”
Mary says, “Venus is out tonight.”

“The evening star” and “Venus” have the same extension but different meanings. So it’s quite possible that Mary said the 1st sentence but did not mean the 2nd (if she didn’t happen to know that the evening star was Venus).

What I realized was: This structure parallels “I think p” using “says” as the verb instead of “thinks”.

(I’ve switched to “I” rather than “Mary” to remind us that this is not an issue that depends on the noun or pronoun.)

A. I think1: “A wolf is a carnivore.” (think1 = have this thought at a particular moment)

This pretty clearly can’t be translated to:

B. I think1: “Canis lupus is a carnivore.”

Not only might I not know that a wolf is Canis lupus, but more importantly that was not actually what I thought, according to statement A. Statement A uses think1 to provide a quotation of my thought.

C. I think2 a wolf is a carnivore (think2 = entertain or propose this propositional content)

The question is, is this translation OK?:

D. I think2 Canis lupus is a carnivore.

Has the meaning changed? Or am I more likely to respond, “No, it’s the same thought. I meant the same thing in both cases.”

let thought1 be understood as unasserted, without force, "merely thought".
— J
Do I have to read much (books? paragraphs? posts?) to learn what this means? — Patterner

:grin: Well, you don't have to. . . . As a short cut, forget about "thought1" -- this is just me trying to specify some terminology -- and focus on the idea of a thought as being merely entertained qua thought, as something to ponder or question. Are you familiar with the force/content distinction? The OP of "A challenge to Frege on Assertion" gives an overview. Take a look and then I'm happy to try to clarify.

In this way it is not an "I think" that accompanies Pat's wondering, but a "we think". Pat is not making an individual judgement so much as participating in a group activity. — Banno

I wish Rodl had devoted more consideration to this. Or perhaps he does, as I've not finished the book yet. Certainly such a "group activity" could be equally constitutive of thought as an "I think" -- doesn't Cassirer talk about this somewhere in Symbolic Forms? It's been years . . .

I'm working towards Chapter 4, The Science without Contrary — Wayfarer

I'm up to 5.6, Nagel's Dream. Much more familiar territory for me.

Lots of good stuff in your reply. Let me begin by focusing on this:

A key idea here is that definitions can be more or less correct — Count Timothy von Icarus

How would we know when one was correct?

Nagel says that "we can't understand thought from the outside."
— J

He says, rather, there are thoughts we can't understand 'from the outside' — Wayfarer

My citation was actually a direct quote from The Last Word, an earlier work than the "Evolutionary Naturalism" essay, I'm pretty sure. I suspect that when Nagel wrote "thought" in that earlier citation, he had in mind something more like "reason" or "justification." So his subsequent descriptions, which you quote, are a little more precise. In any event, yes, this is the territory Rodl wants us to consider and, to a significant degree, amend.

We're trying to understand the ontological status of intelligible truths: are they merely constructs of human cognition, or do they have an independent, universal existence that reason can apprehend? — Wayfarer

I like your whole discussion of this -- very clear and insightful. I'm not entirely sure that your first alternative, above, is what @Leontiskos had in mind when he wrote:

An example of a mental distinction would be a model where there is only one (temporal) thought under two different guises; thought1 and thought2 can be distinguished mentally but these notions do not correspond to separate realities. — Leontiskos

I suppose it depends on what more you want to say about the nature of the "independent, universal existence." For instance, could this existence inhere in what L calls "one (temporal) thought under two different guises"? Is a guise close enough to an existence? Or do you want to hold out for "separate realities"? Talk at this level of abstraction can plunge us into huge terminological problems, as you know.