In this paper significant challenges are raised with respect to the view that explanation essentially involves unification. These objections are raised specifically with respect to the well-known versions of unificationism developed and defended by Michael Friedman and Philip Kitcher. The objections involve the explanatory regress argument and the concepts of reduction and scientific understanding. Essentially, the contention made here is that these versions of unificationism wrongly assume that reduction secures understanding.

Explanatory unification—the urge to “explain much by little”—serves as an ideal of theorizing not only in natural sciences but also in the social sciences, most notably in economics. The ideal is occasionally challenged by appealing to the complexity and diversity of social systems and processes in space and time. This article proposes to accommodate such doubts by making a distinction between two kinds of unification and suggesting that while such doubts may be justified in regard to mere derivational (...) unification (which serves as a formal constraint on theories), it is less justified in the case of ontological unification (which is a result of factual discovery of the actual degree of underlying unity in the world). (shrink)

Unification was originally introduced in automated deduction and term rewriting, but has recently also found applications in other fields. In this article, we give a survey of the results on unification obtained in two closely related, yet different, application areas of unification: description logics and modal logics.

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

In this paper I challenge two widespread convictions about unification in physics: unification is an aim of physics and unification is driven by metaphysical or metatheoretical presuppositions. I call these external explanations of why there is unification in physics. Against this, I claim that unification is a by-product of physical research and unification is driven by basic methodological strategies of physics alone. I call this an internal explanation of why there is unification in (...) physics. To support my claims, I will investigate the actual practice undertaken in physics in paradigmatic examples of unification. (shrink)

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting (...) the covering law model. (shrink)

The theory of explanatory unification was first proposed by Friedman (1974) and developed by Kitcher (1981, 1989). The primary motivation for this theory, it seems to me, is the argument that this account of explanation is the only account that correctly describes the genesis of scientific understanding. Despite the apparent plausibility of Friedman's argument to this effect, however, I argue here that the unificationist thesis of understanding is false. The theory of explanatory unification as articulated by Friedman and (...) Kitcher thus emerges as fundamentally misconceived. (shrink)

In this paper, we defend a novel, multidimensional account of representational unification, which we distinguish from integration. The dimensions of unity are simplicity, generality and scope, non-monstrosity, and systematization. In our account, unification is a graded property. The account is used to investigate the issue of how research traditions contribute to representational unification, focusing on embodied cognition in cognitive science. Embodied cognition contributes to unification even if it fails to offer a grand unification of cognitive (...) science. The study of this failure shows that unification, contrary to what defenders of mechanistic explanation claim, is an important mechanistic virtue of research traditions. (shrink)

Philip Kitcher has proposed a theory of explanation based on the notion of unification. Despite the genuine interest and power of the theory, I argue here that the theory suffers from a fatal deficiency: It is intrinsically unable to account for the asymmetric structure of explanation, and thus ultimately falls prey to a problem similar to the one which beset Hempel's D-N model. I conclude that Kitcher is wrong to claim that one can settle the issue of an argument's (...) explanatory force merely on the basis of considerations about the unifying power of the argument pattern the argument instantiates. (shrink)

Cognitive science is an interdisciplinary conglomerate of various research fields and disciplines, which increases the risk of fragmentation of cognitive theories. However, while most previous work has focused on theoretical integration, some kinds of integration may turn out to be monstrous, or result in superficially lumped and unrelated bodies of knowledge. In this paper, I distinguish theoretical integration from theoretical unification, and propose some analyses of theoretical unification dimensions. Moreover, two research strategies that are supposed to lead to (...) unification are analyzed in terms of the mechanistic account of explanation. Finally, I argue that theoretical unification is not an absolute requirement from the mechanistic perspective, and that strategies aiming at unification may be premature in fields where there are multiple conflicting explanatory models. (shrink)

__In this paper I investigate unification as a virtue of explanation. I the first part of the paper I give a brief exposition of the unification account of Schurz and Lambert and Schurz. I illustrate the advantages of this account in comparison to the older unification accounts of Friedman and Kitcher. In the second part I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber and van Dyck, Gijsberg and de Regt. In (...) the third and final part, I argue that explanation should be understood as a prototype concept which contains nomic expectability, causality and unification as prototypical virtues of explanations, although none of these virtues provides a sufficient and necessary "defining condition" of explanation. (shrink)

