Recent work has defended “Euclidean” theories of set size, in which Cantor’s Principle (two sets have equally many elements if and only if there is a one-to-one correspondence between them) is abandoned in favor of the Part-Whole Principle (if A is a proper subset of B then A is smaller than B). It has also been suggested that Gödel’s argument for the unique correctness of Cantor’s Principle is inadequate. Here we see from simple examples, not that Euclidean theories of set (...) size are wrong, but that they must be either very weak and narrow or largely arbitrary and misleading. (shrink)

This paper presents and argues for an account of objectual understanding that aims to do justice to the full range of cases of scientific understanding, including cases in which one does not have an explanation of the understood phenomenon. According to the proposed account, one understands a phenomenon just in case one grasps a sufficiently accurate and comprehensive model of the ways in which it or its features are situated within a network of dependence relations; one’s degree of understanding is (...) proportional to the comprehensiveness and accuracy of such a model. I compare this account with accounts of scientific understanding that explicate understanding in terms of having an explanation of the understood phenomenon. I discuss three distinct types of cases in which scientific understanding does not amount to possessing an explanation of any kind, and argue that the proposed model-based account can accommodate these cases while still retaining a strong link between understanding and explanation. (shrink)

ABSTRACT: In Die Frage nach dem Ding, Martin Heidegger characterizes Galileo as an important transitional figure in the struggle to replace the Aristotelian conception of nature with that of Newton. However, Heidegger only attends to Galileo’s modernity and not to those Aristotelian elements still discernible in Galileo’s work. This article fleshes out both aspects in Galileo in light of Heidegger’s discussion. It concludes by arguing that the lacuna in Heidegger’s account of Galileo is the consequence of Heidegger’s own self-conscious modernity (...) − a modernity that he slyly hints at in a remark he makes in FD concerning Galileo and Democritus.RÉSUMÉ : Dans Die Frage nach dem Ding, Martin Heidegger qualifie Galilée de figure importante dans la lutte pour remplacer la conception aristotélicienne de la nature par celle de Newton. Toutefois, Heidegger examine seulement les traits modernes de Galilée et non ceux qui ressemblent à Aristote. Cet article précise ces deux aspects à partir de la discussion dans Die Frage nach dem Ding. Il conclut par l’affirmation que la lacune dans le portrait de Galilée est la conséquence de la modernité consciente de Heidegger lui-même — une modernité à laquelle il fait allusion dans une remarque concernant Galilée et Démocrite. (shrink)

Peter Anstey has suggested that in our analyses of early modern natural philosophy we should abandon a frequently used distinction: that between rationalism and empiricism. He argues that we should replace it with another distinction, that between experimental and speculative natural philosophy. The second distinction, he argues, was not only widely used at the time, but has a greater explanatory range. It follows, he suggests, that it is a better way of “carving up” the writings of that period.It is clear (...) that a distinction between experimental and speculative natural philosophy did become common in the late seventeenth-century. But I am less convinced that it is a useful one. This.. (shrink)

I examine the reasons Aristotle presents in Physics VIII 8 for denying a crucial assumption of Zeno’s dichotomy paradox: that every motion is composed of sub-motions. Aristotle claims that a unified motion is divisible into motions only in potentiality (δυνάμει). If it were actually divided at some point, the mobile would need to have arrived at and then have departed from this point, and that would require some interval of rest. Commentators have generally found Aristotle’s reasoning unconvincing. Against David Bostock (...) and Richard Sorabji, inter alia, I argue that Aristotle offers a plausible and internally consistent response to Zeno. I defend Aristotle’s reasoning by using his discussion of what to say about the mobile at boundary instants, transitions between change and rest. There Aristotle articulates what I call the Changes are Open, Rests are Closed Rule: what is true of something at a boundary instant is what is true of it over the time of its rest. By contrast, predications true of something over its period of change are not true of the thing at either of the boundary instants of that change. I argue that this rule issues from Aristotle’s general understanding of change, as laid out in Phys. III. It also fits well with Phys. VI, where Aristotle maintains that there is a first boundary instant included in the time of rest, but not a “first in which the mobile began to change.” I then show how this rule underlies Aristotle’s argument that a continuous motion cannot be composed of actual sub-motions. Aristotle distinguishes potential middles, points passed through en route to a terminus, from actual middles. The Changes are Open, Rests are Closed Rule only applies to actual middles, because only they are boundaries of change that the mobile must arrive at and then depart from. On my reading, Aristotle argues that the instant of arrival, the first instant at which the mobile has come to be at the actual middle, cannot belong to the time of the subsequent motion. If it did, the mobile would already be moving towards the next terminus and thus, per Phys. VI 6, would have already left. But it cannot have moved away from the midpoint at the very same moment it has arrived there. This means that the instant of arrival must be separated from the time of departure by an interval of rest. I show how Aristotle’s reasoning applies generally to rule out any continuous reflexive motion or continuous complex rectilinear motion. On my interpretation, however, the argument does not apply to every change of direction. When, as in the case of projectile motion, multiple movers and their relative powers explain why the mobile changes directions, distinct sub-motions are not involved. Aristotle holds that such motions cannot be continuous, not because they involve intervals of rest, but because they involve multiple causes of motion. My interpretation of the Changes are Open, Rests are Closed Rule allows us to make better sense of Aristotle’s argument than any previous interpretation. (shrink)

