Newton’s absolute pace-time view is the basis of his classical mechanics, and his description of relative motion is based on absolute space. However, the existence of this absolute space has been questioned by the academic circles. In order to defend its theoretical foundation, Newton established a famous bucket experiment to prove the existence of absolute space. But his experiment was also questioned, and the experiment is also divided into different opinions. This paper hopes to find the answer to (...) the question from Kantian perspective. (shrink)

The bucket experiment in Newton’s Principia is quite simple. Nonetheless, physicists as well as philosophers and historians of science are still debating its purpose and success. I present two interpretations found in the literature. According to the first, Newton tries to prove absolute rotation and thus the existence of absolute space. According to the second, he tries to provide a definition of absolute rotation as it is used in his mechanics. Closely connected to this is his rejection of (...) Descartes’ explanation of rotation and of motion in general. I conclude with a short discussion on whether the bucket experiment can be classified as a thought experiment. (shrink)

This chapter contains section titled: Discussion.

The relation between Ernst Mach and Albert Einstein is probably one of the most debated issues in the history of twentieth century physics. For many physicists general relativity is the paradigm ofhow a mature theory should look. This opinion was supported by philosophers, in particular logical empiricists, to whom general relativity was the main touchstone of their principles of theory formation. Mach’s principle penetrates all three domains. Einstein’s first formulation of it in 1918 read: “The G-field is without remainder determined (...) by the masses of the bodies. Since mass and energy are... the same.. .this therefore entails that the G-field be condi tioned and determined by the energy tensor”. (shrink)

Berkeley’s general tenet about immaterialism is presented and discussed. I examined apart the several theses that concur to the immaterialist theory. After that, the general argument is presented and discussed. In particular, I stress Berkeley’s assumption that a world without matter and a world with matter would be indistinguishable from the point of view of the content of perceptions, natural science. I stress that this assumption depends on a relative account of circular motion, generating the centrifugal forces, as Newton shows (...) in his bucket experiment. In spite of the efforts by Leibniz and Huygens, such a relative account of rotational motion was never presented. So the thesis about the scientific and perceptual identity between worlds with and without matter remains a simple case of wishful thinking in need for a justification. (shrink)

In the Scholium to the Definitions at the beginning of the {\em Principia\/} Newton distinguishes absolute time, space, place and motion from their relative counterparts and attempts to justify they are indeed ontologically distinct in that the absolute quantity cannot be reduced to some particular category of the relative, as Descartes had attempted by defining absolute motion to be relative motion with respect to immediately ambient bodies. Newton's bucket experiment, rather than attempting to show that absolute motion exists, is (...) one of five arguments from the properties, causes and effects of motion that attempts to show that no such program can succeed, and thus that true motion can be adequately analyzed only by invoking immovable places, i.e., the parts of absolute space. (shrink)

We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.

2. Thesis 2 I accept insofar as it asserts the relation of possibility to actuality to be a fundamental aspect of things. This relation is sui generis.

Ernst Mach’s defense of relativist theories of motion in Die Mechanik involves a well-known criticism of Newton’s theory appealing to absolute space, and of Newton’s “bucket” experiment. Sympathetic readers (Norton 1995) and critics (Stein 1967, 1977) agree that there’s a tension in Mach’s view: he allows for some constructed scientific concepts, but not others, and some kinds of reasoning about unobserved phenomena, but not others. Following Banks (2003), I argue that this tension can be interpreted as a (...) constructive one, springing from Mach’s approach to scientific reasoning. Mach’s “economy of science” allows for a principled distinction to be made, between natural and artificial hypothetical reasoning, and Mach defends a division of labor between the sciences in a 1903 paper for The Monist, “Space and Geometry from the Point of View of Physical Inquiry”. That division supports counterfactual reasoning in Mach’s system, something that’s long been denied is possible for him. (shrink)

The contributors to this volume cover a wide range of philosophers, from Simplicius to John Wyclif, and philosophical problems, including: the harmony of ...

Aside from the Principia and occasional appearances of the Opticks , Newton' writings have remained largely inaccessible to students of philosophy, science, and literature as well as to other readers. This book provides a remedy with wide representation of the interests, problems, and diverse philosophic issues that preoccupied the greatest scientific mind of the seventeenth century. Grouped in sections corresponding to methods, principles, and theological considerations, these selections feature explanatory notes and cross-references to related essays.

This book recalls, for nonscientific readers, the history of quantum mechanics, the main points of its interpretation, and Einstein's objections to it, together with the responses engendered by his arguments. We point out that most popular discussions on the strange aspects of quantum mechanics ignore the fundamental fact that Einstein was correct in his insistence that the theory does not directly describe reality. While that fact does not remove these counterintuitive features, it casts them in a different light."--page vi.

This paper sketches a taxonomy of forms of substantivalism and relationism concerning space and time, and of the traditional arguments for these positions. Several natural sorts of relationism are able to account for Newton's bucket experiment. Conversely, appropriately constructed substantivalism can survive Leibniz's critique, a fact which has been obscured by the conflation of two of Leibniz's arguments. The form of relationism appropriate to the Special Theory of Relativity is also able to evade the problems raised by Field. I (...) survey the effect of the General Theory of Relativity and of plenism on these considerations. (shrink)

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