Predictive processing (PP) has been repeatedly presented as a unificatory account of perception, action, and cognition. In this paper, we argue that this is premature: As a unifying theory, PP fails to deliver general, simple, homogeneous, and systematic explanations. By examining its current trajectory of development, we conclude that PP remains only loosely connected both to its computational framework and to its hypothetical biological underpinnings, which makes its fundamentals unclear. Instead of offering explanations that refer to the same set of (...) principles, we observe systematic equivocations in PP‐based models, or outright contradictions with its avowed principles. To make matters worse, PP‐based models are seldom empirically validated, and they are frequently offered as mere just‐so stories. The large number of PP‐based models is thus not evidence of theoretical progress in unifying perception, action, and cognition. On the contrary, we maintain that the gap between theory and its biological and computational bases contributes to the arrested development of PP as a unificatory theory. Thus, we urge the defenders of PP to focus on its critical problems instead of offering mere re‐descriptions of known phenomena, and to validate their models against possible alternative explanations that stem from different theoretical assumptions. Otherwise, PP will ultimately fail as a unified theory of cognition. (shrink)

In the current literature on scientific explanation unification became unfashionable in favour of causal approaches. We want to bring unification back into the picture. In this paper we demonstrate that resemblance questions do occur in scientific practice and that they cannot be properly answered without unification. Our examples show that resemblance questions about particular facts demand what we call causal network unification, while resemblance questions about regularities require what we call mechanism unification. We clarify how (...) these types of unification relate to Philip Kitcher’s account, but also to causal and mechanistic accounts of explanation. (shrink)

In this article, I argue that Merleau-Ponty underpins an idea of differentiation without ultimate unification through intertwining. I trace this idea of intertwining to Phenomenology of Perception. I argue that what perception marks is already differentiation prior to any identification. For this purpose, firstly, I will introduce Merleau-Ponty’s depiction of intertwining; secondly, I will elaborate perception in Phenomenology of Perception; finally, I will discuss flesh as intertwining in The Visible and The Invisible.

Epistemic logics are essential to the design of logical systems that capture elements of reasoning about knowledge. In this paper, we study the computability of unifiability and the unification types in several epistemic logics.

We prove that a propositional Linear Temporal Logic with Until and Next has unitary unification. Moreover, for every unifiable in LTL formula A there is a most general projective unifier, corresponding to some projective formula B, such that A is derivable from B in LTL. On the other hand, it can be shown that not every open and unifiable in LTL formula is projective. We also present an algorithm for constructing a most general unifier.

In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.

The object of this paper is to reply to Morrison's ([2000]) claim that while ‘structural unity’ was achieved at the level of the mathematical models of population genetics in the early synthesis, there was explanatory disunity. I argue to the contrary, that the early synthesis effected by the founders of theoretical population genetics was unifying and explanatory both. Defending this requires a reconsideration of Morrison's notion of explanation. In Morrison's view, all and only answers to ‘why’ questions which include the (...) ‘cause or mechanism’ for some phenomenon count as explanatory. In my view, mathematical demonstrations that answer ‘how possibly’ and ‘why necessarily’ questions may also count as explanatory. The authors of the synthesis explained how evolution was possible on a Mendelian system of inheritance, answered skepticism about the sufficiency of selection, and thus explained why and how a Darwinian research program was warranted. While today we take many of these claims as obvious, they required argument, and part of the explanatory work of the formal sciences is providing such arguments. Surely, Fisher and Wright had competing views as to the optimal means of generating adaptation. Nevertheless, they had common opponents and a common unifying and explanatory goal that their mathematical demonstrations served. Introduction: Morrison's challenge Fisher v. Wright revisited The early synthesis Conclusion: unification and explanation reconciled. (shrink)

