We now have a testable theory of the modelling relation that accounts for ... — apokrisis

Is it "accounts for ..." or is it "may be able to account for ..."?

You and @Joshs (but @Isaac I think to a lesser degree) are always talking as if this is all a done deal, as if all we needed was the theory, as if having a theory you can imagine testing is the same as testing and confirming it, as if saying you could in principle fill in the details of an account is the same as actually filling in those details rather than the giant IOU it actually is.

All well and good if you're laying the groundwork for a research program, but am I wrong to think there's rather little in the way of observation to support all this theory? I'm not denying the elegance of the theory, or at least the bit of it I understand, but does it have anywhere near the body of support that, say, QM or evolution by natural selection has?

To be clear: not critiquing whatever science there is here, which you are vastly more competent to judge than I am. I am questioning whether you are in so secure a position that you are entitled to be as dismissive of doubt as you generally are. Insofar as people ask questions in order to better understand what you're pitching, of course you should be answering, 'yeah that's it' and 'no that's way off' — you're the world's leading authority on your own position.

But this forum is not exclusively dedicated to your views, so insofar as you or @Joshs answer the sorts of questions philosophers talk about with "Shiny new theory says X" without assuring us that shiny new theory has much claim to truth, why should we listen to you? You guys have preferences among theories, good for you; let us know when you have overwhelming evidence.

A computer can easily calculate all the moves of chess — introbert

Well no.

The number of possible chess games is so large that — here I'm guessing — we'd need quantum computers to actually decide chess. As of now, it is common knowledge that white has some advantage; the statistics have been clear for a long time. What isn't clear, and no computer has determined yet, is whether that advantage is sufficient to win. Which just tells you that the concept of "advantage" is still, even with computer chess, a little tricky.

Point being: chess being still undecided, computers are not in a qualitatively different position from us; they just have infallible memories, fewer biases (nowadays, not at the beginning), and can calculate very much faster.

But there are also techniques to achieving such successes. Robert Kowalski, a key early figure in logic programming (especially the development of Prolog) and thus early AI, has suggested that humans might consider — instead of trying only to get them to think like us — learning to think a bit more like them.

The set of things to be explained exists but is empty.
— Srap Tasmaner

Can a set of things to be explained be empty? The set of explanations of things that exist may be empty, but that thing to be explained must be a member of the set of all things. — Mww

I only meant that we can talk about the set of statistical anomalies that the Bermuda Triangle is thought to be a member of and then discover that it is not.

There's a story, probably apocryphal, that Frederick the Great once gathered his court scientists and philosophers together and asked them to explain why a dead fish weighs more than a live one. They went around in turn each offering a theory, and once they had all offered their explanations, he pointed out that it does not.

An idea that seems well thought out to one person based on their (his and her etc) knowledge and capacities may be a very weak game to someone else more experienced or better able. — introbert

That's right. In making a move, you put your ideas to the test, but it's not generally a dispositive test, only what another fallible player like yourself could come up with under the same constraints as you. These days, if you really want to know the truth, you'll ask Stockfish, but in the old days, you had to do your own analysis. A writer might give their analysis of a famous game between top-ranked players, only to be contradicted later by another writer who came up with some ideas the first writer overlooked.

And this is another way in which chess has, before the computer era at least, resembled philosophy, or the sciences: it is cumulative. There is voluminous accumulated knowledge on openings and endings, middlegame strategies and combinational patterns. The first really serious use of computers was in completing, and in some cases correcting, our knowledge of fundamental endings. Now they just do everything better than us.

None of which is really a surprise, because, as John von Neumann remarked, chess is not a game but a form a calculation. Of course it can be turned over to computers.

Whether there is some reason philosophy cannot be, is an open question.

Discussion of anything presupposes its being real or possibly real enough to discuss. — Mww

Except when that's clearly false? You and I, discussing whether the Bermuda Triangle is a thing, with a mysterious ship- and plane-eating property, cannot be assuming that it is real: that is the question we are addressing.

(1) Is it possible that the Bermuda Triangle is a real thing? Is the idea consistent with the laws of nature as we understand them, for instance? Is there some suitably naturalist explanation for the disappearance of ships and planes thereabouts?
(1a) Our understanding of nature may be correct to the extent of ruling out Bermuda Triangles.
(1b) Our understanding of nature may be incorrect at least in ruling out Bermuda Triangles.

