Accéder au contenu principal

Communal Norms of Representation are Conceptual

Community wp20

The thrust of the previous post is that there are two main levels of analysis when discussing representation in science: relevance and accuracy, or what a representation is about and what it says.

Let us focus first on conditions of relevance. Consider any model M, and any object O. The question I want to ask is: in what sense might we say that it is possible that M represents O, or that it must be so (independently of whether it represents it well)?

We should first dispell an ambiguity in this question. Are we talking in general, or in a particular context? I have argued in my past research (Ruyant 2021) that there is an important difference between two senses of “represent”: either it refers to norms at play in the epistemic community (such as: the Lotka-Volterra model represents a prey-predator system), or it refers to a specific use in context (the model of the pendulum that I’m using represents the oscillation of my clock). However, the first sense is generally more prominent. In the contextual case, we are more likely to say “being used to represent”, or “represents for its user” than “represent” simpliciter.

In the generic, normative sense, models usually represent kinds of objects, or generic. In the example above, “a prey-predator system” does not refer to one system in particular, but to a type of system, as when we say “a triangle has three sides”: we are not referring to one specific triangle, but talking about triangles in general. The same goes when we say that a model represents the hydrogen atom, or oscillators. These are generic locutions, as in “the dodo is extinct” or “Tigers are predators”.

There are exceptions to this: when a model represents one particular object, for example, the solar system or the Sun. However, these are rare in science, and even the model of the Sun is often thought to inform us about many similar stars. So, I will neglect these cases and consider that scientific models represent kinds.

Now, let us reformulate our initial question. It becomes: consider any model M, and any kind object K. The question I want to ask is: in what sense might we say that it is possible that M represents Ks (or the K or a K), or that it must be so? And I would say that the sense of possible or must in which we might say that is conceptual. It is a matter of applying norms to our representations, of understanding these norms, and both the source and target of necessity are internal to our representations.

Consider potential objections:

  • Aren’t there external sources of necessity? After all, we can refer to a kind without having a full description of its nature. Must it not be the case that M correspond to characteristics of Ks that are only known a posteriori in order to represent it? I don’t think so. If misrepresentation is possible, then there need not be such constraints. Whether M is accurate depends on the characteristics of Ks, of course, but this is a matter of accuracy, not relevance.

  • Can’t the model be normative in some cases? Can’t the aim be to tell how we want Ks to be, not how they are? Perhaps, but again, this is not captured at the level of relevance. A model in electronics that represents how transistors must be, for example, does this by means of its content, which reflects the aims of modellers, but the fact that it represents transistors to start with is independent from what these aims are exactly. It is a conceptual matter.

Note that I don’t consider that a model of K can also represent a sub-kind or a super-kind of K. I understand “represent” in a very specific way. Otherwise, we could claim that a question such as “does a model of a whale represent a fish?” or “can a model of a mammal represent a whale?” is an empirical matter (because it depends on the fact that whales are mammals or fish). But it seems to me that these questions trade on an ambiguity between the two senses of representation mentioned above (the communal norm / contextual use distinction). In this respect, the locution “The K” is more appropriate, if sometimes not very natural: it is clear that a model of the whale does not represent “the” mammal, and conversely.

My conclusion is that whether a model represents a kind (communal norms of relevance) is a purely conceptual matter. If there are apparent exceptions to this, this is to the extent that we focus on particular uses on concrete objects instead of communal norms that concern kinds. There can be epistemic uncertainty about whether a model should be used to represent a particular object, or our aims can matter when selecting this or that object as a target of representation when using a model, but we are no more considering the level of kinds here.

Having said that, the use-level is also interesting, so we will consider it in the next article.

Commentaires

Posts les plus consultés de ce blog

The Variety of Modalities

Modals are expressed by words such as "must", "have to", "ought to", "may", "can", "could", "should", "necessarily", "possibly". As a general rule, something is said to be possible if it is not necessary that it is not the case, and conversely, something is necessary if it is not possible that it is not the case, but beyond this, there is a variety of use. Here are a few distinctions between various kinds of possibilities. I will discuss in the next articles some criteria for disinguishing them, and attempt to reach a taxonomy. A logical or conceptual possibility anything that is not self-contradictory, that makes sense, that one can express or conceive without reaching a logical contradiction (for example respecting the fact that for any proposition, it must be that either p or not p"). Example: it is conceivable that aliens exist. An epistemic possibility anything that is com

Objective and subjective modalities

Remember our list of kinds of modalities from the previous post: Logico-conceptual (Bachelor cannot be married) Epistemic (she might be at home) Metaphysical (water molecules are of the H2O kind) Natural (heavy objects must fall) Deontic (she must work tonight) Practical (we could use wood to build this plane) The two first modalities above, epistemic and logico-conceptual, are often thought to be mind-dependent or subjective, while the two next ones, metaphysical and natural, are mind-independent or objective (as for the two last ones, let us put them aside for now). Objective modalities are often used in order to analyse explanations or causation. These are the ones typically involved in counterfactual talk (if you had got up earlier, you woudn't have missed your train), although sometimes conceptual necessities are thus expressed as well (if he were a bachelor, he wouldn't be married). The distinction between objective and subjective modalities could be understood as

Beyond the Objective/Subjective Distinction

As we have seen in the previous post, we can make sense of the division between subjective and objective modalities in terms of whether they concern worldly objects, or rather our attitudes towards them. The target of necessary constraints (whether they are worldly or representational) matters, not the source of necessity. But what about the finer distinctions: what distinguishes between epistemic and conceptual possibility? And what distinguishes metaphysical and natural necessity? Consider epistemic and conceptual possibilities first. An hypothesis that flows naturally from our previous remarks is that the target of necessity is representational in both cases, but the source of necessity is markedly different in each case. With conceptual and logical necessity, the source of necessity, the origin of the constraint, lies in our representational capacities, in us, while with epistemic necessity, it lies in the external world. This means reintroducing an analytic/synthetic distinctio