In this article we criticize two recent articles that examinethe relation between explanation and unification. Halonen and Hintikka (1999), on the one hand,claim that no unification is explanation. Schurz (1999), on the other hand, claims that all explanationis unification. We give counterexamples to both claims. We propose a pluralistic approach to the problem:explanation sometimes consists in unification, but in other cases different kinds of explanation(e.g., causal explanation) are required; and none of these kinds is more fundamental.

Summary: Throughout the history of science, indeed throughout the history of knowledge, unification has been touted as a central aim of intellectual inquiry. We’ve always wanted to discover not only numerous bare facts about the universe, but to show how such facts are linked and interrelated. Large amounts of time and effort have been spent trying to show diverse arrays of things can be seen as different manifestations of some common underlying entities or properties. Thales is said to have (...) originated philosophy and science with his declaration that everything was, at base, a form of water. Plato’s theory of the forms was thought to be a magnificent accomplishment because it gave a unified solution to the separate problems of the relation between knowledge and belief, the grounding of objective values, and how continuity is possible amid change. Pasteur made numerous medical advancements possible by demonstrating the interconnection between microorganisms and human disease symptoms. Many technological advances were aided by Maxwell’s showing that light is a kind of electromagnetic radiation. The attempt to unify the various known forces is often referred to as “The Holy Grail” of physics. Some philosophers have even suggested that providing explanations is itself just a sort of unifying of our knowledge. But while unification (like simplicity) has often been hailed as a tremendous virtue in science, the meaning of the term is not altogether clear. Scientists often don’t specify what, precisely, they mean by unification. And in cases where what they mean is clear, different thinkers plainly mean different things by the term. What are the various senses of unification, and why has unification been such an important aim in the history of inquiry? (shrink)

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

Incommensurability was Kuhn’s worst mistake. If it is to be found anywhere in science, it would be in physics. But revolutions in theoretical physics all embody theoretical unification. Far from obliterating the idea that there is a persisting theoretical idea in physics, revolutions do just the opposite: they all actually exemplify the persisting idea of underlying unity. Furthermore, persistent acceptance of unifying theories in physics when empirically more successful disunified rivals can always be concocted means that physics makes a (...) persistent implicit assumption concerning unity. To put it in Kuhnian terms, underlying unity is a paradigm for paradigms. We need a conception of science which represents problematic assumptions concerning the physical comprehensibility and knowability of the universe in the form of a hierarchy, these assumptions becoming less and less substantial and more and more such that their truth is required for science, or the pursuit of knowledge, to be possible at all, as one goes up the hierarchy. This hierarchical conception of science has important Kuhnian features, but also differs dramatically from the view Kuhn expounds in his The Structure of Scientific Revolutions. In this paper, I compare and contrast these two views in a much more detailed way than has been done hitherto. I show how the hierarchical view can be construed to emerge from Kuhn’s view as it is modified to overcome objections. I argue that the hierarchical conception of science is to be preferred to Kuhn’s view. (shrink)

William Whewell’s philosophy of scientific discovery is applied to the problem of understanding the nature of unification and explanation by the composition of causes in Newtonian mechanics. The essay attempts to demonstrate: the sense in which ”approximate’ laws successfully refer to real physical systems rather than to idealizations of them; why good theoretical constructs are not badly underdetermined by observation; and why, in particular, Newtonian forces are not conventional and how empiricist arguments against the existence of component causes, and (...) against the veracity of the fundamental laws, are flawed. (shrink)