(2) If the existence of a Bermuda Triangle is consistent with our understanding of nature, or if our understanding of nature incorrectly rules it out, then the question remains whether we live in a world that has a Bermuda Triangle. It may be possible and thus real somewhere, just not here.

But now consider the actual Bermuda Triangle, marked off as a region of the Atlantic ocean through which ships and planes pass, and within which ships and planes are lost at roughly the same rate as any similarly heavily trafficked coastal region anywhere in the world.

With that in mind, to say that the Bermuda Triangle is not real, is to say that there is not something to be explained, but nothing, there being no statistical anomaly in need of explanation. The set of things to be explained exists but is empty.

the conception of universals is prior to the apprehension of particulars. — Metaphysician Undercover

But there are very good reasons people think it goes the other way.

For most people, for most concepts, acquaintance with instances of the concept precede, in time, the possession of the concept, and exposure to those particulars is instrumental in acquiring the universal they fall under. That's the argument from ontogeny: you are acquainted with moving, barking, licking particulars before you know that they are dogs. And there is a related argument from phylogeny: modern humans have a great many concepts that they were taught, often through the use of exemplars, but it stands to reason that not every human being was taught: there must have been at least one person who passed from not having to having a concept unaided. In essence, we imagine that person somehow teaching themselves a concept through the use of exemplars, and we imagine that process proceeding as we do when analyzing a population of objects, looking for commonalities.

In thinking about this thread, I was reminded of the Sesame Street approach to teaching about classes, an approach presumably backed by research, probably the most famous educational bit in Sesame Street:



(The irony of this song, "One of these things is not like the others. One of these things doesn't belong," in a show teaching inclusion and tolerance, was not lost on the makers of the show, and the bit was largely retired in favor of "three of these things go together," which is not much of an improvement.)

What's of interest here is that resemblance is not only relative, but comparative: resemblance is a three-way relation, a given object resembles another more, or less, than it resembles a third.

uncertainty avoidance — Isaac

Most people avoid tense situations. Repo man spends his life getting into tense situations.

I see. Static bad; dynamic good.

Serves me right for needlessly poking Isaac.

It is a point of interest how much you can do with a preference for order and predictability — any order, however arbitrary.

Sellars has that just-so story in "Philosophy and the Scientific Image of Man" in which he derives the idea of natural law from the observation that some of the persons in nature (old man river, old man mountain, that sort of thing) are set in their ways, the way people get, and thus predictable, the way some people are. (Big Lake is freezing over again, like he always does this time of year.) He suggests we recognized the efficacy of habit first and derived the idea of mechanical determination from that. (A sort of corollary to the 'theory' that we derive the idea of force from our own efficacious action.)

