Theories and Models, Misc

The purpose of this paper is to examine in detail a particularly interesting pair of first-order theories. In addition to clarifying the overall geography of notions of equivalence between theories, this simple example yields two surprising conclusions about the relationships that theories might bear to one another. In brief, we see that theories lack both the Cantor-Bernstein and co-Cantor-Bernstein properties.

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter investigates the meaning and significance of string theoretic dualities, arguing they reveal a surprising physical indeterminateness to spacetime.

This paper represents a philosophical experiment inspired by the formalist philosophy of mathematics. In the formalist picture of cognition, the principal act of knowledge generation is represented as tentative postulation – as introduction of a new knowledge construct followed by exploration of the consequences that can be derived from it. Depending on the result, the new construct may be accepted as normative, rejected, modified etc. Languages and means of reasoning are generated and selected in a similar process. In the formalist (...) picture, all kinds of “truth” are detected intra-theoretically. Some knowledge construct may be considered as “true”, if it is accepted in a particular normative knowledge system. Some knowledge construct may be considered as persistently true, if it remains invariant during the evolution of some knowledge system for a sufficiently long time. And, if you wish, you may consider some knowledge construct as absolutely true, if you do not intend abandoning it in your knowledge system. And finally, in the formalist picture, all kinds of ontologies generated by humans can be demystified by reconstructing them within the basic solipsist ontology simply as hypothetical branches of it. (shrink)

First, I propose a new argument in favor of the Dappled World perspective introduced by Nancy Cartwright. There are systems, for which detailed models can't exist in the natural world. And this has nothing to do with the limitations of human minds or technical resources. The limitation is built into the very principle of modeling: we are trying to replace some system by another one. In full detail, this may be impossible. Secondly, I'm trying to refine the Dappled World perspective (...) by applying the correct distinction between models and theories. At the level of models, because of the above-mentioned limitations, we will always have only a patchwork of models each very restricted in its application scope. And at the level of theories, we will never have a single complete Theory of Everything allowing, without additional postulates, to generate all the models we may need for surviving in this world. (shrink)

Normative political theorists frequently compare hypothetical scenarios for the purpose of identifying reasons to prefer one kind of institution to alternatives. We examine three types of "unfair" comparisons and the reasoning errors associated with each. A theorist makes an _obscure comparison_ when one (or more) of the alternatives under consideration is underspecified; a theorist makes a _mismatched comparison_ when they fail to hold fixed the relevant contextual factors while comparing alternatives; and a theorist makes an _irrelevant comparison_ when they compare (...) alternatives assuming contextual factors that differ in important respects from those they "should" assume given their theoretical aims. We then introduce the notion of a modeling mindset and show how this mindset can help theorists detect and avoid the three types of error. We conclude with a reconstruction of Cohen's (2009) camping trip thought experiment to illustrate the approach. (shrink)

