I critically evaluate Bickle’s version of scientific theory reduction. I press three main points. First, a small point, Bickle modifies the new wave account of reduction developed by Paul Churchland and Clifford Hooker by treating theories as set-theoretic structures. But that structuralist gloss seems to lose what was distinctive about the Churchland-Hooker account, namely, that a corrected theory must be specified entirely by terms and concepts drawn from the basic reducing theory. Set-theoretic structures are not terms or concepts but (...) the structures that they describe. Second, and more serious, a familiar problem for classical positivist account of reduction resurfaces within this newest wave of thinking, namely, commitment to property identities and inter-theoretic bridge laws (a problem I discussed at more length in "Collapse of the New Wave"). Indeed, this problem is exacerbated by Bickle’s conciliatory treatment of property plasticity, since he is willing to grant that a large number of special science terms denote multiply realized properties, at least if realistically construed. Still, in the end, Bickle sidesteps the reduction of properties by appealing to Hooker’s "function-to-structure token reduction." This is an interesting move with an intriguing concept of reduction. But problems remain. For, third, Bickle and Hooker's function-to-structure token reduction is actually a guised form of eliminative materialism. But that should be unacceptable since the position extends well beyond any modest revisionism for suspect items from a folk theory, say, in folk psychology or folk biology. Instead, it applies to functional terms and concepts employed throughout well-developed and explanatorily successful sciences. (shrink)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. (...) Overall, a broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation (...) group (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. (...) The role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of (...) semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems. (shrink)

