You are but a spec in this technology — schopenhauer1

No, no I'm not. Neither are you, though evidently you think you are. I am a human being, not a network device, and I'm not part of the internet, but a user of the internet.

There are two possibilities here, I believe, and you needn't tell me which one applies if you don't want to:
(1) You think you are part of the internet.
(2) You feel you are part of the internet.
We may be able to talk about (1). I am not qualified to address (2).

But is it for his work or his biopic potential — apokrisis

The work. Deflation about truth. Subjective probability. Ramsey sentences. Other odd bits here and there.

It's an interesting moment. Quine had very strong nominalist leanings, did not want to allow sets into his ontology, but "To be is to be the value of a bound variable." We quantify over sets in our theories (i.e., models), so to accept that we are committed to their existence is a *pragmatic* decision par excellence.

This is about control right?

Because it becomes a hierarchy where you become a secondary character in your own life. You just support those who matter to the creation of the tools. — schopenhauer1

So Hank Aaron was a bit player in the story of the guy who made his bat?

I think you need something more there.

On my reading of the current situation in anglophone philosophy, which is admittedly limited, Ramsey cuts a wider swath than Wittgenstein. For what that's worth.

That is why I see pragmatism as the core of the philosophical project - the right balance between the logicist and empirical tendencies. — apokrisis

I think that's what we all want, and maybe why the mid-century titans of analytic philosophy, Quine and Sellars, each claimed the mantle of pragmatism at some point.

AP can get to lost in wonder at the power of predicate logic, for example. Ironic that is must set itself against dialectical logic as being “too metaphysical” for this boundary-policing reason. — apokrisis

There's history there, not all of it pleasant. But it is a simple fact that it is the analytic crowd that took modern science seriously, from Russell onwards. The more Hegelian continental tradition (at least because more Marxist) turned its back on science, or arrogated to itself the task of fixing science, rebuilding it as something else.

The generally pro-science sympathies of analytic philosophy, on the other hand, never fit comfortably with the linguistic turn, so there's a longish period when science is not particularly welcome in either camp. That seems to be all over now. I'm not convinced the continental tradition can find its way back, but analytic philosophy has changed a lot from the mid-20th.

Maybe it will embrace your dialectic yet. Maybe it already has, but it's hard to recognize in those funny clothes.

Gosh, in so many words? I dunno. I'm tempted just to say "everything."

Once epistemology is naturalized, and ontology defined as identifying what entities your theory commits you to, it seems the role of philosophy is to tidy up logical issues that might get in the way of, if not the practice of science, then the understanding of science.

The nature of mathematics and logic, for instance, are things that mathematicians and scientists are not to be bothered about; we philosophers will deal with that on their behalf. If mathematicians need sets, for example, even if we're not happy about it, we'll deal with the philosophers who say they can't have them.

I honestly think there are statements almost directly to this effect, early and late, but it's the whole tenor of his work, to my mind. Plenty of philosophers ignore aesthetics, for instance, or ethics, but I always thought Quine didn't so much ignore them as exclude them. Do you read him differently?

It appears to be a sequence of thoughts, of ideas. — Art48

Renoir or someone - I forget - once said to Mallarme, "Maybe I should try my hand at writing poetry. I have so many ideas!" To which Mallarme responded, "Alas, poems are not made of ideas, but of words." In a similar mood perhaps, William Carlos Williams defined the poem as "a small machine, made of words."

As it happens, John Huston's film of The Maltese Falcon is a nearly word-for-word adaptation, through a lucky historical accident. But that doesn't quite make it a new encoding of the novel; it is a new work of art that tells almost exactly the same story, and in a way we can recognize as similar. Nearer to the novel than any translation or paraphrase into other words could be, I think.

It's an interesting question.

Many may see the job of philosophy is to be anti-science - its challenger rather than its supporter. — apokrisis

Ick.

But I have sometimes thought there might be a role for philosophy if rigorous inquiry is possible for some domain that for some reason is not quite amenable to natural science. Mathematics and logic are bit like this, and in old books, but not newer, were often labeled sciences. And I have entertained the possibility that phenomenology could have such a character.

Quine had this idea that philosophy is the handmaid of science, and I never found that convincing either.