Le présent travail s'inscrit à l'intersection de deux problèmes épistémologiques majeurs. D'une part, le problème de la démarcation scientifique, qui consiste à identifier ce qui distingue intrinsèquement un système (un énoncé, une théorie, ...) scientifique d'un système non scientifique ou pseudo-scientifique. D'autre part, le problème de l'unité épistémologique des sciences, qui consiste à se demander si toutes les disciplines à vocation scientifique peuvent être vues comme des instanciations d'une notion unique de la scientificité. Ces deux problèmes ont soulevé de nombreux (...) débats ayant mis en évidence un ensemble important de difficultés. Le terme « scientifique » désigne en effet des méthodes empiriques, des constructions théoriques et des pratiques de recherche si hétérogènes qu’il semble voué à l’échec d’en chercher une définition aisée à circonscrire. De plus, les objets des disciplines scientifiques sont eux-mêmes de natures très diverses, ce qui semble rendre pareillement caduque toute recherche d’un concept unique de science qui pourrait s’appliquer indépendamment de la discipline en question. Dans cette thèse, je me propose de prendre à contre-pied cet état de fait en soutenant la possibilité et la pertinence d'un modèle unitaire de la scientificité, tout en me restreignant à une approche épistémologique comparée entre les sciences physiques et les sciences sociales. Pour défendre mon propos, j’ai mobilisé deux types de réponses pouvant être opposées au constat présenté plus haut. D’une part, des réponses de principe, où j’examine et m’oppose à des arguments théoriques soutenant l’impossibilité ou en tout cas la difficulté de définir la scientificité en général, et la nécessité pour les sciences sociales de jouir d’une définition à part. D’autre part, je mobilise également des réponses par l’exemple. J’étudie alors plus en détail l’approche dite « analytique » en sociologie. Ce courant a cela d’intéressant pour mon propos qu’il ne semble pas nécessiter d’épistémologie alternative à celle ayant cours, par exemple, en physique ou en biologie, tout en prétendant bien produire des connaissances sur le monde social. Il s’agit donc d’un contre-exemple concret et manifeste de la thèse soutenant que la sociologie ne peut pas jouir du même type d’épistémologie que les autres disciplines. Plus concrètement, j’élabore un (méta-)modèle unitaire de la scientificité en me concentrant sur une unité d’analyse bien circonscrite : les modèles. Je distingue chez ses derniers, classiquement, deux composantes principales : une composante empirique, qui a pour vocation à identifier des régularités dans le réel auquel on a accès à travers des données, et une composante théorique, à visée explicative et classificatoire. Je propose alors de construire formellement un degré de scientificité global dans lequel se combinent la maximisation d’une certaine quantité d’information définie sur la composante empirique et un critère d’invariance structurelle défini sur la composante théorique. Ces diverses constructions, bien que formelles, permettent d’éclairer efficacement les questions épistémologiques que je me suis données au départ de mon travail, ce dernier ayant vocation à constituer une étape supplémentaire vers un modèle unitaire de la scientificité. (shrink)

Philosophers and scientists have often adopted the orthodox version of calibration which involves standardizing an instrument using a known phenomenon. The essential link between theoretical concepts and empirical data, in the philosophy of measurement, has generated the formulation of principles of coordination, synthetic a priori, and revisables. Operationalist thinking wanted to limit the scope of concepts to operations of measurement that are actually achievable. The coherentist perspective in the philosophy of measurement has operated a recovery of coordinationist epistemology and operationalism, (...) relying on a minimal number of ontological principles. Models of an instrument involve a commitment to separation between idealized theories and material things. However, philosophers and metrologists have advocated the requirement of a rich theoretical content in the modeling of measuring instruments. According to other contributions, the epistemic privilege of measurement precedes a background theory and its robustness lies in the free contact with empirical data. Moreover, the applicability regime of a theory dictates its boundary conditions, which guide the experimenter in the design of measuring instruments and provide the basis for operationalizing the meaning of theoretical terms. I support operational pluralism, measurement operations involving different physical indicators, accompanied by dynamic coherentism. The James Webb Space Telescope calibration program is a significant case. Observations of calibration stars by various methods are used to calculate the factors that convert a measurement in instrumental units to physical units. (shrink)

A conspicuous feature of contemporary modelling practices is the use of the same mathematical forms and modelling methods across different scientific domains. This model transfer raises many philosophical questions concerning, for example, the exact object of transfer, the relationship between the model and the target domain, the specific challenges such transfer confronts, and the ways in which model transfer relates to scientific progress. While the interest in studying model transfer has increased among philosophers of science in recent years, the phenomenon (...) has not yet received its due attention. The literature is scattered and much of it has addressed questions around the factors that might explain model transfer, such as whether the different target phenomena to which a model is applied eventually prove to be structurally and dynamically similar, or whether they have to share more fundamental ontological features that explain the interdisciplinary success of distinct models. This chapter surveys the existing literature on model transfer with the main goal of highlighting the main findings of existing discussions and pointing out open issues whose discussion would improve our understanding of this highly relevant phenomenon in science. (shrink)