[EDIT: This book will be published open access. Check back around April 2024 to access the entire book.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which (...) allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

Ladyman and Ross argue that quantum objects are not individuals and use this idea to ground their metaphysical view, ontic structural realism, according to which relational structures are primary to things. LR acknowledge that there is a version of quantum theory, namely the Bohm theory, according to which particles do have denite trajectories at all times. However, LR interpret the research by Brown et al. as implying that "raw stuff" or haecceities are needed for the individuality of particles of BT, (...) and LR dismiss this as idle metaphysics. In this paper we note that Brown et al.'s research does not imply that haecceities are needed. Thus BT remains as a genuine option for those who seek to understand quantum particles as individuals. However, we go on to discuss some problems with BT which led Bohm and Hiley to modify it. This modified version underlines that, due to features such as context-dependence and non-locality, Bohmian particles have a very limited autonomy in situations where quantum effects are non-negligible. So while BT restores the possibility of quantum individuals, it also underlines the primacy of the whole over the autonomy of the parts. The later sections of the paper also examine the Bohm theory in the general mathematical context of symplectic geometry. This provides yet another way of understanding the subtle, holistic and dynamic nature of Bohmian individuals. We finally briefly consider Bohm's other main line of research, the "implicate order", which is in some ways similar to LR's structural realism. (shrink)

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications (...) for structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer. (shrink)

Although we may find the concept of anomie in Greek thought, it is since Durkheim that the concept begins to be used specifically as a sociological concept. However, a theory of anomie only becomes consolidated since “Social Structure and Anomie” by Robert K. Merton (Merton 1938). The theory becomes important and conquers its space in the rest of the century as one of the most productive theories about deviance. In this study, based on a contemporary conception of scientific theory, (...) that of the structuralist metatheory, a reconstruction of Merton’s approach is proposed, allowing to make explicit the deep structure of the theory. (shrink)

Resumen: La capacidad unificadora de una teoría científica es un rasgo usualmente contemplado a la hora de evaluar su adecuación. Kitcher ha elucidado satisfactoriamente tal noción mediante su enfoque de los patrones explicativos. Sin embargo, su perspectiva adolece de ciertas carencias. Concretamente, sostendremos que el requisito de rigurosidad de los patrones para evaluar la capacidad unificadora debe ser repensado, pues atenta contra la heterogeneidad característica de las diferentes aplicaciones de teorías unificadoras. A su vez, mostraremos cómo estas dificultades bien pueden (...) ser subsanadas desde el marco del estructuralismo metateórico sin por ello resignar ninguna de las acertadas intuiciones de Kitcher. -/- Palabras clave: Explicación, Kitcher, estructuralismo metateórico, unificación, unificación espuria. -/- Abstract: Kitcher has satisfactorily explicated unification using his particular approach to scientific explanation. However, we believe that his perspective has certain problems, which have been inherited by more recent approaches to the topic. Specifically, the requirement of stringency of patterns that Kitcher proposes to determine the unifying power of an explanatory pattern undermines the typical and peculiar heterogeneity we can find in different applications of unifying theories. We will show how this topic can be better addressed by the perspective built by metatheoretical structuralism without sacrificing any of Kitcher’s correct intuitions. -/- Keywords: Explanation, Kitcher, metatheoretical structuralism, spurious unification, unification. (shrink)

“Structuralism, Fictionalism, and the Applicability of Mathematics in Science”. This article has two objectives. The first one is to review some of the most important questions in the contemporary philosophy of mathematics: What is the nature of mathematical objects? How do we acquire knowledge about these objects? Should mathematical statements be interpreted differently than ordinary ones? And, finally, how can we explain the applicability of mathematics in science? The debate that guides these reflections is the one between mathematical realism (...) and anti-realism. On the other hand, the second objective is to discuss the arguments that use the applicability of mathematics in science to justify mathematical realism, and show that none of them reaches its aim. To this end, we will distinguish three aspects of the problem of the applicability of mathematics: the utility of mathematics in science, the unexpected utility of some mathematical theories, and the apparent indispensability of mathematics in our best scientific theories - in particular, in our best scientific explanations. Finally, I argue that none of these aspects constitutes a reason to adopt mathematical realism. (shrink)

This paper aims to meet an objection that has been raised against structural empiricism known as the “loss of reality objection.” I argue that an inferential approach to scientific representation allows the structural empiricist to account for the representation of phenomena by data models and ensures that such a representation is not arbitrary. By the notions of immersion, derivation, and interpretation, I show how data models are able to represent phenomena in a non-arbitrary manner. I conclude this paper with (...) a programmatic outline of a view that arises from the theses defended throughout the article and that I would like to call “semantic structuralism.”. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. (...) Wundt posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. (...) Wundt posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Philosophy of science in the 20th century is to be considered as mostly characterized by a fundamentally systematic heuristic attitude, which looks to mathematics, and more generally to the philosophy of mathematics, for a genuinely and epistemologically legitimate form of knowledge. Rooted in this assumption, the book provides a formal reconsidering of the dynamics of scientific theories, especially in the field of the physical sciences, and offers a significant contribution to current epistemological investigations regarding the validity of using formal (...) (especially: model-theoretic) methods of analysis, as developed principally by Stegmüller, Sneed, Suppes, Moulines, “to bring the airy flights of analytical philosophy back down to earth”, to borrow Stephan Hartmann’s provocative statement. At the same time, the volume represents a comprehensive account of the epistemic content of physical theories, the logic of theory change in science, and specific (inter-)theoretical core aspects of scientific progress, particularly in the form suggested informally by Thomas Kuhn. As C. Ulises Moulines writes in the preface, “there is no other example in present-day literature (in any language) on this topic, i.e. the formal analysis of the ideographic characterization of the dynamics of theories between Kuhn’s theory of science and structural epistemology, that is as systematic and complete as Perrone’s work”. (shrink)

Life sciences and emerging technologies raise a plethora of issues. Besides practical, bioethical and policy issues, they have broader, cultural implications as well, affecting and reflecting our zeitgeist and world-view, challenging our understanding of life, nature and ourselves as human beings, and reframing the human condition on a planetary scale. In accordance with the aims and scope of the journal, LSSP aims to foster engaged scholarship into the societal dimensions of emerging life sciences (Chadwick and Zwart 2013) and via this (...) thematic series, the journal provides a podium for authors who intend to address concrete issues from a ‘continental philosophical’ perspective, which may in- clude (post)phenomenology, hermeneutics, dialectics, (post)structuralism, psychoanalysis, critical theory and similar approaches. The series aims to contribute to a diagnostics of the present and a prognostics of the future, focusing on critical normative challenges (such as embodiment, intimate technologies, social justice, biopower, nanomedicine, human enhancement and the anthropocene) and building on the work of key authors such as Hegel (1830), Heidegger (1953, 1953/1954), Bachelard (1938), Canguilhem (1975), Lacan (1966, 1969-1970/1991), Habermas (1968), Serres (1972), Foucault (1969), Žižek (2006/2009), Stiegler (2010), Sloterdijk (2001, 2009) and others, but targeting con- crete up-to-date events and case studies against the backdrop of broader developments within the techno-scientific culture. (shrink)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories (...) in science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

Moritz Schlick, Rudolf Carnap and Herbert Feig are the most prominent of the positivists to formulate views on the mind-body problem (aside from Hempel’s one-off treatment in 1935). While their views differed from each other and changed over time they were all committed to some form of scientific physicalism, though a linguistic or conceptual rather than ontological form of it. In focus here are their views during the heyday of logical positivism and its immediate aftermath, though some initial scene-setting (...) of Schlick’s and Carnap’s pre-positivist views will help to understand the final opposing positions of Carnap and Feigl. (shrink)

Ever since the hard problem of consciousness (Chalmers, 1996, 1995) first entered the scene in the debate over consciousness many have taken it to show the limitations of a scientific or naturalist explanation of consciousness. The hard problem is the problem of explaining why there is any experience associated with certain physical processes, that is, why there is anything it is like associated with such physical processes? The character of one’s experience doesn’t seem to be entailed by physical processes (...) and so an explanation which can overcome such a worry must (1) explain how physical processes give rise to experience (explain the entailment), (2) give an explanation which doesn’t rely on such physical processes, or (3) show why the hard problem is misguided in some sense. Recently, a rather ambitious and novel theory of consciousness has entered the scene – Integrated Information Theory (IIT) of Consciousness (Oizumi et al., 2014; Tononi, 2008; Tononi et al., 2016) – and proposes that consciousness is the result of a specific type of information processing, what those developing the theory call integrated information. The central aim of this dissertation is to philosophically investigate IIT and see whether it has the ability to overcome the hard problem and related worries. I then aim to use this philosophical investigation to answer a set of related questions which guide this dissertation, which are the following: Is it possible to give an information-theoretic explanation of consciousness? What would the nature of such an explanation be and would it result in a novel metaphysics of consciousness? In this dissertation, I begin in chapter one by first setting up the hard problem and related arguments against the backdrop of IIT (Mindt, 2017). I show that given a certain understanding of structural and dynamical properties IIT fails to overcome the hard problem of consciousness. I go on in chapter two to argue that a deflationary account of causation is the best view for IIT to overcome the causal exclusion problem (Baxendale and Mindt, 2018). In chapter three, I explain IIT’s account of how the qualitative character of our experience arises (qualia) and what view of intentionality (the directedness of our mental states) IIT advocates. I then move on in chapter four to show why the hard problem mischaracterizes structural and dynamical properties and misses important nuances that may shed light on giving a naturalized explanation of consciousness. In the last and fifth chapter, I outline a sketch of a novel metaphysics of consciousness that takes the conjunction of Neutral Monism and Information-Theoretic Structural Realism to give what I call Information-Theoretic Neutral-Structuralism. (shrink)

The purpose of this work is to outline a new approach to the debate on structural realism. This position has been criticized in the recent literature. First, the two arguments which led to the introduction of structural realism into the debate on scientific realism are introduced, namely, the “no-miracles Second, argument” the and framework the of “pessimistic structuralist meta induction”. meta-theory is introduced in order to argue as follows. Once this framework is adapted, it is possible to respond to (...) the critiques that have been made to structural realism and to clarify this position, especially the notion of structural continuity. (shrink)

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific (...) theories as linguistic systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

A model-theoretic realist account of science places linguistic systems and their corresponding non-linguistic structures at different stages or different levels of abstraction of the scientific process. Apart from the obvious problem of underdetermination of theories by data, philosophers of science are also faced with the inverse (and very real) problem of overdetermination of theories by their empirical models, which is what this article will focus on. I acknowledge the contingency of the factors determining the nature – and choice – (...) of a certain model at a certain time, but in my terms, this is a matter about which we can talk and whose structure we can formalise. In this article a mechanism for tracing "empirical choices" and their particularized observational-theoretical entanglements will be offered in the form of Yoav Shoham's version of non-monotonic logic. Such an analysis of the structure of scientific theories may clarify the motivations underlying choices in favor of certain empirical models (and not others) in a way that shows that "disentangling" theoretical and observation terms is more deeply model-specific than theory-specific. This kind of analysis offers a method for getting an articulable grip on the overdetermination of theories by their models – implied by empirical equivalence – which Kuipers' structuralist analysis of the structure of theories does not offer. (shrink)

ABSTRACTThis paper elaborates a conception of the unity of science that emerges in the context of Dilthey’s well-known treatment of the distinction between the Naturwissenschaften and the Geisteswissenschaften. Dilthey’s account of the epistemological foundations of the Geisteswissenschaften presupposes, this paper argues, their continuity with the natural sciences. The unity of the two domains has both a psychological and a biological basis. Whereas the psychological functions at work in scientific thinking, the articulation of which is the task of Dilthey’s proposed (...) science of ‘descriptive and analytic psychology’, are common to both kinds of sciences, their ontological ground consists in the embodied and environmentally situated context of human beings, and is expressed in Dilthey’s central concept of ‘life’. Accordingly, this paper develops the shared biopsychological foundations of the epistemology of the natural and human sciences from Dilthey’s writings in the 1880s and 1890s. Dilthey’s conception of unity, furthermore, has implications for philosophy’s orientation towards the special sciences. Thus, in conclusion, this paper applies the biopsychological account to sketch an outline of Dilthey’s historicist method in the philosophy of science, and considers its similarities and differences with a contemporary approach in ‘historical epistemology’. (shrink)

Numbers without Science opposes the Quine-Putnam indispensability argument, seeking to undermine the argument and reduce its profound influence. Philosophers rely on indispensability to justify mathematical knowledge using only empiricist epistemology. I argue that we need an independent account of our knowledge of mathematics. The indispensability argument, in broad form, consists of two premises. The major premise alleges that we are committed to mathematical objects if science requires them. The minor premise alleges that science in fact requires mathematical objects. The most (...) common rejection of the argument denies its minor premise by introducing scientific theories which do not refer to mathematical objects. Hartry Field has shown how we can reformulate some physical theories without mathematical commitments. I argue that Field’s preference for intrinsic explanation, which underlies his reformulation, is ill-motivated, and that his resultant fictionalism suffers unacceptable consequences. I attack the major premise instead. I argue that Quine provides a mistaken criterion for ontic commitment. Our uses of mathematics in scientific theory are instrumental and do not commit us to mathematical objects. Furthermore, even if we accept Quine’s criterion for ontic commitment, the indispensability argument justifies only an anemic version of mathematics, and does not yield traditional mathematical objects. The first two chapters of the dissertation develop these results for Quine’s indispensability argument. In the third chapter, I apply my findings to other contemporary indispensabilists, specifically the structuralists Michael Resnik and Stewart Shapiro. In the fourth chapter, I show that indispensability arguments which do not rely on Quine’s holism, like that of Putnam, are even less successful. Also in Chapter 4, I show how Putnam’s work in the philosophy of mathematics is unified around the indispensability argument. In the last chapter of the dissertation, I conclude that we need an account of mathematical knowledge which does not appeal to empirical science and which does not succumb to mysticism and speculation. Briefly, my strategy is to argue that any defensible solution to the demarcation problem of separating good scientific theories from bad ones will find mathematics to be good, if not empirical, science. (shrink)

The explanation of nature in theoretical terms was first postulated and initiated by Ancient Greek philosophers. With the rise of monotheistic religions, however, curiosity about our transient world was widely regarded as contributing nothing to salvation. There was a decline in natural philosophy, which lasted for several centuries and was then reversed both in Islamic philosophy and in Christian theology in the Middle Ages. At this point, the "Book of Nature" was recognized as a complement to the Book of Revelation. (...) Originally, Aristotelian philosophy played the leading part in this process, but only after Aristotelian physics was substituted by experimental mathematical mechanics did it become possible for modern science to develop. General laws of physics form the basis of the explanation of events in space and time, including life processes. However, modern science has also revealed its own limitations. The scope and limits of scientific knowledge allows for different philosophical, cultural and religious interpretations of human beings and the universe. The history of science demonstrates erratic and persistent developments, but the long-term retrospective view discredits extreme forms of relativism and structuralism. Science appears as a construct of the human mind, and yet it is capable of generating valid explanations of nature. In the book more attention than usual is given to Cusanus (Nikolas de Cusa). -/- . (shrink)

Two metascientific concepts that have been ― and still are ― object of philosophical analysis are the concepts of model and theory. But while the concept of scientific theory was one of the concepts to which philosophers of science devoted most attention during the 20th century, it is only in recent decades that the concept of scientific model has come to occupy a central position in philosophical reflection. However, it has done so in such a way that, at (...) present, as Jim Bogen states in the back cover of the book Scientific Models in the Philosophy of Science, by Daniela Bailer-Jones, “[t]he standard philosophical literature on the role of models in scientific reasoning is voluminous, disorganized, and confusing”. In spite of this, one of the axes that would allow us to organize at least part of this literature, and with which Bailer-Jones’ book closes, is that which is identified as one of the “contemporary philosophical issues: how theories and models relate to each other” (Bailer-Jones 2009, p. 208).That is why, in this introduction to the special issues of Metatheoria devoted to the topic of “Models and Theories in Biology”, we will present the main advances that have been made in the philosophical analysis of the concepts of model and theory in general and in biology in particular, and we will also do the same with the answers that have been given to the problem of "how theories and models relate to each other”. (shrink)

A discussion of Wolfgang's Stegmüller's ideas on the structuralist conception of theories, especially as presented in his book The Structure and Dynamics of Theories (Springer, 1976).

Focusing upon the five books of his early Hermes series, this article argues that Michel Serres furnishes an accomplished, unconventional philosophical account of communication and mediation-a structuralist epistemology designed to comprehend the sciences in their complexity and plurality-that, even decades after its first publication, has significant value for media theory. Two key themes within this pentalogy are highlighted: firstly, its emphasis upon motifs of communication, transport, and circulation, attempting to grasp the scientific field in topological terms, as a kind (...) of networked encyclopaedia; and secondly, its attempt to account for the intricate relationship between the formal and the empirical in all theorization. (shrink)

In recent years, the science and the philosophy of consciousness has seen growing interest in structural questions about consciousness. This is the Editorial Introduction for a special volume for Philosophy and the Mind Sciences on “Structuralism in Consciousness Studies.”.

Cartesian arguments for global skepticism about the external world start from the premise that we cannot know that we are not in a Cartesian scenario such as an evil-demon scenario, and infer that because most of our empirical beliefs are false in such a scenario, these beliefs do not constitute knowledge. Veridicalist responses to global skepticism respond that arguments fail because in Cartesian scenarios, many or most of our empirical beliefs are true. Some veridicalist responses have been motivated using verificationism, (...) externalism, and coherentism. I argue that a more powerful veridicalist response to global skepticism can be motivated by structuralism, on which physical entities are understood as those that play a certain structural role. I develop the structuralist response and address objections. (shrink)

I examine the epistemological debate on scientific realism in the context of quantum physics, focusing on the empirical underdetermin- ation of different formulations and interpretations of QM. I will argue that much of the interpretational, metaphysical work on QM tran- scends the kinds of realist commitments that are well-motivated in the light of the history of science. I sketch a way of demarcating empirically well-confirmed aspects of QM from speculative quantum metaphysics in a way that coheres with anti-realist evidence (...) from the history of science. The minimal realist attitude sketched withholds realist com- mitment to what quantum state |Ψ⟩ represents. I argue that such commitment is not required for fulfilling the ultimate realist motiva- tion: accounting for the empirical success of quantum mechanics in a way that is in tune with a broader understanding of how theoretical science progresses and latches onto reality. (shrink)

This book provides philosophers of science with new theoretical resources for making their own contributions to the scientific realism debate. Readers will encounter old and new arguments for and against scientific realism. They will also be given useful tips for how to provide influential formulations of scientific realism and antirealism. Finally, they will see how scientific realism relates to scientific progress, scientific understanding, mathematical realism, and scientific practice.

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Imagination is necessary for scientific practice, yet there are no in vivo sociological studies on the ways that imagination is taught, thought of, or evaluated by scientists. This article begins to remedy this by presenting the results of a qualitative study performed on two systems biology laboratories. I found that the more advanced a participant was in their scientific career, the more they valued imagination. Further, positive attitudes toward imagination were primarily due to the perceived role of imagination (...) in problem-solving. But not all problem-solving episodes involved clear appeals to imagination, only maximally specific problems did. This pattern is explained by the presence of an implicit norm governing imagination use in the two labs: only use imagination on maximally specific problems, and only when all other available methods have failed. This norm was confirmed by the participants, and I argue that it has epistemological reasons in its favour. I also found that its strength varies inversely with career stage, such that more advanced scientists do (and should) occasionally bring their imaginations to bear on more general problems. A story about scientific pedagogy explains the trend away from (and back to) imagination over the course of a scientific career. Finally, some positive recommendations are given for a more imagination-friendly scientific pedagogy. (shrink)

Structuralism can be defined as an important concept of using “units” as elements of form and space-giving, where the whole form is made not only up of a “texture”, a certain flexible grid, or an algorithm of shape-giving, but it depends also on the relationships created and how people use it. The hypothesis of this study is that “Modular Construction” can also have an aesthetically pleasing outlook and that modular housing can definitely have increasing importance in the future. Modular (...) housing due to its cheap, and manufactural way of construction can be replicable in various locations. Structuralism and Modular Construction have been at the core of the Modernist movement. Although postmodernism marked the decline of modular construction adopting methods known for a more close sense of place, vernacular, and locality, which differs from the ubiquitous model of modernism, it is the universality of space and habitation seen since the times of Hippodamus Grid, Japanese Tattami systems, and rational universal space in housing known in Europe that make grid and modular design an excellent system in obtaining, rationality, functionality, flexibility, and energy efficiency, including quick construction and possibility for replication. In this regard, modular construction has a future, especially in times of crisis and economic instability. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the (...) same relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show (...) that the work of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

Dispositional essentialists are typically committed to two claims: that properties are individuated by their causal role (‘causal structuralism’), and that natural necessity is to be explained by appeal to these causal roles (‘dispositional actualism’). I argue that these two claims cannot be simultaneously maintained; and that the correct response is to deny dispositional actualism. Causal structuralism remains an attractive position, but doesn’t in fact provide much support for dispositional essentialism.

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: its (...) proponents rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

Scholars, journalists, and activists working on climate change often distinguish between “individual” and “structural” approaches to decarbonization. The former concern choices individuals can make to reduce their “personal carbon footprint” (e.g., eating less meat). The latter concern changes to institutions, laws, and other social structures. These two approaches are often framed as oppositional, representing a mutually exclusive forced choice between alternative routes to decarbonization. After presenting representative samples of this oppositional framing of individual and structural approaches in environmental communication, we (...) identify four problems with oppositional thinking and propose five ways to conceive of individual and structural reform as symbiotic and interdependent. (shrink)

The approach of structuralism came to philosophy from social science. It was also in social science where, in 1950–1970s, in the form of the French structuralism, the approach gained its widest recognition. Since then, however, the approach fell out of favour in social science. Recently, structuralism is gaining currency in the philosophy of mathematics. After ascertaining that the two structuralisms indeed share a common core, the question stands whether general structuralism could not find its way back (...) into social science. The nature of the major objections raised against French structuralism – concerning its alleged ahistoricism, methodological holism and universalism – are reconsidered. While admittedly grounded as far as French structuralism is concerned, these objections do not affect general structuralism as such. The fate of French structuralism thus does not seem to preclude the return of general structuralism into social science, rather, it provides some hints where the difficulties may lie. (shrink)

What is scientific progress? This paper advances an interpretation of this question, and an account that serves to answer it. Roughly, the question is here understood to concern what type of cognitive change with respect to a topic X constitutes a scientific improvement with respect to X. The answer explored in the paper is that the requisite type of cognitive change occurs when scientific results are made publicly available so as to make it possible for anyone to (...) increase their understanding of X. This account is briefly compared to two rival accounts of scientific progress, based respectively on increasing truthlikeness and accumulating knowledge, and is argued to be preferable to both. (shrink)

Scientists are constantly making observations, carrying out experiments, and analyzing empirical data. Meanwhile, scientific theories are routinely being adopted, revised, discarded, and replaced. But when are such changes to the content of science improvements on what came before? This is the question of scientific progress. One answer is that progress occurs when scientific theories ‘get closer to the truth’, i.e. increase their degree of truthlikeness. A second answer is that progress consists in increasing theories’ effectiveness for solving (...) scientific problems. A third answer is that progress occurs when the stock of scientific knowledge accumulates. A fourth and final answer is that scientific progress consists in increasing scientific understanding, i.e. the capacity to correctly explain and reliably predict relevant phenomena. This paper compares and contrasts these four accounts of scientific progress, considers some of the most prominent arguments for and against each account, and briefly explores connections to different forms of scientific realism. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility of (...) the theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

A prominent type of scientific realism holds that some important parts of our best current scientific theories are at least approximately true. According to such realists, radically distinct alternatives to these theories or theory-parts are unlikely to be approximately true. Thus one might be tempted to argue, as the prominent anti-realist Kyle Stanford recently did, that realists of this kind have little or no reason to encourage scientists to attempt to identify and develop theoretical alternatives that are radically (...) distinct from currently accepted theories in the relevant respects. In other words, it may seem that realists should recommend that scientists be relatively conservative in their theoretical endeavors. This paper aims to show that this argument is mistaken. While realists should indeed be less optimistic of finding radically distinct alternatives to replace current theories, realists also have greater reasons to value the outcomes of such searches. Interestingly, this holds both for successful and failed attempts to identify and develop such alternatives. (shrink)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata (...) for scientifically relevant HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)