@T Clark,
I htink we've answered this objection:

You need to explain, how the contentious metaphysical statements can be claimed as "absolute presuppositions" in science, and what benefits they would bring into science. — Corvus

...Collingwood is not saying these presuppositions are true, but that they underpin the method that was, historically, adopted. Further, if we instead of treating them as metaphysical truths treat them as methodological prescriptions, their truth is irrelevant.

Is there a difference between a methodological and an ontological absolute presupposition. — T Clark

I think there is, but in terms of what we do with each rather than what they say. So Someone like @Wayfarer is quite right to point out that those who insist that the world consists of only physical substance have not made their case. But he might be mistaken if he thinks it wrong to set up a game in which we look only for physical explanations, just to see what happens. He'd then be like someone who insists on moving the bishop along a column instead of a diagonal. Yes, he can do that, but it's not what we set out to do.

I’ll take a swing at this, although I am on a bit of thin ice. If I am a physicalist, if I believe that all there is in the world is physical substances, that will guide me to look for answers in the physical world and to, perhaps, ignore subjective phenomena. We have found that approach to be pretty effective over the last few hundred years although we have also sometimes worried about its shortcomings. — T Clark

A good explanation. It's a bit like setting up the domain of discourse to only include the physical, and sticking to that rule. What we ought keep in mind is that setting up the domain of discourse is making a choice as to what we include and exclude.

I've mixed my metaphors here. Sorry.

It is what Banno thinks that Wayfarer thinks he is doing, which he is not doing, but which conviction no amount of patient explanation will ever suffice to overturn. — Wayfarer

Perhaps this is right. Or perhaps what you have had to say is not so coherent as you suppose?

We'd be better off talking about the ideas of these folk, rather than their personalities.

Exactly. — T Clark

Ok - then Collingwood is not telling us what to do.

For example, how do you go about demonstrating the universe is made up of only physical substances—matter and energy. — T Clark

We can't.

See Confirmable and influential metaphysics. That the universe is made up of only physical substances might be falsified by presenting a ghost - perhaps @Wayfarer thinks this is what he is doing - but not demonstrated. No matter were we look for non-physical substances, they may be hiding somewhere else, or undetectable by our present equipment... And this is a result of the logical structure of "the universe is made up of only physical substances".

But if we instead chose to look only for explanations in terms of pysical substance, then there's no need for such a demonstration.

And we can keep in mind that this is a methodological choice, so that if it happens that we come across something that does not appear to be physical substance, we can either reject the chosen method or we can look for further explanation.

I don't know how to understand "it has to be logically efficacious" unless somehow A implies B; but this means that if A is true, then B must be true. How does Collingwood get being "logically efficacious" without truth functions? Ans so, how can something that is neither truth nor false be logically efficacious?

But I'm missing something from Collingwood. He is suggesting that were we to look at what counted as explanation, evidence, and intelligibility in classical physics, we'd find that these presuppositions were operative — whether anyone articulated them or not. Collingwood seems to be telling us how things were understood, not how they ought be understood.

Yes! That will show us that we have a clear and distinct idea of 4% of the Universe. — Wayfarer

Yes! Much better than having a vague and indistinct idea of 100% of the universe.

But there is nothing stopping us from having another discussion, using different methodologies. We could call those discussions Aesthetics or Ethics.

The method here might be to reverse the direction of fit, so that rather than making assertions bout how things are, we seek instead to make assertions about how we would have them be.

We might for instance suppose that there ought be something like fairness or justice in the universe, and so act as to bring such things about.

And do this without denying that for the purposes of describing, the universe consists of physical substance. Since within that physical substance we might build fairness. So for the purposes of doing, we might act fairly.

Collingwood and I say yes, although saying it’s unjustified might not make sense considering an absolute presupposition is neither true nor false. It just has what Collingwood causes “logical efficacy.” It helps us get stuff done. — T Clark

Cheers. I don't have such a strong grasp of Collingwood, so please set me to rights. You know I'm going to be critical here.

There's an obvious and it seems to me insurmountable difficulty in saying that these presuppositions are neither true nor false. The result is that we cannot use them in our arguments.

So if @Wayfarer or someone comes along and says that there is also in the universe a spirit of some sort, it will do no good to retort with "The universe consists entirely of physical substance" unless we add that it is true. Telling him that "The universe consists entirely of physical substance" is neither true nor false says exactly nothing, and adds nothing to the discussion.

But telling him that as an issue of method, we are only going to look at physical substance, and just see how far that will take us - that would work.

Further, directives, unlike assertions, do not have a truth value. They are not true or false, but followed or dismissed.