It is often claimed that one can avoid the kind of underdetermination that is a typical consequence of symmetries in physics by stipulating that symmetry-related models represent the same state of affairs (Leibniz Equivalence). But recent commentators (Dasgupta 2011; Pooley 2021; Pooley and Read 2021; Teitel 2021a) have responded that claims about the representational capacities of models are irrelevant to the issue of underdetermination, which concerns possible worlds themselves. In this paper I distinguish two versions of this objection: (1) that (...) a theory’s formalism does not (fully) determine the space of physical possibilities, and (2) that the relevant notion of possibility is not physical possibility. I offer a refutation of each. (shrink)

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns of usage, (...) in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

We critically engage two traditional views of scientific data and outline a novel philosophical view that we call the pragmatic-representational view of data. On the PR view, data are representations that are the product of a process of inquiry, and they should be evaluated in terms of their adequacy or fitness for particular purposes. Some important implications of the PR view for data assessment, related to misrepresentation, context-sensitivity, and complementary use, are highlighted. The PR view provides insight into the common (...) but little-discussed practices of iteratively reusing and repurposing data, which result in many datasets’ having a phylogeny—an origin and complex evolutionary history—that is relevant to their evaluation and future use. We relate these insights to the open-data and data-rescue movements, and highlight several future avenues of research that build on the PR view of data. (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)

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

In this chapter, we argue that in order to understand the interdisciplinary and transdisciplinary dialectics in sustainability science, it is useful to see sustainability science as a kind of management science, and then to highlight the hard-soft distinction in systems thinking. First, we argue that the commonly made natural-social science dichotomy is relatively unimportant and unhelpful. We then outline the differences between soft and hard systems thinking as a more relevant and helpful distinction, mainly as a difference between perspectives in (...) systemic modeling toward models. We also illustrate that the distinction is methodologically useful to advance sustainability science by enabling us (i) to suggest novel ways of using existing theoretical, experimental, and computational resources of the sciences for renewable resource management, and (ii) to disentangle disciplinary disagreements in climate science. (shrink)

This paper contains a detailed exposition and analysis of The Philosophy of “As If“ proposed by Hans Vaihinger in his book published in 1911. However, the principal chapters of the book (Part I) reproduce Vaihinger’s Habilitationsschrift, which was written during the autumn and winter of 1876. Part I is extended by Part II based on texts written during 1877–1878, when Vaihinger began preparing the book. The project was interrupted, resuming only in the 1900s. My conclusion is based exclusively on the (...) texts written in 1876-1878: Vaihinger was, decades ahead of the time, a philosopher of modeling in the modern sense – a brilliant achievement for the 1870s! And, in the demystification of such principal aspects of cognition as truth, understanding and causality, is he not still ahead of many of us? According to Vaihinger, what we set beyond sensations is our invention (fiction), the correspondence of which with reality cannot (and need not) be verified in the mystical, absolute sense many people expect. (shrink)

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)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this paper, (...) I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into two parts: the structural question and the substantive question. Just as an object’s weight is determined by its mass and gravitational acceleration, some probabilities are determined by other, more basic ones. The structural question asks what probabilities are (...) not determined in this way—these are the basic probabilities which determine values for all other probabilities. The substantive question asks how the values of these basic probabilities are determined. I defend an answer to the structural question on which basic probabilities are the probabilities of atomic propositions conditional on potential direct explanations. I defend this against the view, implicit in orthodox mathematical treatments of probability, that basic probabilities are the unconditional probabilities of complete worlds. I then apply my answer to the structural question to clear up common confusions in expositions of Bayesianism and shed light on the “problem of the priors.”. (shrink)

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

