In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

Stephen Hawking, among others, has proposed that the topological stability of a property of space-time is a necessary condition for it to be physically significant. What counts as stable, however, depends crucially on the choice of topology. Some physicists have thus suggested that one should find a canonical topology, a single ‘right’ topology for every inquiry. While certain such choices might be initially motivated, some little-discussed examples of Robert Geroch and some propositions of my own show that the main candidates—and (...) each possible choice, to some extent—faces the horns of a no-go result. I suggest that instead of trying to decide what the ‘right’ topology is for all problems, one should let the details of particular types of problems guide the choice of an appropriate topology. (shrink)

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higher-level theory must be definable from the terms of the lower-level theory, and second, the claims of the higher-level theory must be deducible from the lower-level theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized system from (...) a theory describing only finite systems? In this paper, I change the subject in order to consider the motivations behind the definability and deducibility requirements. The classical accounts of intertheoretic reduction are appealing because when the definability and deducibility requirements are satisfied there is a sense in which the reduced theory is forced upon us by the reducing theory and the reduced theory contains no more information or structure than the reducing theory. I will show that, likewise, there is a precise sense in which in statistical mechanics the properties of infinite limiting systems are forced upon us by the properties of finite systems, and the properties of infinite systems contain no information beyond the properties of finite systems. (shrink)

In the philosophical literature on Yang-Mills theories, field formulations are taken to have more structure and to be local, while curve-based formulations are taken to have less structure and to be nonlocal. I formalize the notion of locality at issue and show that theories with less structure are nonlocal. However, the amount of structure had by some formulation is independent of whether it uses fields or curves. The relevant difference in structure is not a difference in set-theoretic structure. Rather, it (...) is a difference in the structure of the category of models of the theory. (shrink)

Steven French’s new book is a bold and ambitious look at the question of what sorts of things scientific theories are—or rather, what they are not. For the purp.

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how (...) constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories. (shrink)

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

In this paper, I consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

This essay is about how the notion of “structure” in ontic structuralism might be made precise. More specifically, my aim is to make precise the idea that the structure of the world is given by the relations inhering in the world, in such a way that the relations are ontologically prior to their relata. The central claim is the following: one can do so by giving due attention to the relationships that hold between those relations, by making use of certain (...) notions from algebraic logic. (shrink)

Theoretical equivalence and duality are two closely related notions: but their interconnection has so far not been well understood. In this paper I explicate the contribution of a recent schema for duality to discussions of theoretical equivalence. I argue that duality suggests a construal of theoretical equivalence in the physical sciences. The construal is in terms of the isomorphism of models, as defined by the schema. This construal gives interpretative constraints that should be useful for discussions of theoretical equivalence more (...) generally. I illustrate the construal in various formulations of Maxwell’s electromagnetic theory. (shrink)

We shall address from a conceptual perspective the duality between algebra and geometry in the framework of the refoundation of algebraic geometry associated to Grothendieck’s theory of schemes. To do so, we shall revisit scheme theory from the standpoint provided by the problem of recovering a mathematical structure A from its representations \ into other similar structures B. This vantage point will allow us to analyze the relationship between the algebra-geometry duality and the structure-semiotics duality. Whereas in classical algebraic geometry (...) a certain kind of rings can be recovered by considering their representations with respect to a unique codomain B, Grothendieck’s theory of schemes permits to reconstruct general rings by considering representations with respect to a category of codomains. The strategy to reconstruct the object from its representations remains the same in both frameworks: the elements of the ring A can be realized—by means of what we shall generally call Gelfand transform—as quantities on a topological space that parameterizes the relevant representations of A. As we shall argue, important dualities in different areas of mathematics can be understood as particular cases of this general pattern. In the wake of Majid’s analysis of the Pontryagin duality, we shall propose a Kantian-oriented interpretation of this pattern. We shall use this conceptual framework to argue that Grothendieck’s notion of functor of points can be understood as a “relativization of the a priori” that generalizes the relativization already conveyed by the notion of domain extension to more general variations of the corresponding domains. (shrink)

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)

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

