Explanation is asymmetric: if A explains B, then B does not explain A. Tradition- ally, the asymmetry of explanation was thought to favor causal accounts of explanation over their rivals, such as those that take explanations to be inferences. In this paper, we develop a new inferential approach to explanation that outperforms causal approaches in accounting for the asymmetry of explanation.

Explanations are supposed to provide us with understanding. It is common to make a distinction between genuine, scientific understanding, and the phenomenological, or ‘aha’ notion of understanding, where the former is considered epistemically relevant, the latter irrelevant. I argue that there is a variety of phenomenological understanding that does play a positive epistemic role. This phenomenological understanding involves a similarity between bodily sensations that is used as evidence for mechanistic hypotheses. As a case study, I will consider 17th and 18th (...) century research into the mechanism behind the electric eel’s power to shock. Se supone que las explicaciones nos dotan de comprensión. Es habitual hacer una distinción entre compresión cientifica, genuina, y la noción fenomenológica, o ‘ahá’, de comprensión, donde la primera se considera epistemológicamente relevante y esta última irrelevante. Argumento que hay un tipo de compresión fenomenológica que sí juega un papel positivo epistémico. Esta comprensión epistemológica conlleva cierta semejanza con las sensaciones corporales que se usan como evidencia de algunas hipótesis mecanicistas. Como caso de estudio, consideraré la investigación en los siglos xvii y xviii del mecanismo tras la capacidad de la anguila eléctrica para provocar un shock. (shrink)

The paper provides a systematic overview of recent debates in epistemology and philosophy of science on the nature of understanding. We explain why philosophers have turned their attention to understanding and discuss conditions for “explanatory” understanding of why something is the case and for “objectual” understanding of a whole subject matter. The most debated conditions for these types of understanding roughly resemble the three traditional conditions for knowledge: truth, justification and belief. We discuss prominent views about how to construe these (...) conditions for understanding, whether understanding indeed requires conditions of all three types and whether additional conditions are needed. (shrink)

