The purpose of this article is to respond to Thomas Uebel´s criticisms of my comments regarding the current revisionism of Carnap´s work and its relations to Kuhn. I begin by pointing out some misunderstandings in the interpretation of my article. I then discuss some aspects related to Carnap´s view of the history of science. First, I emphasize that it was not due to a supposed affinity between Kuhn´s conceptions and those of logical positivism that Kuhn was invited to write the (...) monograph on the history of science for the Encyclopedia. Three other authors had been invited first, including George Sarton whose conception was entirely different from Kuhn´s. In addition, I try to show that Carnap attributes little importance to history of science. He seldom refers to it and, when he does, he clearly defends a Whig or an “old” historiography of science, to which Kuhn opposes his “new historiography of science”. It is argued that this raises serious difficulties for those, like Uebel, who hold the view that Carnap includes the historical or the social within the rational. (shrink)

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures (...) of classical and quantum mechanics? In this essay we answer this question by showing that the original arguments promoting quantum logic contain serious flaws, and that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. Moreover, we show that quantum mechanics can generate a distributive lattice of propositions, which, unlike the one of quantum logic, includes statements about expectation values which are of undoubtable physical interest. Lastly, we show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions. This fact entails that the purported difference between classical and quantum logic stems from a misconstructed parallel between the two theories. (shrink)

And this paper is an attempt to say precisely how, thus addressing a philosophical problem which is commonly taken to be a serious one. It does so, however, in quite an idiosyncratic way. It is based on the account of inductive schemes I have given in (1988) and (1990a) and on the conception of causation I have presented in (1980), (1983), and (1990b), and it intends to fill one of many gaps which have been left by these papers. Still, I (...) have tried to make this paper self-contained. Section 1 explains the philosophical question this paper is about; in more general terms it asks what might be meant by objectifying epistemic states or features of them and to which extent epistemic states can be objectified. The next sections introduce the basis I rely on with formal precision and some explanation; section 2 deals with induction and section 3 with causation. Within these confines, section 4 attempts to give an explication of the relevant sense of objectification and section 5 investigates the extent to which various features of epistemic states are objectifiable. The two most salient results are roughly that the relation "A is a reason for B" cannot be objectified at all and that the relation "A is a cause of B" can be objectified only under substantial, though reasonable restrictions. What has all of this to do with probability? A lot. The paper trades on a pervasive duality between probabilistic and deterministic epistemology, between a probabilistic representation of epistemic states together with a theory of probabilistic causation and another representation of epistemic states which I call deterministic because it lends itself, in a perfectly parallel fashion, to a theory of deterministic causation. Here I explicitly deal only with the deterministic side, but the duality should pave the way for further conclusions concerning objective probabilities and statistical laws. This outlook is briefly expanded in the final section 6. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Experimental investigation of mechanisms seems to make use of causal relations that cut across levels of composition. In bottom-up experiments, one intervenes on parts of a mechanism to observe the whole; in top-down experiments, one intervenes on the whole mechanism to observe certain parts of it. It is controversial whether such experiments really make use of interlevel causation, and indeed whether the idea of causation across levels is even conceptually coherent. Craver and Bechtel have suggested that interlevel causal claims can (...) be analysed in a causal and a non-causal component. I accept this idea but argue that their account should be modified so as to account of cases of apparent downward causation. First, constitution must be distinguished from identity; second, the analysis of downward causation requires the concept of a partial constraint. An analysis along these lines shows that the possibility of downward causation is not refuted by Kim's argument according to which it is incompatible with the completeness of physics. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

