This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)

This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...) and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. (shrink)

It is common in the literature on classical electrodynamics (ED) and relativity theory that the transformation rules for the basic electrodynamical quantities are derived from the hypothesis that the relativity principle (RP) applies to Maxwell’s electrodynamics. As it will turn out from our analysis, these derivations raise several problems, and certain steps are logically questionable. This is, however, not our main concern in this paper. Even if these derivations were completely correct, they leave open the following questions: (1) Is the (...) RP a true law of nature for electrodynamical phenomena? (2) Are, at least, the transformation rules of the fundamental electrodynamical quantities, derived from the RP, true? (3) Is the RP consistent with the laws of ED in a single inertial frame of reference? (4) Are, at least, the derived transformation rules consistent with the laws of ED in a single frame of reference? Obviously, (1) and (2) are empirical questions. In this paper, we will investigate problems (3) and (4). First we will give a general mathematical formulation of the RP. In the second part, we will deal with the operational definitions of the fundamental electrodynamical quantities. As we will see, these semantic issues are not as trivial as one might think. In the third part of the paper, applying what J. S. Bell calls “Lorentzian pedagogy”—according to which the laws of physics in any one reference frame account for all physical phenomena— we will show that the transformation rules of the electrodynamical quantities are identical with the ones obtained by presuming the covariance of the equations of ED, and that the covariance is indeed satisfied. As to problem (3), the situation is much more complex. As we will see, the RP is actually not a matter of the covariance of the physical equations, but it is a matter of the details of the solutions of the equations, which describe the behavior of moving objects. This raises conceptual problems concerning the meaning of the notion “the same system in a collective motion”.. (shrink)

It is common in the literature on electrodynamics and relativity theory that the transformation rules for the basic electrodynamical quantities are derived from the hypothesis that the relativity principle (RP) applies for Maxwell’s electrodynamics. As it will turn out from our analysis, these derivations raise several problems, and certain steps are logically questionable. This is, however, not our main concern in this paper. Even if these derivations were completely correct, they leave open the following questions: (1) Is (RP) a true (...) law of nature for electrodynamical phenomena? (2) Are, at least, the transformation rules of the fundamental electrodynamical quantities, derived from (RP), true? (3) Is (RP) consistent with the laws of electrodynamics in one single inertial frame of reference? (4) Are, at least, the derived transformation rules consistent with the laws of electrodynamics in one single frame of reference? Obviously, (1) and (2) are empirical questions. In this paper, we will investigate problems (3) and (4). First we will give a general mathematical formulation of (RP). In the second part, we will deal with the operational definitions of the fundamental electrodynamical quantities. As we will see, these semantic issues are not as trivial as one might think. In the third part of the paper, applying what J. S. Bell calls “Lorentzian pedagogy”—according to which the laws of physics in any one reference frame account for all physical phenomena— we will show that the transformation rules of the electrodynamical quantities are identical with the ones obtained by presuming the covariance of the coupled Maxwell–Lorentz equations, and that the covariance is indeed satisfied. As to problem (3), the situation is much more complex. As we will see, the relativity principle is actually not a matter of the covariance of the physical equations, but it is a matter of the details of the solutions of the equations, which describe the behavior of moving objects.. (shrink)

It is common in the literature on classical electrodynamics and relativity theory that the transformation rules for the basic electrodynamical quantities are derived from the pre-assumption that the equations of electrodynamics are covariant against these---unknown---transformation rules. There are several problems to be raised concerning these derivations. This is, however, not our main concern in this paper. Even if these derivations were completely correct, they leave open the following fundamental question: Are the so-obtained transformation rules indeed identical with the true transformation (...) rules of the fundamental electrodynamical quantities? In other words, is it indeed the case that the values calculated from the quantities in one inertial frame by means of the transformation rules we derived are equal to the values of the same quantities obtained by the same operations with the same measuring equipments when they are co-moving with the other inertial frame? This is of course an empirical question. In this paper, we will investigate the problem in a purely theoretical framework by applying what J. S. Bell calls “Lorentzian pedagogy”---according to which the laws of physics in any one reference frame account for all physical phenomena. We will show that the transformation rules of the electrodynamical quantities are indeed identical with the ones obtained by presuming the covariance of the equations of electrodynamics, and that the covariance is indeed satisfied. Beforehand, however, we need to clarify the operational definitions of the fundamental electrodynamical quantities. As we will see, these semantic issues are not as trivial as one might think. (shrink)

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...) also studied. (shrink)