For over a century the definitions of mass and derivations of its relation with energy continue to be elaborated, demonstrating that the concept of mass is still not satisfactorily understood. The aim of this study is to show that, starting from the properties of Minkowski spacetime and from the principle of least action, energy expresses the property of inertia of a body. This implies that inertial mass can only be the object of a definition—the so called mass-energy relation—aimed at measuring (...) energy in different units, more suitable to describe the huge amount of it enclosed in what we call the “rest-energy” of a body. Likewise, the concept of gravitational mass becomes unnecessary, being replaceable by energy, thus making the weak equivalence principle intrinsically verified. In dealing with mass, a new unit of measurement is foretold for it, which relies on the de Broglie frequency of atoms, the value of which can today be measured with an accuracy of a few parts in 109. (shrink)

We present a kind of logic named multideductive logic and outline an application of it in the problem of theoretic-formal unification of physical theories dealing with the Bohr atom theory. This is just a preliminary study that will be developed in future papers.

In the twentieth century, no person epitomized more dramatically the “Renaissance mind” than Herbert A. Simon (1916–2001). In aworking life spanning over 60 years, Simon made seminal contributions to administrative theory, axiomatic foundations of physics, economics, sociology, econometrics, cognitive psychology, logic of scientific discovery, and artificial intelligence. Simon's life of the mind, thus, affords nothing less than a “laboratory” in which to observe and examine at close quarters the phenomenon ofmultidisciplinary creativity. In this paper, we attempt to shed some light (...) on the nature of Simon's creativity and the nature of his particular Renaissance mind. In particular, we have attempted here to articulate thecognitive styleunderlying Simon's multidisciplinary creativity. (shrink)

In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.

Although “theory” has been the prevalent unit of analysis in the meta-study of science throughout most of the twentieth century, the concept remains elusive. I further explore the leitmotiv of several authors in this issue: that we should deal with theorizing (rather than theory) in biology as a cognitive activity that is to be investigated naturalistically. I first contrast how philosophers and biologists have tended to think about theory in the last century or so, and consider recent calls to upgrade (...) the role of theory in the life sciences against the background of the recent “data deluge” in molecular biology, systems biology, etc. I then review thinking about theory in biology in relation to physical theory as a positive or negative exemplar. I conclude by discussing various aspects of a positive program for “naturalizing theorizing.”. (shrink)

Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert. The aims of this paper are to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning of the key concepts; and to suggest that every instance of dual axiomatics presupposes some philosophical view or other. To illustrate these points, (...) a theory of solidarity will be crafted and axiomatized, and certain controversies in both classical and quantum physics, as well as in the philosophy of mind, will be briefly discussed. The upshot of this paper is that dual axiomatics, unlike the purely formal axiomatics favored by the structuralists school, is not a luxury but a tool helping resolve some scientific controversies. (shrink)

There is nowadays consensus in the community of didactics of science regarding the need to include the philosophy of science in didactical research, science teacher education, curriculum design, and the practice of science education in all educational levels. Some authors have identified an ever-increasing use of the concept of ‘theoretical model’, stemming from the so-called semantic view of scientific theories. However, it can be recognised that, in didactics of science, there are over-simplified transpositions of the idea of model. In this (...) sense, contemporary philosophy of science is often blurred or distorted in the science education literature. In this paper, we address the discussion around some meta-theoretical concepts that are introduced into didactics of science due to their perceived educational value. We argue for the existence of a ‘semantic family’, and we characterise four different versions of semantic views existing within the family. In particular, we seek to contribute to establishing a model-based didactics of science mainly supported in this semantic family. (shrink)

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to understand biological knowledge (...) at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

An informal theory is set forth of relations between abstract entities, includingcolors, physical quantities, times, andplaces in space, and the concrete things thathave them, or areat orin them, based on the assumption that there are close analogies between these relations and relations between abstractsets and the concrete things that aremembers of them. It is suggested that even standard scientific usage of these abstractions presupposes principles that are analogous to postulates of abstraction, identity, and other fundamental principles of set theory. Also (...) discussed is the significance of important disanalogies between sets and physical abstractions, including especiallymodal andtemporal aspects of physical abstractions, which is related to the problem of the characterizingconstancy, of colors, physical attributes, and locations in space. (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.

Three metascientific concepts that have been object of philosophical analysis are the concepts oflaw, model and theory. The aim ofthis article is to present the explication of these concepts, and of their relationships, made within the framework of Sneedean or Metatheoretical Structuralism (Balzer et al. 1987), and of their application to a case from the realm of biology: Population Dynamics. The analysis carried out will make it possible to support, contrary to what some philosophers of science in general and of (...) biology in particular hold, the following claims: a) there are "laws" in biological sciences, b) many of the heterogeneous and different "models" of biology can be accommodated under some "theory", and c) this is exactly what confers great unifying power to biological theories. (shrink)

The book is a philosophical refection on the possibility of mathematical history. Are poosible models of historical phenomena so exact as those of physical ones? Mathematical models borrowed from quantum mechanics by the meditation of its interpretations are accomodated to history. The conjecture of many-variant history, alternative history, or counterfactual history is necessary for mathematical history. Conclusions about philosophy of history are inferred.

This article characterizes various species concepts in terms of set-theoretic models that license biological inferences and illustrates the logical connections among different species concepts. Species in this construal are abstract models, rather than biological or even tangible entities, and relate to individual organisms via representation, rather than the membership or mereological whole/part relationship. The proposal sheds new light on vexed issues of species and situates them within broader philosophical contexts of model selection, scientific representation, and scientific realism.

