The first part of the paper is a metatheoretical consideration of such philosophy of nature which allows for using scientific results in philosophical analyses. An epistemological 'judgment' of those results becomes a preliminary task of this discipline: this involves taking a position in the controversy between realistic and antirealistic accounts of science. It is shown that a philosopher of nature has to be a realist, if his task to build true ontology of reality is to be achieved. At (...) the same time he cannot be a realist ˗ a possibility that science itself is capable of deciding what beings really exist (a typical realistic claim is that scientific notions refer to something external and truly describe its characteristics) has to be denied, if the philosophy of nature is seen as a discipline investigating the natural world, while being epistemologically different from the natural sciences. A possibility of weakening this opposition is explored in the second part of the paper, where the idea of so-called "postulated ontology" of scientific theories is brought to the consideration. This idea appears in the context of a well-known thesis of the underdetermination of scientific theories by empirical data. It is argued in the paper, that the conviction of the existence of some kind of relation between a given theory and ontological ideas can be derived from this thesis, regardless of its particular form. Therefore, certain solutions to classical philosophical questions can be obtained, in principle, by careful inspection of scientific achievements. However, if the thesis of underdetermination holds, such philosophical solutions are not imposed by science itself. In order to arrive at some kind of ontology based on science, it seems necessary to accept certain philosophical presuppositions in the first place. This and the fact that scientific theories change in time show that although such a kind of ontology is possible, and perhaps desirable, it can never be ultimate. (shrink)

Consciousness is defined as operating with the meanings of representations, which are what arises in mind under the influence of a stimulus (primary representations) as well as what arises as a result of their transformation (secondary, combined representations). In a first approximation, a representation is expressed by words. The concept of “representation” is a special case of the concept of “information-certainty”, which is the result of distinction. Any distinction is a distinction by a specific attribute and representation is the value (...) of the attribute. In relative ontology, distinction is an essential condition of being that is formalized quantitatively through the operation of ontological subtraction, which is a quantitative expression of representation in relation to consciousness. The finite set of representations for one attribute can always be sorted in ascending order of this attribute values. In the order constructed, each representation corresponds to an attribute number, the only difference of which from a number in mathematics is that the one is always associated with a specific attribute, and the other is not associated with any attribute. The meaning of a representation expressed by an attribute number has a place in an ordered quantitative series of other representations of the same attribute, which is the basis of distinction. Operating with meanings is operating with attributive numbers-meanings. This method of the meaning describing is called the relative method. All operations with the meanings of representations are performed in a multidimensional cognitive space. Each axis of the cognitive space corresponds to an attribute by which representations differ. On each axis there are attribute numbers corresponding to the meanings of representations for the attribute. This approach is a quantitative method of describing of all experimental processes of consciousness, which allows to build a scientific, i.e. quantitative, theory of consciousness with laws written down in a quantitative way. Based on this, it is possible to construct a quantitative calculation of this theory predictions. Such a prediction allows to make an accurate (unambiguous) experimental verification. Due to the quantitative way of describing the operation of meanings, such a theory of consciousness is easily modeled in information technologies, since the latter are also based on the numerical nature of all their processes. The main difference between the relative method and the vast majority of methods using information technologies for text processing is that the relative method, firstly, is not statistical, and secondly, conveys the meaning of the text fully and most adequately. The relative method is effective in operating not only with text data, but also with any data of a different nature, for example, with video data, audio data. (shrink)

Scientific models occupy centre stage in scientific practice. Correspondingly, in recent literature in the philosophy of science, scientific models have been a focus of research. However, little attention has been paid so far to the ontology of scientific models. In this essay, I attempt to clarify the issues involved in formulating an informatively rich ontology of scientific models. Although no full-blown theory—containing all ontological issues involved—is provided, I make several distinctions and point to (...) several characteristic properties exhibited by scientific models that are relevant for individuating scientific models. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation (...) relations. And the mappings between these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology , ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology , ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the (...) world. From a methodological point of view these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory. (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)

This article reports on the third phase of a comparative epistemological, ontological, and social analysis of a variety of approaches to investigating human behavior. In focusing on the fate of scientific ideas once they leave the context in which they were developed, I hope not only to show that their communication for a broader audience imposes a shape on their interrelations different than they seem to have in the research context, but also to suggest that a study comparing different (...) approaches to the same phenomenon is more illuminating than one that focuses on a single approach. (shrink)

