Protophysics and Special Theory of Relativity. First, a proposal for a constructive foundation of the Special Theory of Relativity by M. Buth is criticized and confronted with an alternative proposal by the author. The main idea is to solve the problem of transforming coordinates between inertial systems in terms of the General Theory of Measurement. Regarding transformations of co-ordinates as transformations of thecorresponding “functions of measurement” these functions have to meet two demands. 1. To identify measured values which are related (...) to different inertial systems and measuring procedures as the same magnitude, the ratio scale of length and duration has to be defined with respect to the whole class of inertial systems. 2. Using the concept of a certain physical magnitude, propositions about measuring devices are made which are invariant with respect to measuring procedures. As aconsequence every transformation between functions of measurement has to be an equivalence relation. The first demand leads to linearity, the second one reduces the set of permissible transformations between inertial systems to the alternative of Galilei- and Lorentz-transformation. The (im)possibility of putting an absolute simultaneity into practice decides between these transformations. (shrink)

Real kinds, both natural and social categories, are characterized by rich inductive potential. They have relatively stable sets of conceptually independent projectable properties. Somewhat surprisingly, even some purely social categories show such multiple projectability. The article explores the origin of the inductive richness of social categories and concepts. I argue that existing philosophical accounts provide only a partial explanation, and mechanisms of boundary formation and stabilization must be brought into view for a more comprehensive account of inductively rich social categories.

In recent years, a significant amount of research has investigated the Vienna Circle’s ramifications. Otto Neurath has received much attention as one of the most prominent and energetic adherents, but less conspicuous philosophers now find themselves at the center of historical research. This article’s aim is to investigate Arne Naess’s connection to Logical Empiricism. Two crucial influences on Naess’s work are identified: Otto Neurath and the psychologist Egon Brunswik. This article’s most significant contributions are that, from the perspective of a (...) historian of philosophy of science, (a) Brunswik’s notion of “depth of intention” and his scientific methodological standards are reflected in Naess’s philosophy, (b) both Naess and Brunswik are adherents of Neurath’s physicalism, (c) Naess explicates Neurath’s notoriously vague concept of “congestions” in his “empirical semantics,” and (d) the latter is applied in Naess’s deep-ecology approach. (shrink)

On the nature of definitions and concepts, and the definition of critical thinking.

During the last hundred years medical language has been influenced by scientific and technological progress. As a result uncertainty in medical communication is increasing. This may have serious consequences not only for health care delivery but also for medical science. Disease classification, assessment of the validity of epidemiological investigations and comparison of the results of various investigations are examples of what will become less secure. The purpose of the article is to emphasise a main source of uncertainty — the problem (...) of interpreting definitions. Two issues of interpretation are explored. One concerns the logical status of a statement and the other the function of a statement. It is concluded that the security of medical language can be increased through the elucidation of the logical status and functions of statements making up medical concepts. (shrink)

This paper gives a critical evaluation of the philosophical presuppositions and implications of two current schools in the sociology of knowledge: the Strong Programme of Bloor and Barnes; and the Constructivism of Latour and Knorr-Cetina. Bloor's arguments for his externalist symmetry thesis (i.e., scientific beliefs must always be explained by social factors) are found to be incoherent or inconclusive. At best, they suggest a Weak Programme of the sociology of science: when theoretical preferences in a scientific community, SC, are first (...) internally explained by appealing to the evidence, e, and the standards or values, V, accepted in SC, then a sociologist may sometimes step in to explain why e and V were accepted in SC. Latour's story about the social construction of facts in scientific laboratories is found to be misleading or incredible. The idea that scientific reality is an artifact turns out to have some interesting affinities with classical pragmatism, instrumentalism, phenomenology, and internal realism. However, the constructivist account of theoretical entities in terms of negotiation and social consensus is less plausible than the alternative realist story which explains consensus by the preexistence of mind-independent real entities. The author concludes that critical scientific realism, developed with the concept of truthlikeness, is compatible with the thesis that scientific beliefs or knowledge claims may be relative to various types of cognitive and practical interests. However, the realist denies, with good reasons, the stronger type of relativism which takes reality and truth to be relative to persons, groups, or social interests. (shrink)

In the discussion about consequences of the release of genetically modified (GM) crops, the meaning of the term “environmental damage” is difficult to pin down. We discuss some established concepts and criteria for understanding and evaluating such damages. Focusing on the concepts of familiarity, biological integrity, and ecosystem health, we argue that, for the most part, these concepts are highly ambiguous. While environmental damage is mostly understood as significant adverse effects on conservation resources, these concepts may not relate directly to (...) effects on tangible natural resources but rather to parameters of land use or ecological processes (e.g., the concept of biological integrity). We stress the importance of disclosing the normative assumptions underlying damage concepts and procedures for the evaluation of damages by GM crops. A conceptualization of environmental damage should precede its operationalization. We recommend an unambiguous definition for damage developed earlier and recommend that evaluation criteria be based on this. However, a general damage definition cannot replace case-specific operationalization of damage, which remains an important future challenge. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