While the predominant focus of the philosophical literature on scientific modeling has been on single-scale models, most systems in nature exhibit complex multiscale behavior, requiring new modeling methods. This challenge of modeling phenomena across a vast range of spatial and temporal scales has been called the tyranny of scales problem. Drawing on research in the geosciences, I synthesize and analyze a number of strategies for taming this tyranny in the context of conceptual, physical, and mathematical modeling. This includes several strategies (...) that can be deployed in physical modeling, even when strict dynamical scaling fails. In all cases, I argue that having an adequate conceptual model—given both the nature of the system and the particular purpose of the model—is essential. I draw a distinction between depiction and representation, and use this research in the geosciences to advance a number of debates in the philosophy of modeling. (shrink)

: An examination of two thought experiments in contemporary physics reveals that the same thought experiment can be reanalyzed from the perspective of different and incompatible theories. This fact undermines those accounts of thought experiments that claim their justificatory power comes from their ability to reveal the laws of nature. While thought experiments do play a genuine evaluative role in science, they do so by testing the nonempirical virtues of a theory, such as consistency and explanatory power. I conclude that, (...) while their interpretation presupposes a whole set of background theories and putative laws, thought experiments nonetheless can evolve and be retooled for different theories and ends. (shrink)

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

It is now fashionable to say that science and technology are social constructions. This is true, or rather, a truism. Man is a social animal. Man is a linguistic animal, and language is social. Hence all products of human activities and everything that involves language are social constructions. But an assertion that covers everything becomes empty. The constructionist mantra that science or technology is “not a simple input from nature” attacks a straw man, for no one denies the necessity of (...) enormous human efforts in research, development, and design. To say that these are social activities should not imply that they are indistinguishable from other social activities such as politicking or profiteering. An investigation into their peculiarities will bring to relief their intellectual and technical characteristics. The argument that science and technology are social constructions because they involve many assumptions is again a truism. Whenever we think, whenever we find things intelligible, we invariably have used some concepts and made some assumptions. Philosophers such as Kant have painstakingly analyzed concepts without which intelligibility is impossible. The important questions are not whether scientists and engineers make assumptions but what kind of assumptions they make; not whether they make judgments, but what kind of reasons they offer to support their judgments. Are the assumptions and justifications all social? Or are they mainly technical? Admittedly, the boundaries between the two are not always sharp, but is it impossible to make any differentiation at all? (shrink)

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