Las teorías de la referencia puramente descriptivistas o causales fracasan a la hora de dar cuenta del modo en que se fija y puede rastrearse la referencia de los términos teóricos. Psillos propuso dos versiones del descriptivismo causal que recogen argu-mentos presentes en defensas previas de dicha posición. Se trata de una teoría mixta que pretende solucionar el problema y acomodarse a intuiciones presentes en enfo-ques alternativos, como el que apela a oraciones de Ramsey. El artículo se propone mostrar la (...) insuficiencia del descriptivismo causal como solución al problema de la referencia de los términos teóricos. (shrink)

RESUMEN Las teorías de la referencia puramente descriptivistas o causales fracasan a la hora de dar cuenta del modo en que se fija y puede rastrearse la referencia de los términos teóricos. Psillos propuso dos versiones del descriptivismo causal que recogen argumentos presentes en defensas previas de dicha posición. Se trata de una teoría mixta que pretende solucionar el problema y acomodarse a intuiciones presentes en enfoques alternativos, como el que apela a oraciones de Ramsey. El artículo se propone mostrar (...) la insuficiencia del descriptivismo causal como solución al problema de la referencia de los términos teóricos. ABSTRACT Purely descriptivist or purely causal reference theories fail to account for the manner in which the reference of theoretical terms is fixed and can be traced. S. Psillos proposed two versions of causal descriptivism that take up arguments set forth in previous defenses of said position. His is a mixed theory that attempts to solve the problem by adopting insights from alternative approaches, such as those that resort to Ramsey sentences. The objective of the article is to show the insufficiency of causal descriptivism as a solution to the problem of reference of theoretical terms. (shrink)

Inspired by Ronald Giere’s cognitive approach to scientific models, Cognitive Structural Realism has presented a naturalist account of scientific representation. CSR characterises the structure of theories in terms of cognitive structures. These are informational structures embodied in the brains of scientists. CSR accounts for scientific representation in terms of the dynamical relationship between the organism and its environment. The proposal has been criticised on account of its negligence of social aspects of scientific practice. The present paper aims to chart out (...) a reply to the objection. It shows that cognitive structures do not need to be put inside the brains of single individuals. Cognitive structures are redefined as extended structures in distributed cognitive systems under Free Energy Principle. (shrink)

Free Energy Principle underlies a unifying framework that integrates theories of origins of life, cognition, and action. Recently, FEP has been developed into a Markovian monist perspective. The paper expresses scepticism about the validity of arguments for Markovian monism. The critique is based on the assumption that Markovian models are scientific models, and while we may defend ontological theories about the nature of scientific models, we could not read off metaphysical theses about the nature of target systems from our theories (...) of nature of scientific models. The paper draws attention to different ways of understanding Markovian models, as material entities, fictional entities, and mathematical structures. I argue that none of these interpretations contributes to the defence of a metaphysical stance. This is because scientific representation is a sophisticated process, and properties of Markovian models—such as the property of being neither physical nor mental—could not be projected onto their targets to determine the ontological properties of targets easily. (shrink)

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized.

It has been suggested that we can tell whether two theories are equivalent by comparing the structure that they ascribe to the world. If two theories posit different structures, then they must be i...

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every many-sorted theory is equivalent to a single-sorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) equivalence. Our clarification of Quine’s conjecture, however, exposes the shortcomings of his argument against many-sorted logic. (shrink)