So if we look at the presuppositions as directives, they serve to rule out certain sorts of explanations without engaging in a discussion of metaphysical truth.

The presuppositions supposedly set out how the world must be in order for us to do science. The transcendental argument at play, for at least some of these presupposition, is along the following lines: we are able to understand such-and-such; the only way that we are able to understand such-and-such is if the universe were so-and-so; therefore the universe must be so-and-so.

So for example our understanding the universe implies that the universe is understandable.

But some appear instead to set out how we ought go about the business of doing science. Rather than telling us how things must be they tell us what to do. So "[4] Scientific laws are mathematical in nature" might be understood as saying that that the Universe follows mathematical principles or telling us to use mathematics in constructing our laws; while "[5] The same scientific laws apply throughout the universe and at all times" might tell us that the universe is globally consistent, or to apply the same principles everywhere.

Which of the presuppositions are ontological, others are methodological? Can we even make such a distinction?

We don't know for sure that "[2] The universe consists entirely of physical substances - matter and energy" is true. Should we make such an unjustified presumption? Perhaps what this is, is not a truth about how things are so much as an instruction as to what sort of explanations one should look for.

There's potential to mistake methodological injunctions for ontological presumptions. We might at least be clear as to which is which. But might we not also do science if we followed these methodological rules:

[1] Presume that the universe is ordered and understandable.
[2] Construct explanations only in terms of matter and energy.
[3] Explain things by constructing scientific principles, laws.
[4] Construct those laws using mathematics.
[5] Construct Laws that apply throughout the universe and at all times.
[6] Presume that behaviors of substances are caused.
[7] Presume that substances are indestructible.
[8] Presume continuous mathematics.
[9] Treat space and time as separate and absolute.
[10] Presume that substance can not be created from nothing.

Then we would not be making presumptions as to how things are, but choosing what sort of explanations we prefer. But this treats them as voluntary, whereas Collingwood treats them as ineluctable within an epoch. Perhaps Collingwood’s absolute presuppositions are mere heuristics.

Of course, the organizations that use QR are not trying to disadvantage anyone. They are trying to be efficient and hip (up to date). — BC

Yep. And all that is needed is an awareness of the assumptions underpinning the use of QR codes.

And money is so often an excuse rather than a grounds.

At it's heart disabilities advocacy is another push for recognising the variety of ways of being human.

Are any of the animals disabled in this scenario? — bert1

Yes, against the test.

That's the point; the test is what does the disabling, literally, by deciding who's in and who is out. The social model is a tool that shows this aspect of the medical model. It works in contrast to the medical model.

If that's not the definition, what is? — bert1

Here's a social model definition from PWDA

The social model sees ‘disability’ is the result of the interaction between people living with impairments and an environment filled with physical, attitudinal, communication and social barriers. It therefore carries the implication that the physical, attitudinal, communication and social environment must change to enable people living with impairments to participate in society on an equal basis with others. — https://pwd.org.au/resources/models-of-disability/

The test is what creates the disability.

First a parable.

The monkey - let's call him Amadeus - gets the job because of his obvious aptitude, and promptly sets up a fruit stall in a treehouse at the top of the tree, and for twenty years makes a comfortable living selling fruit to the birds and the other monkeys.

On his retirement the adjudicator returns and examines the books. He asks Amadeus why he only ever sells fruit to the birds and other monkeys, and never to the fish, elephants, seals, dogs or penguins that live thereabouts.

In a somewhat condescending voice, Amadeus intones: "We have never, in over 20 years (I've been here the entire time) had any fish, elephants, seals, dogs or penguins come in to the treehouse and express any interest in purchasing fruit"

"But..." begins the adjudicator...

"I gave you a fact. Suggesting we 'reconsider' our clientele is bizarre." retorts the monkey.

Yeah. Send in the clowns.

How does that answer the question? I asked you about the difference between "extension" in relation to physical objects, and "extension" in relation to abstract objects. — Metaphysician Undercover

The Bardot who works in the fish shop is...?

Ah, I disagree. On strictly the medical model, none of them are disabled. They are all perfect specimens. — bert1

Then you seem to me to have missed something crucial here.

Suppose they are all perfect specimens. Then their inability to achieve is imposed purely by the choice of test put in place.

Yes, the social model is what shows the bias inherent in the test. While the medical model only sees the inability to climb trees. And the capabilities model looks to see what each might do, rather than imposing something they must do.

Well, yes, what's real is dependent on the task in hand, so the Possibilism-Actualism Debate is pretty superfluous.

And i doubt present company will make much of such a view.