이 논문의 목적은 한반도에서 평화와 통일은 서로 모순이기 때문에 평화통일 대신에 평 화공존을 추구해야 한다고 주장하는 것이다. 이러한 주장을 입증하기 위해 통일에 대한 남 한과 북한의 통일 정책을 비교하면서, 남한과 북한은 자신의 처지가 우위에 있을 때 상대 방에게 교류와 협력을 요구해 왔다는 것을 밝힐 것이다. 남한과 북한은 평화적 통일을 표 방하면서, 자신의 체제로 흡수통일하려는 숨은 의도를 가지고 있었기 때문에 통일은 진전 되지 않고 오히려 갈등과 대립이 증폭되었다. 경제적으로 절대적 우위를 점한 남한은 북한 붕괴와 흡수통일을 기대하거나 평화공존을 앞세워 북한의 개혁개방을 주장하였다. (...) 이것을 알고 있는 북한은 군사적 우위를 점하기 위해 핵무장을 하였다. 남한과 북한은 헌법과 노 동당 규약에 명시된 국가정체성을 포기할 수 없기 때문에, 특히 북한 김정은은 자신의 권 력을 포기할 수 없기 때문에 개혁개방은 가능하지 않으며, 통일도 가능하지 않다. 이 논문 은 이러한 상황에서 우리가 추구해야 할 것은 평화통일이 아니라 평화공존이라고 주장한 다. ‘평화통일론’을 버리고 ‘평화공존론’으로 나아가야 한다고 주장한다. (shrink)

L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.

The drive to 'unify' post-compulsory education and training systems is one of the most important current developments in education policy. However the concept of 'unification' lacks clarity, is not widely recognised, and is pursued through different measures in different countries. In this paper we propose a conceptual framework with which to analyse the different meanings of and debates about unification. Using England and Scotland as examples, we show how the framework may be used to analyse existing systems, reform (...) strategies, and processes and pressures for change. The framework is exploratory and will need to be tested and developed in relation to a wider variety of education systems. (shrink)

Explanations contribute to our understanding of the world byembedding phenomena into general nomic patterns that we recognize in the world. Manyof these patterns are, of course, causal ones, but the declaration as ``causal'' often fails to determinethe explanatory power of the pattern. More important is the systematization capacity and the empiricalcontent of the pattern or theory with respect to explanations. We can specify these parameters moreprecisely within the framework of the structuralist view of theories.

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

Unification grammars are known to be Turing-equivalent; given a grammar G and a word w, it is undecidable whether w L(G). In order to ensure decidability, several constraints on grammars, commonly known as off-line parsability (OLP), were suggested, such that the recognition problem is decidable for grammars which satisfy OLP. An open question is whether it is decidable if a given grammar satisfies OLP. In this paper we investigate various definitions of OLP and discuss their interrelations, proving that some (...) of the OLP variants are indeed undecidable. We then present a novel, decidable OLP constraint which is more liberal than the existing decidable ones. (shrink)

There are several important criticisms against the unificationist model of scientific explanation: Unification is a broad and heterogeneous notion and it is hard to see how a model of explanation based exclusively on unification can make a distinction between genuine explanatory unification from cases of ordering or classification. Unification alone cannot solve the asymmetry and irrelevance problems. Unification and explanation pull in different directions and should be decoupled, because for good scientific explanation extra ad explanandum (...) information is often required. I am presenting a possible solution to those problems, by focusing on an often overlooked but important element of how theoretic unification is achieved—the conceptual frameworks of theories. The core conceptual assumptions behind theories are decisive for discriminating between explanatory and non-explanatory unification. The conceptual framework is also flexible enough to balance the tension between informativeness and maximum systematization in constructing explanatory inferences. A short case study of orthogenetic and Darwinian explanations in paleontology is presented as an illustration of how my addition to the unificationist model is applicable to a historical debate between rival explanations. (shrink)

We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.

In this paper, I argue that unification is neither necessary nor sufficient for explanation. Focusing on the versions of the unificationist theory of explanation of Kitcher and of Schurz and Lambert, I establish three theses. First, Kitcher’s criterion of unification is vitiated by the fact that it entails that every proposition can be explained by itself, a flaw that it is unable to overcome. Second, because neither Kitcher’s theory nor that of Schurz and Lambert can solve the problems (...) of asymmetry and accidental generalizations, it follows that unification is not sufficient to ground explanation. Third, some good explanations are disunifying, which entails that unification is not necessary for explanation either. (shrink)

