I investigate the role of stability in cosmology through two episodes from the recent history of cosmology: Einstein’s static universe and Eddington’s demonstration of its instability, and the flatness problem of the hot big bang model and its claimed solution by inflationary theory. These episodes illustrate differing reactions to instability in cosmological models, both positive ones and negative ones. To provide some context to these reactions, I also situate them in relation to perspectives on stability from dynamical systems theory and (...) its epistemology. This reveals, for example, an insistence on stability as an extreme position in relation to the spectrum of physical systems which exhibit degrees of stability and fragility, one which has a pragmatic rationale, but not any deeper one. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...) the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (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, I discuss the main difficulties one encounters whensolving problems with inconsistent constraints. I argue that in order to meetthese difficulties we need an inconsistency-adaptive logic that enables one toderive as many consequences as possible, but that at the sametime allows one to determine which consequences can be accepted. I showthat the inconsistency-adaptive logic ANA satisfies these requirements.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

. This paper proposes a generalization of the theory of the process of explanation to include consistent as well as inconsistent situations. The generalization is strong, for example in the sense that, if the background theory and the initial conditions are consistent, it leads to precisely the same results as the theory from the lead paper (Halonen and Hintikka 2004). The paper presupposes (and refers to arguments for the view that) inconsistencies constitute problems and that scientists try to resolve them.

The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation.

It is well-known that Newton’s theory of gravity, commonly held to describe a gravitational force, can be recast in a geometrical form: Newton- Cartan theory. It is less well-known that general relativity, an apparently geometrical theory, can be reformulated in such a way that it resembles a force theory; teleparallel gravity does just this. This raises questions. One of these concerns theoretical underdetermination. I argue that these theories do not, in fact, represent cases of worrying underdetermination. On close examination, the (...) alternative formulations are best interpreted as postulating the same spacetime ontology. In accepting this, we see that the ontological commitments of these theories cannot be directly deduced from their mathematical form. The geometrical nature of a gravitational theory is not a straightforward consequence of anything internal to that theory as a theory of gravity. Rather, it essentially relies on the rest of nature (the nongravitational interactions) conspiring to choose the appropriate set of inertial frames. (shrink)

Inconsistency-adaptive logics isolate the inconsistencies that are derivable from a premise set, and restrict the rules of Classical Logic only where inconsistencies are involved. From many inconsistent premise sets, disjunctions of contradictions are derivable no disjunct of which is itself derivable. Given such a disjunction, it is often justified to introduce new premises that state, with a certain degree of confidence, that some of the disjuncts are false. This is an important first step on the road to consistency: it narrows (...) down suspicion in inconsistent premise sets and hence locates the real problems among the possible ones. In this paper I present two approaches for handling such new premises in the context of the original premises. The first approach may apparently be combined with all paraconsistent logics. The second approach does not have the same generality, but is decidedly more elegant. (shrink)