Fisher criticised the Neyman-Pearson approach to hypothesis testing by arguing that it relies on the assumption of “repeated sampling from the same population.” The present article considers the responses to this criticism provided by Pearson and Neyman. Pearson interpreted alpha levels in relation to imaginary replications of the original test. This interpretation is appropriate when test users are sure that their replications will be equivalent to one another. However, by definition, scientific researchers do not possess sufficient knowledge about the relevant (...) and irrelevant aspects of their tests and populations to be sure that their replications will be equivalent to one another. Pearson also interpreted the alpha level as a personal rule that guides researchers’ behavior during hypothesis testing. However, this interpretation fails to acknowledge that the same researcher may use different alpha levels in different testing situations. Addressing this problem, Neyman proposed that the average alpha level adopted by a particular researcher can be viewed as an indicator of that researcher’s typical Type I error rate. Researchers’ average alpha levels may be informative from a metascientific perspective. However, they are not useful from a scientific perspective. Scientists are more concerned with the error rates of specific tests of specific hypotheses, rather than the error rates of their colleagues. It is concluded that neither Neyman nor Pearson adequately rebutted Fisher’s “repeated sampling” criticism. Fisher’s significance testing approach is briefly considered as an alternative to the Neyman-Pearson approach. (shrink)

Scientific theories are used for a variety of purposes. For example, physical theories such as classical mechanics and electrodynamics have important applications in engineering and technology, and we trust that this results in useful machines, stable bridges, and the like. Similarly, theories such as quantum mechanics and relativity theory have many applications as well. Beyond that, these theories provide us with an understanding of the world and address fundamental questions about space, time, and matter. Here we trust that the answers (...) scientific theories give are reliable and that we have good reason to believe that the features of the world are similar to what the theories say about them. But why do we trust scientific theories, and what counts as evidence in favor of them? (shrink)

Was there a concept of data before the so-called ‘data revolution’? This paper contributes to the history of the concept of data by investigating uses of the term ‘data’ in texts of the Royal Society's Philosophical Transactions for the period 1665–1886. It surveys how the notion enters the journal as a technical term in mathematics, and charts how over time it expands into various other scientific fields, including Earth sciences, physics and chemistry. The paper argues that in these texts the (...) notion of data is not used merely as a rhetorical category, and also cannot strictly be identified with the category of evidence. Instead, the notion comes with an associated epistemic structure, one that is in line with its development from an early mathematical use. (shrink)

The epistemic status of Natural Selection has intrigued to biologists and philosophers since the very beginning of the theory to our present times. One prominent contemporary example is Elliott Sober, who claims that Natural Selection, and some other theories in biology, and maybe in economics, are peculiar in including explanatory models/conditionals that are a priori in a sense in which explanatory models/conditionals in Classical Mechanics and most other standard theories are not. In this paper, by analyzing what we take to (...) be the four possible interpretations of Sober’s claim, we argue that, terminological preferences aside, the possible senses in which explanatory models in Natural Selection can qualify, or include elements that can qualify, as a priori, also apply to Classical Mechanics and other standard, highly unified theories. (shrink)

This is the outline: 1. Introduction 2. La compréhension théorique – 2.1 Le dynamisme conceptuel et l'a priori 2.2 L'horizon conceptuel – 3. Compréhension et singularité 4. La production de signifiance 5. La présence du mystère 6. Le problème de la substantialité : l'un et le multiple – 6.1 La notion d'un ordre implicite.

This paper presents an artifactual approach to models that also addresses their fictional features. It discusses first the imaginary accounts of models and fiction that set model descriptions apart from imagined-objects, concentrating on the latter :251–268, 2010; Frigg and Nguyen in The Monist 99:225–242, 2016; Godfrey-Smith in Biol Philos 21:725–740, 2006; Philos Stud 143:101–116, 2009). While the imaginary approaches accommodate surrogative reasoning as an important characteristic of scientific modeling, they simultaneously raise difficult questions concerning how the imagined entities are related (...) to actual representational tools, and coordinated among different scientists, and with real-world phenomena. The artifactual account focuses, in contrast, on the culturally established external representational tools that enable, embody, and extend scientific imagination and reasoning. While there are commonalities between models and fictions, it is argued that the focus should be on the fictional uses of models rather than considering models as fictions. (shrink)