Drawing a hard line between domains of human inquiry seems a mistake. — apokrisis

Agree, it's just hard to explain in what sense philosophy is a type of inquiry, lacking candidates with wide support for what its domain is. Inquiry into what? <insert crappy answer, handwaving optional>

we can say we are natural philosophers — apokrisis

That's an appealing suggestion.

It doesn't help your case to implicitly compare yourself to perhaps the single most important figure in the development of modern science. Maybe aim your telescope a little lower.

This thread might provide a better opportunity for discussing the subjective and objective than this vague thread. The interpretation of a work of art is a good test case in part because, as I think @Dawnstorm suggested, there's stuff in there the artist didn't put in deliberately. But it is, objectively, there. Some stuff you find only if you bring it with you, so subjective.

There's also the peculiarity that what's not there, might not be there on purpose, which happens with expression not intended as art too, but plays out differently with art. There are various ways this is done for various purposes with various effects. Always cases. Since it's not there, but the place for it is, this is particularly interesting spot for addressing the objectivity and subjectivity of interpretation.

because he actually understands QM — Tom Storm

Assuming that's a thing people do.

But knowledge and understanding are on a scale anyway, so it's tempting to say that you only need to know enough about how QM works to know what kind of theory it is and how it intersects with metaphysics, so there should be a level of detail below which physicists will care, but for philosophers these are differences that don't make a difference.

In theory, but in practice a lot of us just aren't clear what sort of animal QM is.

And presumably he would see far more clearly than others what the actual gaps in QM are likely to be, where the science 'runs out' and the point where the metaphysical interpretations can begin. — Tom Storm

But on the other hand, will he recognize metaphysics, or where metaphysics should go, when he sees it? Or will scientists always perceive gaps as places to be filled in with more science later? The working hypothesis ought to be the latter. I doubt there is ever a clear point at which you can't do any more science, and it's probably best not to think, even in theory, that there is a lawn for us to chase them off. So maybe not recognizing the opportunity to go metaphysical is a feature rather than a bug.

So I'm back to thinking that philosophy is defined as whatever's left over, that it's whatever science hasn't been able to do much with yet. A mere science incubator — or nursery! — as it always has been. Maybe that's okay if we take that role seriously and try to raise good responsible little sciences.

We have not expanded the wealth of the world by expanding opportunity, we've done so by stealing opportunity from future generations via over-exploitation of non-renewable resources. — Isaac

I'm broadly in agreement, of course, but there are still some interesting puzzles here. The non-renewable resources are finite (but may not be finite in a way that matters to us if in a hundred years we're mining asteroids with robots), so that fits your story that there is a fixed amount of wealth. But part of my point was that what has value depends on what you can do with it. Rare metals don't have inherent value; they have value once you invent electronics that need rare metals for components. (There is a cobalt mine re-opening in the US because cobalt is needed for the batteries of electric vehicles and wind turbines. Cobalt is precious again.)

Leaving that aside, what is the fair way of handling finite resources across all future generations? They will run out, unless we go extinct or leave the planet. Do we calculate how much fossil fuel we can burn per year working backwards from the sun going supernova? Every lump of coal we burn is a lump of coal countless future generations have a claim on. I don't think there's any plausible solution to that sort of double-bind without the invention of new possibilities. And I think we can do that.

Humans being kinda dumb, and greedy, even that doesn't always work. I think of the example of Norman Borlog and the green revolution. It's a tragic story, because he only intended his work to provide a stopgap, a way to relieve starvation and buy humanity 20 or 30 years to get its shit together. Instead, it was rolled out everywhere at terrible cost, and integrated into the new world system to enable even more population growth and the ever faster consumption of resources. In some ways, he's more to blame than anyone else for our current climate catastrophe, but it's not what he wanted at all.

I wasn't aware of the distinction between Possible Not and Possible when I asked my question earlier. It's more logically pedantic than what I had in mind. — Luke

I do think it's because they do often go together for the sorts of things we reason about. ("He might be on time, or he might not.")

Possible Not and Possible both denote possibility, referring to "some" as opposed to "all" or "none". However, while I accept that Possible Not and Possible are technically different to each other, I think they can still be viewed as "opposed to" or distinct from Necessary and Impossible, respectively, each in the same (but inverse) way. — Luke