In this work I attempt a reformulation of Lewis’ Best System Account, explicitating the underlying formal conception of scientific theories and trying to define the concepts of simplicity, strength and balance. This essay is divided in three sections. In the first one I introduce the Best System Account of natural laws and formulate the need for its improvement. In the second section I outline a formal framework where the notions of deductive system and scientific theory can be defined precisely. In (...) the last section the notions of simplicity, strength and balance are analyzed. To conclude I argue that the framework proposed does indeed provide the precision required. In addition, it also offers interesting insights on the plurality of concepts of simplicity, strength and balance, and on the general enterprise of formalizing scientific theories. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)

The leitmotif of Mario Bunge’s work was that the philosophy of science should be informed by a comprehensive scientific philosophy, and vice versa; with both firmly rooted in realism and materialism. Now Bunge left such a big oeuvre, comprising more than 70 books and hundreds of articles, that it is impossible to review it in its entirety. In addition to biographical remarks, this obituary will therefore restrict itself to some select issues of his philosophy: his scientific metaphysics, his philosophy of (...) physics, his concept of mechanismic explanation, his philosophy of social science and technology, and his approach to the demarcation problem. The final section will explore why Bunge, despite the extent and depth of his work, has not achieved a more prominent status in the philosophical community. (shrink)

Different conceptions of scientific theories, such as the state spaces approach of Bas van Fraassen, the phase spaces approach of Frederick Suppe, the set-theoretical approach of Patrick Suppes, and the structuralist view of Joseph Sneed et al. are usually put together into one big family. In addition, the definite article is normally used, and thus we speak of the semantic conception of theories and of its different approaches . However, in The Semantic Conception of Theories and Scientific Realism , starting (...) from certain remarks already made in “Theory Structure” , Current Research in Philosophy of Science, East Lansing: Philosophy of Science Association, 1979, pp. 317–338), Frederick Suppe excludes the structuralist view as well as other “European” versions from the semantic conception of theories. In this paper I will critically examine the reasons put forward by Suppe for this decision and, later, I will provide a general characterization of the semantic family and of the structuralist view of theories in such a way as to justify the inclusion of the structuralist view as a member of this family. (shrink)

This article surveys the difficulties in establishing determinism for classical physics within the context of several distinct foundational approaches to the discipline. It explains that such problems commonly emerge due to a deeper problem of ‘missing physics'. The Problems of Formalism Norton's Example Three Species of Classical Mechanics 3.1 Mass point physics 3.2 The physics of perfect constraints 3.3 Continuum mechanics Conclusion CiteULike Connotea Del.icio.us What's this?

Our main purpose here is to make some considerations about the definability of physical concepts like mass, force, time, space, spacetime, and so on. Our starting motivation is a collection of supposed definitions of closed system in the literature of physics and philosophy of physics. So, we discuss the problem of definitions in theoretical physics from the point of view of modern theories of definition. One of our main conclusions is that there are different kinds of definitions in physics that (...) demand different approaches. Within this context, we strongly advocate the use of the axiomatic method in order to discuss some issues concerning definitions. (shrink)

While the logical reconstruction of empirical theories is, in principle, no longer a matter of dispute, the possibility and, furthermore, the procedure of constructing ab initio such theories are hardly debated upon, although this might be conducive to the advancement, above all, of sciences of a pre-paradigmatic status. Eight steps are here proposed for the constructive development of an explanatory empirical theory in a strictly scientific sense, the development starting with a construction of the theory's set of partial potential models (...) ${\rm M}_{{\rm pp}}$ and ending up in a characterization of its range of intended applications I. The set of partial potential models is gained by way of genetic reduction of present-day practical, i. e. pre-theoretical, notions, which denote observable facts to be explained, to some possible notion of an elementary historical practice. This elementary practical notion, which must be conceived as a general notion of a formerly given elementary social practice, has afterwards to be developed into some general notion for all the phenomena to be presently explained, by way of reconstructing the historical emergence of the present field of research. The elementary practical notion also forms the basis for the generation of the explaining so-called t-theoretical terms of the theory. Their development, however, presupposes a 'political' decision of the scientist to work in favour of the perfection of certain practically relevant capacities, which decision also determines the domain of discourse for the set of partial potential models of the theory and links its explaining terms to the terms denoting the facts to be explained. A set Iₒ of successful applications of the as yet not completed theory and respective special laws, making up the success of such applications, render possible the full axiomatization of the theory as well as the characterization of the range of its intended applications. (shrink)

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate (...) in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

It is easy to show that in many natural axiomatic formulations of physical and even mathematical theories, there are many superfluous concepts usually assumed as primitive. This happens mainly when these theories are formulated in the language of standard set theories, such as Zermelo–Fraenkel’s. In 1925, John von Neumann created a set theory where sets are definable by means of functions. We provide a reformulation of von Neumann’s set theory and show that it can be used to formulate physical and (...) mathematical theories with a lower number of primitive concepts very naturally. Our basic proposal is to offer a new kind of set-theoretic language that offers advantages with respect to the standard approaches, since it doesn’t introduce dispensable primitive concepts. We show how the proposal works by considering significant physical theories, such as non-relativistic classical particle mechanics and classical field theories, as well as a well-known mathematical theory, namely, group theory. This is a first step of a research program we intend to pursue. (shrink)