This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

Many physicists have thought that absolute time became otiose with the introduction of Special Relativity. William Lane Craig disagrees. Craig argues that although relativity is empirically adequate within a domain of application, relativity is literally false and should be supplanted by a Neo-Lorentzian alternative that allows for absolute time. Meanwhile, Craig and co-author James Sinclair have argued that physical cosmology supports the conclusion that physical reality began to exist at a finite time in the past. However, on their view, the (...) beginning of physical reality requires the objective passage of absolute time, so that the beginning of physical reality stands or falls with Craig's Neo-Lorentzian metaphysics. Here, I raise doubts about whether, given Craig's NeoLorentzian metaphysics, physical cosmology could adequately support a beginning of physical reality within the finite past. Craig and Sinclair's conception of the beginning of the universe requires a past boundary to the universe. A past boundary to the universe cannot be directly observed and so must be inferred from the observed matter-energy distribution in conjunction with auxilary hypotheses drawn from a substantive physical theory. Craig's brand of Neo Lorentzianism has not been sufficiently well specified so as to infer either that there is a past boundary or that the boundary is located in the finite past. Consequently, Neo Lorentzianism implicitly introduces a form of skepticism that removes the ability that we might have otherwise had to infer a beginning of the universe. Furthermore, in analyzing traditional big bang models, I develop criteria that Neo-Lorentzians should deploy in thinking about the direction and duration of time in cosmological models generally. For my last task, I apply the same criteria to bounce cosmologies and show that Craig and Sinclair have been wrong to interpret bounce cosmologies as including a beginning of physical reality. (shrink)

Celem artykułu jest częściowe uzasadnienie negacji tezy, którą nazywam tezą o genezie realizmu strukturalnego. Dotyczy ona postulowanych w obrębie pewnej metafilozoficznej narracji związków między współczesnymi stanowiskami zwanymi epistemicznym realizmem strukturalnym i ontycznym realizmem strukturalnym a poglądami filozofów z początku XX wieku. W artykule rekonstruuję wymienione dwa stanowiska, postulowane związki, jakie mają one mieć z dwoma filozofami, Henri Poincarém oraz Ernstem Cassirerem, a następnie przedstawiam, dlaczego te postulowane związki są nietrafnie rozpoznane. Niesie to za sobą wnioski dotyczące swoistości wymienionych stanowisk oraz (...) pojęć obiektywności i rzeczywistości w ich kontekście. (shrink)

The concept of mental representation has long been considered to be central concept of philosophy of mind and cognitive science. But not everyone agrees. Neo-behaviorists aim to explain the mind without positing any representations. My aim here is not to assess the merits and demerits of neo-behaviorism, but to take their challenge seriously and ask the question: What justifies the attribution of representations to an agent? Both representationalists and neo-behaviorists tend to take it for granted that the real question about (...) representations is whether we should be realist about the theory of representationalism. This paper is an attempt to shift the emphasis from the debate concerning realism about theories to the one concerning realism about entities. My claim is that regardless of whether we are realist about representational theories of the mind, we have compelling reasons to endorse entity realism about mental representations. (shrink)