There is a perennial philosophical dream of a certain natural order for the natural kinds. The name of this dream is ‘the hierarchy requirement’. According to this postulate, proper natural kinds form a taxonomy which is both unique and traditional. Here I demonstrate that complex scientific objects exist: objects which generate different systems of scientific classification, produce myriad legitimate alternatives amongst the nonetheless still natural kinds, and make the hierarchical dream impossible to realize, except at absurdly great cost. Philosophical hopes (...) for a certain order in nature cannot be fulfilled. Natural kinds crosscut one another, ubiquitously so, and this crosscutting spells the end of the hierarchical dream. (shrink)

The distinguished theologian, David Ray Griffin, has advanced a set of thirteen theses intended to characterize (what he calls) "Neo-Darwinism" and which he contrasts with "Intelligent Design". Griffin maintains that Neo-Darwinism is "atheistic" in forgoing a creator but suggests that, by adopting a more modest scientific naturalism and embracing a more naturalistic theology, it is possible to find "a third way" that reconciles religion and science. The considerations adduced here suggest that Griffin has promised more than he can deliver. On (...) his account, God is in laws of nature; therefore, any influence He exerts is natural rather than supernatural. But if the differences God makes are not empirically detectable, then Griffin's account is just as objectionable as a theory of supernatural intervention. And Griffin has not shown that evolution as distinct from his idiosyncratic sense of Neo-Darwinism is incompatible with theism. (shrink)

Mr. B. A. Farrell has argued that psychoanalysis is refutable, without clarifying different senses of 'refutable'. Once this clarification is done and the relevant literature examined, however, it is seen that psychoanalysis is not refutable in several important senses of 'refutable', although it is refutable in a sense that is quite uninteresting.

The goal of this paper is to encourage a reconfiguration of the discussion about typology in biology away from the metaphysics of essentialism and toward the epistemology of classifying natural phenomena for the purposes of empirical inquiry. First, I briefly review arguments concerning ‘typological thinking’, essentialism, species, and natural kinds, highlighting their predominantly metaphysical nature. Second, I use a distinction between the aims, strategies, and tactics of science to suggest how a shift from metaphysics to epistemology might be accomplished. Typological (...) thinking can be understood as a scientific tactic that involves representing natural phenomena using idealizations and approximations, which facilitates explanation, investigation, and theorizing via abstraction and generalization. Third, a variety of typologies from different areas of biology are introduced to emphasize the diversity of this representational reasoning. One particular example is used to examine how there can be epistemological conflict between typology and evolutionary analysis. This demonstrates that alternative strategies of typological thinking arise due to the divergent explanatory goals of researchers working in different disciplines with disparate methodologies. I conclude with several research questions that emerge from an epistemological reconfiguration of typology. (shrink)

This paper aims to study the foundations of applied mathematics, using a formalized base theory for applied mathematics: ZFCAσ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathsf {ZFCA}_{\sigma }$$\end{document} with atoms, where the subscript used refers to a signature specific to the application. Examples are given, illustrating the following five features of applied mathematics: comprehension principles, application conditionals, representation hypotheses, transfer principles and abstract equivalents.

The social science literature abounds with unconnected and, so it seems, diverse propositions about the emergence of norms. This article sets out to show that many of these propositions only differ in regard to terminology. Proponents of different theoretical orientations seem to accept a key hypothesis that is called “instrumentality proposition”: norms emerge if they are instrumental for attaining the goals of a group of actors. Apart from a problematic functionalist version the article focuses on an individualistic version: if actors (...) want to achieve certain goals and if a norm is instrumental to attain these goals individuals perform those actions that bring about the norm. This proposition involves several assumptions that are discussed.This version of the instrumentality proposition explains norms that are planned (i.e., that are second-order public goods). In order to account for the evolutionary emergence of norms a second version of the instrumentality proposition is discussed. It assumes that actors do not want to create a general norm but aim at providing certain private goods in interaction situations. For example, smokers sanction non-smokers in order not to be exposed to smoke in the interaction situation, but non-smokers do not want to engender a general non-smoking-norm. However, the aggregated effect of those actions is often a general norm.The article further explores problems of the two instrumentality propositions, the extent to which they answer important questions of a theory of norm emergence and alternative propositions to explain norms. (shrink)