EXPANDED EDITION (eBook): -/- Infinity Is Not What It Seems...Infinity is commonly assumed to be a logical concept, reliable for conducting mathematics, describing the Universe, and understanding the divine. Most of us are educated to take for granted that there exist infinite sets of numbers, that lines contain an infinite number of points, that space is infinite in expanse, that time has an infinite succession of events, that possibilities are infinite in quantity, and over half of the world’s population believes (...) in a divine Creator infinite in knowledge, power, and benevolence. -/- According to this treatise, such assumptions are mistaken. In reality, to be is to be finite. The implications of this assessment are profound: the Universe and even God must necessarily be finite. -/- The author makes a compelling case against infinity, refuting its most prominent advocates. Any defense of the infinite will find it challenging to answer the arguments laid out in this book. But regardless of the reader’s position, FOREVER FINITE offers plenty of thought-provoking material for anyone interested in the subject of infinity from the perspectives of philosophy, mathematics, science, and theology. -/- This electronic edition of FOREVER FINITE is offered free online for all and is expanded with content that does not appear in the published edition due to print production page limitations. From the Introduction to the Conclusion, Chapters 1–27 are identical to the published print edition, including the page numbering for the chapters. This electronic edition adds an appendix and associated content—specifically, updates to the book’s back matter (68 new endnotes, 17 new bibliographic references, 3 new figure credits, 14 new glossary terms) and front matter (an updated table of contents and this preface note). (shrink)

There is a persistent confusion about determinism and predictability. In spite of the opinions of some eminent philosophers, it is possible to understand that the two concepts are completely unrelated. In few words we can say that determinism is ontic and has to do with how Nature behaves, while predictability is epistemic and is related to what the human beings are able to compute. An analysis of the Lyapunov exponents and the Kolmogorov-Sinai entropy shows how deterministic chaos, although with an (...) epistemic character, is non subjective at all. This should clarify the role and content of stochastic models in the description of the physical world. (shrink)

Cantor’s theory of cardinal numbers offers a way to generalize arithmetic from finite sets to infinite sets using the notion of one-to-one association between two sets. As is well known, all countable infinite sets have the same ‘size’ in this account, namely that of the cardinality of the natural numbers. However, throughout the history of reflections on infinity another powerful intuition has played a major role: if a collectionAis properly included in a collectionBthen the ‘size’ ofAshould be less than the (...) ‘size’ ofB(part–whole principle). This second intuition was not developed mathematically in a satisfactory way until quite recently. In this article I begin by reviewing the contributions of some thinkers who argued in favor of the assignment of different sizes to infinite collections of natural numbers (Thabit ibn Qurra, Grosseteste, Maignan, Bolzano). Then, I review some recent mathematical developments that generalize the part–whole principle to infinite sets in a coherent fashion (Katz, Benci, Di Nasso, Forti). Finally, I show how these new developments are important for a proper evaluation of a number of positions in philosophy of mathematics which argue either for the inevitability of the Cantorian notion of infinite number (Gödel) or for the rational nature of the Cantorian generalization as opposed to that, based on the part–whole principle, envisaged by Bolzano (Kitcher). (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

Los experimentos mentales son dispositivos epistémicos de la imaginación, o de análisis de problemas filosóficos, que recorren las fronteras de aquella, desde el sillón. Dichas fronteras tocan dilemas perennes de la filosofía: cuestiones de la metafísica, como el tiempo, el espacio y la realidad, el problema de la libertad y el determinismo, la naturaleza de la mente, la identidad personal, los argumentos acerca del significado, las posibilidades, fuentes y condiciones del conocimiento, las relaciones entre discurso y lógica, la ética, cuestiones (...) de la filosofía social y política, y la estética. Muchos problemas de la filosofía han sido abordados mediante experimentos mentales, una herramienta útil de la caja de herramientas del filósofo. No todas las herramientas son populares, no obstante. Los experimentos mentales son, pese a sus defensores, falibles, incluso si son argumentos bien planteados. Justamente, este libro recopila artículos con las principales defensas y ataques a los experimentos mentales, especialmente en términos de su confiabilidad para llegar a conclusiones, o bien de su relevancia en términos de su origen: el sillón de la filosofía. Este ha sido vapuleado por los nuevos aires de la filosofía analítica, que trata al sillón como un viejo artefacto del análisis a priori. De hecho, hay posturas que critican a los experimentos mentales por constituir bombas de intuiciones no confiables. Por supuesto, no hay razón irrefutable para aceptar los experimentos mentales y las filosofías de sillón. Pero ¿hay alguna en la filosofía? El libro no pretende convencer al lector del valor de los experimentos mentales y las filosofías de sillón. Por el contrario, su objetivo es formar una imagen propia de estos dispositivos epistémicos, tanto en relación con sus virtudes y limitaciones. Si ello se logra, habrá valido el esfuerzo llevado a cabo en esta compilación de artículos, los que muestran los límites, desafíos y críticas de la experimentación mental desde el sillón. (shrink)

This paper aims to assess the credibility of the legitimation thesis; the claim that the development of experimental science involved a legitimation of certain aspects of artisanal practice or craft knowledge. My goal will be to provide a critique of this idea by examining Francis Bacon’s notion of ‘mechanical history’ and the influence it exerted on attempts by later generations of scholars to appropriate the knowledge of craft traditions. Specifically, I aim to show how such projects were often premised upon (...) socio-epistemological ideals that served to reinforce, rather than relinquish boundaries between artisans and natural philosophers. It will be my claim that a closer examination of the presuppositions underlying attempts by early modern natural philosophers to appropriate craft knowledge reveals, not a desire to legitimize aspects of artisanal practice, but rather strategies aimed at demonstrating the inferiority of the local ways of knowing upon which it was based. (shrink)

It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...) are not in any obvious sense about regularities in behaviour. A Humean approach to physical laws with exceptions is possible, however, if we adopt a view of laws that takes them to be the algorithms in the algorithmic compressions of empirical data. When this is supplemented with a distinction between lossy and lossless compression, we can explain exceptions in terms of compression artefacts present in the application of the lossy laws. (shrink)