DishBrain is able to identify habits or tendencies in the "ball" and to develop matching habits or tendencies or propensities. For what purpose? In an earlier age, we might have heard this described as a manifestation of the death drive, the will to become mechanical, but maybe Freud was on the right track in seeing life as paradoxically trying always to reduce irritation and excitation, or to predict it well enough that it ceases to be experienced as surprise. (See, @Isaac, I do listen. Did you know you're a closet Freudian?)

Insofar as the practice of philosophy is largely a sort of conversation, there are obvious analogies to dance.

The issue of imaginary numbers is different though. It is an issue of there being two distinct conventions, yet each convention is correct in its own field of application. In the one case there is no square root of a negative number, in the other case there is. — Metaphysician Undercover

I don't think so. It remains true that negatives do not have *real* square roots, and that's the same as saying that if your domain is discourse is restricted to real numbers they have *no* square roots. The complex plane is a perfectly natural extension of the real line.

It is how the negative are conceived to relate to the positive, that creates the problem, i.e. it is not a straight forward inversion due to the role that zero plays. — Metaphysician Undercover

Not following this at all.

This is a terrible idea.

Chess is illuminating because it presents questions that may be decidable in principle but are not, for humans, in practice. The alternating reliance on calculation and heuristics, with the goal of grounding a decision under uncertainty, is very reminiscent of philosophy, which rarely gives opportunities for decisive arguments and must content itself with persuasion. And you still calculate whenever you can.

I usually don't see what we do here on the forum as competition. — T Clark

But don't forget that chess is also cooperative. Takes two to play a game.

Given a single ball being dropped into a Dalton Box, can you tell me where the ball will finish? — Banno

I will read. Shouldn't have neglected her.

In the meantime, and acknowledging that I may be putting my foot in it, this is a slightly bizarre way to talk about Galton boxes, the point of which is that even if chance is real, and not just a consequence of our non-omniscience, nature rather makes a point of capturing chance and turning it to the creation of order. The path of any single ball on a Galton box is at least effectively, for us, random, if not genuinely random, but the result of thousands of balls flooding onto the board is a perfectly predictable gaussian distribution. The actual shape of the distribution will vary from run to run, and the amount of variance is also predictable. Nature seems to believe in statistics.

<offtopic>

I'll consider adding "useful for us to believe" to the OP I want to write about "context dependent" and "purpose relative."

Maybe I'll save it for the one about "from our human perspective."

</offtopic>

For a start, the brain cells did not "learn to play pong", they just avoided "a chaotic stream of white noise". — Banno

Same thing. (insert appropriate smiley)

Still, not bad for @apokrisis, @Isaac, and anyone else in the free energy camp.

Okay, I think I get how you're thinking now. Your idea is that we start with the phenomenon of resemblance, explain that in terms of predication, then explain predication in terms of universals. You want to cut off the last step, but you keep saying it means taking resemblance as more fundamental: it means no such thing; you're still explaining resemblance using predication, you just want to take predication as primitive.

You can do that, but you need to argue for it, and you ought to quit talking about resemblance, which is apparently of no interest to you.

So you intend to keep "is red", for instance, so that we get to say A resembles B because they are both red. That just makes the resemblance relation entirely derivative of predication: predicate F of two objects, and poof they resemble each other. If I say that predication is constituted by the instantiation of universals, you have exactly the same resemblance relation, and its existence is no challenge at all to the universals account of predication. Resemblance is merely a consumer of predication, not a producer.

Then forming your collection by using that predicate presumes you have access to a whole machinery of predicates, membership, and classes. I thought we weren't going to do that, but ground our use of predicates in the resemblance of things to each other.

Instead you're just analyzing one sort of predicate (color) in terms of others (microstructure). Nothing at all to do with resemblance.

I find all this bollocks about a 'nation's right to exist' really sickening. — Isaac

I do not believe Ukrainians are fighting for an abstraction like this, do you? Even to say "self determination" instead is just shorthand for saying they want their families, homes, businesses, friends, libraries, parks, opera houses, and, you know, etc., not to exist only at the mercy of a large group of armed people who don't even live there. It couldn't be less abstract for them.

It is unavoidably abstract for us, but we can still understand, at least intellectually, why they are fighting, and call that "what they're fighting for." I'll also say that I'm betting a lot of Ukrainians are grateful there was already a state apparatus in place, and an armed forces, else they would absolutely be at the mercy of any armed group, whether a foreign government's army or criminals and outlaws. Part of the point of the state, and worth preserving even though it can be abused, as Russia is doing.

both predicates — litewave

That was my point. You're supposed to be grounding the use of predicates, aren't you? Or was your intention all along to ground some kinds of predicates in other kinds?

I just identify a universal with a resemblance relation and thus simplify the metaphysical picture — litewave

I know what you say you're doing. It's just not what you're doing. Unless I've missed something.

According to set theory, any mathematical universal can be instantiated as a collection. — litewave

It doesn't matter much in practice, but of course we *don't* have the axiom of comprehension because of frickin' Russell and his damned paradox.

Did you mean something else?

That's extraordinary. — Manuel

Right? I believe he said he just doesn't picture the drawing before doing it, but that working on a drawing is otherwise straightforward. Still...

It seems that I could in principle define a part of the ball that constitutes the ball's particular red color. That part would be a subcollection in the ball, a subcollection whose structure interacts with light in such a way that it reflects certain wavelengths of light, — litewave

Is there a difference in principle between a simple looking predicate like "is red" and a complicated looking predicate like "whose structure interacts with light in such a way that it reflects certain wavelengths of light"? I don't see how you allow yourself the latter if you can't allow yourself the former.

Anyway, there's no trace here of your proposed resemblance relation. You're just reducing gross properties to microstructure. You don't need resemblance to do that.

Just curious, that’s all. — Mww

See, that's what threw me off.

I would not be surprised if there were cases of people who lacked the capacity to visualize such elementary figures — Manuel

That part is just fact, I understand, as there are people who have no visual imagination. I heard an interview with one such person who works as a professional animator.

Have you come up with anything in that respect....from scratch? — Mww

You mean something no one else has? I don't know. The odds are against it, of course. But it's more fun, for me anyway. And it means that when I reach for an argument it's because it persuades me, not because I recall that Hume said it, even if I learned it from Hume and have forgotten that I did. (When you do mathematics, it's not generally important where you got the argument, but that it works.) It also means I have the experience of reading works of philosophy and finding on the page thoughts I have already had; having already worked through something, knowing some of its ins and outs, provides a framework for seeing what another thinker does with it.