That's quite reasonable, but relying on "opposite" to mean different things will just lead to trouble. In the old square of opposition different sorts of pairwise contrasts get different names.

Can you give me a simple explanation as to why you switch from talking about whether or not "the book falls" (future, or perhaps tenseless)), to "the book is falling" (present)? — Metaphysician Undercover

Yes, because I was — perhaps inadvisedly — using an example of a temporal event but trying not to prejudice the interpretation of the modality, so talking about this temporal event tenselessly.

I never even checked to see if there are problems if you read the example with tense in mind. If that comes out badly, I apologize for the confusion. It's just an artifact.

The example I went through with @Luke ended up being much easier to write.

You say a lot of things I agree with, but apparently thinking that I don't, because there's still some confusion about the handling of "not." One point I think I clarified somewhere else is that in something like "The book is not red," we place the "not" before "red" purely as a matter of English convention, and because, with no other scope in play, there's no ambiguity. But that's still a proposition-level "not" and a more verbose way to say the same thing is "It is not the case that ball is red." It's sometimes convenient to pretend that "not red" is something we might predicate of an object, but it isn't really. "Not red" is not a syntactical element of the proposition at all, and therefore not a semantic unit either. "Red" is, as a predicate, and "not" is, as an operator on the entire proposition. "Not" doesn't apply to predicates or objects. As long as we keep in mind the logical form of what we're saying, I see no harm in using ordinary English, but I'll switch to "philosophical English" when there's ambiguity to be avoided.

Does logical negation constitute an opposite? — Luke

I think so, yes, at least for the simplest cases. There may be some subtleties to the linguistics I can't call to mind at the moment.

Okey doke. Here's a link to that discussion. Having a look at Collingwood. Cheers.

and all the other ontological isms are metaphysical positions. — T Clark

Gotcha. But those are positions not statements. I assume you don't only mean statements like "materialism is true"; that's a weird sentence anyway, and hardly a statement of the position of materialism. Would you look for statements that maybe make up the position we call "materialism" and mark all of those statements as neither true or false?

I just like to see concrete examples. What's it look like in practice? Do you find yourself pointing to specific statements and saying "That's metaphysical and therefore not truth-apt"?

metaphysical statements are not true or false — T Clark

What's an example you reach for to explain this idea? (This is Collingwood, right?)

My question was why Not Necessary (◇~) is not also equivalent to Possible (◇).

In the section quoted above, you start out referring to Not Necessarily (red), which means that "there is at least one non-red marble to be picked". But you then make the subtle switch to talking about Necessarily Not (red), — Luke

There was no "subtle switch."

Not Necessarily Red is equivalent to Possibly Not Red.

Not Necessarily Red is consistent with Necessarily Not Red, which ought to be obvious because Possibly Not Red is clearly consistent with Necessarily Not Red.

If Not Necessarily Red (Possibly Not Red) is equivalent to Possibly Red, then Possibly Red is consistent with Necessarily Not Red. But it's not, therefore, Not Necessarily Red is not equivalent to Possibly Red.

If Not Necessarily (red) means "there is at least one non-red marble to be picked", then I still don't see how that differs from Possibly (red), which means that "at least one of the marbles is red" and that not "all the marbles are red" (otherwise red would be necessary). — Luke

What you're missing is that we only have Not Necessarily Red — so we know at least one marble is non-red — but we don't have Not Necessarily Not Red (i.e., Possibly Red), so it is entirely consistent for the set of marbles to be all non-red.

There is a kind of metaphysics which is just language on holiday. It's fun to follow its convoluted paths, but it's ultimately pointless. — frank

Opportunity to quote Ryle's quip, on being elected Waynflete Professor of Metaphysics, that a chair in metaphysics is like a chair in tropical diseases — doesn't mean you're supposed to be in favor of it.

Much more respectable business these days, of course, than what he had in mind.

Isn't Possibly P also ~▢P? — Luke

Should probably add that ◇P is consistent both with ▢P and with ~▢P.

With marbles, that's to say that there being at least one red marble in the set is consistent with all the marbles in the set being red, and with not all the marbles in the set being red (but at least one is).