In this paper I present an argument for belief in inconsistent objects. The argument relies on a particular, plausible version of scientific realism, and the fact that often our best scientific theories are inconsistent. It is not clear what to make of this argument. Is it a reductio of the version of scientific realism under consideration? If it is, what are the alternatives? Should we just accept the conclusion? I will argue (rather tentatively and suitably qualified) (...) for a positive answer to the last question: there are times when it is legitimate to believe in inconsistent objects. (shrink)

This paper presents a theory of scientific study which is regarded as a social learning process of scientific knowledge creation, revision, application, monitoring and dissemination with the aim of securing good quality, general, objective, testable and complete scientific knowledge of the domain. The theory stipulates the aim of scientific study that forms the basis of its principles. It also makes seven assumptions about scientific study and defines the major participating entities. It extends a recent process (...) model of scientific study into a detailed interaction model as this process model already addresses many issues of philosophy of science. The detailed interaction model of scientific study provides a common template of scientific activities for developing logical models in different scientific disciplines, or alternatively for developing ontologies of different scientific disciplines. Differences between research and scientific studies are discussed, and a possible way to develop a scientific theory of scientific study is described. (shrink)

In the last two sections of Structure, Thomas Kuhn first develops his famous threefold conception of the incommensurability of scientific paradigms and, subsequently, a conception of scientific progress as growth of empirical strength. The latter conception seems to be at odds with the former in that semantic incommensurability appears to imply the existence of situations where scientific progress in Kuhns sense can no longer exist. In contrast to this seeming inconsistency of Kuhns conception, we will try to (...) show in this study that the semantic incommensurability of scientific terms appears to be fully compatible with scientific progress. Our argumentation is based on an improved version of the formalization of Kuhns conception as developed in the 1970s by Joseph Sneed and Wolfgang Stegmüller: In order to be comparable, incommensurable theories need the specification of relations that refer to the concrete ontologies of these theories and involve certain truth claims. The original structuralist account of reduction fails to provide such relations, because (1) it is too structural and (2) it is too wide. Moreover, the original structuralist account also fails to cover important cases of incommensurable theories in being too restrictive for them. In this paper, we develop an improved notion of “reduction” that allows us to avoid these shortcomings by means of a more flexible device for the formalization of (partially reductive) relations between theories. For that purpose, we use a framework of rigid logic, i.e., logic that is based on a fixed collection of objects. (shrink)

String theory currently is the only viable candidate for a unified description of all known natural forces. This article tries to demonstrate that the fundamental structural and methodological differences that set string theory apart from other physical theories have important philosophical consequences. Focussing on implications for the realism debate in philosophy of science, it is argued that both poles of that debate face new problems in the context of string theory. On the one hand, the claim of underdetermination of (...) scientific theory by the available empirical data, which is a pivotal element of empiricism, loses much of its plausibility. On the other hand, the dissolution of any meaningful notion of an external ontological object destroys the basis for conventional versions of scientific realism. String theory seems to suggest an intermediate position akin to Structural Realism that is based on a newly emerging principle, to be called the principle of theoretical uniqueness. (shrink)

I offer a theory of art that is based on science. I maintain that, as any other human activity, art can be studied with the tools of science. This does not mean that art is scientific, but aesthetics, the theory of art, can be formulated in accord with our scientific knowledge. I present elucidations of the concepts of aesthetic experience, art, work of art, artistic movement, and I discuss the ontological status of artworks from the point of view (...) of scientific philosophy. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. (...) Directing my attention to debates about the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

This volume includes Whewell's seminal studies of the logic of induction (with his critique of Mill's theory), arguments for his realist view that science discovers necessary truths about nature, and exercises in the epistemology and ontology of science. The book sets forth a coherent statement of a historically important philosophy of science whose influence has never been greater: every one of Whewell's fundamental ideas about the philosophy of science is presented here.

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

