An attempt to revise the special relativity genesis at the expense of comprehending all Einstein’s 1905 papers as a whole is provided. It is argued that light quanta hypothesis and special relativity turn out to be mere stages of implementation of the programme of maxwellian electrodynamics, statistical mechanics and thermodynamics reconciliation. The conception of luminiferous ether was an insurmountable stumbling block for Einstein’s statistical thermodynamics programme in which the leading role was played by the light quanta paper . Einstein’s 1905 (...) unificationist modus operandi was close to Mach’s principle of economy of thought in ingenious conjunction with bashful inclinations of Kantian epistemology. Keywords: intertheoretic context, special relativity, light quanta , Unity of Nature, Mach, Kant. (shrink)

The book’s core argument is that an artificial intelligence that could equal or exceed human intelligence—sometimes called artificial general intelligence (AGI)—is for mathematical reasons impossible. It offers two specific reasons for this claim: Human intelligence is a capability of a complex dynamic system—the human brain and central nervous system. Systems of this sort cannot be modelled mathematically in a way that allows them to operate inside a computer. In supporting their claim, the authors, Jobst Landgrebe and Barry Smith, marshal evidence (...) from mathematics, physics, computer science, philosophy, linguistics, and biology, setting up their book around three central questions: What are the essential marks of human intelligence? What is it that researchers try to do when they attempt to achieve "artificial intelligence" (AI)? And why, after more than 50 years, are our most common interactions with AI, for example with our bank’s computers, still so unsatisfactory? Landgrebe and Smith show how a widespread fear about AI’s potential to bring about radical changes in the nature of human beings and in the human social order is founded on an error. There is still, as they demonstrate in a final chapter, a great deal that AI can achieve which will benefit humanity. But these benefits will be achieved without the aid of systems that are more powerful than humans, which are as impossible as AI systems that are intrinsically "evil" or able to "will" a takeover of human society. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

The influence of Heinrich Hertz's The Principles of Mechanics on Ludwig Wittgenstein's Tractatus Logico‐Philosophicus has been studied for decades, but it has never become a mainstream topic in the Wittgensteinian literature. This paper focusses on Tractarian notions of objects, elementary facts and elementary sentences and discusses their similarities with Hertz's concepts of mass, its constituents and their mechanistic images. As the paper demonstrates, the Hertzian context provides some fruitful interpretational leads concerning several controversial ideas endorsed by early Wittgenstein, namely propositional (...) analysis, logical independence of elementary facts, logical independence of elementary sentences, and modalities. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 2, which addresses categorical equivalence, interpretational equivalence, and duality. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and “interpretational” equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including (generalized) definitional (...) equivalence and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. The article is in two parts; this is Part 1, which addresses empirical equivalence and definitional equivalence. (shrink)

This paper defends an inferential conception of scientific representation. It approaches the notion of representation in a deflationary spirit, and minimally characterizes the concept as it appears in science by means of two necessary conditions: its essential directionality and its capacity to allow surrogate reasoning and inference. The conception is defended by showing that it successfully meets the objections that make its competitors, such as isomorphism and similarity, untenable. In addition the inferential conception captures the objectivity of the cognitive representations (...) used by science, it sheds light on their truth and completeness, and it explains the source of the analogy between scientific and artistic modes of representation. (shrink)

The main topic of this essay is symbolic mathematics or the method of symbolic construction, which I trace to the end of the sixteenth century when Franciscus Vieta invented the algebraic symbolism and started to use the word ‘symbolic’ in the relevant, non-ontological sense. This approach has played an important role for many of the great inventions in modern mathematics such as the introduction of the decimal place-value system of numeration, Descartes’ analytic geometry, and Leibniz’s infinitesimal calculus. It was also (...) central for the rigorization movement in mathematics in the late nineteenth century, as well as for the mathematics of modern physics in the 20th century.However, the nature of symbolic mathematics has been concealed and confused due to the strong influence of the heritage from the Euclidean and Aristotelian traditions. This essay sheds some light on what has been concealed by approaching some of the crucial issues from a historical perspective. Furthermore, I argue that the conception of modern mathematics as symbolic mathematics was essential to Wittgenstein’s approach to the foundations and nature of mathematics. This connection between Wittgenstein’s thought and symbolic mathematics provides the resources for countering the still prevalent view that he defended an uttrely idiosyncratic conception, disconnected from the progress of serious science. Instead, his project can be seen as clarifying ideas that have been crucial to the development of mathematics since early modernity. (shrink)