The aim of this article is to outline the theory of a historical process developed within the framework of the Poznań School of Methodology, mainly by Leszek Nowak and a team of his co-workers. In the first part of the paper, the meta-philosophical and meta-theoretical assumptions of Poznań school are reconstructed and juxtaposed with the relevant assumptions of Western analytical Marxism. In the central part of the paper, the main ideas of adaptive reconstruction of historical materialism and non-Marxian historical materialism (...) are presented. In its final part, some problems of reception of Leszek Nowak’s theory of historical process in Polish People’s Republic and the Third Republic are discussed. (shrink)

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of mathematics. Whatever the merits (...) of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

Preface to the Thematic Volume: Models and Theories in Biology.

The structuralist reconstruction of the metabolic biochemistry here presented is a more complete and revised version than the one presented in Donolo, Federico & Lorenzano (2006). This version, as the previous one, continues with the reconstructive task initiated by César Lorenzano (2002), but advances further on those elements which remained pendent of reconstruction: applications subsequent to the paradigmatic one, for being these “too diversified and numerous” (p. 210).In line with which is said before, the objective of this new reconstruction is (...) to make the theoretical network of the biochemistry wider, in order to be able to capture the many successful applications (paradigmatic examples or exemplars) which appear in modern university textbooks. In order to accomplish this, major conceptual precisions are being introduced which will have repercussions in a modification and increased complexity of the fundamental law implicit in the text books, but still conserving the previous basic idea. Because of all this we can say that the present article goes further into the reconstruction task of the metabolic biochemistry theory. (shrink)

Preface to the thematic volume Metatheoretical Structuralism: Some Recent Developments and Applications.

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain aspects (...) thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

The concept of the Dappled World Perspective was first proposed by Nancy Cartwright. I propose a new argument in favour of the Dappled World Perspective, and show how this Perspective can be refined in the model-based model of cognition. Limitations to modeling are not caused by limitations of human cognition, but are limitations built into the very structure of the Universe. At the level of models, we will always have only a patchwork of models, each very restricted in its application (...) scope. (shrink)

In two occasions a Bibliography of Structuralism has been published in Erkenntnis (1989, 1994). Since then a lot of water has flowed under the bridge and the structuralist program has shown a continuous development. The aim of the present bibliography is to celebrate the 25th anniversary of the publication of An Architectonic for Science –structuralism’s main reference work– and of its recent translation into Spanish by updating the previous bibliographies with titles which have appeared since 1994 as well as before (...) that year but which are not included in them. As in the former deliveries, this bibliography only covers books and articles that are concerned directly with the structuralist approach in the philosophy of science. We would like to thank the many colleagues who have helped us in collecting all the information. Notwithstanding we apologize in advance for the possible entries that we missed to include in this third Bibliography of Structuralism. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

I present a new definition of verisimilitude, framed in terms of causes. Roughly speaking, according to it a scientific model is approximately true if it captures accurately the strengths of the causes present in any given situation. Against much of the literature, I argue that any satisfactory account of verisimilitude must inevitably restrict its judgments to context-specific models rather than general theories. We may still endorse—and only need—a relativized notion of scientific progress, understood now not as global advance but rather (...) as the mastering of particular problems. This also sheds new light on longstanding difficulties surrounding language-dependence and models committed to false ontologies. (shrink)

The main message of the paper is that there is a disconnect between what many philosophers of mind think of as the scientific practice of reductive or reductionist explanation, and what the most relevant scientific work is actually like. I will sketch what I see as a better view, drawing on various ideas in recent philosophy of science. I then import these ideas into the philosophy of mind, to see what difference they make.1 At the end of the paper I (...) address a possible objection: the familiar package of ideas I reject in the philosophy of science should not be lightly discarded, because other popular views on fundamental issues depend on positions that I want to reject. I reply that those apparently attractive further ideas are not worth holding onto. (shrink)