~▢P by itself just says 'not all', P is not true of everything in the domain. Might not be true of anything.

There's definitely a limited pot of stuff and labour, and at the end of the day, that's what things like wealth and value are for. — Isaac

In the abstract, maybe? But practically there are two issues: first, it's not the total at a given moment that matters, but what's available, what's controllable, and that changes; second, we have credit, and the future is a long time, even at a discount.

Ownership is always about power. — Isaac

There's an old Carl Sandburg poem: guy tells a tramp to get off his land, the tramp asks what makes it his, guy says he got it from his father — where'd he get it? Got it from his father. Where'd he get it? Well, he fought for it. Alright then, I'll fight you for it.

I own my phone here because I have the power to do what I want with it uncontested and you don't. — Isaac

Hmmm. That sounds like right not power, but power is ever so slippery, and we don't want to confuse it with capacity or force. We both have the capacity to doom scroll on your phone, but only you have the right to, and I'm obliged to respect that right. You're saying further that there is some entity (perhaps yourself and some of your friends who work out, perhaps cops and courts, perhaps just the vocal disapproval of surrounding citizens) with the capacity to force me to respect your right, so rights come down to power in that sense, and thus property as well.

That's as may be, but how does it help us?

So in taking a European-type possession, the British stole something because they took away power. — Isaac

I mean, I'm getting the rhetorical effect there, but you've talked yourself into a circle: now power — the guarantor of property — is itself a possession that can be stolen. What would underwrite possession of power, since it can't be power? Is it going to be right after all?

(I hope it doesn't seem like I'm nitpicking here — I think this is the most productive disagreement we've ever had. You take care of the forest, and I'll look after the trees.)

Maybe the extent to which wealth is the basis of a society is the extent to which that society defines itself by in-groups/out-group distinctions, such that "I own..." has real meaning, whereas for societies where out-groups are rarely even encountered, wealth might be less relevant as there's not much meaning to "we own..." if there's no-one that excludes from those rights. — Isaac

I think that tracks. No anthropologist here, but we tend to name isolated societies for the word in their language that just means "people" right? But from my studies in college (wonderful lefty anthropologist who taught us from a book called Europe and the People Without History) and my son sharing what he's learned from Graeber and Wengrow's The Dawn of Everything, population contact goes back as far as you want to go. The isolated tribe in a state of nature is mostly myth.

So the story of property is the story of power is the story of in-group/out-group. The first use of power is the denial of some land use by an out-group. With such a social technology available, a group within a group could deny the rest of the group use of something, claiming ownership the other members of the group are bound at spear-point to respect.

Now if that's the story, then the Europeans are just another out-group, and rather than being denied use of land and resources, they have the capacity to deny those already here such use. Seems like more of the same, not a break with history. The difference may be qualitative though, if the Europeans have a much more comprehensive conception of use and what exclusive rights they're inclined to enforce.

This starts to look a bit Hobbesian, or Trumpian, or even Hitlerian — it's always the struggle for power, everyone's a crook it's just that Europeans were better at it.

That's not where we want to end up is it?

Would be nice to cast a fond glance back toward where we started, with the nature of employment, the connection between risk and profit, all that. It's not that far at all, if it's all power struggle all the time, but I'm not convinced. I think there are genuine changes between the deep past and the present, and those changes include new forms of political economy that don't just amount to gang warfare. Economics may be the science of decision-making under scarcity, but that scarcity is relative, defined by opportunity, and not necessarily some definite depletable amount, but a pool we can grow and shrink by our actions.

Isn't Possibly P also ~▢P? — Luke

No, it isn't. ▢P ↔ ~◇~P and ◇P ↔ ~▢~P. That's the standard, and it maps onto quantifiers in an obvious way.

I wouldn't think it follows from "the marbles in the urn are not necessarily red" that there must be at least one marble that's not red. I would think it follows from "the marbles in the urn are not necessarily red" that all the marbles in the urn are (possibly) red. — Luke

Dang. I'll try again.

We have a set of marbles you're going to pick from. We're going to look at claims about what necessarily results when you pick and what possibly results when you pick.

If when you pick a marble, you get a red one, without exception, that's necessity. Necessity is like a universal quantifier with a restricted domain. Necessity means all the marbles are red. There's only the one result possible when you pick.