Should I actually be defending thinking for myself here? Or were you making some point about the conceptual scheme I ought to admit I'm stuck with?

I can also define a collection by enumerating its members — litewave

That's a good point, but is it any use? If there's no criterion for membership, then the class you create is arbitrary, isn't it?

Over in the thread about causation, I found myself talking about approximations, and noting that we begin with noisy data and idealize it as a mathematical formula that we call an approximation; and if we can do that, we can go the other way and see the data as approximating the function.

How do we learn to do such things? If you draw a line on a chalkboard and say, "Imagine this is a straight line," what do you do if your audience asks, "What do you mean?" Once we know the trick, once we have the knack of idealizing, we can do this sort of thing all day long. But what if that trick is still opaque to you? I wonder if there are brain lesion studies on people who are unable to abstract in this way, or if there is a cognitive disorder that impedes this ability. It seems like you would get the sort of conversation you get with someone hyper-literal.

I suppose I should add, I wasn't just presenting empiricism in disguise; I was really just trying to see how I could come up with properties "from scratch". Looking back, what I did strikes me as an empiricist move, but it wouldn't surprise me to find it elsewhere. If it's one of the obvious ways to go, people have gone that way.

I like actually doing philosophy more than I like exegesis.

The Old Guys. — Mww

C'est moi.

I used to have a pet theory, also somewhere between logical and psychological, that generality is not a matter of classification but a type of procedure. Example: you want to talk about triangles in general, what you imagine or what you draw on the whiteboard are going to be approximate actual triangles, the edges and angles having particular values; you can treat that as a concrete triangle such that you might just measure to determine these values, or you can treat the object as general, or abstract, meaning that in your reasoning you are careful *not* to rely on these particular values. You carefully ignore them. And so in doing geometry we get to just stipulate (and indicate with those little hash marks) that these edges or those angles are equal, without giving a thought to the actual values the representation, being a concrete object, has.

Supposing that causation stands in need of explanation misunderstands that causation is fundamental to explanation. — Banno

Okay, right, that's why I bristled at saying something like "taking a causal stance" toward the world is something we do because it is useful. The word "useful" is being asked to do something here that it can't.

.....take a ball and you imaginatively delete its location.....
— Srap Tasmaner

Just curious. Where did you get the idea for doing this? — Mww

It's sort of the way empiricists like Hume talk. (@Manuel reads the early moderns a lot, so he could point out what a travesty of empiricism this is.)

It is also literally how I treat generating equivalence classes in everyday cases, choosing what to ignore, but there I've got a predicate machinery I don't intend to question.