The standard view is that the Lagrangian and Hamiltonian formulations of classical mechanics are theoretically equivalent. Jill North, however, argues that they are not. In particular, she argues that the state-space of Hamiltonian mechanics has less structure than the state-space of Lagrangian mechanics. I will isolate two arguments that North puts forward for this conclusion and argue that neither yet succeeds. 1 Introduction2 Hamiltonian State-space Has less Structure than Lagrangian State-space2.1 Lagrangian state-space is metrical2.2 Hamiltonian state-space is symplectic2.3 Metric > (...) symplectic3 Hamiltonian State-space Does Not Have Less Structure than Lagrangian State-space3.1 Lagrangian state-space has less than metric structure3.1.1 A potential worry3.1.2 General Lagrangians3.2 Hamiltonian state-space has more than symplectic structure3.2.1 A dual structure on the Hamiltonian state-space3.2.2 Simple Hamiltonians3.3 Comparing Lagrangian and Hamiltonian structures3.3.1 Counting mathematical structure3.3.2 Symplectic and metric structure are incomparable4 An Alternative Argument for LS4.1 The argument for P3*4.2 Symplectic manifold vs. tangent bundle structure4.3 Trying to patch up the argument for P3*5 Interpreting Mathematical Structure5.1 State-space realism5.2 Model isomorphism and theoretical equivalence6 Conclusion. (shrink)

In his book Philosophy of Logic, Putnam (1971) presents a short argument which reads like—and indeed, can be reconstructed as—a formal proof that a nominalistic physics is impossible. The aim of this paper is to examine Putnam’s proof and show that it is not compelling. The precise way in which the proof fails yields insight into the relation that a nominalistic physics should bear to standard physics and into Putnam’s indispensability argument.

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.

Glymour and Quine propose two different formal criteria for theoretical equivalence. In this paper we examine the relationships between these criteria.

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) Classical Mechanics 3.1Hamiltonian mechanics 3.2Lagrangian mechanics 4Are Hamiltonian and Lagrangian Mechanics Equivalent Theories? 4.1Tangent bundle versus cotangent bundle 4.2Tangent bundle versus symplectic manifold 4.3Lagrangian vector field versus Hamiltonian vector field 5Conclusion Appendix. (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)

Two first-order logic theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts (Theorem 2). This is a variant of a prior theorem of van Benthem and Pearce. In Example 2, uncountably many pairs of definitionally inequivalent theories are given such that their model categories are concretely isomorphic via bijections that preserve ultraproducts in the model categories up to isomorphism. Based on these results, we settle several conjectures of Barrett, (...) Glymour and Halvorson. (shrink)

This article concerns the split between syntactic and semantic approaches to scientific theories. It aims at showing that an axiomatic representation of a scientific theory is a precondition of comprehending if the models of contain infinite entities. This result is established on the basis of the proposition that the human mind—which is finitely bounded for all we know—is not capable of directly grasping infinite entities. In view of this cognitive limitation, an indirect and finite representation of possibly infinite components of (...) the models of a scientific theory proves to be indispensable. Sets of axioms and sets of axiom schemes provide such a representation. These considerations will be cast into an argument for an axiomatic conception of scientific theories. The article concludes with a case study of the ideal gas model. (shrink)

The empirical underdetermination of theories is a philosophical problem which until the last century has not seriously troubled actual science. The reason is that confirmation does not depend only on empirical consequences, and theoretical virtues allow to choose among empirically equivalent theories. Moreover, I argue that the theories selected in this way are not just pragmatically or aesthetically better, but more probably true. At present in quantum mechanics not even theoretical virtues allow to choose among many competing theories and interpretations, (...) but this is because none of them possess those virtues to a sufficient degree. However, first, we can hope for some future advancement. Second, even if no further progress came forth, all the most credited competitors agree on a substantial core of theoretical assumptions. Therefore underdetermination does not show that we cannot be realist on unobservable entities in general, but at most that in particular fields our inquiry may encounter some de facto limits. (shrink)