If when you pick a marble, you at least once get a red one, that's possibility. Possibility is like an existential quantifier with a restricted domain. Possibility means at least one of the marbles is red.

That might be hard to see at first, even with the analogy to ∃, but suppose you pick all the marbles and not one of them is red. Then we would say it was not possible to pick a red marble from that set. I think that fits our intuitions perfectly. To say it is possible to pick a red marble from that set must mean that there is at least one red marble to be picked.

Not Necessarily is Possibly Not, so that's our existential quantifier. It says you can pick a non-red marble from the set because there is at least one non-red marble to be picked. If you can't pick a non-red marble, that's because all the marbles are red; that's the situation we say we are not in.

And it should be clear that there being at least one non-red marble in the set is consistent with there being only non-red marbles in the set. That is, Possibly Not Red is consistent with Necessarily Not Red.

From this we conclude that Possibly Not Red is not the same as Possibly Red, because if it were, we would have to say that Possibly Red is consistent with Necessarily Not Red; we would have to have a set of marbles at least one of which was red and all of which were not red. No go.

Better?

I asked about non-necessity - why it's not equivalent to possible/possibly - and you've responded that we need to beware of necessity...? But I'm assuming non-necessity. — Luke

Ah, okay, I see what went wrong now.

My point was that we don't derive Possibly ~P from Possibly P, because for all we know Necessarily P.

Here you have Not Necessarily P

~▢P

and you want to know why it's not equivalent to Possibly P

~▢~P

We could try proving that, but we don't have any axioms, so let's try an example.

I've got my usual urn of marbles, and I tell you that the marbles in the urn are not necessarily red. You can conclude, given that the urn is not empty, that there is at least one marble in the urn that is not red. Good so far? By restricting our domain to an urn of marbles, we get to cash out the modal claims as quantifiers. Can you conclude that at least one of the marbles is red, that the urn contains a mix of red and not red? No, you cannot. "There is at least one non-red marble in the urn" is the entirety of what you know; it is a complete translation of "The marbles in the urn are not necessarily red."

Of each marble in the urn, it is false that it must be red. Clearly, that condition can be satisfied by it being false of every marble in the urn that it is red. (That is, it being true of no marble in the urn that it is red.) If this turns out to be the case, we would have that it is necessarily false of each marble that it is red. That's consistent with it not being necessarily true of any marble that it is red.

Since Not Necessarily P is consistent with Necessarily Not P, it's not equivalent to Not Necessarily Not P, else we'd have a contradiction. Or we can say: Possibly Not P is consistent with Not Possibly P, so it's not equivalent to Possibly P.

Sorry this is so repetitive. I'm never sure which may of putting things will be clearest.

But if there's a limited pot of wealth, then what material form could that thanks take other than a bigger than before share of that pot. — Isaac

But is there a limited pot of wealth? I buy my IBM mainframe on credit backed not even by how much fiat currency is attached to my name within the banking system, but on how much the bank expects me to have available to me over the coming five or ten years. There's a lot of something going on here, but it doesn't look much like one doubloon being passed around and bits getting snipped off it.

Truth is, I assume you're right. If we could cash out all the social systems in play, we would eventually get down to rocks and plants and water and animals, and it's inconceivable that anything else actually sustains us — you can't eat notional value. (Now we've wandered into schop's thread!) So I'm arguing against myself here along with you, but in part because an idea like theft — well that's social right? How far would you want to take the claim that British colonists stole North America from its inhabitants at the time? Did they own it? These were societies too. Some of them famously said no one owns the land, but there were a lot of wars over territory, so a lot obviously believed they could at least defend claims to exclusive use. Were their claims to ownership "natural" somehow? Or stronger than our later claims because earlier? Is that how we divvy up the earth — whoever gets there first?

I believe in the material basis of culture and society; I'm just wary of analyses of that basis in cultural or social terms, as if the basis of society was a certain amount of wealth, wealth that could be stolen.

Not Necessary (◇~) is equivalent to Possibly Not (◇~). — Luke

Yes, and I should add I think that matches our intuitions: if something isn't necessarily the case, then it's possibly not the case.