The state of computing science and, particularly, software engineering and knowledge engineering is generally considered immature. The best starting point for achieving a mature engineering discipline is a solid scientific theory, and the primary reason behind the immaturity in these fields is precisely that computing science still has no such agreed upon underlying theory. As theories in other fields of science do, this paper formally establishes the fundamental elements and postulates making up a first attempt at a theory in this (...) field, considering the features and peculiarities of computing science. The fundamental elements of this approach are informons and holons, and it is a general and comprehensive theory of software engineering and knowledge engineering that related disciplines (e.g., information systems) can particularise and/or extend to take benefit from it (Lakatos’ concepts of core theory and protective belt theories). (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

> Context • The alleged dichotomy between mind and matter is pervasive. Therefore, the attempt to explain mat- ter in terms of mind (idealism) is often considered a mirror image of that of explaining mind in terms of mat- ter (mainstream physicalism), in the sense of being structurally equivalent despite being reversely arranged. > Problem • I argue that this is an error arising from language artifacts, for dichotomies must reside in the same level of abstraction. > Method • I (...) show that, because matter outside mind is not an empirical observation but rather an explanatory model, the epistemic symmetry between the two is broken. Consequently, matter and mind cannot reside in the same level of abstraction. > Results • It then becomes clear that attempting to explain mind in terms of matter is epistemically more costly than attempting to explain matter in terms of mind. > Implications • The qualities of experience are suggested to be not only epistemically, but also ontologically primary. > Constructivist content • I high- light the primacy of perceptual constructs over explanatory abstraction on both epistemic and ontic levels. > Key words • Idealism, physicalism, pancomputationalism, anti-realism, hard problem of consciousness, epistemic symmetry, explanatory abstraction, levels of abstraction. (shrink)

The pessimistic induction plays an important role in the contemporary realism/anti-realism debate in philosophy of science. But there is some disagreement about the structure and aim of the argument. And a number of scholars have noted that there is more than one type of PI in the philosophical literature. I review four different versions of the PI. I aim to show that PIs have been appealed to by philosophers of science for a variety of reasons. Even some realists have appealed (...) to a PI. My goal is to advance our understanding of what the various PIs can teach us about science and the threat posed by PIs to scientific realism. (shrink)

This is a short, nontechnical introduction to features of time in classical and relativistic physics and their representation in the four-dimensional geometry of spacetime. Topics discussed include: the relativity of simultaneity in special and general relativity; the ‘twin paradox’ and differential aging effects in special and general relativity; and time travel in general relativity.

The main idea of this book is that perceiving is a way of acting. Perception is not something that happens to us, or in us. It is something we do. Think of a blind person tap-tapping his or her way around a cluttered space, perceiving that space by touch, not all at once, but through time, by skillful probing and movement. This is, or at least ought to be, our paradigm of what perceiving is. The world makes itself available to (...) the perceiver through physical movement and interaction. In this book I argue that all perception is touch-like in this way: perceptual experience acquires content thanks to our possession of bodily skills. What we perceive is determined by what we do ; it is determined by what we are ready to do. In ways I try to make precise, we enact our perceptual experience; we act it out. (shrink)

Instrumentalism is an approach to science that treats a theory as a tool and only as a tool for computation; it dispenses with the concept of truth.Conventionalism treats a theory as true by convention if it forms a pattern of observations from which correct predictions can be made.Operationalism denies meaning to the concepts of a theory unless they can be defined operationally. It is argued in this paper that truth-value is indispensable to science, because a theory can be rejected only (...) if an empirical consequence is false and if falsity of a conclusion entails falsity of a premise. This undermines the above positions. The fourth interpretation isinduction. Induction, by contrast, uses the notion of truth-value. What is focused on here is its reliance on the ultimacy ofobservation. The present thesis is that instrumentalism, conventionalism, and induction are different attempts to handle observations. The common problem is the gap between data and theory.All these interpretations share a philosophy of observationalism. The aim of this paper is to show that the several orthodox interpretations of science all fail to solve the problem of the data-theory gap, and to show that they all presuppose a philosophy of observation. (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

I aim to give a new account of picture perception: of the way our visual system functions when we see something in a picture. My argument relies on the functional distinction between the ventral and dorsal visual subsystems. I propose that it is constitutive of picture perception that our ventral subsystem attributes properties to the depicted scene, whereas our dorsal subsystem attributes properties to the picture surface. This duality elucidates Richard Wollheim’s concept of the “twofoldness” of our experience of pictures: (...) the “visual awareness not only of what is represented but also of the surface qualities of the representation.” I argue for the following four claims: (a) the depicted scene is represented by ventral perception, (b) the depicted scene is not represented by dorsal perception, (c) the picture surface is represented by dorsal perception, and (d) the picture surface is not necessarily represented by ventral perception. (shrink)

A rationalist and realist model of scientific revolutions will be constructed by reference to two categories of criteria of theory-evaluation, denominated indicators of truth and of beauty. Whereas indicators of truth are formulateda priori and thus unite science in the pursuit of verisimilitude, aesthetic criteria are inductive constructs which lag behind the progression of theories in truthlikeness. Revolutions occur when the evaluative divergence between the two categories of criteria proves too wide to be recomposed or overlooked. This model of revolutions (...) depends upon a substantial new treatment of aesthetic criteria in science with which much of the paper will therefore be occupied. (shrink)

The present note is intended to draw the reader's attention to the analysis of the relation between Newtonian Mechanics and Special Relativity Mechanics (henceforth to be referred to as NM and SRM), given by Philipp Frank, one of the classics of Logical Empiricism (in Frank [1938]). Frank's analysis of the relation between NM and SRM is interesting in many ways. Firstly, it shows clearly that problems of disruptive changes and of conceptual disparity were known to and discussed by Logical Empiricists (...) and that, therefore, some of them at least were not at all blinded to 'dynamic' problems of changes in actual science by their view of physical theories as interpreted axiomatic systems and did not deal with those theories as 'static, frozen in logical mold'. Secondly, it reveals some of the reasons for the Logical Empiricist rejection of what came to be known later as the incommensurability claim. (shrink)

The ancient dualism of a sensible and an intelligible world important in Neoplatonic and medieval philosophy, down to Descartes and Kant, would seem to be supplanted today by a scientific view of mind-in-nature. Here, we revive the old dualism in a modified form, and describe mind as a symbolic language, founded in linguistic recursive computation according to the Church-Turing thesis, constituting a world L that serves the human organism as a map of the Universe U. This methodological distinction of L (...) vs. U helps to understand how and why structures of phenomena come to be opposed to their nature in human thought, a central topic in Heideggerian philosophy. U is uncountable according to Georg Cantor’s set theory but Language L, based on the recursive function system, is countable, and anchored in a Gray Area within U of observable phenomena, typically symbols, prelinguistic structures, genetic-historical records of their origins. Symbols, the phenomena most familiar to mathematicians, are capable of being addressed in L-processing. The Gray Area is the human Environment E, where we can live comfortably, that we manipulate to create our niche within hostile U, with L offering overall competence of the species to survive. The human being is seen in the light of his or her linguistic recursively computational mind. Nature U, by contrast, is the unfathomable abyss of being, infinite labyrinth of darkness, impenetrable and hostile to man. The U-man, biological organism, is a stranger in L-man, the mind-controlled rational person, as expounded by Saint Paul. Noumena can now be seen to reside in L, and are not fully supported by phenomena. Kant’s noumenal cause is the mental L-image of only partly phenomenal causation. Mathematics occurs naturally in pre-linguistic phenomena, including natural laws, which give rise to pure mathematical structures in the world of L. Mathematical foundation within philosophy is reversed to where natural mathematics in the Gray Area of pre-linguistic phenomena can be seen to be a prerequisite for intellectual discourse. Lesser, nonverbal versions of L based on images are shared with animals. (shrink)

Two powerful arguments have famously dominated the realism debate in philosophy of science: The No Miracles Argument (NMA) and the Pessimistic Meta-Induction (PMI). A standard response to the PMI is selective scientific realism (SSR), wherein only the working posits of a theory are considered worthy of doxastic commitment. Building on the recent debate over the NMA and the connections between the NMA and the PMI, I here consider a stronger inductive argument that poses a direct challenge for SSR: Because it (...) is sometimes exactly the working posits which contradict each other, i.e., that which is directly responsible for empirical success, SSR cannot deliver a general explanation of scientific success. (shrink)

To believe that every single scientist ought to be individually engaged in ethical thinking in order for science to be responsible at a collective level may be too demanding, if not plainly unrealistic. In fact, ethical labor is typically distributed across different kinds of scientists within the scientific community. Based on the empirical data collected within the Horizon 2020 ‘RRI-Practice’ project, we propose a classification of the members of the scientific community depending on their engagement in this collective activity. Our (...) classification offers, on the one hand, a model of how the ethical aspects of science are taken into consideration by scientists and, on the other, some indications on how to institutionalize ethics in science. (shrink)

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

It is commonly thought that before the introduction of quantum mechanics, determinism was a straightforward consequence of the laws of mechanics. However, around the nineteenth century, many physicists, for various reasons, did not regard determinism as a provable feature of physics. This is not to say that physicists in this period were not committed to determinism; there were some physicists who argued for fundamental indeterminism, but most were committed to determinism in some sense. However, for them, determinism was often not (...) a provable feature of physical theory, but rather an a priori principle or a methodological presupposition. Determinism was strongly connected with principles of causality and continuity and the principle of sufficient reason; this thesis examines the relevance of these principles in the history of physics. Moreover, the history of determinism in this period shows that there were essential changes in the relation between mathematics and physics: whereas in the eighteenth century, there were metaphysical arguments which lent support to differential calculus, by the early twentieth century the development of rigorous foundations of differential calculus led to concerns about its applicability in physics. The thesis consists of six papers. In the first paper, "On the origins and foundations of Laplacian determinism", I argue that Laplace, who is usually pointed out as the first major proponent of scientific determinism, did not derive his statement of determinism directly from the laws of mechanics; rather, his determinism has a background in eighteenth century Leibnizian metaphysics, and is ultimately based on the law of continuity and the principle of sufficient reason. These principles also provided a basis for the idea that one can find laws of nature in the form of differential equations which uniquely determine natural processes. In "The Norton dome and the nineteenth century foundations of determinism", I argue that an example of indeterminism in classical physics which has attracted attention in philosophy of physics in recent years, namely the Norton come, was already discussed during the nineteenth century. However, the significance which this type of indeterminism had back then is very different from the significance which the Norton dome currently has in philosophy of physics. This is explained by the fact that determinism was conceived of in an essentially different way: in particular, the nineteenth century authors who wrote about this type of indeterminism regarded determinism as an a priori principle rather than as a property of the equations of physics. In "Vital instability: life and free will in physics and physiology, 1860-1880", I show how Maxwell, Cournot, Stewart and Boussinesq used the possibility of unstable or indeterministic mechanical systems to argue that the will or a vital principle can intervene in organic processes without violating the laws of physics, so that a strictly dualist account of life and the mind is possible. Moreover, I show that their ideas can be understood as a reaction to the law of conservation of energy and to the way it was used in physiology to exclude vital and mental causes. In "The nineteenth century conflict between mechanism and irreversibility", I show that in the late nineteenth century, there was a widespread conflict between the aim of reducing physical processes to mechanics and the recognition that certain processes are irreversible. Whereas the so-called reversibility objection is known as an objection that was made to the kinetic theory of gases, it in fact appeared in a wide range of arguments, and was susceptible to very different interpretations. It was only when the project of reducing all of physics to mechanics lost favor, in the late nineteenth century, that the reversibility objection came to be used as an argument against mechanism and against the kinetic theory of gases. In "Continuity in nature and in mathematics: Boltzmann and Poincaré", I show that the development of rigorous foundations of differential calculus in the nineteenth century led to concerns about its applicability in physics: through this development, differential calculus was made independent of empirical and intuitive notions of continuity and was instead based on mathematical continuity conditions, and for Boltzmann and Poincaré, the applicability of differential calculus in physics depended on whether these continuity conditions could be given a foundation in intuition or experience. In the final paper, "Determinism around 1900", I briefly discuss the implications of the developments described in the previous two papers for the history of determinism in physics, through a discussion of determinism in Mach, Poincaré and Boltzmann. I show that neither of them regards determinism as a property of the laws of mechanics; rather, for them, determinism is a precondition for science, which can be verified to the extent that science is successful. (shrink)

The aim for this thesis is to motivate, critically evaluate and defend the claim that subjects are able to consciously perceive the affordances of objects. I will present my protagonist, the ‘Conscious Affordance Theorist’, with what are two main obstacles to this claim. The first of these is that affordance perception correctly understood refers only to a kind of subpersonal visual processing, and not to a kind of conscious visual experience. I claim that this results in an explanatory gap at (...) the level of intentional action, which in order to correct we need to redefine the notion of affordance perception to include conscious as well as subpersonal affordance perception. Precisely, I claim that ‘affordance awareness’ has a crucial epistemological role to play, and that subjects must be able to consciously experience affordances in order to gain this awareness. In answer to this claim, I supplement the objection that affordance perception is defined as subpersonal perception to include the claim that any awareness subjects have of the affordances of objects they visually experience is due to them having thoughts about those affordances, and not visual experience of them. I then consider the Conscious Affordance Theorist’s response to this supplemented account. The second obstacle is the claim that conscious visual affordance perception is an impossible notion given that affordances are dispositional properties, and the dispositional properties of objects cannot be ‘seen’. In facing this objection I look to the supporting claims and motivations that lie behind it, in order to find a way for the Conscious Affordance Theorist to challenge its central claim that affordances cannot be seen. I end this thesis with an account of the Conscious Affordance Theorist’s own positive position, and a consideration of how his account has the ability to provide for conscious affordance perception in the case of non-human animals. (shrink)

Although there is an ongoing controversy in philosophy of science about so called ceteris paribus laws that is, roughly, about laws with exceptionsóa fundamental question about those laws has been neglected (ß2). This is due to the fact that this question becomes apparent only if two different readings of ceteris paribus clauses in laws have been separated. The first reading of ceteris paribus clauses, which I will call the epistemic reading, covers applications of laws: predictions, for example, might go wrong (...) because we do not know all the relevant factors which are causally effective in relevant situation. The second reading, which I will call the metaphysical reading, is concerned with the laws themselves and their possible exceptions (ß3). It is this latter readingóand the funda- mental question associated with itówhich has been neglected due to the confusion of the two readings (ß4): if we leave epistemic issues aside is there at all conceptual space left for a notion of laws of nature which allows the laws themselves to have exceptions? I call a law with exceptions in this sense, if such there is, a real ceteris paribus law. To tackle this question, I distinguish grounded laws from non-grounded laws (ß5). A grounded law is, roughly, a law about structured entities where the properties of the parts of that structure figure themselves in laws of nature (ß6). I will claim that, since the substructure of such an entity can be damaged, grounded laws themselves can face exceptions. Hence, they are candidates to be real (metaphysical) ceteris paribus laws in the sense of my central question. I will discuss grounded laws and their exceptions in detail (ß7, ß8, ß9). For reasons of space, the further question whether we can even have a notion of fun- damental (non-grounded) laws that allows for exceptions cannot be discussed here. I will, however, give a positive answer and also outline how I have argued for that claim elsewhere (ß10). (shrink)

To what extent is the external world the way that it appears to us in perceptual experience? This perennial question in philosophy is no doubt ambiguous in many ways. For example, it might be taken as equivalent to the question of whether or not the external world is the way that it appears to be? This is a question about the epistemology of perception: Are our perceptual experiences by and large veridical representations of the external world? Alternatively, the question might (...) be taken as asking whether or not the external world is like its ways of appearing to us, where the expression “ways of appearing” is intended to pick out aspects of our perceptual experiences themselves. This is a metaphysical version of the question of the relationship between appearance and reality: What is the relationship between the phenomenal features that characterize perceptual experience, on the one hand, and the mind-independent features of the external objects of perception, on the other? There are some philosophers who might resist distinguishing between these two questions. For them, “ways of appearing” in the phenomenal sense just are the ways that things appear to be (let’s call the latter the “intentional sense” of “ways of appearing”).1 That is, the phenomenal character of an experience is nothing over and above its representational content. Phenomenal properties are represented properties—the properties that an experience attributes to the external objects of perception. The question of whether or not phenomenal properties can be identified with the represented properties of an experience mirrors traditional questions in the philosophy of perception. If they can be identified with each other, then in veridical perception we might be said to “directly grasp” features of the external world through perception. The properties that are present to the mind are the very same properties that belong to the external objects of perception. Such a view affords.... (shrink)

(1988). Platonic explanation: Or, what abstract entities can do for you. International Studies in the Philosophy of Science: Vol. 3, No. 1, pp. 51-67. doi: 10.1080/02698598808573324.

Anthropomorphism is the methodology of attributing human-like mental states to animals. Zoomorphism is the converse of this: it is the attribution of animal-like mental states to humans. Zoomorphism proceeds by first understanding what kind of mental states animals have and then attributing these mental states to humans. Zoomorphism has been widely used as scientific methodology especially in cognitive neuroscience. But it has not been taken seriously as a philosophical explanatory paradigm: as a way of explaining the building blocks of the (...) human mind. The philosophical explanatory paradigm of zoomorphism may not explain all aspects of human behavior, but if we accept the zoomorphic way of thinking about the human mind, we should only posit new, different kinds of mental states if the zoomorphic attribution of animal mental states fails to explain our behavior. (shrink)

Quine, taking the molecular constitution of matter as a paradigmatic example, offers an account of the relation between theory confirmation and ontology. Elsewhere, he deploys a similar ontological methodology to argue for the existence of mathematical objects. Penelope Maddy considers the atomic/molecular theory in more historical detail. She argues that the actual ontological practices of science display a positivistic demand for “direct observation,” and that fulfillment of this demand allows us to distinguish molecules and other physical objects from mathematical abstracta. (...) However, the confirmation of the atomic/molecular theory and the development of scientists’ ontological attitudes towards atoms was more complicated and subtle than even Maddy supposes. The present paper argues that the history of the theory in fact supports neither Quine’s and Maddy’s accounts of scientific ontology. There was no general demand from scientists to “see” atoms before they were reckoned to be real; but neither did the indispensable appearance of atoms in the best theory of chemical combination suffice to convince scientists of their reality. (shrink)

A lot of philosophical energy has been devoted recently in trying to determine if mathematics can contribute to our understanding of physical phenomena. Not many philosophers are interested, though, if the converse makes sense, i.e., if our cognitive interaction (scientific or otherwise) with the physical world can be helpful (in an explanatory or non-explanatory way) in our efforts to make sense of mathematical facts. My aim in this paper is to try to fill this important lacuna in the recent literature. (...) My answer to the question of this paper is negative. As I will argue, there are serious problems with the main reasons for believing in the first place that it is possible to have physical understanding of mathematical facts. (shrink)

A theoretical device, which incorporates the functions of clock, rod, nonrotating platform, and accelerometer, and whose operation depends on the properties of light rays and free particles, is defined. The device, which we call a metrosphere, is simple enough that it can be introduced at the starting point of relativity theory and versatile enough that it can serve as an aid in the development and conceptualization of the theory. Relative to an inertial frame, a moving metrosphere undergoes a Lorentz-Fitzgerald contraction (...) and the associated clock exhibits a Lorentz-Larmor rate retardation. From this fact and the assumption that there exists one inertial frame, it is possible to generate the kinematical results of special relativity. A metrosphere provides an observer with a local frame of reference, hence it is well adapted to the needs of general relativity, allows the equivalence principle to be introduced in a straightforward manner, and permits a smooth transition from special relativity to general relativity. (shrink)

In this paper an outline of a metaphysical conception of modern science is presented in which a fundamental distinction is drawn between scientific principles, laws and theories. On this view, ontologicalprinciples, rather than e.g. empirical data, constitute the core of science. The most fundamental of these principles are three in number, being, more particularly (A) the principle of the uniformity of nature, (B) the principle of the perpetuity of substance, and (C) the principle of causality.These three principles set basic constraints (...) on the methodology of both empirical and theoretical science. The uniformity principle is central to the empirical aspect of science, suggesting a methodology consisting in the attempt to discover empiricallaws, while the causality principle is central to the theoretical aspect of science, suggesting the postulation of scientifictheories capable of indicating the causal basis of the laws. And the perpetuity principle functions so as to form a bridge between the theories and the laws. (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 development of rigorous foundations of differential calculus in the course of the nineteenth century led to concerns among physicists about its applicability in physics. Through this development, differential calculus was made independent of empirical and intuitive notions of continuity, and based instead on strictly mathematical conditions of continuity. However, for Boltzmann and Poincaré, the applicability of mathematics in physics depended on whether there is a basis in physics, intuition or experience for the fundamental axioms of mathematics—and this meant that (...) to determine the status of differential equations in physics, they had to consider whether there was a justification for these mathematical continuity conditions in physics. For this reason, their ideas about continuity and discreteness in nature were entangled with epistemology and philosophy of mathematics. They reached opposite conclusions: Poincaré argued that physicists must work with a continuous representation of nature, and thus with differential equations, while Boltzmann argued that physicists must ultimately take nature to be discrete. (shrink)

The paper reviews criteria which have been used to distinguish science from nonscience and from pseudo–science, and it examines the extent to which they can usefully be applied to “creation science.” These criteria do not force a clear decision, especially as creation science resembles important eighteenth–century forms of orthodox science. Nevertheless, the proponents of creation science may be accused of pious fraud in failing to concede in their political battles that their “science” is tentative and tendentious and will continue to (...) be so while it remains archaic and poorly integrated into the rest of science. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)