In an earlier article on this journal I argued that the problem of empirical underdetermination can for the largest part be solved by theoretical virtues, and for the remaining part it can be tolerated. Here I confront two further challenges to scientific realism based on underdetermination. First, there are four classes of theories which may seem to be underdetermined even by theoretical virtues. Concerning them I argue that (i) theories produced by trivial permutations and (ii) “equivalent descriptions” are compatible with (...) the truth of standard theories; instead (iii) “as if” versions of standard theories are much worse from the point of view of theoretical virtues; finally (iv) mathematically intertranslatable theories either may become empirically decidable in the future, or can be discriminated by theoretical virtues, or realists may simply plead ignorance about their claims. Secondly, I consider Stanford’s underdetermination with respect unconceived alternatives, arguing that it essentially relies on the pessimistic meta-induction from the falsity of all past theories. Therefore, it can be resisted by (a) considering the radical advancement of present with respect to past science, and (b) arguing with selective realism that past successful theories, even if false, always included some true components. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...) undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

This dissertation is divided into two parts. In the first part I defend substantivalism. I do this by offering, in chapter 1, a counterpart-theoretic defense of substantivalism from Leibniz’ shift arguments. Then, in chapter 2, I defend substantivalism from the hole argument and argue, against the consensus, that the question of haecceitism is irrelevant to substantivalism in the context of general relativity. In the second part of the dissertation I defend supersubstantivalism. I do this by offering, in chapter 3, an (...) argument against dualistic substantivalism. The argument appeals to plausible principles of modal plenitude to show that the dualist is committed to a range of problematic possibilities. Then, in chapter 4, I consider a range of supersubstantivalist positions. I conclude by arguing for a version of supersubstantivalism I call compresence supersubstantivalism. (shrink)

Science continually contributes new models and rethinks old ones. The way inferences are made is constantly being re-evaluated. The practice and achievements of science are both shaped by this process, so it is important to understand how models and inferences are made. But, despite the relevance of models and inference in scientific practice, these concepts still remain contro-versial in many respects. The attempt to understand the ways models and infer-ences are made basically opens two roads. The first one is to (...) produce an analy-sis of the role that models and inferences play in science. The second one is to produce an analysis of the way models and inferences are constructed, especial-ly in the light of what science tells us about our cognitive abilities. The papers collected in this volume go both ways. (shrink)

The semantic view of theories is normally considered to be an ac-count of theories congenial to Scientific Realism. Recently, it has been argued that Ontic Structural Realism could be fruitfully applied, in combination with the semantic view, to some of the philosophical issues peculiarly related to bi-ology. Given the central role that models have in the semantic view, and the relevance that mathematics has in the definition of the concept of model, the fo-cus will be on population genetics, which is (...) one of the most mathematized areas in biology. We will analyse some of the difficulties which arise when trying to use Ontic Structural Realism to account for evolutionary biology. (shrink)

There are two ways of reading Newman’s objection to Russell’s structuralism. One assumes that according to Russell, our knowledge of a theory about the external world is captured by an existential generalization on all non-logical symbols of the theory. Under this reading, our knowledge amounts to a cardinality claim. Another reading assumes that our knowledge singles out a structure in Russell’s (and Newman’s) sense: a model theoretic structure that is determined up to isomorphism. Under this reading, our knowledge is far (...) from trivial, for it amounts to knowledge of the structure of the relations between objects, but not their identity. Newman’s objection is then but an expression of structural realism. Since therefore the content of theories is described by classes of structures closed under isomorphism, the most natural description of a theory in structural realism is syntactic. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science. This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

Philosophical debates on how to account for the progress of science have traditionally divided along the realism-anti-realism axis. Relatively recent developments in epistemology, however, have opened up a new knowledge-understanding axis to the debate. This chapter presents a novel understanding-based account of scientific progress that takes its motivation from problem-solving practices in science. Problem-solving is characterized as a means of measuring degree of understanding, which is argued to be the principal epistemic (or cognitive) aim of science, over and against knowledge. (...) This account is then defended against knowledge reductionism by showing how each plays an important and distinctive role in science. (shrink)

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)