It is widely agreed among philosophers of science today that no formal pattern can possibly be found in the origins of scientific theory. There is no such thing as a "logic of discovery," insists this view--a scientific hypothesis is susceptible to methodological critique only in its relation to empirical consequences derived after the hypothesis itself has emerged through a spontaneous creative inspiration. Yet confronted with the tautly directed thrust of theory-building as actually practiced at the cutting edge of (...) scientific research, this romantic denial of method in the genesis of ideas takes on the appearance of myth. It is the contention of this article that as empirical data ramify in logical complexity, they deposit a hard sediment of theory according to a standard inductive pattern so primitively compelling that it must be recognized as one of the primary forms of inferential thought. This process, here called "ontological induction," is a distillation out of unwieldly observed regularities of more conceptually tractable states hypothesized to underlie them, and is the wellspring of our beliefs in theoretical entities. Previous failure to recognize this pattern of induction has undoubtedly been in substantial measure a result of inadequate attention to the structural details of scientific propositions; for in order to exhibit the nature of ontological induction clearly, it is first necessary to make extended forays through sparsely explored methodological terrain--notably, the nature of scientific "variables," the logical form of "laws," and the type-hierarchy of scientific concepts. (shrink)

In the recent years, attempts to relate metaphysics and sciences have taken various alternative forms such as metaphysics applied to science, metaphysics of science, and scientific metaphysics. In this article, I focus on scientific metaphysics and specifically explore the challenges with developing ontologies through four arguments. The Argument from Representational Indeterminacy highlights that global ontologies fail to clearly identify their target phenomenon. The Argument from Independent Inaccessibility explores the methodological difficulty of accessing a world that is independent of (...) specific sets of phenomena. The Argument from Conceptual Mismatch focuses on the tendency of local ontologies to pick out arbitrary scientific concepts, adapting them to study phenomena where they might not fit well. Finally, the Argument from Eliminative Prophecy details the possibility that local ontologies could eventually be rendered redundant by mature versions of scientific theories. In the end, given these challenges, I recommend an eliminativist stance toward ontology development. (shrink)

Reflectance realism is an important position in the philosophy of colour. This paper is an examination of David R. Hilbert’s case for there being scientific support for the theory. The specific point in question is whether colour science has shown that reflectance is recovered by the human visual system. Following a discussion of possible counter-evidence in the recent scientific literature, I make the argument that conflicting interpretations of the data on reflectance recovery are informed by different theoretical assumptions (...) about the nature of
colour, and of perception. If this is so, there cannot be neutral empirical
evidence on this point, and this does seem to undermine Hilbert’s claim for
empirical support. In the end, I suggest alternative ways of thinking about the relationship between colour ontology and empirical work on colour. (shrink)

Introducing the ontology of theory choice -/- Economists choose theories and they choose ways of pursuing theories, and they leave others unchosen. Why do economists choose the way they do? How should economists choose? What are the objectives and what are the constraints? What should they be? The questions are both descriptive and prescriptive. -/- There are two broad classes of “criteria of choice” that have been somewhat systematically considered in the recent literature on economic methodology: (1) (...) Empirical criteria. There are several possible ways of incorporating empirical criteria in one's theory of science. The respective methodology of theory assessment may be static or dynamic, it may be deductivist or inductivist, it may include various ideas of what constitutes empirical evidence, and so on. What they all share is the general idea that scientific theories are, or are to be, checked against empirical evidence according to some rules, and that this determines the choice of theory. (2) Social criteria. Again, there are several options. The social criteria may be related to the social interests of scientists or larger social collectives, they may be based on the persuasiveness and tradition-boundedness of theories, they may involve social or moral norms, they may be derived from various costs and benefits of holding a theory in a given research community, and so on. If they involve empirical data, it is the social aspects of the data that matter. What all these views share is that scientific theories are taken to have social attributes (functions, consequences) that play or should play a major role in theory choice. (shrink)

Willard van Orman Quine once said that he had a preference for a desert ontology. This was in an earlier day when concerns with logical structure and ontological simplicity reigned supreme. Ontological genocide was practiced upon whole classes of upper-level or ‘derivative’ entities in the name of elegance, and we were secure in the belief that one strayed irremediably into the realm of conceptual confusion and possible error the further one got from ontic fundamentalism. In those days, one paid (...) more attention to generic worries about possible errors than to actual errors derived from distancing oneself too far from the nitty-gritty details of actual theory, actual inferences from actual data, the actual conditions under which we posited and detected entities, calibrated and ‘burned in’ instruments, identified and rejected artifacts, debugged programs and procedures, explained the mechanisms behind regularities, judged correlations to be spurious, and in general, to the real complexities and richness of actual scientific practice. (shrink)