It is unclear to me why Not Necessary (◇~) is not also equivalent to Possible (◇). — Luke

The problem is necessity.

Saying something is true might seem to entail that it could be false, but it doesn't, because what you're saying might be necessarily true. 3 + 4 is 7 doesn't entail that 3 + 4 might not be 7.

So it is with possibility: to say that P is possible might seem to entail that ~P is also possible, but we can't do that because it may be that P is necessary, and that's why it's possible. Same as above: it is possible that 3 + 4 is 7, because it is, and it is necessarily.

Does that make sense?

It is absolutely true that we tend to reach for "possible" in epistemic situations that have a kind of constructivist flavor to them, that we say possible when it's all we know, and we don't have actuality or necessity in hand. (That's what I mean by "constructivist" there, that we use possible when we have not demonstrated actual or necessary.) So in a lot of cases where we want to say "possible" we really want to say "possibly not" too as a way of covering our bets; but that's a mistake: we need to demonstrate possibly not, because for all we know it will turn out possibly not isn't actually an option.

Of course that only matters if you're working in a domain where necessary makes sense, and for a lot of the everyday matters of fact we deal with, we often assume we can rule out necessity. "He might be on time," in everyday reasoning, does seem to entail that he might not. Whether we should make those assumptions, I dunno.

Possible is opposed to Not Possible. Isn't Possible also opposed to Not Possibly Not? — Luke

Meaning what? What does "opposed to" mean? Does it mean distinguished from, or actually is the negative of? I take opposite to indicate the negative, and anything else is ambiguity we can do without.

So, no, Possible (◇) is the opposite of Not Possible (~◇), and nothing else.

The opposite of Necessary (~◇~) is Not Necessary (◇~).

While we're here, we can do "necessarily not," which MU mentions now and again: that's ~◇~~, which reduces to Not Possible (~◇), or impossible, which, duh. So we can also say that the opposite of Possible is Necessarily Not — and it isn't anything else.

We could, if we liked, take impossibility as our primitive. Then we would have

Impossible
Possible = Not Impossible
Necessary = Impossibly Not

since the necessity of P is just the impossibility of P's opposite.

Metaphysically speaking, I take these terms to mean:

1. Impossible = cannot occur
2. Possible = can occur
3. Necessary = must occur

This does not make "necessary" and "possible" the same. It opposes the concepts of 1 and 2 to each other, and the concepts of 2 and 3 to each other. This does not require "possible" to be in a distinct category. — Luke

This is not a happy use of "opposes"; see below.

Yes, that's exactly the problem. If (1) is defined as opposed to (2), and (3) is defined as opposed to (2), then (1) and (3) must have the very same meaning, by definition. — Metaphysician Undercover

Unless by "opposed to" you mean something different from "is the opposite of," or by "is the opposite of" you mean something besides "is the negative of," then this is another scope error. We have

$\ \ \ \ \$Possible (◇)

Then there's "impossible," which is just

$\ \ \ \ \$Not Possible (~◇)

The opposite of impossible is

$\ \ \ \ \$Not Not Possible (~~◇)

which is of course just Possible (◇), unless we're contemplating an intuitionistic logic, and we're not. That just leaves necessity, which we get by putting a negative inside:

$\ \ \ \ \$Not Possibly Not (~◇~)

To complete the set of possibilities, we could mention

$\ \ \ \ \$Possibly Not (◇~)

which obviously tends to run alongside Possible (◇), without being it's opposite. (It's the opposite of Necessary.)

Evidently, you agree with the use of negation to produce opposites, or you wouldn't have said that two opposites of one thing must be the same thing. But you're not paying attention to what you negate to produce the opposites; you're not paying attention to scope.

While interesting, that's all about the max. Not what I was talking about, and really it's probably clearer too use a word like "value" instead of wealth. And it's important not to think just in terms of stuff, but to keep in mind services and intellectual property. My point was that IBM created a lot of value, meaning stuff, services, and intellectual property, that did not exist before, and their customers handed over wealth to get it. I'm not sure there's an argument about whether the earth could sustain high-level programming languages, which Jim Backus and his team invented at IBM, but if there is, it is a very long way around. In there meantime, there is an increase in the *amount* of value in the world, whatever the max. That's why the concept of theft is of somewhat limited use here.