The concepts of coherence and confirmation are closely intertwined: according to a prominent proposal coherence is nothing but mutual confirmation. Accordingly, it should come as no surprise that both are confronted with similar problems. As regards Bayesian confirmation measures these are illustrated by the problem of tacking by conjunction. On the other hand, Bayesian coherence measures face the problem of belief individuation. In this paper we want to outline the benefit of an approach to coherence and confirmation based on content (...) elements. It will be shown that the resulting concepts, called genuine coherence and genuine confirmation, can be used in order to solve the two mentioned problems. In a final section we present some results on degrees of genuine coherence and genuine confirmation. (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 paper analyzes two ways idealized biological models produce factive scientific understanding. I then argue that models can provide factive scientific understanding of a phenomenon without providing an accurate representation of the features of their real-world target system. My analysis of these cases also suggests that the debate over scientific realism needs to investigate the factive scientific understanding produced by scientists’ use of idealized models rather than the accuracy of scientific models themselves.

Two key ideas of scientific explanation−explanation as causal information and explanation as unification-have frequently been set into mutual opposition. This paper proposes a “dialectical solution” to this conflict, by arguing that causal explanations are preferable to non-causal ones, because they lead to a higherdegree of unification at the level of explaining statistical regularities. The core axioms of the theory of causal nets (TC) are justified because they offer the best if not the only unifying explanation of two statistical phenomena: screening (...) off and linking up. Alternative explanations of the two phenomena are discussed and it isshown why they don’t work. It is demonstrated that although the core axioms of TC are empirically vacuous, extended versions of TC have empirical content by means of which they can generate independently testable predictions.Con frecuencia se han planteado como contrapuestas dos ideas clave en la explicacion cientifica (explicacion como informacion causal y explicacion como unificacion). El presente articulo propone una “solucion dialectica” argumentando que las explicaciones causales son preferibles a las no-causales porque aquellas comportan un mayor grado de unificacion en la explicacion de regularidades estadisticas. Los axiomas centrales de la teoria de redes causales (TC) estan justificados porque ofrecen la mejor, si no la unica, explicacion unificada de dos fenomenos estadisticos: neutralizacion (screening off) y vinculacion (linking up). Se discuten las explicaciones alternativas de estos dos fenomenos y se razona por que no funcionan. Se demuestra ademas que aunque los axiomas centrales de TC son empiricamente vacuos, las versiones extendidas de TC tienen un contenido empirico gracias al cual pueden generar predicciones independientemente contrastables. (shrink)

An overview of the German philosophy of science community is given for the years 1992–2012, based on a survey in which 159 philosophers of science in Germany participated. To this end, the institutional background of the German philosophy of science community is examined in terms of journals, centers, and associations. Furthermore, a qualitative description and a quantitative analysis of our survey results are presented. Quantitative estimates are given for: (a) academic positions, (b) research foci, (c) philosophers’ of science most important (...) publications, and (d) externally funded projects, where for (c) all survey participants had indicated their five most important publications in philosophy of science. In addition, the survey results for (a)–(c) are also qualitatively described, as they are interesting in their own right. With respect to (a), we estimated the gender distribution among academic positions. Concerning (c), we quantified philosophers’ of science preference for (i) journals and publishers, (ii) publication format, (iii) language, and (iv) coauthorship for their most important publications. With regard to research projects, we determined their (i) prevalence, (ii) length, and (iii) trend (an increase in number?) as well as their most frequent (iv) research foci and (v) funding organizations. We also distinguished between German-based and non-German-based journals, publishers, and funding institutions, making it thereby possible to evaluate the involvement of the German philosophy of science community in the international research landscape. Finally, we discuss some implications of our findings. (shrink)

This paper utilizes a logical correspondence theorem (which has been proved elsewhere) for the justification of weak conceptions of scientific realism and convergence to truth which do not presuppose Putnam's no-miracles-argument (NMA). After presenting arguments against the reliability of the unrestricted NMA in Sect. 1, the correspondence theorem is explained in Sect. 2. In Sect. 3, historical illustrations of the correspondence theorem are given, and its ontological consequences are worked out. Based on the transitivity of the concept of correspondence, a (...) correspondence-based notion of convergence to truth is developed in Sect. 4. In the final Sect. 5 it is argued that the correspondence theorem together with the assumption of ' minimal realism' yields a justification of a weak version of scientific realism, which is then compared to metaphysical realism and to instrumentalism. (shrink)

In this article I argue that there are two different types of understanding: the understanding we get from explanations, and the understanding we get from unification. This claim is defended by first showing that explanation and unification are not as closely related as has sometimes been thought. A critical appraisal of recent proposals for understanding without explanation leads us to discuss the example of a purely classificatory biology: it turns out that such a science can give us understanding of the (...) world through unification of the phenomena, even though it does not give us any explanations. The two types of understanding identified in this paper, while strictly separate, do have in common that both consist in seeing how the individual phenomena of the universe hang together. Explanations give us connections between the phenomena through the asymmetric, ‘vertical’ relation of determination; unifications give us connections through the symmetric, ‘horizontal’ relation of kinship. We then arrive at a general definition of understanding as knowledge of connections between the phenomena, and indicate that there might be more than two types of understanding. (shrink)

In 1747, James Lind carried out an experiment which proved the usefulness of citrus fruit as a cure for scurvy. Nonetheless, he rejected the earlier hypothesis of Bachstrom that the absence of fresh fruit and vegetables was the only cause of the disease. I explain why it was rational for James Lind not to accept Bachstrom’s explanation. I argue that it was the urge for scientific understanding that guided Lind in his rejection and in the development of his alternative theory (...) that humidity was the primary cause of the disease. Central in this process was the search for causal mechanisms which could provide understanding of how the disease developed and which fitted in with the knowledge of the time. Given that the relevant background knowledge and statistical methods were not yet available to Lind, he was right to prefer his own explanation to that of Bachstrom. Although his explanation turned out to be wrong, and Bachstrom’s right, from a historical point of view it offered deeper causal understanding of both the development of the disease and the preventive and curative effects of fresh vegetable food. This case study illustrates how the search for causal mechanisms can not only be enlightening, but also very misleading. (shrink)

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (shrink)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

Knowledge of many facts does not amount to understanding unless one also has a sense of how the facts fit together. This aspect of coherence among scientific observations and theories is usually overlooked in summaries of scientific method, since the emphasis is on justification and verification rather than on understanding. I argue that the inter-theoretic coherence, as the hallmark of understanding, is an essential and informative component of any accurate description of science.

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)