Indispensability arguments are used as a way of working out what there is: our best science tells us what things there are. Some philosophers think that indispensability arguments can be used to show that we should be committed to the existence of mathematical objects (numbers, functions, sets). Do indispensability arguments also deliver conclusions about the modal properties of these mathematical entities? Colyvan (in Leng, Paseau, Potter (eds) Mathematical knowledge, OUP, Oxford, 109-122, 2007) and Hartry Field (Realism, mathematics and modality, Blackwell, (...) Oxford, 1989) each suggest that a consequence of the empirical methodology of indispensability arguments is that the resulting mathematical objects can only be said to exist (or not exist) contingently. Kristie Miller has argued that this line of thought doesn’t work (Miller in Erkenntnis, 77 (3), 335-359, 2012). Miller argues that indispensability arguments are in direct tension with contingentism about mathematical objects, and that they cannot tell us about the modal status of mathematical objects. I argue that Miller’s argument is crucially imprecise, and that the best way of making it clearer no longer shows that the indispensability strategy collapses or is unstable if it delivers contingentist conclusions about what there is. (shrink)

This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of (...) truthmaking, and not by any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)

It is here argued that 'culture' is a universal in the philosophical sense of the term: it expresses a general property. It is not a singular term naming an abstract entity, but rather a singular predicate the intension of which is 'cultureness.' Popper's view of the ontology of mathematics is used as an analogous example in the light of which the ontology of culture is analyzed. Cultures do not have an independent existence, they are not mere names, and (...) neither do they exist as fixed entities in the mind. Cultures are abstractions made by the mind, which yet are not reducible to the mind. They exist in the form of certain mental operations creating a new level of reality. Scientific study of culture involves both explaining how cultural phenomena are constructed in minds and how these constructions function in cognition and communication. (shrink)

Can scientific evidence prompt us to revise philosophical theories or folk theoretical accounts of phenomena of the mind? We will argue that it can—but only under the condition that they make a so-called ‘ontological commitment’ to something that is actually subject to empirical inquiry. In other words, scientific evidence pertaining to neuroanatomical structure or causal processes only has a refuting effect if philosophical theories and folk notions subscribe to either account. We will illustrate the importance of (...) ‘ontological commitment’ with the ‘neuroanatomical approach’ to amusement as proposed in a recent paper by Palencik :419–434, 2007). We will show that the scientific evidence presented in said neuroanatomical approach has no bearing on the conceptual issues, in that the philosophical theories and folk distinction that are criticized do not subscribe to any account of the underlying neuroanatomical structure or causal processes. Our suggestions in this paper are not limited to philosophical accounts of humor but apply to the relationship of philosophy, common sense and science in general. (shrink)

Consider the most recent Yale-Harvard football game, an event which occurred on 11/20/21 in New Haven, lasting about three hours. This event, like many college football games before, was composed of four quarters, each of which was composed of possessions, each of which was composed of downs, each of which was composed of particular movements, tackles and decisions of the individual players. Each of these parts of the game was itself an event, occurring in a smaller region of space and (...) time than the game itself. Each of these events involved material objects like players, helmets, jerseys, etc. Each had causes and effects, and each instantiated qualitative properties, such as being a kickoff or being a tackle. These are paradigmatic examples of events. Events are many and varied; some other examples include the melting of an ice cube, the birth of a horse, the supernova of a star, the presidential election campaign and a winter snowstorm. Each of these took place in a certain region of spacetime, had other events as parts, involved certain objects, had causes and effects, and instantiated properties. Objects and their properties are not the only furniture in the world. Events are a crucial part of our manifest and scientific pictures of the world. We go to football games, think about and participate in elections, eagerly anticipate the birth of a child, and quantify over and explain such things in our scientific theories. Yet, events have received insufficient attention from metaphysicians. Some philosophers have been skeptical of events, holding that talk of events can be paraphrased away, or that events can be reduced to objects and properties.1 When philosophers have accepted events, their motivations have usually been extrinsic—events are introduced in order to play a role in a larger philosophical system. This tendency has led philosophers to miss a number of interesting features of events. In this paper, I wish to reverse that trend by developing an ontology of events which is not an afterthought with respect to another philosophical project. In so doing, I will provide answers to substantive metaphysical questions about the relations in which events stand and their identity conditions. In the next section, I identify four basic relations in which events stand: parthood, involvement, causation and instantiation, focusing in particular on involvement. Then, I argue that events are individuated by their involvements, and criticize the identity conditions which have been offered by other philosophers, notably Quine, Davidson and Kim. I then conclude. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) (...) to create new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

