Clear, comprehensive, intermediate introduction to logical languages, applications of symbolic logic to physics, mathematics, biology.

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

The contemporary view of the fundamental role of time in physics generally ignores its most obvious characteric, namely its flow. Studies in the foundations of relativistic mechanics during the past decade have shown that the dynamical evolution of a system can be treated in a manifestly covariant way, in terms of the solution of a system of canonical Hamilton type equations, by considering the space-time coordinates and momenta ofevents as its fundamental description. The evolution of the events, as functions of (...) a universal invariant world, or historical, time, traces out the world lines that represent the phenomena (e.g., particles) which are observed in the laboratory. The positions in time of each of the events, i.e., the time of their potential detection, are, in this framework, controlled by this universal parameter τ, the time at which they are generated (and may proceed in the positive or negative sense). We find that the notion of thestate of a system requires generalization; at any given τ, it involves information about the system at timest(τ) ≠ τ. The correlation of what may be measured att(τ) with what is generated at τ is necessarily quite rigid, and is related covariantly to the spacelike correlations found in interference experiments. We find, furthermore, that interaction with Maxwell electromagnetism leads back to a static picture of the world, with no real evolution. As a consequence of this result, and the requirement of gauge invariance for the quantum mechanical evolution equation, we conclude that electromagnetism is described by a pre-Maxwell field, whose τ-integral (or asymptotic behavior as τ → ∞) may be identified with the Maxwell field. We therefore consider the world of events in space time, interacting through τ-dependent pre-Maxwell fields, as far as electrodynamics is concerned, as the objective dynamical reality. Our perception of the world, through laboratory detectors and our eyes, are based onintegration over τ over intervals sufficiently large to obtain an aposteriori description of the phenomena which coincides with the Maxwell theory. Fundamental notions, such as the conservation of charge, rest on this construction. The decomposition of the common notion of time into two essentially different aspects, one associated with an unvarying flow, and the second with direct observation subject to dynamical modification, has profound philosophical consequences, of which we are able to explore here only a few. (shrink)

An early, very preliminary edition of this book was circulated in 1962 under the title Set-theoretical Structures in Science. There are many reasons for maintaining that such structures play a role in the philosophy of science. Perhaps the best is that they provide the right setting for investigating problems of representation and invariance in any systematic part of science, past or present. Examples are easy to cite. Sophisticated analysis of the nature of representation in perception is to be found already (...) in Plato and Aristotle. One of the great intellectual triumphs of the nineteenth century was the mechanical explanation of such familiar concepts as temperature and pressure by their representation in terms of the motion of particles. A more disturbing change of viewpoint was the realization at the beginning of the twentieth century that the separate invariant properties of space and time must be replaced by the space-time invariants of Einstein's special relativity. Another example, the focus of the longest chapter in this book, is controversy extending over several centuries on the proper representation of probability. The six major positions on this question are critically examined. Topics covered in other chapters include an unusually detailed treatment of theoretical and experimental work on visual space, the two senses of invariance represented by weak and strong reversibility of causal processes, and the representation of hidden variables in quantum mechanics. The final chapter concentrates on different kinds of representations of language, concluding with some empirical results on brain-wave representations of words and sentences. (shrink)