The monograph presents the ideas about the main changes that occurred in the development of technologies from the emergence of Homo sapiens till present time and outlines the prospects of their development in the next 30–60 years and in some respect until the end of the twenty-first century. What determines the transition of a society from one level of development to another? One of the most fundamental causes is the global technological transformations. Among all major technological breakthroughs in history the (...) most important are three production revolutions: 1) the Agrarian Revolution; 2) the Industrial Revolution; and 3) the Cybernetic one. The book introduces the theory of production revolutions which is a new valuable explanatory paradigm that analyzes causes and trends of dramatic shifts in historical process. The authors describe the course of technological transformations in history and demonstrate a possible application of the theory to explain the present and forthcoming technological changes. They analyze the technological shifts which took place in the second half of the twentieth and early twenty-first centuries and forecast the main shifts in the next half a century. On this basis the authors present a detailed analysis of the latest production revolution which is denoted as ‘Сybernetic’. They make some predictions about its development in the nearest five decades and up to the end of the twenty-first century and show that the development of various self-regulating systems will be the main trend of this revolution. The authors argue that the transition to the starting final phase of the Cybernetic Revolution (in the 2030–2040s) will first occur in the field of medicine (in some its innovative branches). In future we will deal with the started convergence of innovative technologies which will form the system of MANBRIC-technologies (i.e. the technological paradigm based on medicine, additive, nano- and bio- technologies, robotics, IT and cognitive technologies). The monograph gives an outline of the future breakthroughs in medicine and some other technologies (between the 2010s and 2070s). (shrink)

Lately, philosophers of mathematics have been exploring the notion of mathematical explanation within mathematics. This project is supposed to be analogous to the search for the correct analysis of scientific explanation. I argue here that given the way philosophers have been using “ explanation,” the term is not applicable to mathematics as it is in science.

The Ramsey-sentence H* of any hypothesis H is shown to be a synthetic proposition containing mathematics as a finite component. Far from being quasi-tautological, H* proves to have as much physical content as H itself.

How should biological behaviour be modelled? A relatively new approach is to investigate problems in neuroethology by building physical robot models of biological sensorimotor systems. The explication and justification of this approach are here placed within a framework for describing and comparing models in the behavioural and biological sciences. First, simulation models – the representation of a hypothesis about a target system – are distinguished from several other relationships also termed “modelling” in discussions of scientific explanation. Seven dimensions on which (...) simulation models can differ are defined and distinctions between them discussed: 1. Relevance: whether the model tests and generates hypotheses applicable to biology. 2. Level: the elemental units of the model in the hierarchy from atoms to societies. 3. Generality: the range of biological systems the model can represent. 4. Abstraction: the complexity, relative to the target, or amount of detail included in the model. 5. Structural accuracy: how well the model represents the actual mechanisms underlying the behaviour. 6. Performance match: to what extent the model behaviour matches the target behaviour. 7. Medium: the physical basis by which the model is implemented. No specific position in the space of models thus defined is the only correct one, but a good modelling methodology should be explicit about its position and the justification for that position. It is argued that in building robot models biological relevance is more effective than loose biological inspiration; multiple levels can be integrated; that generality cannot be assumed but might emerge from studying specific instances; abstraction is better done by simplification than idealisation; accuracy can be approached through iterations of complete systems; that the model should be able to match and predict target behaviour; and that a physical medium can have significant advantages. These arguments reflect the view that biological behaviour needs to be studied and modelled in context, that is, in terms of the real problems faced by real animals in real environments. Key Words: animal behaviour; levels; models; neuroethology; realism; robotics; simulation. (shrink)

There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on one’s (...) theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS against a reductionist (...) interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (shrink)

Quantum mechanics studies physical phenomena on a microscopic scale. These phenomena are far beyond the reach of our observation, and the connection between QM's mathematical formalism and the experimental results is very indirect. Furthermore, quantum indeterminism defies common sense. Microphysical experiments have shown that, according to the empirical context, electrons and quanta of light behave as waves and other times as particles, even though it is impossible to design an experiment that manifests both behaviors at the same time. Unlike Newtonian (...) physics, the properties of quantum systems are not all well-defined simultaneously. Moreover, quantum systems are not characterized by their properties, but by a wave function. Although one of the principles of the theory is the uncertainty principle, the trajectory of the wave function is controlled by the deterministic Schrödinger equations. But what is the wave function? Like other theories of the physical sciences, quantum theory assigns states to systems. The wave function is a particular mathematical representation of the quantum state of a physical system, which contains information about the possible states of the system and the respective probabilities of each state. (shrink)

All the attempts to find the justification of the privileged evolution of phenomena exclusively in the external world need to refer to the inescapable fact that we are living in such an asymmetric universe. This leads us to look for the origin of the “arrow of time” in the relationship between the subject and the world. The anthropic argument shows that the arrow of time is the condition of the possibility of emergence and maintenance of life in the universe. Moreover, (...) according to Bohr’s, Poincaré’s and Watanabe’s analysis, this agreement between the earlier-later direction of entropy increase and the past-future direction of life is the very condition of the possibility for meaningful action, representation and creation. Beyond this relationship of logical necessity between the meaning process and the arrow of time the question of their possible physical connection is explored. To answer affirmatively to this question, the meaning process is modelled as an evolving tree-like structure, called “Semantic Time”, where thermodynamic irreversibility can be shown. (shrink)