In this article I am going to reconstruct Stephen Toulmin’s procedural theory of concepts and explanations in order to develop two overlooked ideas from his philosophy of science: methods of representations and inferential techniques. I argue that these notions, when properly articulated, could be useful for shedding some light on how scientific reasoning is related to representational structures, concepts, and explanation within scientific practices. I will explore and illustrate these ideas by studying the development of the notion of instantaneous speed (...) during the passage from Galileo’s geometrical physics to analytical mechanics. At the end, I will argue that methods of representations could be considered as constitutive of scientific inference; and I will show how these notions could connect with other similar ideas from contemporary philosophy of science like those of models and model-based reasoning. (shrink)

Brown (The laboratory of the mind. Thought experiments in the natural science, 1991a , 1991b ; Contemporary debates in philosophy of science, 2004 ; Thought experiments, 2008 ) argues that thought experiments (TE) in science cannot be arguments and cannot even be represented by arguments. He rest his case on examples of TEs which proceed through a contradiction to reach a positive resolution (Brown calls such TEs “platonic”). This, supposedly, makes it impossible to represent them as arguments for logical reasons: (...) there is no logic that can adequately model such phenomena. (Brown further argues that this being the case, “platonic” TEs provide us with irreducible insight into the abstract realm of laws of nature). I argue against this approach by describing how “platonic” TEs can be modeled within the logical framework of adaptive proofs for prioritized consequence operations. To show how this mundane apparatus works, I use it to reconstruct one of the key examples used by Brown, Galileo’s TE involving falling bodies. (shrink)

A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Leśniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Leśniewski's published or unpublished work is known where the standard conditions are discussed. Second, Leśniewski's own logical theories allow for creative definitions. Third, Leśniewski's celebrated ‘rules of definition’ lay (...) merely syntactical restrictions on the form of definitions: they do not provide definitions with such meta-theoretical requirements as eliminability or conservativeness. On the positive side, we point out that among the Polish logicians, in the 1920s and 1930s, a study of these meta-theoretical conditions is more readily found in the works of Łukasiewicz and Ajdukiewicz. (shrink)

The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) small apertures. (shrink)

This article seeks to recover a neglected chapter in the historical and theoretical background of social theory in general and critical theory in particular with a view to refining the understanding of the presuppositions of a cognitively enhanced critical social science appropriate to our troubled times. For this purpose, it offers a brief reconstruction of the mathematical-philosophical tradition from ancient to modern times by extrapolating that part of it that is marked by the ideas of infinity, infinite processes and limit (...) concepts. It gives suggestive indications not only of how these ideas relate to extant social-theoretical thought, but especially also of the two related cognitive directions – the weak-naturalistic and the socio-cultural – in which such thought is currently challenged to go. (shrink)

Cartwright attempts to argue from an analysis of the composition of forces, and more generally the composition of laws, to the conclusion that laws must be regarded as false. A response to Cartwright is developed which contends that properly understood composition poses no threat to the truth of laws, even though agreeing with Cartwright that laws do not satisfy the "facticity" requirement. My analysis draws especially on the work of Creary, Bhaskar, Mill, and points towards a general rejection of Cartwright's (...) view that laws, especially fundamental laws, should be seen as false. (shrink)