There is a strong tendency in science to opt for simpler and more unified hypotheses. A view that has often been voiced is that such qualities, though aesthetically pleasing or beautiful, are at best pragmatic considerations in matters of choosing between rival hypotheses. This essay offers a novel conception and an associated measure of unification, both of which are manifestly more than just pragmatic considerations. The discussion commences with a brief survey of some failed attempts to conceptualise unification. (...) It then proceeds to an analysis of the notions of confirmational connectedness and disconnectedness, as these are essential ingredients in the proposed conception of unification and its associated measure. Roughly speaking, the notions attempt to capture the way support flows or fails to flow between the content parts of a hypothesis. Equally roughly, the more the content of a hypothesis is confirmationally connected, i.e. support flows between its content parts, the more that content is unified. Since the confirmational connectedness of two content parts is determined by purely objective matters of fact, the proposed notion and measure of unification are themselves strictly objective, i.e. not merely pragmatic. The essay concludes with a discussion of how the proposed measure handles several examples but also how it relates to the debate over measures of coherence.En la ciencia hay una marcada tendencia a preferir las hipotesis mas simples y unificadas. Una opinion mantenida a menudo es que tales cualidades, aun siendo atractivas o esteticamente satisfactorias, constituyen consideraciones pragmaticas, a lo sumo, en el asunto de la eleccion entre teorias rivales. Este ensayo ofrece una concepcion novedosa de unificacion y una medida asociada a ella, ambas claramente algo mas que meras consideraciones pragmaticas. La discusion comienza con un breve repaso de algunos intentos fallidos de conceptualizar la unificacion. Despues se analizan las nociones de conexion y desconexion confirmacional, componentes esenciales en la nocion de unificacion y la medida asociada que aqui se proponen. Dicho brevemente, esas nociones pretenden captar el modo en que el apoyo discurre o no entre las partes del contenido de las hipotesis. Simplificando, cuanto mas conectado confirmacionalmente esta el contenido de una hipotesis, mas unificado esta. Dado que la conectividad confirmacional de dos partes del contenido esta determinada por cuestiones de hecho objetivas, la nocion y la medida que propongo son tambien estrictamente objetivas, esto es, su valor no es meramente pragmatico. El ensayo concluye con una discusion sobre como la medida propuesta afronta diversos ejemplos y sobre su relacion con el debate sobre las diferentes medidas de coherencia. (shrink)

This article has three aims. The first is to give a partial explication of the concept of unification. My explication will be partial because I confine myself to unification of particular events, because I do not consider events of a quantitative nature, and discuss only deductive cases. The second aim is to analyze how unification can be reached. My third aim is to show that unification is an intellectual benefit. Instead of being an intellectual benefit (...) class='Hi'>unification could be an intellectual harm, i.e., a state of mind we should try to avoid by all means. By calling unification an intellectual benefit, we claim that this form of understanding has an intrinsic value for us. I argue that unification really has this alleged intrinsic value. (shrink)

We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object.

In this paper I respond to Wim van der Steen''s arguments against the supposed current overemphasis on norms ofcoherence andinterdisciplinary integration in biology. On the normative level, I argue that these aremiddle-range norms which, although they may be misapplied in short-term attempts to solve (temporarily?) intractable problems, play a guiding role in the longer-term treatment of biological problems. This stance is supported by a case study of apartial success story, the development of the one gene — one enzyme hypothesis. As (...) that case shows, thegoal of coherent interdisciplinary integration not only provides guidance for research, but also provides the standard for recognizingfailed integrations of the sort that van der Steen criticizes. (shrink)

According to Michael Friedman’s theory of explanation, a law X explains laws Y1, Y2, …, Yn precisely when X unifies the Y’s, where unification is understood in terms of reducing the number of independently acceptable laws. Philip Kitcher criticized Friedman’s theory but did not analyze the concept of independent acceptability. Here we show that Kitcher’s objection can be met by modifying an element in Friedman’s account. In addition, we argue that there are serious objections to the use that Friedman (...) makes of the concept of independent acceptability. (shrink)

This is the second of the three volumes comprising, Scholastic Humanism and the Unification of Europe. Focussing on the period from c.1090-1212, the volume explores the lives, scholarly resources, and contributions of a wide sample of people who either took part in the creation of the scholastic system of thought or gave practical effect to it in public life. The second volume of a compelling, original work which will redefine our perceptions of medieval civilization, the renaissance and the evolution (...) of modern Europe. Written by a man who was widely regarded as the greatest medieval historian. (shrink)