Dans cet article, j’essaie de montrer que le dépassement et le rejet du dogmatisme sont un aspect décisif du changement dans la pensée de Wittgenstein qui a eu lieu au début des années 30, quand il commence à mettre en valeur l’autonomie de la grammaire du langage et à parler d’images grammaticales et de jeux de langage en tant qu’objets de comparaison. En examinant certains traits fondamentaux de ce changement, je mettrai en évidence l’impulsion et les idées décisives que Wittgenstein (...) a reçues des nouveaux développements dans les mathématiques et la science naturelle du début du 20e siècle.It will be argued that the overcoming and avoiding of dogmatism is a decisive feature of the change in Wittgenstein’s thinking that takes place in the beginning of the 1930’s when he starts to emphasise the autonomy of the grammar of language and to talk about grammatical pictures and language games as objects of comparison. By examining certain crucial features in this change in Wittgenstein’s thinking, it will be shown that he received decisive impulses and ideas from new developments in mathematics and natural science in the early 20th century. (shrink)

The place of Heinrich Hertz’s The principles of mechanics in the history of the philosophy of science is disputed. Here I critically assess positivist interpretations, concluding that they are inadequate.There is a group of commentators who seek to align Hertz with positivism, or with specific positivists such as Ernst Mach, who were enormously influential at the time. Max Jammer is prominent among this group, the most recent member of which is Joseph Kockelmans. I begin by discussing what Hertz and Mach (...) had to say about one another, and I specify certain respects in which their views are indeed similar. I then go on to detail their differences, looking at Hertz’s attitude to the atomic theory, to the mechanical world-view, to simplicity, to unobservables and metaphysics, and his objections to Newtonian forces. I conclude that the positivist interpretation of Hertz’s mechanics significantly overplays its similarities to Mach’s views.Keywords: Ernst Mach; Heinrich Hertz; Mechanics; Positivism; Atomism; Force; Metaphysics. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

In this dialogue, we discuss the contrast between inexorable physical laws and the semiotic freedom of life. We agree that material and symbolic structures require complementary descriptions, as do the many hierarchical levels of their organizations. We try to clarify our concepts of laws, constraints, rules, symbols, memory, interpreters, and semiotic control. We briefly describe our different personal backgrounds that led us to a biosemiotic approach, and we speculate on the future directions of biosemiotics.

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

It is demonstrated that Maxwellian electrodynamics was created as a result of the old pre-Maxwellian programmes’s reconciliation: the electrodynamics of Ampère–Weber, the wave theory of Young–Fresnel and Faraday’s programme. Maxwell’s programme finally superseded the Ampère–Weber one because it assimilated the ideas of the Ampère–Weber programme, as well as the presuppositions of the programmes of Young–Fresnel and Faraday. Maxwell’s victory became possible because the core of Maxwell’s unification strategy was formed by Kantian epistemology. Maxwell put forward as a basic synthetic principle (...) an idea that radically differed from that of rival approaches by its open, flexible and contra-ontological character. “Action at a distance”, “incompressible fluid”, “molecular vortices” were contrived analogies for Maxwell, capable only of directing the researcher to the “right” mathematical relations Kantian epistemology subsequently enabled Helmholtz and Hertz to arrive at a version of Maxwell’s theory that served as a heuristical basis for the discovery of radio waves. Finally, though neither of Einstein’s relativistic ideas came directly from Kant, they were made possible by the Kantian worldview that had permeated Einstein’s thinking. The Maxwellian revolution can be described in terms of Habermas’s communicative rationality encouraging the establishment of mutual understanding between the various scientific communities. Maxwell’s programme constituted a progressive step in respect to its rivals because it constituted a basis of communication and interpenetration between the main paradigms of 19th century physics. (shrink)