This paper suggests an epistemic interpretation of Belnap’s branching space-times theory based on Everett’s relative state formulation of the measurement operation in quantum mechanics. The informational branching models of the universe are evolving structures defined from a partial ordering relation on the set of memory states of the impersonal observer. The totally ordered set of their information contents defines a linear “time” scale to which the decoherent alternative histories of the informational universe can be referred—which is quite necessary for assigning (...) them a probability distribution. The “historical” state of a physical system is represented in an appropriate extended Hilbert space and an algebra of multi-branch operators is developed. An age operator computes the informational depth of historical states and its standard deviation can be used to provide a universal information/energy uncertainty relation. An information operator computes the encoding complexity of historical states, the rate of change of its average value accounting for the process of correlation destruction inherent to the branching dynamics. In the informational branching models of the universe, the asymmetry of phenomena in nature appears as a mere consequence of the subject’s activity of measuring, which defines the flow of time-information. (shrink)

This paper seeks to evaluate the potential of the Newman objection to function as an immanent critique of Carnap's use of the Ramsey method of regimenting scientific theories. Stress is laid on the distinctive way in which ramseyfications are used by Carnap to formulate the analytic/synthetic distinction for the theoretical language and on the difference between the ontological and the epistemic readings of the Newman objection. While the former reading of the Newman objection is rejected as trading on an assumption (...) that Carnap did not share, the latter is accepted as critical. It is argued to turn on overlooking that the Ramsey sentence constitutes an idealization concerning which our normal expectations of what theories are like are bound to be frustrated. This idealisation need not reflect Carnap's considered view but can be regarded as adopted solely for the project of semantic explication. The distinctions drawn in the course of the argument also help to motivate Carnap's abstention from the discourse of realism and its denial. (shrink)

This paper offers a refutation of J. C. Pinto de Oliveira's recent critique of revisionist Carnap scholarship as giving undue weight to two brief letters to Kuhn expressing his interest in the latter's work. First an argument is provided to show that Carnap and Kuhn are by no means divided by a radical mismatch of their conceptions of the rationality of science as supposedly evidenced by their stance towards the distinction of the contexts of discovery and justification. This is followed (...) by an argument to the effect that the fact that Carnap's own work concentrated on formal aspects of scientific theories does not licence the conclusion that he thought historical investigations and concerns irrelevant for what we nowadays would rightly call "philosophy of science". (shrink)

Abstract This essay will argue systematically and from a historical perspective that there is something to be said for the traditional claim that the human and natural sciences are distinct epistemic practices. Yet, in light of recent developments in contemporary philosophy of science, one has to be rather careful in utilizing the distinction between understanding and explanation for this purpose. One can only recognize the epistemic distinctiveness of the human sciences by recognizing the epistemic centrality of reenactive empathy for our (...) understanding of rational agency, that is, by emphasizing the psychological component in the concept of understanding that nineteenth-century philosophers like Droysen, in contrast to twentieth-century hermeneutic philosophers, still acknowledged. In addition, the essay will show in detail that merely pointing to the fact that narratives have a cognitive function in the domain of the human sciences, as is common among philosophers of history, does not provide us with a sufficient demarcation criterion for distinguishing between the human and natural sciences. (shrink)

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