Incidentally, if I recall correctly, Pierro Sraffa (Wittgenstein's friend at Cambridge) builds an economic theory from the ground up along vaguely the lines you describe. Interesting little book I read many decades ago, and the focus was on stability, or so my memory tells me.

the opposite of necessary, necessarily not (impossible) — Metaphysician Undercover

I'll address this, since it's clear enough.

You are making what I would consider a scope error.

The opposite of "The car is blue" is "It is not the case that the car is blue," which we can also express as "The car is not blue" because there is only a single level here. (And note this doesn't imply that there is a color we call in English "not blue".)

But suppose our sentence is embedded in another:

(a) "Sheila knows that the car is blue."

What's the opposite of that? Is it

(b) "Sheila knows that the car is not blue"

or is it

(c) "Sheila does not know that the car is blue"

It's (c). To find the opposite we must negate the outermost, enclosing scope "Sheila knows that ...", not the inner scope "The car is blue". The opposite of knowing something is not knowing it, not knowing the opposite. Everyone knows that.

So it is with modal operators. If I say

(1) It is possible the car is blue

the opposite of that is

(2) It is not possible that the car is blue

negating the outermost scope. We do not push the "not" into the scope of "It is possible that ..." producing

(*3) It is possible that the car is not blue

anymore than we do with "Sheila knows that ..." That's a scope error.

The opposite of

(4) Troy believes that Sheila said that it's possible that Dave knows today is my birthday

is simply

(5) Troy doesn't believe that Sheila said that it's possible that Dave knows today is my birthday

We're spoiled for choice as to where else to stick in our "not", but all the others are wrong. You negate the outermost scope and there's your opposite. Here are all the others, they all mean something different, and none is the opposite of (4):

(*6) Troy believes that Sheila didn't say that it's possible that Dave knows today is my birthday
(*7) Troy believes that Sheila said that it's not possible that Dave knows today is my birthday
(*8) Troy believes that Sheila said that it's possible that Dave doesn't know today is my birthday
(*9) Troy believes that Sheila said that it's possible that Dave knows today is not my birthday

Donald Hoffman has a lot to answer for. — Tom Storm

Well, it's early days, and if these beetles survive it stands to reason that the individuals that did not try to impregnate beer bottles will be represented in coming generations at substantially higher rates than those that did. That might be luck. Or it might be that some beetles have a slightly more elaborate criterion for mate identification that excludes beer bottles. So the beetle population should gradually steer away from this particular dead end.

I can't take Hoffman seriously, so I haven't looked to see whether his model allows this sort of refinement. I don't think evolutionary biologists were committed to a view that species jump to knowing everything all at once.

it's just that we get to decide what counts as a simple. — Banno

"Decide" seems an unusually cognitive word for you to lean on.

They don't get to decide what is or is not food. It's food or it isn't, it's a mate or it isn't. So no.

We get to say that this counts as Tuesday, that counts as money, and so on. — Banno

I see. That's rather a different claim than I was addressing.

And judging by the quote next, your idea is that other organisms lack institutional facts.

A dog might be able to ask for food, but it can't ask to be fed next Tuesday. — Banno

Right, but dogs do ask to go outside, which is interesting because it means they are not purely responsive to their environment. It's not like the sight of the door to the backyard triggers the desire; they go to the door. The natural thing to say here is there is some kind of idea of backyard even when they're not immediately experiencing backyard, so that's at least some kind of displacement.

Animals don't do the "...counts as..." thing that we do as a matter of course. — Banno

Don't they? Doesn't just about every living organism? Counts as food. Counts as protection. Counts as scary predator. Counts as my territory. Counts as invader.

Then again, there are those beetles that mistakenly "mate" with brown beer bottles. Maybe a lot of organisms skip the class step and only have the criterion of class membership. But then you're right back to counts-as-the-criterion.

Of course, evolution is a cheapskate, so it gave the beetles a really crappy mate selector that was just good enough until it was foiled by the arrival of brown beer bottles

us tankies* — Isaac

Hmmmm.

Are the old IBM inclusive nationally but extractive internationally? Did their subsidising of middle management jobs come out of profits, or out of exploitation elsewhere — Isaac

We're neither of us economists or historians, so I'll not be answering that, but I'm going to ask you to question what someone else might be able to explain to us. That true-believer asshole who took both econ 101 and econ 102, so now he knows everything there is to know (for example, Ben Shapiro) is going to say this, and he's right: the amount of wealth in the world is not fixed.

IBM was not a middleman between consumers and third-world rare metals miners, buying predatorially cheap and selling predatorially high. Much of the value of an IBM product or service was generated by IBM employees at IBM. Some large portion of the wealth that they captured in the course of doing business was wealth that they created out of thin air.

It is a further step, and a good one, to ask under what conditions IBM could do such a thing, freedom from want, political stability, research universities, on and on. And then you may ask how those things were possible, and so on, and we all know that colonialism is out there in the explanation somewhere, at some level.

But what's not going on is IBM taking, for itself, some fixed amount of wealth from some third-world society. Colonialism is an important part of the story, but it's not a simple matter of theft (as you put it earlier). What about exploitation? Yes, of course, but we have to start with an analysis that doesn't treat exploitation as simple theft.

Simple example of how we do this, instead of all this concept juggling:

(1) It is necessary that the book falls if and only if it is not possible that the book does not fall.

(2) It is possible that the book falls if and only if it is not necessary that the book does not fall.

"Not" seems to be used in two ways, but it really isn't; under this scheme it is always a proposition-level operator, just like "possibly" and "necessarily". You build necessary this way:

(1) The book is falling.
(2) It is not the case that (1), the book is falling.
(3) It is possible that (2), that it is not the case that (1), the book is falling.
(4) It is not the case that (3), that it is possible that (2), that it is not the case that (1), the book is falling.
(5) It is necessary that (1), the book is falling.

(5) is here just shorthand for (4). There is a single complete proposition (1), and three operators applied to that proposition, which we can abbreviate as a single operator.

This simplified usage of "not" avoids many confusions: you never predicate "not falling" of an object, you deny that it is falling; you never predicate "not possible" of a proposition, you deny that it is possible. By maintaining discipline in the treatment of "not", you avoid any possibility of confusing, say, "I know it's not Tuesday" and "I don't know it's Tuesday". We can be clear about the scope of the operators we apply to sentences, and we can be clear about the order in which we apply them, and we need not abide ambiguity. This is how we win.

laws guaranteeing a decent wage and working conditions. — Isaac

I think there's actually research showing that states with higher minimum wages do not have higher unemployment, but there may be confounding factors, so that may not simply refute the inevitable conservative argument that raising the minimum wage will cost jobs. But what's the conservative answer to this: what kind of business model did you have, if you have to pay people so little even to keep the business afloat? Maybe that's a business that doesn't really work.

The pain — which will be real in particular sectors, no question — is corrective, and we should both raise the minimum wage and provide support for employers and employees to get through the transition to a better way of doing things. To say, it will hurt to change, is not an argument that where you're at is good.

It's possible, is it not, that the reason capitalist countries are rich is nothing more than that they stole resources from other counties and didn't pay their ecological 'bills'? — Isaac

Yes, that's what I was saying; I mean to leave open that explanation, at least because I don't know any better. Acemoglu and Robinson use their own scheme for classifying societies as having inclusive or extractive institutions. It's obvious that capitalist arrangements can land on either side.

Here, I'll give an example I think is okay: during the great boom in the American economy, large American corporations had endless layers of middle management. One result was that there were always promotions to be had, so there was considerable upward mobility, people bought houses in the suburbs, all that. Then management consultants convinced big corporations this was all terribly inefficient, that they could cut the number of layers between the C-suite and the workers on the line from 17 down to 4 or 5, and incidentally they could just pocket the savings. (IBM, for instance, reduced their workforce for the first time ever in like 1981 or something. Until then, so long as you did your job, a job at IBM was a job for life.) I submit there's a transition there from a business arrangement that is in some sense inclusive to one that is extractive, but not a shift from socialist to capitalist. It used to be normal for the fortunes of employees to rise with the fortunes of their employer, but then this way of doing business came to be seen as leaving money on the table. No one noticed that building in this sort of indirect profit sharing was precisely what built the American middle class and ensured the growth and prosperity of these great corporations.