It was intended as a simple, bone-headed account of abstraction, just to have a starting point. I assumed the main issue would be that you have to individuate properties in order to bracket them, which means you have to have universals to create a universal. (And now it sounds like Sellars's argument in EPM.) Never even got that far.

Srap demonstrates how this is not an acceptable starting place. — Metaphysician Undercover

If you say so. (Thanks for the notes on the ancients, btw.)

I don't think I demonstrated anything. I suspect the argument I gave is junk, but it had, for me, the desired effect of showing that the problem is not so simple as we might pre-theoretically think. Ask a non-philosopher friend and they'll probably sound like empiricists: concepts come from us "noticing patterns", "seeing what's in common", all this sort of thing. Maybe a "thank you, Darwin."

Abstract, "pure mathematics" shows that we dream up universal principles (axioms) first, from the imagination, or they come to us intuitively, then we try to force the particulars of specific circumstances to be consistent with the universals. — Metaphysician Undercover

That's at least in the neighborhood of Sellars's argument and the impasse I expected to reach, that empiricism from a blank slate can't actually get started.

Not perfectly clear to me what the status of that argument is though. I was promising to look at logic not psychology, and while this isn't empirical psychology, there's something unavoidably psychological here. I have thought it might be a matter of being unable to state the empiricist position coherently, so again a matter of logic, but now it looks like the logic at stake is somewhat transcendental. Well, no big surprise since Sellars was profoundly Kantian, but I didn't intend to drag that in. I'd rather there was a clear way to avoid this whole line of argumentation...

Actually, I would say that the partial particular, for example the particular redness of this ball, is a concrete part of the concrete whole (this ball). A concrete object is a collection of other concrete objects and there are various overlapping collections inside this collection. In the case of this ball, one of those overlapping collections is a particular red color because the structure of that collection is such that it reflects certain wavelengths of incoming light. — litewave

So I would say that the particular properties of a concrete object are overlapping parts (collections) of that object; their existences are mutually dependent on each other and the existence of the object as a whole is dependent on its parts. — litewave

I see what you're trying to say, but you can't say "part" because parts are concrete rather than abstract exactly in the sense that they can exist independently. (That much I learned from @Andrew M's explanation of hylomorphism.) And you really shouldn't be saying "collection" because that's a soft word for "class" and you precisely can't have classes without universals or predicates to define them. Clearly you're hoping to get structure — which is crucial, particulars aren't bags of properties — out of how the various collections are arranged.

Stepping back, this begins to sound like breaking down an object into its fundamental particles and then reassembling it, down the chain through chemistry to quarks and then back up again. We assume such a thing is possible in principle, I guess, but the argument for special sciences has always been that on the way back up, you have no way to know where you are and what you're building, so the particulars of interest are gone forever, leaving just an undifferentiated sea of particles.

Nicaragua — jorndoe

Oh Nicaragua! I remember when you were cool...

The other examples of Vietnam and Afghanistan, as far as I know, did not resemble this one in that sanctions of this scale, followed by constant coverage of a humiliating retreat right after annexation, were put into play. — Manuel

So you're saying Putin has more at stake than other major powers have had when failing to conquer little countries they thought they could steamroll, so while maybe the US half-assed it in Vietnam, Putin will really go all in and get the job done? (I don't know how many Americans still feel this way, but something like that used to be a common opinion of our conduct of the war in Vietnam, usually blaming protesting hippies for Washington pulling its punches. I believe Kissinger wanted to nuke Hanoi, so maybe there's something to that.)

I get your position, I think. When I heard that Russia had invaded, I just assumed Ukraine didn't stand a chance. When that starts to look wrong, there's a fallback fear that Putin, for all sorts of reasons, will not accept defeat, will do whatever it takes to achieve at the very least a strong enough military position that he can demand whatever he wants at negotiations, should he decide not to bother trying to subdue the entire country. (I mean, he can't occupy Ukraine, that was never an option. But puppet government and some invited guests in Russian uniforms, you figure that's what he was shooting for.) His fate, we fear, is irrevocably tied to success in Ukraine. His ships lie burned on the shore; it's win or die, and that makes him a more dangerous foe than the US in Vietnam or the USSR in Afghanistan. That may be. It is a serious concern. Didn't Sun Tzu counsel always leaving your enemy an escape route precisely so they wouldn't fight to the death?

In this scientific age, it seems like the obvious way to take "useful" here is to say it's an approximation, and it's cheap. It's interesting that we can get by with what may be a pretty drastic simplification of what's going on with us and our surroundings; what we idealize as cause-and-effect would be a pattern that events show a tendency to instantiate — reversing things, so that the data seem to approximate the mathematical formula that idealizes and approximates the data. Whatever's going on there, whatever relates those two, is real.

But this is just shifting ground again. We know what it means to say an approximation is useful: when we rely on an approximation, we know our actions will produce a result that's near what's predicted and predictably varying from it. But that very description relies on the idea of an action producing a result, and I find it hard to imagine there will be any way of putting this that doesn't smuggle in causality somewhere. Point being that explaining our reliance on the idea of causation as something we do because it's useful may be no explanation at all. (We rely on causation because we rely on causation.) But it won't fly as description either because it deliberately obscures the place of causality in our thinking.

Right. And I assume we're talking about this logically, not psychologically. An account of, I guess, properties, rather than how we come to learn them, or think them up, and so on.

A theory of universals presumably has something to offer, is supposed to explain how something works or what something means. I haven't thought about universals in a long time (having gotten accustomed to predicates and such) but it would appear to be in the neighborhood of where you started, two numerically distinct objects both being red, for example.

We have to first see how this is a problem, right? The objects are distinct. Anything you pick out to describe a concrete object is a bit of that object, is that object minus almost everything about it except some particular aspect you've chosen. (Passing over how we do that, for the moment anyway.) At least, that's how I presume abstraction works.

So you take a ball and you imaginatively delete its location, its mass, the texture of its surface, everything but the light it radiates and you call that its color. (This is no good, of course, since it needs to be a propensity or a disposition, but we don't know whether we need to bother yet.) We do the same thing with some other object, maybe a car. If this is how we 'create', as it were, colors of things, by taking a particular and leaving out everything else, we still end up with just a partial particular.

What you get is still two numerically distinct abstract objects rather than concrete ones, yes? No matter how similar the abstract objects are, they are distinct. What could possibly entitle us to say that they are in any sense the same thing?

Now we might think — identity of indiscernibles to the rescue! And now that we come to it, how did we imagine the sort of partial particular I described being a numerically distinct entity? It's not, after all; it's only an aspect of a 'genuine' concrete entity. Not even a part of it, but something that, obviously it seems, cannot exist on its own, but only as an aspect of something concrete.

No problem; we knew that as soon as we said we were creating an abstract object (the red of this ball) from a concrete object (this ball). But if it's no real objection that these things can't exist on their own, then we can't rely on their individual existence to underwrite their being numerically distinct. Maybe abstract objects can be numerically distinct, but if they can it's not the way regular concrete objects are.

Which leaves us where? We want to head toward saying these two abstract objects are the same or similar, but now it's not even clear in what sense they are objects at all, or whether they can be distinguished in order to be compared or identified. If these are objects, it's not clear what use they can be to us. We're in a muddle.

Abstraction looked so straightforward, but it seems to leave us nowhere.

So what do you think? We want an account of properties of objects, and we expect to be able to say that two objects have the same property, or that they have properties that are similar but not identical. But how do we fix our account of properties? Was my account of abstraction all wrong? Or are we in a better position than it seems?

So the question is (1) whether resemblance, or similarity in some respect, or something like that, gets us everything we want from universals, and (2) whether such an account is coherent, non-circular, doesn't need to smuggle in universals somewhere to work.

Yes?

But I think you're saying less than you think you are.

Usefulness admits of comparison: a thimble is useful for emptying a swimming pool, but not as useful as a giant shop-vac on wheels. For that matter, almost anything can be used to empty a swimming pool. A pencil will hold onto a few drops each time you dip it in.

So is this grammar optimal in some way? Do we use it because it is more useful than alternatives? Are some of those alternatives truly awful, like emptying a swimming pool with a piece of paper?

If the claim is only that the grammar is usable, that's a pretty low bar to clear. Thimbles, pencils and scraps of paper clear that bar for emptying swimming pools.

Or is the idea of usefulness just there to point at the purpose for which we use this bit of cognitive-linguistic technology? To point out that the grammar is being used?

Afghanistan was nowhere near the level of importance to the USSR as Ukraine is now. — Manuel

Probably true, at least in the sense that Putin would like to straight up annex the entire country, which is to say, restore it to its rightful status as part of Russia. He doesn't consider its current status as a sovereign nation legitimate, does he? (I may be misinformed.)

But then the US was in Afghanistan a long damn time, and in Vietnam a long damn time. And there was no military victory for the US at the end of either engagement. The US had reasons, and Russia presumably has reasons something like those for what they're doing. (Geopolitics. Perception. Hubris. Etc.) The question then is whether it's those reasons or the historical-territorial stuff that counts more. If it's not the homeland stuff, then we have clear examples of a small nation fighting for its life overcoming those sorts of reasons. (In fact, I think Putin have the greenlight when he saw Biden accept the humiliation of leaving Afghanistan in disarray.)

with no further justification than its usefulness — Banno

Is this usefulness just brute fact, or can we hope to explain why this grammar is useful?

If Anscombe addresses that, you can just point at her again.

Hmmm. Is there going to be any way to flesh out the idea of using something to do something that doesn't rely on causality?

I'm not quite following.

Is the idea to drop the idea of instantiation?

But what are you going to do with universals if not instantiate them?

If that model has issues you want to avoid, then you just go for predicates (which you're already keeping) and their extensions.

The idea of *starting* from resemblance and building everything from that might be worth pursuing. (@bongo fury has some ideas about how to police the borders.)

But then you won't start out talking about universals.