Key words: rationality, communication, maxwellian revolution, Ampere-Weber research programme, synthesis, Kantian epistemology.. Why did Maxwell’s programme supersede the Ampere-Weber one? – To answer the question one has to consider the intertheoretic context of maxwellian electrodynamics genesis and development. It is demonstrated that maxwellian electrodynamics was created as a result of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Young-Fresnel and Faraday’s programme. The programmes’ meeting led to construction of the hybrid theory at first with an (...) irregular set of theoretical schemes. However, step by step, on revealing and gradual eliminating the contradictions between the programmes involved, the hybrid set is “put into order”.A hierarchy of theoretical schemes starting from the crossbreeds and up to usual hybrids is set up. And after the displacement current construction the interpenetration of the pre-maxwellian programmes begins that markes the commencement of theoretical schemes of optics and electromagnetism real unification. Maxwell’s programme did supersede the Ampere-Weber one because it did assimilate the ideas of the Ampere-Weber programme, as well as the presuppositions of the programmes of Young-Fresnel and Faraday properly co-ordinating them with each other. But the opposite proposition is not true. Ampere-Weber programme did not assimilate the propositions of the Maxwellian programme. Maxwell’s victory became possible because the core of Maxwell’s unification strategy was formed by Kantian epistemology looked through the prism of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and William Hamilton. Maxwell did put forward as a basic synthetic principle the idea that radically differed from that of Ampere-Weber approach by its open, flexible and contra-ontological, strictly epistemological, Kantian character. For Maxwell, ether was not the last building block of physical reality, from which all the charges and fields should be constructed. “Action at a distance”, “incompressible fluid”, “molecular vortices” were contrived analogies for Maxwell, capable only to direct the researcher at the “right” mathematical relations. Namely the application of Kantian epistemology enabled Hermann von Helmholtz and his pupil Heinrich Hertz to arrive at such a version of Maxwell’s theory that served a heuristical basis for the radio waves discovery. (shrink)

Philosophers have disagreed on the composition of force for decades. The main divergence concerns the fundamental question: given a certain motion that is observable, which force or forces are present in it, component or resultant forces? The present paper focuses on the conditions for dealing with this problem. I will argue that we are not able to infer force from the observation of a motion, as required by the problem. I will further argue that the validity of the Newtonian algorithm (...) is not a sufficient condition for that inference because the Gaussian algorithm, which is equally valid, differs from the former with regard to the forces present in motions. Under these circumstances, I will make recourse to an experiment available in physics in which the force present in a motion is measured. Thus, we obtain a numerical value for this force. This result, playing the role of a counterexample, clarifies the composition of force issue significantly. (shrink)

Our main goal in this paper is to present and scrutinize Reichenbach’s own naturalism in our contemporary context, with special attention to competing versions of the concept. By exploring the idea of Reichenbach’s naturalism, we will argue that he defended a liberating, therapeutic form of naturalism, meaning that he took scientific philosophy to be a possible cure for bad old habits and traditional ways of philosophy. For Reichenbach, naturalistic scientific philosophy was a well-established form of liberation. We do not intend (...) to suggest that Reichenbach acted as an inventor of naturalism; nonetheless, invoking the term and the idea of ‘naturalism’ is more than a simple rhetorical strategy for rehabilitating Reichenbach as a forerunner of this field. We think that his ideas can make a valuable contribution to contemporary debates, and that he presents an interesting case among the other scientifically oriented proponents of his time. After presenting a short reconstruction of the meaning of naturalism—or, more appropriately, naturalisms—in order to be able to correctly situate Reichenbach within his own as well as a systematic context, we discuss Reichenbach’s naturalism against the background of his scientific philosophy, his views on the relation of common-sense knowledge to science, and his efforts at popularization. To delve deeper into this topic, we present a case study to show how Reichenbach argued that in both scientific and philosophical discussions, it is necessary to move from the request and value of truth to probability. And, finally, we argue that the liberation of knowledge and nature was a socio-political program for Reichenbach, who talked about his own scientific philosophy as “a crusade.” By emphasizing this aspect of Reichenbach’s naturalism, we may be in a better position to situate him in the history of analytic philosophy in general, and in the yet-to-be-written narrative of the naturalistic movement in particular. (shrink)

In this paper we use some ideas of Hertz and Duhem to propose a new concept of representation that overcomes the dichotomy between representation and intervention. It is based on the category-theoretical notion of adjoint situations and is used to explain the relation between empirical facts and theoretical laws in a new way.

