This paper aims to set forth Carnapian structuralism, i.e., a syntactic view of the structuralist approach which is deeply inspired by Carnap’s dual level conception of scientific theories. At its core is the axiomatisation of a metatheoretical concept AE(T) which characterises those extensions of an intended application that are admissible in the sense of being models of the theory-element T and that satisfy all links, constraints and specialisations. The union of axiom systems of AE(T) (where T is an element of (...) the theory-net N) will allow us to present scientific theories in an axiomatic fashion so that deductive reasoning in science can be formalised. Thereupon defeasible and paraconsistent means of reasoning will be introduced. The logical study of scientific reasoning is the key motivation of Carnapian structuralism. A further motivation is to help overcome the syntactic-semantic split in the philosophy of science. (shrink)

Theoria, Volume 88, Issue 4, Page 782-798, August 2022.

Thagard presented a framework for conceptual change in science based on conceptual systems. Thagard challenged belief revision theorists, claiming that traditional belief-revision systems are able to model only the two most conservative types of changes in his framework, but not the more radical ones. The main aim of this work is to take up Thagard’s challenge, presenting a belief-revision-like system able to mirror radical types of conceptual change. We will do that with a conceptual revision system, i.e. a belief-revision-like system (...) that takes conceptual structures as units of revisions. We will show how our conceptual revision and contraction operations satisfy analogous of the AGM postulates at the conceptual level and are able to mimic Thagard’s radical types of conceptual change. (shrink)

This article elaborates on McShea and Brandon’s idea that drift is unlike the rest of the evolutionary factors because it is constitutive rather than imposed on the evolutionary process. I show that the way they spelled out this idea renders it inadequate and is the reason why it received some objections. I propose a different way in which their point could be understood, that rests on two general distinctions. The first is a distinction between the underlying mathematical apparatus used to (...) formulate a theory and a concept proposed by that theory. With the aid of a formal reconstruction of a population genetic model, I show that drift belongs to the first category. That is, that drift is constitutive of population genetics in the same sense that multiplication is constitutive in classical mechanics, or that circle is constitutive in Ptolemaic astronomy. The second distinction is between eliminating a concept from a theory and setting its value to zero. I will show that even though drift can be set to zero just like the rest of the evolutionary factors, eliminating drift is much harder than eliminating those other factors, since it would require changing the entire mathematical apparatus of standard population genetic theory. I conclude by drawing some other implications from the proposed formal reconstruction. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed formal (...) concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...) by a few elements of the Sneed formalism, also known as the structuralist approach to science. (shrink)

The purpose of this paper is to elucidate the semantic relation between continental drift and plate tectonics. The numerous attempts to account for this case in either Kuhnian or Lakatosian terms have been convincingly dismissed by Rachel Laudan, who nevertheless acknowledged that there was not yet a plausible alternative to explain the so called “geological revolution”. Several decades later, the epistemological side of this revolution has received much attention, while the semantic relation between drift theory and plate tectonics has remained (...) mainly unexplored. In studying this case under a new light, the notion of embedding, as distinguished from other sorts of intertheoretical relations :11–27, 2011), will have a particular significance. After formally analyzing the relationship between continental drift and plate tectonics, it will become evident that the models of drift theory are part of the models of plate tectonics, thereby fulfilling the conditions for embedding. All theoretical concepts from drift theory are presupposed in some theoretical concepts from plate tectonics, and all empirical concepts of the former are shared by the latter. Furthermore, all the successful paradigmatic applications of continental drift are also successful applications of plate tectonics. As a consequence, under the label “geological revolution”, we actually find a salient historical case of cumulative progress across theory change. (shrink)

The concept of fitness has generated a lot of discussion in philosophy of biology. There is, however, relative agreement about the need to distinguish at least two uses of the term: ecological fitness on the one hand, and population genetics fitness on the other. The goal of this paper is to give an explication of the concept of ecological fitness by providing a reconstruction of the theory of natural selection in which this concept was framed, that is, based on the (...) way the theory was put to use in Darwin’s main texts. I will contend that this reconstruction enables us to account for the current use of the theory of natural selection. The framework presupposed in the analysis will be that of metatheoretical structuralism. This framework will provide both a better understanding of the nature of ecological fitness and a more complete reconstruction of the theory. In particular, it will provide what I think is a better way of understanding how the concept of fitness is applied through heterogeneous cases. One of the major advantages of my way of thinking about natural selection theory is that it would not have the peculiar metatheoretical status that it has in other available views. I will argue that in order to achieve these goals it is necessary to make several concepts explicit, concepts that are frequently omitted in usual reconstructions. (shrink)

This paper introduces a formal concept of ideology and ideological system. The formalization takes ideologies and ideological systems to be situated in agent societies. An ideological system is defined as a system of operations able to create, maintain, and extinguish the ideologies adopted by the social groups of agent societies. The concepts of group ideology, ideological contradiction, ideological dominance, and dominant ideology of an agent society, are defined. An ideology-based concept of social group is introduced. Relations between the proposed formal (...) concept of ideology and the classical concepts of ideology elaborated in social sciences are examined. A computational notation is presented, to support the realization of ideological systems in computationally implemented agent societies. The adequacy of the approach for the formal modeling and analysis of ideological issues is illustrated through three case studies. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trichý published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