The main thrust of the argument of this thesis is to show the possibility of articulating a method of construction or of synthesis--as against the most common method of analysis or division--which has always been (so we shall argue) a necessary component of scientific theorization. This method will be shown to be based on a fundamental synthetic logical relation of thought, that we shall call inversion--to be understood as a species of logical opposition, and as one of the basic monadic (...) logical operators. Thus the major objective of this thesis is to This thesis can be viewed as a response to Larry Laudan's challenge, which is based on the claim that ``the case has yet to be made that the rules governing the techniques whereby theories are invented (if any such rules there be) are the sorts of things that philosophers should claim any interest in or competence at.'' The challenge itself would be to show that the logic of discovery (if at all formulatable) performs the epistemological role of the justification of scientific theories. We propose to meet this challenge head on: a) by suggesting precisely how such a logic would be formulated; b) by demonstrating its epistemological relevance (in the context of justification) and c) by showing that a) and b) can be carried out without sacrificing the fallibilist view of scientific knowledge. OBJECTIVES: We have set three successive objectives: one general, one specific, and one sub-specific, each one related to the other in that very order. (A) The general objective is to indicate the clear possibility of renovating the traditional analytico-synthetic epistemology. By realizing this objective, we attempt to widen the scope of scientific reason or rationality, which for some time now has perniciously been dominated by pure analytic reason alone. In order to achieve this end we need to show specifically that there exists the possibility of articulating a synthetic (constructive) logic/reason, which has been considered by most mainstream thinkers either as not articulatable, or simply non-existent. (B) The second (specific) task is to respond to the challenge of Larry Laudan by demonstrating the possibility of an epistemologically significant generativism. In this context we will argue that this generativism, which is our suggested alternative, and the simplified structuralist and semantic view of scientific theories, mutually reinforce each other to form a single coherent foundation for the renovated analytico-synthetic methodological framework. (C) The third (sub-specific) objective, accordingly, is to show the possibility of articulating a synthetic logic that could guide us in understanding the process of theorization. This is realized by proposing the foundations for developing a logic of inversion, which represents the pattern of synthetic reason in the process of constructing scientific definitions. (shrink)

At the interface of developmental biology and evolutionary biology, the very criteria of scientific knowledge are up for grabs. A central issue is the status of evolutionary genetics models, which some argue cannot coherently be used with complex gene regulatory network (GRN) models to explain the same evolutionary phenomena. Despite those claims, many researchers use evolutionary genetics models jointly with GRN models to study evolutionary phenomena. This dissertation compares two recent research projects in which researchers jointly use the two kinds (...) of models. I use methods from the empirical social sciences, such as digital corpus analysis, content analysis, and structured case analysis. I infer three primary conclusions about projects of the kind studied. First, they employ an implicit concept of gene that enables the joint use of both kinds of models. Second, they pursue more epistemic aims besides mechanistic explanation of phenomena. Third, they don’t work to create and export broad synthesized theories. Rather, they focus on phenomena too complex to be understood by a common general theory, they distinguish parts of the phenomena, and they apply models from different theories to the different parts. For such projects, seemingly incompatible models are synthesized largely through mediated representations of complex phenomena. (shrink)

The aim of this essay is to emphasize a number of important points that will provide a better understanding of the history of philosophical thought concerning scientific knowledge. The main points made are: (a) that the principal way of viewing abstraction which has dominated the history of thought and epistemology up to the present is influenced by the original Aristotelian position; (b) that with the birth of modern science a new way of conceiving abstraction came into being which is better (...) characterized by the term idealization, the name that was later, in fact, to be used by scientists to describe their scientific activity; (c) that, however, on account of the influence of empirical and inductive philosophy, scientists have often not had sufficient methodological awareness of this new way of viewing abstraction; (d) that this new concept of abstraction has frequently been expressed in the framework of philosophies that lie outside the mainstream of contemporary epistemology or even exhibit marked anti-scientific tendencies; (e) that the theme of idealization has been taken up again in the last few decades and a great contribution in this direction has been made by the so-called Pozna school of methodology. (shrink)

Empiricists claim that in accepting a scientific theory one should not commit oneself to claims about things that are not observable in the sense of registering on human perceptual systems (according to Van Fraassen’s constructive empiricism) or experimental equipment (according to what I call liberal empiricism ). They also claim scientific theories should be accepted or rejected on the basis of how well they save the phenomena in the sense delivering unified descriptions of natural regularities among things that meet their (...) conditions for observability. I argue that empiricism is both unfaithful to real world scientific practice, and epistemically imprudent, if not incoherent. To illuminate scientific practice and save regularity phenomena one must commit oneself to claims about causal mechanisms that can be detected from data, but do not register directly on human perceptual systems or experimental equipment. I conclude by suggesting that empiricists should relax their standards for acceptable beliefs. (shrink)

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known physical (...) theory T. Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge. The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol, this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

In an earlier article on this journal I argued that the problem of empirical underdetermination can for the largest part be solved by theoretical virtues, and for the remaining part it can be tolerated. Here I confront two further challenges to scientific realism based on underdetermination. First, there are four classes of theories which may seem to be underdetermined even by theoretical virtues. Concerning them I argue that (i) theories produced by trivial permutations and (ii) “equivalent descriptions” are compatible with (...) the truth of standard theories; instead (iii) “as if” versions of standard theories are much worse from the point of view of theoretical virtues; finally (iv) mathematically intertranslatable theories either may become empirically decidable in the future, or can be discriminated by theoretical virtues, or realists may simply plead ignorance about their claims. Secondly, I consider Stanford’s underdetermination with respect unconceived alternatives, arguing that it essentially relies on the pessimistic meta-induction from the falsity of all past theories. Therefore, it can be resisted by (a) considering the radical advancement of present with respect to past science, and (b) arguing with selective realism that past successful theories, even if false, always included some true components. (shrink)