Medical model thinking.

I very much appreciate this post. Thanks for writing it.

The heart of the issue might be as simple as recognising and providing for the variety of human beings. We exist in many ways that are not white able bodied male cis hetro and middle class.

Another example, I wonder if you've noticed. A recent bugbear of mine is QR codes. Convenient for the sighted, invisible to others. They have become ubiquitous, in cafes and bistros and posters and museums and hospitals, providing access to ordering and advertising and other information. The temptation is to assume that all folk have equal access to them; but it ain't so. There are built in assumptions about vision, fine motor control, access to a smartphone with a camera, and technological literacy, and a potential assumption that if you can’t use this, you are the problem.

Simple accomodations include providing a short URL near the image, a printed menu on request, NFC plus text fallback, or staff assistance explicitly advertised.

I half agree. — bert1

Well, there's a start... :wink:

The act is a compromise. The definition of disability is uncompromisingly medical. The legal protection is conditional on medical/functional evidence. the obligations it effects reflect social model principles,
reasonable adjustments duties, so that employers, service providers and landlords must take steps to remove barriers that put disabled people at a disadvantage.

Those advocating the medical model included those drafting the policy, whose task was delineated, "boxed", by adopting the medical model, and the Courts, with a history of interpreting statutory thresholds that reinforced the functional/medical approach.

Those advocating the social model included the Trade Union Congress, who explicitly criticise the act on these grounds, a long list of various individual disabilities advocates, charities such as Scope, academics and the Disability Rights Movement.

Any coherent definition of disability must involve a functional test, no? — bert1

You will no doubt have seen this:

Instead of asking all to climb the tree, we might ask what each would require in order to be able to pick the fruit.

Do you want to go on to the other SEP article, or have we treated it sufficiently?

I haven't gone into the detail of the section on Combinatorialism as much as we might .

Thanks for the thread.

Do you actually believe that "extension" in the case of physical objects is the same as "extension" in the case of abstract objects? — Metaphysician Undercover

The extension of "Bridgett Bardot" remains Bridgett Bardot, even if she had started a fish shop instead of going into acting.

But how can a state of affairs exist in the world over a period of time when in the world a period of time does not exist. — RussellA

Ok. I'll not spend time pointing out again that to exist is to be in the domain of discourse. Cheers.

Yes, of course it's a methodological difference.

Your possition is philosophically deeper than I initially recognised. You are arguing that the formal apparatus (modal logic) only works given certain unconditioned norms, and that we can't use that apparatus to demonstrate that everything is contingent, because doing so relies on non-contingent structure. But the weakness there is whether some "ground of intelligibility" constitutes a thing that exists necessarily (which is what the OP asks about) or just refers to conceptual/logical structures that don't "exist" in the relevant sense.

Cheers.

The critique I've offered was in good faith.

This pretence of victimhood you adopt when challenged is unbecoming.

Cheers.

Hmm.

What do I mean by 'no limitation'? Prior causality is the discovery of some other state that necessarily lead to another state. If X didn't happen, Y would not form in that way. But if Y formed in 'that way' without a prior cause of X, then it is not necessary that Y formed in that way, it 'simply did'. This also means that it could have 'simply not'. It did, but it wasn't necessary that it did. It necessarily is because it exists, but it didn't necessarily have to exist. — Philosophim

You might want to read the paper that I linked in this instance. — Philosophim

That paper relies on treating necessity as causation. It moves from a causal argument about the universe being uncaused to saying nothing is necessary and nothing has “prior meaning”.

The paper essentially equates metaphysical necessity with causal self-sufficiency, claiming that because the universe (taken as a whole) has no cause outside itself, there is nothing necessary outside existence.

In other words, it treats uncaused = contingent, and assumes that necessity only arises via causal explanation.

Sorry, I think the point was missed again. I would distinguishing modal/metaphysical necessity (what must be the case) from causal dependence (what brings something about).

You appear to treat necessity as something derived from examining causal chains, sliding back into the old mistake: equating necessity with the inevitability of causal sequences.

Necessity does not require a causal history. A triangle has its angles sum to two right angles whether or not any triangle is ever drawn or exists physically. The fact that you can trace a causal chain for some contingent phenomenon does not make the phenomenon itself necessary.

To be sure, some folk posit a reduction of causality into modality - that in some form, "A cause B" means that in every case in which A occurs, B also occurs, and so that B necessarily follows from A. It's a not unproblematic account. And the revers of what is suggested here.

:grin:

But in saying that, was he say that, of all the things that there are, none of them exist in every possible world? Or was he saying of nothing, that it exists in every possible world?