This paper is the second of a two-part series on models and theories, the first of which appeared in International Studies in the Philosophy of Science, Vol. 11, No. 2, 1997. It further explores some of themes of the first paper and examines applications, including: the relations between “similarity” and “isomorphism”, and between “model” and “interpretation”, and the notion of structural explanation.

Scientific discourse leaves implicit a vast amount of knowledge, assumes that this background knowledge is taken into account – even taken for granted – and treated as undisputed. In particular, the terminology in the empirical sciences is treated as antecedently understood. The background knowledge surrounding a theory is usually assumed to be true or approximately true. This is in sharp contrast with logic, which explicitly ignores underlying presuppositions and assumes uninterpreted languages. We discuss the problems that background knowledge may cause (...) for the formalization of scientific theories. In particular, we will show how some of these problems can be addressed in the context of the computational representation of scientific theories. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

The continuity thesis of the Poznań school threshold model of the growth of scientific knowledge is considered in the light of the example of Van der Waals' and Boyle-Mariotte's laws. It is argued - using both traditional logical means and the structuralist reconstruction of the example - that the continuity thesis does not hold. A distinction between 'a historical and a systematic point of view' is introduced and it is argued that the continuity thesis of the threshold model presupposes the (...) systematic point of view. However, looking at matters from the systematic point of view need not yield the original theory, looked at from the historical point of view. Applied to the case of Van der Waals/Boyle-Mariotte laws, it turns out that the latter law is not a true idealizing special case of the former, contrary to the continuity thesis. The structuralist analysis of the example indicates that Boyle-Mariotte's law is a false factual law from the historical point of view. However, viewed from the systematic point of view, Boyle-Mariotte's law turns out to be a law which is expandable, adding the relevant new concepts, to an idealized version of Van der Waals' law. This idealizing version of Van der Waal's law in turn is a structuralist specialization of the (general) Van der Waals' law. (shrink)

What are scientific theories and how should they be represented? In this article, I propose a causal–structural account, according to which scientific theories are to be represented as sets of interrelated causal and credal nets. In contrast with other accounts of scientific theories (such as Sneedian structuralism, Kitcher’s unificationist view, and Darden’s theory of theoretical components), this leaves room for causality to play a substantial role. As a result, an interesting account of explanation is provided, which sheds light on explanatory (...) unification within a causalist framework. The theory of classical genetics is used as a case study. 1 Introduction2 The Theory of Classical Genetics3 Three Philosophical Accounts of the Theory of Classical Genetics3.1 The structuralist account3.2 Kitcher’s unificationism3.3 Darden and theory change in science4 A Common Lacuna: Where is Causality?5 Woodward’s Interventionist Account of Causation6 Causal Bayes Nets and Their Interrelations6.1 Causal Bayes nets6.2 Relations among causal nets6.3 Credal nets and their interrelations7 The Theory of the Gene and its Causal Graph8 A First Exemplar: Stem Length in Pea Plants8.1 Three crosses on stem length in pea plants8.2 The causal graph for stem length in pea plants8.3 Morgan’s explanatory principles and the credal net for stem length in pea plants9 Explaining Mendel’s Crosses: A Causal–Structural Account10 Monohybrid Crosses with Complete Dominance11 Exemplars,Explanatory Patterns, Generic Credal Nets, and Mechanism Schemas12 Incomplete Dominance13 Anomalies14 Multi-hybrid Crosses with Independent Assortment15 Multi-hybrid Crosses with Linkage and Crossing-Over16 Double Crossing-Over and the Linear Order of the Gene17 Causal–Structural Explanation18 Explanatory Unification19 Concluding Remarks. (shrink)

The incommensurability thesis, as introduced by T.S. Kuhn and P.K. Feyerabend, states that incommensurable theories are conceptually incompatible theories which share a common domain of application. Such claim has often been regarded as incoherent, since it has been understood that the determination of a common domain of application at least requires a certain degree of conceptual compatibility between the theories. The purpose of this work is to contribute to the defense of the notion of local or gradual incommensurability, as proposed (...) by late Kuhn. The application of this notion would allow to render the incommensurability thesis coherent. To support this view, a typical example of incommensurability will be formally analyzed by applying the structuralist metatheory developed, among others by W. Balzer, C.U. Moulines and J.D. Sneed. The structural reconstruction of the relation between the phlogiston theory and the oxygen theory offered here will reveal that they are locally incommensurable, and will even make possible to determine the ontological reduction relation that they also exemplify. (shrink)

In this article, I examine the issue of the alleged circularity in the determination of homologies within cladistic analysis. More specifically, I focus on the claims made by the proponents of the dynamic homology approach, regarding the distinction (sometimes made in the literature) between primary and secondary homology. This distinction is sometimes invoked to dissolve the circularity issue, by upholding that characters in a cladistic data matrix have to be only primarily homologous, and thus can be determined independently of phylogenetic (...) hypotheses, by using the classical Owenian criteria (for morphological characters) or via multiple sequence alignment (for sequence data). However, since in the dynamic approach, sequence data can be analyzed without being pre-aligned, proponents have claimed that the distinction between primary and secondary homology has no place within cladistics. I will argue that this is not the case, since cladistic practice within the dynamic framework does presuppose primary homology statements at a higher level. (shrink)