The following article treats the 'applicational turn' of modern fluid dynamics as it set in at the beginning of the 20th century with Ludwig Prandtl's concept of the boundary layer. It seeks to show that there is much more to applying a theory in a highly mathematical field like fluid dynamics than deriving a special case from a general explanatory theory under particular antecedent conditions. In Prandtl's case, the decisive move was to introduce a model that provided a physical/causal conception (...) of viscous flow at high Reynolds numbers. It facilitated an approximate solution to the Navier-Stokes equations, which in turn gave rise to many special applications. After a detailed account of Prandtl's achievement, the article discusses the role of the physical model and its experimental and mathematical significance. It is shown that the mathematical simplification provided by the physical model greatly expanded the explanatory capacity of the theory which the Navier-Stokes equations alone could not provide. (shrink)

-/- The aim of this paper is to grasp the relevant distinctions between various ways in which models and simulations in Artificial Intelligence (AI) relate to cognitive phenomena. In order to get a systematic picture, a taxonomy is developed that is based on the coordinates of formal versus material analogies and theory-guided versus pre-theoretic models in science. These distinctions have parallels in the computational versus mimetic aspects and in analytic versus exploratory types of computer simulation. The proposed taxonomy cuts across (...) the traditional dichotomies between symbolic and embodied AI, general intelligence and symbol and intelligence and cognitive simulation and human/non-human-like AI. -/- According to the taxonomy proposed here, one can distinguish between four distinct general approaches that figured prominently in early and classical AI, and that have partly developed into distinct research programs: first, phenomenal simulations (e.g., Turing’s “imitation game”); second, simulations that explore general-level formal isomorphisms in pursuit of a general theory of intelligence (e.g., logic-based AI); third, simulations as exploratory material models that serve to develop theoretical accounts of cognitive processes (e.g., Marr’s stages of visual processing and classical connectionism); and fourth, simulations as strictly formal models of a theory of computation that postulates cognitive processes to be isomorphic with computational processes (strong symbolic AI). -/- In continuation of pragmatic views of the modes of modeling and simulating world affairs, this taxonomy of approaches to modeling in AI helps to elucidate how available computational concepts and simulational resources contribute to the modes of representation and theory development in AI research—and what made that research program uniquely dependent on them. (shrink)

The dynamics-from-permutations of classical Ising spins is generalized here for an arbitrarily long chain. This serves as an ontological model with discrete dynamics generated by pairwise exchange interactions defining the unitary update operator. The model incorporates a finite signal velocity and resembles in many aspects a discrete free field theory. We deduce the corresponding Hamiltonian operator and show that it generates an exact terminating Baker–Campbell–Hausdorff formula. Motivation for this study is provided by the Cellular Automaton Interpretation of Quantum Mechanics. We (...) find that our ontological model, which is classical and deterministic, appears as if of quantum mechanical kind in an appropriate formal description. However, it is striking that small deformations of the model turn it into a genuine quantum theory. This supports the view that quantum mechanics stems from an epistemic approach handling physical phenomena. (shrink)

ABSTRACTJosé Zalabardo’s view of the aims of the Tractatus limits the options available to us for reading and understanding the book. I argue that an alternative kind of reading is possible, if we...

In this paper I argue for the view that structuralism offers the best perspective for an acceptable account of the applicability of mathematics in the empirical sciences. Structuralism, as I understand it, is the view that mathematics is not the science of a particular type of objects, but of structural properties of arbitrary domains of entities, regardless of whether they are actually existing, merely presupposed or only intentionally intended.

The ArgumentThe belief in the existence of eternal mathematical truth has been part of this science throughout history. Bourbaki, however, introduced an interesting, and rather innovative twist to it, beginning in the mid-1930s. This group of mathematicians advanced the view that mathematics is a science dealing with structures, and that it attains its results through a systematic application of the modern axiomatic method. Like many other mathematicians, past and contemporary, Bourbaki understood the historical development of mathematics as a series of (...) necessary stages inexorably leading to its current state — meaning by this, the specific perspective that Bourbaki had adopted and were promoting. But unlike anyone else, Bourbaki actively put forward the view that their conception of mathematics was not only illuminating and useful for dealing with the current concerns of mathematics, but that this was in fact the ultimate stage in the evolution of mathematics, bound to remain unchanged by any future development of this science. In this way, they were extending in an unprecedented way the domain of validity of the belief in the eternal character of mathematical truths, from the body to the images of mathematical knowledge.Bourbaki were fond of presenting their insistence on the centrality of the modern axiomatic method as a way to ensure the eternal character of mathematical truth as an offshoot of Hilbert's mathematical heritage. A detailed examination of Hilbert's actual conception of the axiomatic method, however, brings to the fore interesting differences between it and Bourbaki's conception, thus underscoring the historically conditioned character of certain, fundamental mathematical beliefs. (shrink)

