Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es (...) ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden. (shrink)

Although “theory” has been the prevalent unit of analysis in the meta-study of science throughout most of the twentieth century, the concept remains elusive. I further explore the leitmotiv of several authors in this issue: that we should deal with theorizing (rather than theory) in biology as a cognitive activity that is to be investigated naturalistically. I first contrast how philosophers and biologists have tended to think about theory in the last century or so, and consider recent calls to upgrade (...) the role of theory in the life sciences against the background of the recent “data deluge” in molecular biology, systems biology, etc. I then review thinking about theory in biology in relation to physical theory as a positive or negative exemplar. I conclude by discussing various aspects of a positive program for “naturalizing theorizing.”. (shrink)

The concept of approximate truth plays a prominent role in most versions of scientific realism. However, adequately conceptualizing ?approximate truth? has proved challenging. This article argues that the goal of articulating the concept of approximate truth can be advanced by first investigating the processes by which science accords theories the status of accepted or rejected. Accordingly, this article uses a path diagram model as a visual heuristic for the purpose of showing the processes in science that are involved in determining (...) a theory's status. This ?inductive realist? model of theory status then serves as a starting point for explicating an inductive realist view of approximate truth that, it is argued, can explain instances of the success of science, but does not (1) require science's theories to be strictly true in any world or (2) require a metric for measuring how close an approximately true theory is to some strictly true theory. To show the advantages of the inductive realist approach to approximate truth, an example of a major success story of science, the successful eradication of smallpox, is reviewed and then explained. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

Hasok Chang is developing a new form of pragmatic scientific realism that aims to reorient the debate away from truth and towards practice. Central to his project is replacing truth as correspondence with his new notion of ‘operational coherence’, which is introduced as: 1) A success term with probative value to judge and guide epistemic activities. 2) A more useful alternative than truth as correspondence in guiding scientific practice. I argue that, given its current construal as neither necessary nor sufficient (...) for success, operational coherence is too weak and fails to satisfy both 1) and 2). I offer a stronger construal of operational coherence which aims to improve on Chang’s account by tying it to systematic success. This makes operational coherence necessary and sufficient for success. This new account, if successful, rescues 1) but not 2). I then take a step back and try to locate Chang’s pragmatic realism within the broader pragmatist tradition by comparing his views to the founding fathers Peirce, James and Dewey. I also assess to what extent we should consider Chang’s position ‘realist’, arguing that despite the many relativists threads running through it, Chang’s pragmatic realism is deserving of the realist label because its aims to maximize our learning from reality, even if it falls short of what many traditional realist are happy to accept as realism. I finish with comments on the epistemology of science pointing out that there is nothing intrinsic about a practice-based philosophy of science that precludes having both operational coherence and correspondence and highlighting that given a proper understanding these two notions could, in fact, be understood as complementary. I suggest one way this could be done. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

Disagreements about the definition, nature, structure, ontology, and content of scientific theories are at least partly responsible for disagreements in other debates in the philosophy of science. I argue that available theories of theories and conceptual analyses of *theory* are ineffectual options for overcoming this difficulty. Directing my attention to debates about the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective (...) way to make real progress in the face of the noted problem. After the recommended reformulation questions of genuine importance to philosophy of science can still be asked and answered, but now without any possibility of disagreements about ‘theories’ compromising the debate. (shrink)

This article examines ontological/dynamical aspects of emergence, specifically the micro-macro relation in cases of universal behavior. I discuss superconductivity as an emergent phenomenon, showing why microphysical features such as Cooper pairing are not necessary for deriving characteristic properties such as infinite conductivity. I claim that the difficulties surrounding the thermodynamic limit in explaining phase transitions can be countered by showing how renormalization group techniques facilitate an understanding of the physics behind the mathematics, enabling us to clarify epistemic and ontological aspects (...) of emergence. I close with a discussion of the impact of these issues for questions concerning natural kinds. (shrink)