Helmholtz initially ascribes more to theoretical knowledge than merely that it is a picture of the world: it penetrates even to the unobservable causes of the phenomena which he conceived throughout his career as matter set mechanically in motion. The introduction of the picture-concept in the 1860s to characterize scientific theories marks the beginning of the loss of a direct connection with the world. Theories now constitute only a representation of a law-like structure of the world but no longer shed (...) light on the objects themselves. Beginning in the late 1870s, this knowledge of laws takes on an increasingly hypothetical character. (shrink)

Werner Heisenberg hat einen wichtigen, noch nicht hinreichend untersuchten Beitrag zum Wandel des neuzeitlichen Wissenschaftsverständnisses geleistet. Der Wandel führte von der Charakterisierung des wissenschaftlichen Wissens als sichere Erkenntnis zu seiner - heute weithin anerkannten - Charakterisierung als bloß hypothetische Erkenntnis. Anfänge dieses Wandlungsprozesses lassen sich im 19. Jahrhundert nachweisen (z.B. bei John Hersehel, William Whewell oder Hermann von Helmholtz). Ich möchte am Beispiel von Heisenberg der Frage nachgehen, welchen Einfluss die Begründung der Quantenmechanik, die seine Wissenschaftsauffassung prägte, auf den Prozess (...) der Relativierung von Geltungsansprüchen hatte. Meine Vermutung ist, dass eine entscheidende Rolle hierbei weniger dem Wahrscheinlichkeitsbegriff als vielmehr dem Wahrheits- und Realitätsbegriff zukam. Ich werde als erstes den historischen Prozess der Hypothetisierung von Geltungsansprüchen, zu dem ich Heisenbergs Konzeption ins Verhältnis setzen möchte, charakterisieren. Anschließend rekonstruiere ich Heisenbergs Konzeption, soweit sie sich seinen populären Reden und Aufsätzen entnehmen lässt. Als drittes werde ich ihre Wirkungsgeschichte kurz ansprechen und sie mit Wissenschaftsauffassungen vergleichen, die die Bedeutung des Hypothetischen für die modernen Theorien der Naturwissenschaften betonen. Ihnen gegenüber erweist sich Heisenbergs Beitrag als durchaus eigenständig. (shrink)

Two criteria are proposed for characterizing the diverse and not yet perspicous relations between nanotechnology und nature. They assume a concept or nature as that which is not made by human action. One of the criteria endorses a distinction between natural and artificial objects in nanotechnology: the other allows for a discussion of the potential nanotechnological modification of nature. Insofar as current trends may be taken as indicative of future development, nanotechnology might increasingly use the model of nature as a (...) point of orientation, while many of its products will continue to be clearly distinguished from nature. (shrink)

Two criteria are proposed for characterizing the diverse and not yet perspicuous relations between nanotechnology and nature. They assume a concept of nature as that which is not made by human action. One of the criteria endorses a distinction between natural and artificial objects in nanotechnology; the other allows for a discussion of the potential nanotechnological modification of nature. Insofar as current trends may be taken as indicative of future development, nanotechnology might increasingly use the model of nature as a (...) point of orientation, while many of its products will continue to be clearly distinguished from nature. (shrink)

An analysis is presented of published methods that have been used by experimenters to justify the reliability of the theory of invasion of microorganisms into cultured cells. The results show that, to demonstrate this invasion, many experimenters used two or more methods that were based on independent technical and theoretical principles, and by doing so improved the reliability of the theory. Subsequently I compare this strategy of 'multiple derivability' with other strategies, discussed in the literature in relation to the mesosome, (...) a bacterial organelle that had been detected with the electron microsope, but which appeared later to be an artifact. I propose that different strategies have been applied in this problem, and multiple derivability may have been the decisive one. Finally I discuss the idea that multiple derivability may help to anchor theories in a larger network of theories. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