That's the trouble with continentals... so vague...

Ok. You are saying something like that metaphysical necessity is not something to assume by a formal framework; it is something to derive from the framework as a conclusion about reality?

That, being so broad, says very little.

So I'll go back to my original answer, and point out that if we define necessity as existence in every accessible world, then whether an individual is necessary is determined by the model’s domains and accessibility — it is stipulated rather than independently derived.

By carefully constructing a modal model, we can make an individual necessary or contingent entirely by stipulation of the framework — doing precisely what Videri says cannot be done.

I’m not denying that metaphysics requires a framework; I’m denying that metaphysical necessity is itself a framework stipulation (language, logic, modality) rather than an explanatory conclusion. — Esse Quam Videri

So... we agree that metaphysics requires a framework; but you don't see language and logic as a part of that framework but as the conclusion? I must be misunderstanding you.

That X can be conceived as ~X shows only a lack of logical necessity, not metaphysical contingency. — Esse Quam Videri

That word, "conceived".

What work is it doing here?

Metaphysical conclusions as to the existence of necessary beings (if there be such) are reached by inquiry and argument, not by stipulation. — Esse Quam Videri

Far too broad. Every metaphysical inquiry stipulates a framework (language, identity conditions, modality), argues within that framework, and is answerable to coherence conditions expressible in logic.

Then why did you say the following: — Metaphysician Undercover

Because extension is about reference. The extension of "Banno" is me. And it was in response to your

Possible world semantics necessitates that the propositions, states of affairs, or whatever, reference our ideas... — Metaphysician Undercover

You really are lost.

Another way to look at it is is, "What is the definition of necessary?" Necessary implies some law that if this does not exist, then something which relies on that thing cannot exist. — Philosophim

Necessity is not causation.

I wasn't explicit enough yesterday, so I'll bold it, just to be clear.

Aristotle made the distinction. A triangle necessarily has internal angles summing to two right angles—but the triangle is not caused to have them.

The Scholastics blurred the distinction, wanting to suppose that if God wills X, then X necessarily occurs. Necessity started to look like something imposed by a prior condition.

Descartes and Spinoza made it worse, treating necessity as divine decree. Hume and Kant went along with them. The logical positivists more or less agreed, and concluded that necessity was trivial.

Kripke restored metaphysical necessity using the structure of possible worlds. Something is necessary if it occurs in every possible world, possible if it occurs in at least one world, impossible if it occurs in none, and contingent if it occurs in some but not all.

This is far and away the best account we have.

Necessity does not imply some casual law.

The only real truths are necessarily contemporaneous in the mind. — RussellA

No.

But the rest is pretty good.

Notice, correspondence is not a fundamental principle. — Metaphysician Undercover

Yep. Modal logic makes use of extensionality within possible worlds, not the dubious notion of correspondence.

That makes two very uneducated people participating in this threat. — Metaphysician Undercover

Or one. We might apply Occam at this stage.

Yes, it can be.

A SOA is the way the world is. — RussellA

Better, a way the world might be.

The predicate cannot be an action, which is dynamic, such as “John is walking”. — RussellA

Yes, it can. Extensionally, "John is walking" is true IFF john is found in the extension of "...is walking"

An action changes one SOA into a different SOA, such that the action “John is walking” changes one SOA, “John is at the entrance to the park” into a different SOA “John is at the exit to the park”. — RussellA

Here is a state of affairs: John walked from the entrance to the park to the exit.

There simply is no requirement that a state of affairs must be a temporal instant. We can talk about a state of affairs at an instant or a state of affairs over time.

Meillasoux would resist framing his argument in terms of modal semantics — Esse Quam Videri

A pity, since his argument, and the the question of the OP, have model theoretical answers. We have in possible world semantics a clear and coherent grammar for modal issues. Ignoring it would be folly.

Your account seems to presume "logical necessity" concerns only entailment. Modal logic is not just concerned with mere entailment. It differentiates between and provides tools for considering nomological and metaphysical modality. There is, after all, an explicit distinction between ☐ and ⊢. And to that we can add model theory, including accessibility relations.

While we might agree that truth is not fixed by stipulation, the arguments of metaphysics should be coherent, and so constrained by a framework of logic.

Modal logic does not generate metaphysical necessity, but any claim to metaphysical necessity is accountable to modal logic.

So as I said,

Requiring an individual to exist in all worlds is a stipulated metaphysical condition, not a logical or semantic necessity. — Banno

I would have thought that the main purpose of Possible World Semantics (PWS) is to reference the world — RussellA

Yes!

Sad that this has to be said!