In this work the problem of scientific ontology is applied to the general issue of scientific realism. In addition, particular ontological issues raised by particular theories or fields are explored.

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), (...) whereas moderate entity realism accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised (...) as taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)

The recent scientific discoveries cast a new light on the classical distinction between the actual and the possible. A creative elaboration upon this theme, stimulated by works on modal logic and controversies around the semantics of Kripke, has been developed in contemporary discussions on epistemological aspects of quantum cosmology and on ontological preconditions of genetic determinants.Proceeding from new scientific theories, in the paper an attempt is undertaken to determine the ontological structure of nature in which one satisfactorily (...) explains new data implied by these theories. In the context of contemporary physical discoveries the very concept of possible being is reinterpreted. A new version of moderate Platonism is proposed in a form of modified modal actualism. Its classical counterpart was earlier developed by Robert C. Stalnaker and Alvin Plantinga in their ontology of the possible worlds. (shrink)

In this article, the collective experimenter, arising in scientific projects from those modeled on the Alvarez group to megascience, is studied in the framework of the model of trading zones, as well as Actor-Network Theory. The collective experimenter is defined as a network of actors whose forms are trading zones, including the core – the empirical collective subject of cognition – and the peripheral part. The multitude of actors of the collective experimenter includes the core, as well as the (...) community of intentions and the external actors that are part of the periphery of the collective experimenter. Attention is focused on the differences between the author of epistemic claims, the subject of cognition and scientific collaboration. A classification of collective experimentalists is proposed that includes four types of ontologies. The classification is applied to JINR scientific projects, and within its framework projects of the Alvarez type, big science, proto-megascience and megascience are distinguished. Ways of developing projects to the megascience-level through the formation of cores-communicative communities in the structure of the collective experimenter are proposed. Premised on the results obtained, recommendations are formulated for the development of the JINR experiments program. (shrink)

For historical epistemology to succeed, it must adopt a defensible set of categories to characterise scientific activity over time. In historically orientated philosophy of science during the twentieth century, the original categories of theory and observation were supplemented or replaced by categories like paradigm, research program and research tradition. Underlying all three proposals was talk about conceptual systems and conceptual structures, attributed to individual scientists or to research communities, however there has been little general agreement on the nature of (...) these structures. Recent experimental research in cognitive science has considerably refined the theory of concepts. Drawing upon the results of that research, philosophers can construct more concrete and empirically defensible representations of conceptual systems. I will suggest that this research supports a modest and useful sense of both normal and revolutionary science, not as epistemological continuities or discontinuities, but as particular patterns of conceptual change. (shrink)

In the traditional scientific research and production activities, due to the lack of sufficient communication and communication between researchers, the phenomenon of waste of scientific research resources occurs from time to time, which hinders the efficiency of scientific research output. Based on the design principle of the semantic knowledge framework, this paper puts forward the definition of ontology and semantic relationship of the collaborative system of scientific researchers. In this paper, a framework of collaborative semantic (...) knowledge among researchers is established through decentralized semantic information exchange architecture. In this article, the simulation is verified by experiments and compared with other exchange architectures. The results of the experiment confirmed the semantic information exchange architecture based on semantic knowledge proposed in this paper is 10.39% faster than the traditional centralized method in terms of data volume; the construction speed under the data node perspective is 12.84% higher than that of the traditional centralized construction method; the subject query speed is 36.84% higher than that of the traditional centralization method; the predicate query speed is 31.58% higher than that of the traditional centralization method. The experimental results confirm that the semantic information exchange architecture based on the semantic knowledge framework is feasible, and it has excellent performance in terms of construction speed and query speed. Under the background that researchers rely more and more on collaborative technology to interact with other members, this paper has a certain reference value and exploration value and proposes a new idea of group collaboration system under the framework of semantic knowledge. (shrink)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract (...) objects; (iii) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion. (shrink)