Lakatos’s methodology of scientific research programmes centres around series of theories, with little regard to the role of models in theory construction. Modifying it to incorporate model-groups, clusters of developmental models that are intended to become new theories, provides a description of the model dynamics within the search for physics beyond the standard model. At the moment, there is no evidence for BSM physics, despite a concerted search effort especially focused around the standard model account of electroweak symmetry breaking. Using (...) the framework provided by Lakatosian research programmes, we can capture the way the periphery of a model-group changes as the available parameter space shrinks, while its central tenets remain untouched by unfavourable experimental findings. By way of motivation, I provide two case studies of model-groups that offer alternative mechanisms for electroweak symmetry breaking: supersymmetry and composite-Higgs models. Both of these model-groups are under pressure from the discovery of the Higgs boson, yet they have both been active research projects in the years after the Higgs discovery. However, a proper assessment of the progress of an ongoing research programme is impossible through a purely Lakatosian lens, so I propose replacing it with Laudan’s problem-solving account, which provides ongoing assessment, while offering normative guidance concerning the pursuit-worthiness of research programmes. My incorporation of model-groups into Lakatosian research programmes captures the developments of two attempts to expand our physical description of the world, and Laudan’s problem-solving rationality allows us to assess their pursuit-worthiness. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Making sense of modeling: beyond representation Content Type Journal Article Category Original paper in Philosophy of Science Pages 335-352 DOI 10.1007/s13194-011-0032-8 Authors Isabelle Peschard, Philosophy Department, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

Discussions in sociological theory often focus on ontological questions on the nature of social reality. Against the underlying epistemological realism, I argue for a constructivist notion of theory: Theories are webs of concepts that we use to guide empirical observations and to make sense of them. We cannot know the real features of the social world, only what our theoretical perspectives make us see. Theories therefore represent social phenomena by highlighting certain features and relating them in a logical system. In (...) this system, theoretical sentences can be considered true if they meet two conditions: They are consistent with the theory at hand and adequately map empirically observable relations between objects denoted by theoretical constructs. Truth is therefore relative to a perspective; it is not objectively determinable. Theories should be assessed not for their ontologies but for what they allow us to see and how they connect to empirical observations. (shrink)

ion is one of the important processes in scientific modeling. It has always been implied that abstraction is an agent-centric activity that involves the cognitive processes of scientists in model building. I contend that there is an autonomous aspect of abstraction in many modeling activities. I argue that the autonomous process of abstraction is continuous with the agent-centric abstraction but capable of evolving independently from the modeler’s abstraction activity.

This paper aims 1) to introduce the notion of theoretical story as a resource and source of constraint for the construction and assessment of models of phenomena; 2) to show the relevance of this notion for a better understanding of the role and nature of values in scientific activity. The reflection on the role of values and value judgments in scientific activity should be attentive, I will argue, to the distinction between models and the theoretical story that guides and constrains (...) their construction. The aim of scientific activity is to develop understanding of phenomena, and something that serves this aim and contributes to the development of understanding has a cognitive value. Cognitive values are the features that something that plays a role in scientific activity should have so that it can serve its aim. I will focus my attention on the features of the theoretical story and of the models. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

Since the publication of his seminal monograph "The scientific image", Bas van Fraassen is a key figure in philosophy of science. In this book, other philosophers with various outlooks critically discuss his work on theories, empiricism and philosophical stances. The book starts with a new article by van Fraassen on his preferred account of theories, the so-called semantic view. This account is now 50 years old, and van Fraassen takes this anniversary as an opportunity to review the account, its history (...) and the philosophical discussion about it. In the main part of the book, Nancy Cartwright, Finnur Dellsén, Matthias Egg, Steven French, Michael Friedman, Milena Ivanova and Michela Massimi discuss van Fraassen's contributions to philosophy. Three chapters focus on his engagement with realism (French, Friedman, Ivanova). Others study his voluntarism (Cartwright) and his view on representation (Massimi). Finally, there are contributions about his elaboration of empiricism (Dellsén) and his proposal to consider philosophical positions as stances (Egg). The volume includes a laudatio written by Steven French and finishes with a reply by van Fraassen to his critics. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

Our paper studies the anatomy of the discovery of the Higgs boson at the Large Hadron Collider and its influence on the broader model landscape of particle physics. We investigate the phases of this discovery, which led to a crucial reconfiguration of the model landscape of elementary particle physics and eventually to a confirmation of the standard model. A keyword search of preprints covering the electroweak symmetry breaking sector of particle physics, along with an examination of physicists own understanding of (...) the discovery as documented in semiannual conferences, has allowed us an empirical investigation of its model dynamics. From our analyses we draw two main philosophical lessons concerning the nature of scientific reasoning in a complex experimental and theoretical environment. For one, from a confirmation standpoint, some SM alternatives could be considered even more confirmed by the Higgs discovery than the SM. Nevertheless, the SM largely remains the commonly accepted account of EWSB. We present criteria for comparing degrees of confirmation and expose some limits of a purely logical approach to understanding the Higgs discovery as a victory for the SM. Second, we understand the persistence of SM alternatives in the face of disfavourable evidence by borrowing the Lakatosian concept of a research programme, where the core idea behind a group of models survives, while other aspects adapt to incoming data. In order to apply this framework to the model landscape of EWSB, we must introduce a new category of research programme, the model-group, and we test its viability using the example of composite Higgs models. (shrink)

