Thought experiments are widely used in the informal explanation of Relativity Theories; however, they are not present explicitly in formalized versions of Relativity Theory. In this paper, we present an axiom system of Special Relativity which is able to grasp thought experiments formally and explicitly. Moreover, using these thought experiments, we can provide an explicit definition of relativistic mass based only on kinematical concepts and we can geometrically prove the Mass Increase Formula in a natural way, without postulates of conservation (...) of mass and momentum. (shrink)

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional (...) coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

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

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

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

There are three elements in this paper. One is what we shall call ‘the Hungarian project’. This is the collected work of Andréka, Madarász, Németi, Székely and others. The second is Molinini’s philosophical work on the nature of mathematical explanations in science. The third is my pluralist approach to mathematics. The theses of this paper are that the Hungarian project gives genuine mathematical explanations for physical phenomena. A pluralist account of mathematical explanation can help us with appreciating the significance of (...) the Hungarian project. The significance consists in the fruitfulness and spread of the project. The spread is wide because the explanations are written in the very familiar language of first-order logic with identity. For this reason, the explanation is understandable to many mathematicians. Because of the methodology adopted in the Hungarian project, the explanations are fruitful in another sense. In the Hungarian project certain questions are asked that would not be asked with a more usual methodology. The Hungarians are distinguished from other scientists in asking logical and mathematical questions, and these both deepen our understanding of the physical theories and induce further spread to mathematics and philosophy. (shrink)

An ab-initio foundation for relativistic spacetime is given, which is a conservative extension of Zermelo’s set theory with urelemente. Primitive entities are worldlines rather than spacetime points. Spacetime points are sets of intersecting worldlines. By the proper axioms, they form a manifold. Entities known in differential geometry, up to a metric, are defined and have the usual properties. A set-realistic point of view is adopted. The intended ontology is a set-theoretical hierarchy with a broad base of the empty set and (...) urelemente. Sets generated from the empty set are mathematically interpreted, all other sets are physically interpreted. (shrink)

This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...) determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

It is widely believed that the principal difference between Einstein's special relativity and its contemporary rival Lorentz-type theories was that while the Lorentz-type theories were also capable of “explaining away” the null result of the Michelson-Morley experiment and other experimental findings by means of the distortions of moving measuring-rods and moving clocks, special relativity revealed more fundamental new facts about the geometry of space-time behind these phenomena. I shall argue that special relativity tells us nothing new about the geometry of (...) space-time, in comparison with the pre-relativistic Galileo-invariant conceptions; it simply calls something else "space-time", and this something else has different properties. All statements of special relativity about those features of reality that correspond to the original meaning of the terms "space" and "time" are identical with the corresponding traditional pre-relativistic statements. It will be also argued that special relativity and Lorentz theory are completely identical in both senses, as theories about space-time and as theories about the behavior of moving physical objects. (shrink)

Minkowski geometry is axiomatized in terms of the asymmetric binary relation of optical connectibility, using ten first-order axioms and the second-order continuity axiom. An axiom system in terms of the symmetric binary optical connection relation is also presented. The present development is much simpler than the corresponding work of Robb, upon which it is modeled.