We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we “derive” an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.

In this paper I discuss the relationship between model, theories, and laws in the practice of experimental scale modeling. The methodology of experimental scale modeling, also known as physical similarity, differs markedly from that of other kinds of models in ways that are important to issues in philoso-phy of science. In this paper, I examine how scale models are used in making inferences. Th...

physics is concerned with the development and analysis of conceptual models of physics and explores the consequences of theory. The goals of courses on an abstract physics topic are to excite students about the subject area, provide a rationale for the relevant models, and develop abstract thinking abilities. However, many students undertake a surface learning approach and focus on manipulating...

The categorical relativity is a groupoid category of massive bodies in mutual motions. The relative velocity is defined to be the basis-free and coordinate-free binary morphism. In categorical relativity there is no need to distinguish separately the constant relative velocities (special relativity) from the variable accelerated velocities, hence the categorical relativity goes beyond boundary ...

In Special Relativity there are infinitely many equivalence classes of frames of reference. In each such class every two frames of reference move uniformly with respect to one another. It appears that the following questions have never been asked : In which of such equivalence classes of frames of reference is Special Relativity supposed to hold ? How can we identify such a class, and do so the...