Die Zeiten, in denen Kausalität das Charakteristikum von Wissenschaftlichkeit war, scheinen sich ihrem Ende zu nähern. Seit dem Beginn unseres Jahrhunderts ist eine seit langem schwelende Krise des herkömmlichen Kausalitätsverständnisses in den Naturwissenschaften unübersehbar zum Ausdruck gekommen. Dessen ungeachtet halten jedoch viele Wissenschaftstheoretiker an Kausalitätsvorstellungen als vermeintlich unverzichtbarem Analyseinstrument fest. In Kritik dieser Tendenz zur Verkennung eines grundlegenden Bedeutungsverlustes wird der historische Verdrängungsprozess von Kausalitätsvorstellungen unter den Stichworten der Entfinalisierung und Entsubstantialisierung nachgezeichnet. Aus der Perspektive geschichtlicher Rekonstruktion handelt es sich (...) bei den gegenwärtigen Vorstellungen um den letzten Rest einer unvergleichlich reichhaltigeren ursprünglichen kausalen Begrifflichkeit. Am Beispiel der heute wohl weitverbreitetsten, auf C. G. Hempel zurückgehenden Vorstellung werden die wichtigsten Merkmale der kausalen Relation diskutiert. Im Ergebnis zeigt sich, dass für das naturwissenschaftliche Kausalitätsverständnis, soweit es sich auf einen Begriff bringen lässt, in der Tat ein reduzierter Sinngehalt der Kategorie der Verursachung in kausalen Erklärungen, eine begrenzte Anwendbarkeit sowie ein reduzierter Geltunganspruch typisch sind. Die Grenzen naturwisseschaftlicher Kausalitätsvorstellungen betreffen deren' strenge begriffliche Fassung, nicht jedoch ihre Brauchbarkeit als heuristische Forschungsmaxime in Situationen, in denen unerwartete Phänomene auftreten oder Phänomene ausbleiben, mit denen man zuvor fest gerechnet hat. Für diese Situationen ist die Überlegung, was der Fall gewesen wäre, wenn eine Ursache nicht eingetreten wäre, in besonderer Weise bezeichnend. Welche Relevanz dieser Kausalitätsvorstellung zukünftig zukommen wird, hängt wesentlich vom Charakter der weiteren Wissenschaftsentwicklung ab. (shrink)

In searching for the origins of current conceptions of science in the history of physics, one encounters a remarkable phenomenon. A typical view today is that theoretical knowledge-claims have only relativized validity. Historically, however, this thesis was supported by proponents of a conception of nature that today is far from typical, a mechanistic conception within which natural phenomena were to be explained by the action of mechanically moved matter. Two of these proponents, Hermann von Helmholtz and his pupil Heinrich Hertz, (...) contributed significantly to the modernization of the conception of science. Paradigmatic for their common contribution to this development is the way in which they employed the concept of image. By considering the origin and the different meanings of this concept we may trace a line of development which begins with Helmholtz's original claim that a universally and forever valid theory provides a unique representation of nature. It continues with the realization that the status of scientific knowledge is capable of revision; and it arrives at Hertz's admission that a variety of theories over a domain of objects is possible, at least at times. (shrink)