Scientific explanation is an important goal of scientific practise. Philosophers have proposed a striking diversity of seemingly incompatible accounts of explanation, from deductive-nomological to statistical relevance, unification, pragmatic, causal-mechanical, mechanistic, causal intervention, asymptotic, and model-based accounts. In this dissertation I apply two novel methods to reexamine our evidence about scientific explanation in practise and thereby address the fragmentation of philosophical accounts. I start by collecting a data set of 781 articles from one year of the journal Science. Using automated text (...) mining techniques I measure the frequency and distribution of several groups of philosophically interesting words, such as "explain", "cause", "evidence", "theory", "law", "mechanism", and "model". I show that "explain" words are much more common in scientific writing than in other genres, occurring in roughly half of all articles, and that their use is very often qualified or negated. These results about the use of words complement traditional conceptual analysis. Next I use random samples from the data set to develop a large number of small case studies across a wide range of scientific disciplines. I use a sample of "explain" sentences to develop and defend a new general philosophical account of scientific explanation, and then test my account against a larger set of randomly sampled sentences and abstracts. Five coarse categories can classify the explanans and explananda of my cases: data, entities, kinds, models, and theories. The pair of the categories of the explanans and explanandum indicates the "form" of an explanation. The explain-relation supports counterfactual reasoning about the dependence of qualities of the explanandum on qualities of the explanans. But for each form there is a different "core relation" between explanans and explanandum that supports the explain-relation. Causation, modelling, and argument are the core relations for different forms of scientific explanation between different categories of explanans and explananda. This flexibility allows me to resolve some of the fragmentation in the philosophical literature. I provide empirical evidence to show that my general philosophical account successfully describes a wide range of scientific practise across a large number of scientific disciplines. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

Using the context of controversies surrounding evolutionary developmental biology (EvoDevo) and the possibility of an Extended Evolutionary Synthesis, I provide an account of theory structure as idealized theory presentations that are always incomplete (partial) and shaped by their conceptual content (material rather than formal organization). These two characteristics are salient because the goals that organize and regulate scientific practice, including the activity of using a theory, are heterogeneous. This means that the same theory can be structured differently, in part because (...) theory presentations (as idealizations) intentionally depart from different features known to be present in a theory. Since there are diverse and potentially incompatible theory structures derived from heterogeneous goals found in scientific practices, a question arises about the absence of a unifying theory structure in the background. The notion of a “theory façade” offers a fruitful perspective on this potentially unsettling result. (shrink)

The relation between models and the world is mediated by experimental procedures generating data that are used as evidence to evaluate the model. Data can serve as empirical evidence, for or against, only if they result from reliable experimental procedures. The aim of this article is to discuss the role of relevance judgments in the evaluation of reliability and to clarify the conditions under which reliability can be a strictly empirical matter. It is argued that reliability is a strictly empirical (...) issue only in the restricted case in which the claim under test/investigation is about a data-generating procedure. (shrink)

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus it would seem (...) that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

Experimental modeling is the construction of theoretical models hand in hand with experimental activity. As explained in Section 1, experimental modeling starts with claims about phenomena that use abstract concepts, concepts whose conditions of realization are not yet specified; and it ends with a concrete model of the phenomenon, a model that can be tested against data. This paper argues that this process from abstract concepts to concrete models involves judgments of relevance, which are irreducibly normative. In Section 2, we (...) show, on the basis of several case studies, how these judgments contribute to the determination of the conditions of realization of the abstract concepts and, at the same time, of the quantities that characterize the phenomenon under study. Then, in Section 3, we compare this view on modeling with other approaches that also have acknowledged the role of relevance judgments in science. To conclude, in Section 4, we discuss the possibility of a plurality of relevance judgments and introduce a distinction between locally and generally relevant factors. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state of (...) a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