Presents Newton's unifying idea of gravitation and explains how he converted physics from a science of explanation into a general mathematical system.

The eight pieces constituting this Meeting Report are summaries of presentations made during a panel session at the 2011 Association for Practical and Professional Ethics (APPE) annual meeting held between March 3rd and 6th in Cincinnati. Lisa Newton organized the session and served as chair. The panel of eight consisted both of pioneers in the field and more recent arrivals. It covered a range of topics from how the field has developed to where it should be going, from identification of (...) issues needing further study to problems of training the next generation of engineers and engineering-ethics scholars. (shrink)

Far from overthrowing or stepping outside that tradition, Wittgenstein builds on it, draws from it, and contributes brilliantly to the fruition of certain elements in it. In This Complicated Form of Life, Garver analyzes from several angles Wittgenstein's relationship to Kant, and to what Finch has called Wittgenstein's completion of Kant's revolt against the Cartesian hegemony of epistemology in philosophy.

This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere.

Reproduces the text of Newton's dissertation on the nature and properties of light.

Late in 1990, the Center for the Study of Ethics in the Professions at Illinois Institute of Technology (lIT) received a grant of more than $200,000 from the National Science Foundation to try a campus-wide approach to integrating professional ethics into its technical curriculum.! Enough has now been accomplished to draw some tentative conclusions. I am the grant's principal investigator. In this paper, I shall describe what we at lIT did, what we learned, and what others, especially philosophers, can learn (...) from us. We set out to develop an approach that others could profitably adopt. I believe that we succeeded. (shrink)

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we (...) present a higher-order logical system in which these concepts are systematically separated. A classical semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles. (shrink)

This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere. doi: http://dx.doi.org/ 10.5007 / 1808-1711.2011v15n3p453.

Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...) the elimination of definitions is not necessarily straightforward in particular in the case of paraconsistent logic. Finally we have a look at Meinong’s theory objects and we show how it can be considered as a theory of descriptors. (shrink)

In view of the presertt state of development of non cktssicallogic, especially of paraconsistent logic, a new stand regardmg the relatzons between logtc and ontology is deferded In a parody of a dicturn of Quine, my stand may be summarized as follows To be is to be the value of a vanable a specific language with a given underlymg logic Yet my stand differs from Qutne's, because, among other reasons, I accept some first order heterodox logIcs as genutne alternatwes to (...) ciassical logic I aiso discuss some questions of non classical logic to substantzate my argument, and suggest that rny position complements and extends some uleas advanced by L Apostei. (shrink)

An improvement on Horwich's so-called pseudo-proof of Russell 's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

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

How aggressively should we pursue life-sustaining treatment of the demented patient? This question becomes increasingly important as our population ages and medical technology offers ever more life-prolongation. In Life'sDominion, Ronald Dworkin addresses the issue in the context of an Alzheimer patient who had previously declared the desire to avoid life-sustaining intervention. Dworkin argues for the primacy of what he calls precedent autonomy: In 1995, the HastingsCenterReport carried thoughtful rebuttals by Daniel Callahan and Rebecca Dresser. Much of Callahan's article is devoted (...) to patients who never executed an advance directive, but he states unequivocally that such directives can be overridden, basing much of his argument on the writings of Sanford Kadish. Together, Dresser, Callahan, and Kadish define a clear position opposed to precedent autonomy. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field. Our approach was inspired by the work of Whitehead, though our (...) philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

Sir Isaac Newton (1642-1727) left a voluminous legacy of writings. Despite his influence on the early modern period, his correspondence, manuscripts, and publications in natural philosophy remain scattered throughout many disparate editions. In this volume, Newton's principal philosophical writings are for the first time collected in a single place. They include excerpts from the Principia and the Opticks, his famous correspondence with Boyle and with Bentley, and his equally significant correspondence with Leibniz, which is often ignored in favor of Leibniz's (...) later debate with Samuel Clarke. Newton's exchanges with Leibniz place their different understandings of natural philosophy in sharp relief. The volume also includes 'De Gravitatione', offered here in a corrected translation, which is crucial for understanding Newton's relation to his great predecessor Descartes. In a historical and philosophical introduction, Andrew Janiak examines Newton's philosophical positions and his relations to canonical figures in early modern philosophy. (shrink)

Kant’s distinction between analytic and synthetic judgments is best known through his metaphoric definition of an analytic judgment as one in which “the predicate B belongs to the subject A, as something which is contained in this subject A”. Although this is the most famous formulation of Kant’s distinction, what strikes a student most forcefully about Kant’s discussion of analyticity is the variety of different ways in which he explains the idea. One can identify passages which seem to make analyticity (...) depend upon containment, identity, contradiction, our way of knowing the judgment in question, our way of thinking the judgment in question, the function or role of the judgment in question. In addition to these six prima facie different conceptions of analyticity, there is also a question whether Kant intends his distinction to range over all judgments or only over subject-predicate judgments; if we apply these two alternatives to the six conceptions of analyticity, we have a total of twelve theories of analyticity contained in or suggested by Kant’s discussion. This is a bewildering situation indeed, and it is no wonder that subsequent discussions of analyticity have often lacked the decisiveness that one might wish for in matters of logic. (shrink)

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva ). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva’s notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are (...) made on the universal theory of structures. (shrink)