Indem dieser Band sich auf das Verhältnis von Naturerkennen und Natursein konzentriert, thematisiert er einen wesentlichen Ausschnitt aus dem weiten Spektrum von Böhmes philosophischer Arbeit. Um die Naturthematik möglichst breit zu entfalten und für Querverbindungen offenzuhalten, ist der vorliegende Band in drei Abschnitte gegliedert. Im ersten Abschnitt stehen Charakter und Reichweite der wissenschaftlichen Erkenntnis von Natur im Mittelpunkt. Der zweite Teil des Bandes stellt alternative Perspektiven auf Natur vor. Im dritten Teil schließlich stehen der Mensch und sein Verhältnis zu sich (...) selbst im Mittelpunkt der Untersuchungen. Inhaltsverzeichnis Krohn, Wolfgang: Wissenschaftsentwicklung zwischen Dezentrierung und Dekonstruktion. Stehr, Nico: Von den Grenzen der Macht wissenschaftlicher Erkenntnis. Schäfer, Wolf: Zweifel am Ende des Baconschen Zeitalters. Kamper, Dietmar: Wissen ist Ohnmacht. Macht ist Unwissen. Gamm, der Technik. Janich, Peter: Zeit und Natur. Kimmerle, Heinz: »Es ist Zeit, daß es Zeit wird«. Wie kann Zeit Zeit werden? Schiemann, Gregor: Natur auf dem Rückzug. Zur Relevanz der aristotelischen Unterscheidung von Natur und Technik. Hauskeller, Michael: Ist Schönheit eine Atmosphäre?. Zur Bestimmung des landschaftlich Schönen. Schmitz, Hermann: Situationen und Atmosphären. Zur Ästhetik und Onthologie bei Gernot Böhme. Rehmann-Sutter, Christoph: Über Relationalität. Was ist das »Ökologische« in der Naturästhetik? Meyer-Abich, Klaus Michael: Erinnerung an die natürliche Mitwelt. Andreas-Griesebach, Manon: Idee plus Erfahrung. Goethes Begründung eines neuen Typs von Naturwissenschaft. Engelhardt, Dietrich von: Madame de Stael über Naturphilosophie, Naturwissenschaft und Medizin in De l'Allemagne. Deneke, Michael: Schramm, Engelbert: »Soziale Naturwissenschaft«. Zwischen Sozialwissenschaften und Naturwissenschaften. Böhme, Hartmut: Enthüllen und Verhüllen des Körpers. Biblische, mythische und künstlerische Deutungen des Nackten. Lippe, Rudolf zur: Eine Logik des gestischen Wissens. Müller, Rudolf Wolfgang: Gernot Böhme - Anima naturaliter japonica. Hoffmann, Gisbert: Das menschliche Sein als mediales. Martens, Ekkehard: »Natürlich« denken?. Heideggers Pseudosokratismus als Irrationalismus. Fleischer, Helmut: Naturalität ohne Naturalismus. Zum lebensweltlichen Fundus jeder höheren Erkenntnis-Artistik. Gerhard: Technik als Medium. Grundlinien einer Philosophie. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds of logic). (...) This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

We show that critically accumulating "difficult" problems, contradictions and stagnation in modern science have the unified and well-specified mathematical origin in the explicit, artificial reduction of any interaction problem solution to an "exact", dynamically single-valued (or unitary) function, while in reality any unreduced interaction development leads to a dynamically multivalued solution describing many incompatible system configurations, or "realisations", that permanently replace one another in causally random order. We obtain thus the universal concept of dynamic complexity and chaos impossible in unitary (...) mathematics. This huge difference between the unreduced mathematics of real-world dynamics and strongly limited unitary “models” of traditional mathematics inevitably induces a growing series of “unsolvable” problems and other “mysteries” that culminate now in the crisis of the “end of science”, where the stagnating unitary “science” in question includes only the described limitation of the traditional mathematical framework (unfortunately accepted as the unique possible basis for any scientific knowledge). In this brief review, we show that science extension to the unreduced, dynamically multivalued mathematics of the intrinsically complex real-world dynamics provides stagnating problem solutions and reconstitution of the intrinsic causality and unity of science desperately missing in its artificially limited unitary framework. Painful stagnation of the latter should be replaced now by the unlimited new progress of the extended, causally complete knowledge of the universal science of complexity, which provides the urgently needed issue from the current impasse of the global civilisation development. (shrink)