Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

Neste artigo, a partir de tópicos presentes na obra de Newton C. A. da Costa, propomos uma fundamentação rigorosa para de uma possível formulação de teorias científicas através da abordagem semântica. Seguindo da Costa, primeiramente desenvolveremos uma teoria geral das estruturas; no contexto desta teoria de estruturas mostraremos como caracterizar linguagens formais como um tipo particular de estrutura, mais especificamente, como uma álgebra livre. Em seguida, discutiremos como associar uma linguagem a uma estrutura, com a qual poderemos formular axiomas que (...) buscam captar a teoria da estrutura. Por fim, mostraremos como podemos, utilizando este aparato conceitual, fundamentar a formalização de da Costa e Chuaqui do chamado predicado de Suppes, utilizado para caracterizar teorias científicas de modo rigoroso. DOI:10.5007/1808-1711.2010v14n1p15. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...) least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

In his thesis 'Para uma Teoria Geral dos Homomorfismos' (1944) the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (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.

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

We discuss three problems concerning the use of formal languages in theoretical physics: (i) the definability of time and spacetime in classical physical theories; (ii) how to cope with indistinguishable elementary particles in quantum mechanics without labeling them; and (iii) how to get a formal picture of quantum states jumping.

This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on the concept (...) of quasi-truth, which he contributed to develop in a rigorous way. Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. But perhaps his main contribution was to provide a basis for the birth of a school of logic in our country, serving as teacher and inspiring new researchers for generations. It is a pleasure to have had so enthusiastic acceptation from the editors of Principia to organize these volumes. I would like to thank the contributors and the editors of Principia, specially Prof. Cezar Mortari for his help in organizing the issue. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, one seeing them as non-individuals, then there would be strong reasons (...) to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks (those worked on within standard mathematics), we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science (if touched). (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

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)

In this paper I study how divergent mathematical treatments affect mathematical modelling, with a special focus on utility theory. In particular I examine recent work on the ranking of information states and the discounting of future utilities, in order to show how, by replacing the standard analytical treatment of the models involved with one based on the framework of Nonstandard Analysis, diametrically opposite results are obtained. In both cases, the choice between the standard and nonstandard treatment amounts to a selection (...) of set-theoretical parameters that cannot be made on purely empirical grounds. The analysis of this phenomenon gives rise to a simple logical account of the relativity of impossibility theorems in economic theory, which concludes the paper. (shrink)