Proponents of IBE claim that the ability of a hypothesis to explain a range of phenomena in a unifying way contributes to the hypothesis’s credibility in light of these phenomena. I propose a Bayesian justification of this claim that reveals a hitherto unnoticed role for explanatory unification in evaluating the plausibility of a hypothesis: considerations of explanatory unification enter into the determination of a hypothesis’s prior by affecting its ‘explanatory coherence’, that is, the extent to which the hypothesis (...) offers mutually cohesive explanations of various phenomena. (shrink)

We discuss two influential views of unification: mutual information unification (MIU) and common origin unification (COU). We propose a simple probabilistic measure for COU and compare it with Myrvold’s (2003, 2017) probabilistic measure for MIU. We then explore how well these two measures perform in simple causal settings. After highlighting several deficiencies, we propose causal constraints for both measures. A comparison with explanatory power shows that the causal version of COU is one step ahead in simple causal (...) settings. However, slightly increasing the complexity of the underlying causal structure shows that both measures can easily disagree with explanatory power. The upshot of this is that even sophisticated causally constrained measures for unification ultimately fail to track explanatory relevance. This shows that unification and explanation are not as closely related as many philosophers thought. (shrink)

Veissière et al. must sacrifice explanatory realism and precision in order to develop a unified formal model. Drawing on examples from cognitive archeology, we argue that this makes it difficult for them to derive the kinds of testable predictions that would allow them to resolve debates over the nature of human social cognition and cultural acquisition.

In this paper I investigate unification as a virtue of explanation. In the first part of the paper (sec. 1-2) I give a brief exposition of the unification account of Schurz and Lambert (1994) and Schurz (1999). I illustrate the advantages of this account in comparison to the older unification accounts of Friedman (1974) and Kitcher (1981). In the second part (sec. 3) I discuss several comments and objections to the Schurz-Lambert account that were raised by Weber (...) and van Dyck (2002), Gijsbers (2007) and de Regt (2005). In the third and final part (sec. 4), I argue that explanation should be understood as a prototype concept which contains nomic expectability, causality and unification as prototypical virtues of explanations, although none of these virtues provides a sufficient and necessary "defining condition" of explanation.El artículo analiza la unificación como virtud explicativa. En su primera parte hago una breve exposición del enfoque de la unificación de Schurz y Lambert (1994) y Schurz (1999). Ilustro las ventajas de este planteamiento sobre otros anteriores, como Friedman (1974) y Kitcher (1981). En la segunda parte (secc. 3)discuto varios comentarios y objeciones al enfoque Schurz-Lambert planteados por Weber y van Dyck (2002), Gijsbers (2007) y de Regt (2005). En la tercera y última parte (secc. 4) argumento que la explicación debería entenderse como un concepto prototipo que contiene la esperabilidad nómica, la causalidad y launificación como virtudes prototípicas de las explicaciones, aunque ninguna de estas virtudes ofrece una condición “definitoria”, suficiente y necesaria, de la explicación. (shrink)

Experimental philosophers have discovered a large number of asymmetries in our intuitions about philosophically significant notions. Often those intuitions turned out to be sensitive to normative factors. Whereas optimists have insisted on a unified explanation of these findings, pessimists have argued that it is impossible to formulate a single factor explanation. I defend the intermediate position according to which unification is possible to some extent, but should be pursued within limits. The key issue that I address is how it (...) is possible to set such limits in a way that is true to the phenomena. (shrink)

This paper considers the importance of unification in the context of developing scientific theories. I argue that unifying hypotheses are not valuable simply because they are supported by multiple lines of evidence. Instead, they can be valuable because they guide experimental research in different domains in such a way that the results from those experiments inform the scope of the theory being developed. I support this characterization by appealing to the early development of quantum theory. I then draw some (...) comparisons with discussions of robustness reasoning. (shrink)

In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay–de Jongh logics and to show that these logics have finitary unification type.