ABSTRACTCritical realism's insight into depth ontology creates the possibility for re-imagining sociology as a science of the social world. However, critical realism has yet to gain a strong foothold in sociological analysis. Challenging the available criticism of critical realism, I argue that its main flaw is its inability to draw an appropriate epistemological strategy from its insights into depth ontology. I propose that this limitation can be overcome when we anchor the depth ontology of critical realism to (...) the two-step epistemological strategies of Bourdieu's field theory: first, objectifying common sense to develop a scientific model of social structure; and second, objectifying the scientific point of view to re-introduce common sense in the scientific model of social structure. I argue that by anchoring the ontological insights of critical realism to the epistemological strategies of field theory, we can create the long-sought core around which sociology can progress as a science of the social world. (shrink)

Systems theory offers a language in which one might formulate a metaphysics (or more specifically an ontology) of problems. This proposal is based upon a conception of systems theory shared by vonBertalanffy, Wiener, Boulding, Rapoport, Ashby, Klir, and others,and expressed succinctly by Bunge, who considered game theory, information theory, feedback control theory, and the like to be attempts to construct an "exact and scientific metaphysics." Our prevailing conceptions of "problems" are concretized yet also fragmented, and in fact dissolved, (...) by the standard reductionist model of science, which cannot provide a general framework for analysis. The idea of a "systems theory," however, suggests the possibility of an abstract and coherent account of the origin and essence of problems. Such an account would constitute a secular theodicy. (shrink)

It is widely believed that science is in the business of finding out what the world is really like. The philosophical version of this belief is scientific realism -- a doctrine about science that tells us that we ought to believe that the best theories in science are true, and that the world is occupied with the objects that those theories contain. If scientific realism was not correct, the argument goes, the incredible success of science would (...) be a miracle. The best explanation for the success of science however, is not that it is a miracle, but that scientific theories are true. This argument is an instance of inference to the best explanation, or IBE. Skeptics have questioned why scientific success must imply its truth given that there are so many abandoned, false scientific theories in the history of science that were nevertheless successful. One of the controversies in the debate between scientific realists and anti-realists surrounds the legitimacy of reasoning in accordance with IBE. Realists need IBE to be a justified and reliable guide to truth. In this compilation thesis, I address various questions related to IBE and scientific realism. Paper 1 argues that scientific realism without IBE loses too much of its epistemic optimism, and that it in some contexts even becomes more pessimistic than the most prominent rival philosophical doctrine about science -- constructive empiricism. To avoid deflating realism, I argue, a defense of IBE is necessary. Paper 2 addresses whether methodological similarities between science and metaphysics force scientific realists to also be realists with respect to metaphysics. If IBE is legitimate, it should not only be valid in science, but also in metaphysics, effectively inflating the ontology that scientific realists are rationally bound to accept. I argue against this conclusion. Paper 3 offers a proof of concept regarding a novel way to justify inferences to unobservable objects. Paper 4 establishes a novel critique of non-probabilistic versions of IBE in scientific realism. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from (...) the actual ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

Human beings are strange animals. Although evolutionary theory has brilliantly accounted for the features we share with other creatures—from the genetic code that directs the construction of our bodies to the details of how our muscles and neurons work—we still stand out in countless ways. Our brains are exceptionally large, we alone have truly grammatical language, and we alone compose symphonies, drive cars, eat spaghetti with a fork and wonder about the origins of the universe.

Ontology is one of today’s buzzwords. It is back in fashion in analytical philosophy and Artificial Intelligence, and major projects and research centres get funding around the world (cf. e.g. the Buffalo Centre for Ontological Research, the Laboratory for Ontology in Turin, the Institute for Formal Ontology and Medical Information Science in Saarland). In the philosophy of science ontology has arguably always been a key area of research, under the guise of ‘The foundations of __’ (physics, (...) biology, chemistry, etc.). Economics however is an exception. Because of economics’ hybrid status, philosophers’ interest in its foundations has traditionally focused on normative issues – typically the theory of rationality that lies at the core of the neoclassical paradigm. What is relatively new, then, 1 is the current growth of interest for the metaphysics of economics as a descriptive scientific discipline (see e.g. Mäki, ed. 2001). (shrink)