Résumé Dans cet article, nous discuterons de l’intégration du numérique à la sémiotique et proposerons qu’une modélisation conceptuelle puisse offrir un pont de dialogue entre ces deux domaines classiquement cloisonnés. Plus précisément, nous avancerons l’hypothèse que tout projet de recherche qui en appellera à l’informatique soit une démarche scientifique que s’il construit une théorie qui contient, en plus des modèles classiques que sont les modèles formel, computationnel et physique, un modèle conceptuel. Ce lieu, où les chercheur-es conceptualisent les multiples dimensions (...) de leur objet de recherche, sera alors défini en tant que socle d’une relation solide entre la sémiotique et l’informatique. Nous verrons que les différentes définitions du modèle conceptuel convergent vers la thèse soutenant que la connaissance scientifique met en œuvre une instance de conceptualisation qui doit identifier les diverses dimensions du problème en plus de devoir s’exprimer de manière à ce qu’elle soit communicable entre les membres des communautés épistémiques. Nous verrons, enfin, qu’un projet de recherché sémiotique exige la construction d’un tel modèle afin de décrire, généraliser et sélectionner des problèmes et que ce même modèle, conceptuel, sera aussi nécessaire si le ou la sémioticien-ne utilise l’informatique dans le cadre de sa recherche.fr. (shrink)

The thesis is a philosophical analysis of the consumption based capital asset pricing model, investigating in particular its epistemological and methodological foundations. Financial markets are integral parts of advanced and developing economies. They matter because they channel unspent household income into banks’ savings accounts and assets such as bonds and stocks. Financial economists have traditionally taken interest in the pricing mechanism that underlies this capital allocation. The consumption based capital asset pricing model is a prominent effort to describe, explain and (...) predict such prices. It tells a story of investors’ trade-off between consumption now and later and which portfolio of assets to hold. The CCAPM based narrative intuitively makes sense, and the chosen methodology involving theoretical assumption, mathematical models and empirical tests follows the professions’ standards of good scientific practise. But does CCAPM’s research programme provide knowledge for use? My thesis seeks to answer this question in a novel way. Instead of embarking on yet another asset pricing research project, I let Philosophy of Science inform my analysis. Following a “primer” introducing essential CCAPM topics and notations, I discuss, in turn, its theoretical foundation, mathematical model, and empirical test results from a philosophy of science perspective. I find that a few fundamental principles and several auxiliary assumptions combine to develop a simplified, partial and idealized theory of investors, financial markets and assets. The model reflects and represents this theory but also makes narrow claims that are distances away from the real situations they target. Unsurprisingly, ideal model assertions fail standard statistical tests of significance. I conclude that mathematical deductive modelling rooted in orthodox, a priori based fundamental principles create ideal and fictional settings that limit their scope and portability. The development of even more granular models within this orthodox paradigm that searches for “event regularities” will not render the desired knowledge for use. The real situations are possibly too complex to be captured in simplified assumptions, ideal theories and mathematical structures. Novel methodological and ontological approaches to asset pricing are in demand. Hence, claims about tendencies in the real data might replace the current focus on point-forecasts. (shrink)

This paper analyses the practice of model-building “beyond the Standard Model” in contemporary high-energy physics and argues that its epistemic function can be grasped by regarding models as mediating between the phenomenology of the Standard Model and a number of “theoretical cores” of hybrid character, in which mathematical structures are combined with verbal narratives and analogies referring back to empirical results in other fields . Borrowing a metaphor from a physics research paper, model-building is likened to the search for a (...) Rosetta stone, whose significance does not lie in its immediate content, but rather in the chance it offers to glimpse at and manipulate the components of hybrid theoretical constructs. I shall argue that the rise of hybrid theoretical constructs was prompted by the increasing use of nonrigorous mathematical heuristics in high-energy physics. Support for my theses will be offered in form of a historical–philosophical analysis of the emergence and development of the theoretical core centring on the notion that the Higgs boson is a composite particle. I will follow the heterogeneous elements which would eventually come to form this core from their individual emergence in the 1960s and 1970s, through their collective life as a theoretical core from 1979 until the present day. (shrink)

It is undeniable that much scientific work is model-based. Despite this, the justification for this reliance on models is still controversial. A particular difficulty here is the fact that many scientific models are based on assumptions that do not describe the exact details of many or even any empirical situations very well. This raises the question of why it is that, despite their frequent lack of descriptive accuracy, employing models is scientifically useful.One..

For several decades now philosophers have discussed apparent examples of internally inconsistent scientific theories. However, there is still much controversy over how exactly we should conceive of scientific theories in the first place. Here I argue for a new approach, whereby all of the truly important questions about inconsistency in science can be asked and answered without disagreements about theories and theory-content getting in the way. Three examples commonly described as ‘internally inconsistent theories’ are analysed in the light of this (...) approach. In the process, the question ‘Is the theory inconsistent or not?’ is identified as a bad, or at least unimportant, question. (shrink)