The notion of similarity plays a central role in Quine's theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine's theory has been ignored by several philosophers. Nominalism and realism: Universals and Scientific realism. Cambridge: (...) Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine's austere ontology; in particular, it does not assume the existence of properties and of possible worlds.. Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine's approach that have been raised by Armstrong and Oliver [. The metaphysics of properties. Mind, 105, 1-80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [. On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

Extensionalism, as I understand it here, is the view that physical reality consists exclusively of extensional entities. On this view, intensional entitities must either be eliminated in favor of an ontology of extensional entities, or be reduced to such an ontology, or otherwise be admitted as non-physical. In this paper I argue that extensionalism is a misguided philosophical doctrine. First, I argue that intensional phenomena are not confined to the realm of language and thought. Rather, the ontology of such phenomena (...) is intimately entwined with the ontology of properties. After providing some evidence to the popularity of extensionalism in contemporary analytic philosophy, I investigate the motivating reasons behind it. Considering several explanations, I argue that the main motivating reason is rooted in the identification of matter with extension, an identification which is one of the hallmarks of the mechanistic conception of nature inherited from the founding fathers of our modern scientific outlook. I then argue that such a conception is not only at odds with a robust ontology of properties but is also at odds with our best contemporary physics. Rather than vindicating extensionalism contemporary science undermines the position, and the lesson to be drawn from this surprising fact is that extensionalism needs no longer be espoused as a regulative ideal of naturalistic philosophy. I conclude by showing that the ontological approach to intensional phenomena advocated throughout the paper also gains support from an examination of the historical context within which ‘intension’ was first introduced as a semantic notion. (shrink)

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (shrink)

This paper describes the development of theories of scientific explanation since Hempel's earliest models in the 1940ies. It focuses on deductive and probabilistic whyexplanations and their main problems: lawlikeness, explanation-prediction asymmetries, causality, deductive and probabilistic relevance, maximal specifity and homogenity, the height of the probability value. For all of these topic the paper explains the most important approaches as well as their criticism, including the author's own accounts. Three main theses of this paper are: (1) Both deductive and probabilistic explanations (...) are important in science, not reducible to each other. (2) One must distinguish between (cause giving) explanations and (reason giving) justifications and predictions. (3) The adequacy of deductive as well as probabilistic explanations is relative to a pragmatically given background knowledge-which does not exclude, however, the possibility of purely semantic models. (shrink)

In the first part of my paper I discuss eight arguments in favour of the theory-dependence of observation: realistic content, guidance function of theories, perception as cognitive construction, expectation-dependence of perception, theory-dependence of scientific data, continuity between observational and theoretical concepts, language-dependence, and meaning holism. I argue that although these arguments make correct points, they do not exclude the existence of observations that are weakly theory-neutral in the sense that they don’t depend on acquired background knowledge. In the second part (...) I suggest an experimental method, the method of ostensive learning experiments, by which the degree of theory- and language-independence of a concept can be tested. (shrink)

This essay examines Friedman's recent approach to the analysis of physical theories. Friedman argues against Quine that the identification of certain principles as ‘constitutive’ is essential to a satisfactory methodological analysis of physics. I explicate Friedman's characterization of a constitutive principle, and I evaluate his account of the constitutive principles that Newtonian and Einsteinian gravitation presuppose for their formulation. I argue that something close to Friedman's thesis is defensible.

Patrick Suppes'' set-theoretical approach to the analysis of theories, and Joseph D. Sneed''s metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms perception and truth are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Patrick Suppes' set-theoretical approach to the analysis of theories, and Joseph D. Sneed's metatheory are briefly outlined. The notions of observation, illusion and hallucination are reconstructed according to these approaches. It is argued that the terms ‘perception’ and ‘truth’ are theoretical with respect to observation but nontheoretical with respect to illusion and hallucination. Hallucination is construed as a special kind of illusion.

Based on archival material from the Carnap and FeiglArchives, this paper re-examines Carnap's approach tothe issue of scientific realism in the 1950s and theearly 1960s. It focuses on Carnap's re-invention ofthe Ramsey-sentence approach to scientific theoriesand argues that Carnap wanted to entertain a genuineneutral stance in the realism-instrumentalism debate.Following Grover Maxwell, it claims that Carnap'sposition may be best understood as a version of`structural realism'. However, thus understood,Carnap's position faces the challenge that Newmanraised against Russell's structuralism: the claim thatthe knowledge of (...) the unobservable is limited to itspurely structural characteristics is eitheruninformative or unsustainable. (shrink)

Resumen En este trabajo presento dos tipos de conceptos, los conceptos psicológicos y los conceptos de color y sugiero una ampliación de la tesis externista que defiende Axel Barceló en su libro Sobre el análisis.In this paper I present two types of concepts, psychological concepts and color concepts, and I suggest an extension of the externist thesis defended by Axel Barceló in his book Sobre el análisis.

Many concepts are inadequate for serious inquiry, so theorists often seek to engineer new concepts. The method of explication, which involves replacing concepts with more fruitful alternatives, is a model of this process. In this paper, I develop an account of fruitfulness, the Relevant-Goals Account of Fruitfulness. The account is in the spirit of extant proposals, but develops and extends them in important ways. In particular, while it applies to explications in general, the account allows us to derive substantive details (...) for specific explications. This is achieved through a supplementary view, Contextualism, that specifies which theoretical goals are relevant in any given case. I close by discussing how the Relevant-Goals Account fits into the dynamic nature of inquiry. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

In this paper, I argue against John Beatty’s position in his paper “The Evolutionary Contingency Thesis” by counterexample. Beatty argues that there are no distinctly biological laws because the outcomes of the evolutionary processes are contingent. I argue that the heart of the Caspar–Klug theory of virus structure—that spherical virus capsids consist of 60T subunits (where T = k 2 + hk + h 2 and h and k are integers)—is a distinctly biological law even if the existence of spherical (...) viruses is evolutionarily contingent. (shrink)

In this paper I shall adopt a possible reading of the notions of ‘explanatory indispensability’ and ‘genuine mathematical explanation in science’ on which the Enhanced Indispensability Argument proposed by Alan Baker is based. Furthermore, I shall propose two examples of mathematical explanation in science and I shall show that, whether the EIA-partisans accept the reading I suggest, they are easily caught in a dilemma. To escape this dilemma they need to adopt some account of explanation and offer a plausible answer (...) to the following ‘question of evidence’: What is a genuine mathematical explanation in empirical science and on what basis do we consider it as such? Finally, I shall suggest how a possible answer to the question of evidence might be given through a specific account of mathematical explanation in science. Nevertheless, the price of adopting this standpoint is that the genuineness of mathematical explanations of scientific facts turns out to be dependent on pragmatic constraints and therefore cannot be plugged in EIA and used to establish existential claims about mathematical objects. (shrink)

Man kann die Unterscheidung zwischen synthetischen und analytischen Sätzen aus zwei Perspektiven betrachten – von innen oder von außen: mit Blick auf die eigene Sprache oder mit Blick auf die Sprache anderer. Wer die Außenperspektive einnimmt, sucht eine Antwort auf die deskriptive Frage, welche Sätze einer fremden Sprache als analytisch zu klassifizieren sind. Wer die Innenperspektive einnimmt, sucht dagegen eine Antwort auf folgende normative Frage: Welche Sätze darf ich nicht preisgeben oder zurückweisen – wenn ich keinen Unfug reden will? Die (...) beiden Blickwinkel schließen einander nicht aus; sie ergänzen sich und unterstützen einander. In seinem Aufsatz „Two dogmas of empiricism“ kritisiert Quine die Unterscheidung zwischen synthetischen und analytischen Sätzen aus der Innenperspektive; in seinem Buch Word and object wiederholt er dieselbe Kritik aus der Außenperspektive. In beiden Fällen richtet sich seine Kritik gegen die Ziele des frühen Carnap (der sämtliche Ausdrücke der Wissenschaftssprache mithilfe analytisch wahrer Definitionen verständlich machen wollte). Ich trete beiden Fassungen dieser Kritik entgegen und schlage zwei Definitionen des Begriffs vom analytischen Satz vor, die Quines Kritik entgehen: eine Definition aus der Außen- und eine aus der Innenperspektive. Zum Abschluss führe ich in einer leicht spekulativen Betrachtung vor, wie man bloßen Begriffswandel vom Wandel der inhaltlichen Überzeugungen trennen könnte – und zwar sogar im Fall wissenschaftlicher Revolutionen. (shrink)

A long-range potential is one whose range, the distance of effective influence, is unbounded or infinite. In this paper we show, using a definition of the range of a potential and certain other theoretical considerations, that the only long-range potential isV(r)=c/r, wherec is a constant.

The paper develops a unified account of both deterministic and indeterministic laws of nature which inherits the merits but not the defects of the best existing accounts. As in Armstrong's account, laws are embodied in facts about universals; but not in higher‐order relations between them, and the necessity of laws is not primitive but results from their containing chances of 0 or 1. As in the Ramsey‐Lewis account, law statements would be the general axioms and theorems of the simplest deductive (...) theory of everything; but because laws are not so defined, simplicity of statement is not a criterion of law‐hood. (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)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)