Newton’s Principia introduces four rules of reasoning for natural philosophy. Although useful, there is a concern about whether Newton’s rules guarantee truth. After redirecting the discussion from truth to validity, I show that these rules are valid insofar as they fulfill Goodman’s criteria for inductive rules and Newton’s own methodological program of experimental philosophy; provided that cross-checks are used prior to applications of rule 4 and immediately after applications of rule 2 the following activities are pursued: (1) research addressing observations (...) that systematically deviate from theoretical idealizations and (2) applications of theory that safeguard ongoing research from proceeding down a garden path. (shrink)

Computer simulation and thought experiments seem to produce knowledge about the world without intervening in the world. This has called for a comparison between the two methods. However, Chandrasekharan et al. argue that the nature of contemporary science is too complex for using TEs. They suggest CS as the tool for contemporary sciences and conclude that it will replace TEs. In this paper, by discussing a few TEs from the history of science, I show that the replacement thesis about TE (...) is a failure. The paper is divided into three sections. The first section discusses the arguments of Chandrasekharan et al. and demonstrates the three distinct aspects of the replacement thesis. The second section examines the argument against TE and shows that they are inadequate to prove the withering of TE from science. The third section discusses Albert Einstein’s Magnet and Conductor TE and demonstrates that replacing such TE with CS yield no advantage. (shrink)

In this paper I discuss Mark Steiner’s view of the contribution of mathematics to physics and take up some of the questions it raises. In particular, I take up the question of discovery and explore two aspects of this question – a metaphysical aspect and a related epistemic aspect. The metaphysical aspect concerns the formal structure of the physical world. Does the physical world have mathematical or formal features or constituents, and what is the nature of these constituents? The related (...) epistemic question concerns humans’ cognitive ability to reach the formal structure of the physical world. Among other things, I explore the interaction of mathematical and non-mathematical cognition in physical discovery. (shrink)

The ArgumentThis paper is a study of the role of language in scientific activity. It recommends that language be viewed as a community's means of patterning its affairs. Language represents where the boundaries of the community are and who is entitled to speak within it, and it displays the structures of authority in the community. Moreover, language precipitates the community's view of what the world is like, such that linguistic usages can be taken as referring to that world. Thus, language (...) connects on the one side to a community's practical life, and, on the other, to the reality on which it “reports.”The example treated is Robert Boyle's view of the language proper for experimental practice, and his arguments against the value and legitimacy of mathematical representations within the experimental community. Boyle argued that the use of mathematics was inappropriate because (i) it would restrict the number of potential participants; (ii) it would give rise to unwarranted expectations of the certainty and accuracy to be expected of real physical inquiries; (iii) it would suggest views of natural law and God's relations with the natural world which were incorrect and possibly dangerous; and because (iv) the world upon which the experimentalist operated was not such as was represented by mathematical idealizations. I try to establish that decision about the appropriate language for the experimental community was a moral choice. (shrink)

This article looks at recent work in cognitive science on mathematical cognition from the perspective of history and philosophy of mathematical practice. The discussion is focused on the work of Lakoff and Núñez, because this is the first comprehensive account of mathematical cognition that also addresses advanced mathematics and its history. Building on a distinction between mathematics as it is presented in textbooks and as it presents itself to the researcher, it is argued that the focus of cognitive analyses of (...) historical developments of mathematics has been primarily on the former, even if they claim to be about the latter. (shrink)

In recent work Bruno Whittle has presented a new challenge to the Cantorian idea that there are different infinite cardinalities. Most challenges of this kind have tended to focus on the status of the axioms of standard set theory; Whittle’s is different in that he focuses on the connection between standard set theory and intuitive concepts related to cardinality. Specifically, Whittle argues we are not in a position to know a principle I call the Quantificational Hume Principle, which connects the (...) application of intuitive, quantificational cardinality concepts to claims involving the existence of functions. This paper responds to Whittle’s skeptical arguments by providing an argument justifying the QHP. (shrink)