The view that the subject matter of epistemology is the concept of knowledge is faced with the problem that all attempts so far to define that concept are subject to counterexamples. As an alternative, this article argues that the subject matter of epistemology is knowledge itself rather than the concept of knowledge. Moreover, knowledge is not merely a state of mind but rather a certain kind of response to the environment that is essential for survival. In this perspective, the article (...) outlines an answer to four basic questions about knowledge: What is the role of knowledge in human life? What is the relation between knowledge and reality? How is knowledge acquired? Is there any a priori knowledge? (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

I argue that the conviction, widespread among philosophers, that substantivalism enjoys a clear superiority over relationalism in both Newtonian and relativistic physics is ill-founded. There are viable relationalist approaches to understanding these theories, and the substantival-relational debate should be of interest to philosophers and physicists alike, because of its connection with questions about the correct space of states for various physical theories.

In this chapter I investigate the prospects of integrated history and philosophy of science, by examining how philosophical issues raised by “hidden entities”, entities that are not accessible to unmediated observation, can enrich the historical investigation of their careers. Conversely, I suggest that the history of those entities has important lessons to teach to the philosophy of science. Hidden entities have played a crucial role in the development of the natural sciences. Despite their centrality to past scientific practice, however, several (...) of them (e.g., phlogiston, caloric, and the ether) turned out to be fictitious. For this reason, they have figured prominently in recent debates on scientific realism. The issues I explore in this paper are entangled with those debates. I argue that our understanding of hidden entities and their role in experimental practice can be enhanced by adopting an integrated historical-cum-philosophical approach. On the one hand, philosophical reflection on the reality of those entities has a lot to gain by examining historically how they were ntroduced and investigated. On the other hand, the historical reconstruction of the careers of those entities may profit from philosophical reflection on their existence. (shrink)

Frank Plumpton Ramsey (1903–30) made seminal contributions to philosophy, mathematics and economics. Whilst he was acknowledged as a genius by his contemporaries, some of his most important ideas were not appreciated until decades later; now better appreciated, they continue to bear an influence upon contemporary philosophy. His historic significance was to usher in a new phase of analytic philosophy, which initially built upon the logical atomist doctrines of Bertrand Russell and Ludwig Wittgenstein, raising their ideas to a new level of (...) sophistication, but ultimately he became their successor rather than remain a mere acolyte. (shrink)

I review the philosophical literature on the question of when two physical theories are equivalent. This includes a discussion of empirical equivalence, which is often taken to be necessary, and sometimes taken to be sufficient, for theoretical equivalence; and "interpretational" equivalence, which is the idea that two theories are equivalent just in case they have the same interpretation. It also includes a discussion of several formal notions of equivalence that have been considered in the recent philosophical literature, including definitional equivalence (...) and categorical equivalence. The article concludes with a brief discussion of the relationship between equivalence and duality. (shrink)

In this paper some classical representational ideas of Hertz and Duhem are used to show how the dichotomy between representation and intervention can be overcome. More precisely, scientific theories are reconstructed as complex networks of intervening representations (or representational interventions). The formal apparatus developed is applied to elucidate various theoretical and practical aspects of the in vivo/in vitro problem of biochemistry. Moreover, adjoint situations (Galois connections) are used to explain the relation berween empirical facts and theoretical laws in a new (...) way. (shrink)

We analyse Peirce's original idea concerning abduction from the perspective of a critical philosophy, the same philosophy in Peirce's background. Peirce's realism is directly related to reason and experience and has ties with the idea of abstraction. We show how the philosophical environment of science abruptly changed, specially for physics, in the last period of the XIX century and the initial period of the XX century, when science was divided in disciplines and set free from the control of philosophy. The (...) phenotype of the physicist changed from abstract into imaginative thinker. Further, abstraction was linked to metaphysics and attacked as such. Elements of phantasy and dogmatism entered the scene in place of abstraction alongside ideas taken from the observable world. We provide evidence that the scientists of the newer kind had problems understanding those of the older school. As a consequence of the problems arisen in conciliating the idea of science grounded in experience and reason with the science actually practised, the former conceptualisation was abandoned. Abduction was then expelled from science. In the late part of the XX century and the early part of our century abduction re-emerged but without its scientific attributes. -/- Influenced by a constructivist, Piagetian, perspective of science, we propose and discuss a small number of conditions that we identify as characteristics of rational abduction: rules for the rational construction of theories. We show how a classical example of belief that satisfies today's most common definition of abduction does not match the standards of scientific retroduction. We further show how the same rules indicate the detachment of Special Relativity from the observable world, a fact actually known to Einstein. Finally, the same rules indicate the initial point in the path to re-conciliate Electromagnetism with the classical view of spatial relations, a matter not possible for the imaginative scientist but not extremely difficult for the abstract scientist. We close arguing that there is an urgent need to develop a critical epistemology, and to give room in science for the abstract scientist. (shrink)

The Representational Theory of Measurement conceives measurement as establishing homomorphisms from empirical relational structures into numerical relation structures, called models. There are two different approaches to deal with the justification of a model: an axiomatic and an empirical approach. The axiomatic approach verifies whether a given relational structure satisfies certain axioms to secure homomorphic mapping. The empirical approach conceives models to function as measuring instruments by transferring observations of a phenomenon under investigation into quantitative facts about that phenomenon. These facts (...) are evaluated by their accuracy and precision. Precision is generally achieved by least squares methods and accuracy by calibration. For calibration standards are needed. Then two polar strategies can be distinguished: white-box modeling and black-box modeling. The first strategy of modeling aims at estimating the invariant equations of the phenomenon, thereby fulfilling Hertz’s correctness requirement. The latter strategy of modeling is to use known stable facts about the phenomenon to adjust the model parameters, thereby fulfilling Hertz’s appropriateness requirement. For this latter strategy, the requirement of models as homomorphic mappings has been dropped. Where one will find the axiomatic approach more often used for measurement in the laboratory, the empirical approach is more appropriate for measurement outside the laboratory. The reason for this is that for measurement of phenomena outside the laboratory, one also needs to take account of the environment to achieve accurate results. Environments are generally too relation-rich for an axiomatic approach, which are only applicable for relation-poor systems. The white-box modeling strategy, reflecting the complexity of the environment due to its correctness requirement, will, however, lead to immensely large models. To avoid this problem, modular design is an appropriate strategy to reduce this complexity. Modular design is a grey-box modeling strategy. Grey-box models are assemblies of modules; these are black boxes with standard interface. It should be noted that the structure of the assemblage need not be homomorphic to the relations describing the interaction between phenomenon and environment. These three modeling strategies map out the possible designs for computer simulations as measuring instruments. Whether a simulation is based on a white-box, grey-box or black-box model is only determined by the relationship between the phenomenon and its environment and not by e.g. its materiality or physicality. (shrink)

How was Poincaré’s conventionalism connected to his relationism? How, in other words, is it the case that the basic principles of geometry and mechanics are, ultimately, freely chosen conventions and that, at the same time, science reveals to us the structure of the world? This lengthy study aims to address these questions by setting Poincaré’s philosophy within its historical context and by examining in detail Poincaré’s developing views about the status and role of conventions in science and the status and (...) role of relations in science. It is argued that Poincaré was a neither a rampant conventionalist nor a pure structuralist. But he was both a conventionalist and a relationist, aiming to delineate a position which allowed room for both freely, but not arbitrarily, chosen constitutive principles of science and the acquisition of objective, though, relational knowledge of the natural world. (shrink)

In this paper I investigate the prospects of integrated history and philosophy of science, by examining how philosophical issues concerning experimental practice and scientific realism can enrich the historical investigation of the careers of "hidden entities", entities that are not accessible to unmediated observation. Conversely, I suggest that the history of those entities has important lessons to teach to the philosophy of science. My overall aim is to illustrate the possibility of a fruitful two-way traffic between history and philosophy of (...) science. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)