A longstanding philosophical premise perceives simplicity as a desirable attribute of scientific theories. One of several raised justifications for this notion is that simple theories are more likely to indicate the true makeup of natural systems. Qualitatively parsimonious hypotheses and theories keep to a minimum the number of different postulated entities within a system. Formulation of such ontologically simple working hypotheses proved to be useful in the experimental probing of narrowly defined bio systems. It is less (...) certain, however, whether qualitatively parsimonious theories are effective indicators of the true nature of complex biological systems. This paper assesses the success of ontologically simple theories in envisaging the makeup of three complex systems in bacteriology, immunology, and molecular biology. Evidence shows that parsimonious theories completely misconstrued the actual ontologically complex constitutions of the three examined systems. Since evolution and selective pressures typically produce ontologically intricate rather than simple bio systems, qualitatively parsimonious theories are mostly inapt indicators of the true nature of complex biological systems. (shrink)

In this basically expository paper we discuss the role of logic and mathematics in researches concerning the ontology of scientific theories, and we consider the particular case of quantum mechanics. We argue that systems of logic in general, and classical logic in particular, may contribute substantially with the ontology of any theory that has this logic in its base. In the case of quantum mechanics, however, from the point of view of philosophical discussions concerning identity and (...) individuality, those contributions may not be welcome for a specific interpretation, and an alternative system of logic perhaps could be used instead of a classical system. In this sense, we argue that the logic and ontology of a scientific theory may be seen as mutually influencing each other. On the one hand, logic contributes to shape the general features of the ontology of a theory; on the other hand, the theory also puts constraints on the possible understanding of ontology and, respectively, on possible systems of logic that may be the underlying logic of the theory. (shrink)

Realist evaluation has gained prominence in the field of evaluation in recent years. Its theory-driven approach to explaining how and why programmes work or not makes it attractive to many novices, early career researchers, and organizations implementing various programmes globally and relevant to policymakers and programme implementers. While realist evaluation seeks to be pragmatic, adopting principles and methods that can be used to help focus an evaluation, its deep ontological and epistemological foundations make its application in real-life situations challenging. In (...) this paper, we seek to unpack the key tenets scaffolding the practical application of realist evaluation. Although Pawson and Tilley foreground realist evaluation in applied scientific realism, we argue that an amalgam of scientific and critical realist principles underpins realist evaluation. We unpack these principles and illustrate how they fit into each other to provide a cogent theoretical foundation for realist evaluation. (shrink)

Drawing from a Sellarsian realist-naturalist epistemology, we trace different levels of cognitive hierarchy procedures through which a representational system learns to update its own states and improve its ‘map-making’ capabilities from pre-conscious operations which modulate base-localization functions, to patterns of epistemic revision and integration at the conceptual and theoretical levels, producing a nomological double of its world. We show how ontological theorization becomes diachronically coordinated with and constrained by empirical science, and how the formal-quantitative kernel of scientific theories (...) corresponds to qualitative-conceptual determinations at the structural level. Following Johanna Seibt’s characterization of ontology as a theory of categorial inference, we trace the preservation of inferential semantic structure across ontological theories in relation to model languages and provide provisional indications to coordinate Seibt’s account with a convergent realist assessment of systematic modeling, defining the epistemological conditions for articulating the preservation of formal structure in theories toward a limit-point of enquiry. (shrink)

The existence of a close connection between results on axiomatic truth and the analysis of truth-theoretic deflationism is nowadays widely recognized. The first attempt to make such link precise can be traced back to the so-called conservativeness argument due to Leon Horsten, Stewart Shapiro and Jeffrey Ketland: by employing standard Gödelian phenomena, they concluded that deflationism is untenable as any adequate theory of truth leads to consequences that were not achievable by the base theory alone. In the paper I highlight, (...) as Shapiro and Ketland, the irreducible nature of truth axioms with respect to their base theories. But, I argue, this does not immediately delineate a notion of truth playing a substantial role in philosophical or scientific explanations. I first offer a refinement of Hartry Field’s reaction to the conservativeness argument by distinguishing between metatheoretic and object-theoretic consequences of the theory of truth and address some possible rejoinders. In the resulting picture, truth is an irreducible tool for metatheoretic ascent. How robust is this characterizaton? I test it by considering: a recent example, due to Leon Horsten, of the alleged explanatory role played by the truth predicate in the derivation of Fitch’s paradox; an essential weakening of theories of truth analyzed in the first part of the paper. (shrink)