Galileo's refutation of the speed-distance law of fall in his Two New Sciences is routinely dismissed as a moment of confused argumentation. We urge that Galileo's argument correctly identified why the speed-distance law is untenable, failing only in its very last step. Using an ingenious combination of scaling and self-similarity arguments, Galileo found correctly that bodies, falling from rest according to this law, fall all distances in equal times. What he failed to recognize in the last step is that this (...) time is infinite, the result of an exponential dependence of distance on time. Instead, Galileo conflated it with the other motion that satisfies this ‘equal time’ property, instantaneous motion. (shrink)

Thought experiments are widely used in natural science research. Nonetheless, their reliability to produce cognitive results has been a disputable matter. This study is conducted to present some rules of confirmation for evaluating the cognitive outcome of thought experiments. I begin given an example of a “paradigmatic” thought experiment from Galileo Galilei: the falling bodies. Afterwards, I briefly surveying two different accounts of thought experiments: James R. Brown’s rationalism and John D. Norton’s empiricism. Then, I discuss their positions and I (...) show that none of them may tip the balance towards the rationalism or empiricism they try to defend. Finally, I put forward that the notion of confirmation, connected to the notion of increasing plausibility, can be used to develop some confirmation rules to compare the explanatory power of thought experiments in competition, regardless of their rational or empirical nature in which the discussion of this type of experiment has been engaged in recent years. (shrink)

It is argued that according to Aristotle the universe is a single substance with its own form and matter.

The concept of energy, the premier concept of physics and indeed of all science, is here investigated from the standpoint of its early historical origin and the philosophical implications thereof. The fundamental assumption is made that the root of the concept is the notion of invariance or constancy in the midst of change. Salient points in the development of this idea are presented from ancient times up to the publication of Lagrange'sMécanique Analytique (1788).

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (shrink)

In physics education, equations are commonly seen as calculation tools to solve problems or as concise descriptions of experimental regularities. In physical science, however, equations often play a much more important role associated with the formulation of theories to provide explanations for physical phenomena. In order to overcome this inconsistency, one crucial step is to improve physics teacher education. In this work, we describe the structure of a course that was given to physics teacher students at the end of their (...) master’s degree in two European universities. The course had two main goals: To investigate the complex interplay between physics and mathematics from a historical and philosophical perspective and To expand students’ repertoire of explanations regarding possible ways to derive certain school-relevant equations. A qualitative analysis on a case study basis was conducted to investigate the learning outcomes of the course. Here, we focus on the comparative analysis of two students who had considerably different views of the math-physics interplay in the beginning of the course. Our general results point to important changes on some of the students’ views on the role of mathematics in physics, an increase in the participants’ awareness of the difficulties faced by learners to understand physics equations and a broadening in the students’ repertoire to answer “Why?” questions formulated to equations. Based on this analysis, further implications for physics teacher education are derived. (shrink)

ABSTRACT I suggest how a broadly Kantian critique of classical logic might spring from reflections on constructibility conditions. According to Kant, mathematics is concerned with objects that are given through ‘arbitrary synthesis,’ in the form of ‘constructions of concepts’ in the medium of ‘pure intuition.’ Logic, by contrast, is narrowly constrained – it has no objects of its own and is fixed by the very forms of thought. That is why there is not much room for developments within logic, as (...) compared to the progress in mathematics. Kant’s view of logic remains critical, though – through considerations that are effectively on the scope and limits of classical logic and which play a part in his transcendental idealism. The most important ones are to be found in his critique of the use of reductio ad absurdum proofs in metaphysics and his solutions to the ‘antinomies of pure reason.’ Arguably, these considerations carry over to mathematics as well – by way of ‘analogues’ to the antinomies – in particular in resolving infinity paradoxes. (shrink)

We investigate the way physical laws objectively refer to the entities they are about. Laws of mathematical physics do not refer directly to the “real world” but to an ideal specific domain of objects, which we term “scope”. In order to find out which real objects physical laws deal with, reference to the scope is not sufficient. We need in addition the search for domains to which laws apply — i. e. “empirical domains”— in order to establish their reference to (...) the “real world”. It is just in such empirical domains that we are able to discover the real entities physical laws objectively refer to. “Physical reality” turns out to be not something “given” but rather something “to come out” of the very process of scientific inquiry. (shrink)

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O (...) comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type. (shrink)