Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is an introduction to temporal logic, a now flourishing branch of philosophical logic whose origin is of recent date, its main impetus having been provided by the publication in the late 1950s of A. N. PRIOR'S pioneering book, Time and Modality (Oxford, The Clarendon Press, 1957). Virtually all work in the field to around 1966 is surveyed in PRIOR'S elegant treatise Past, Present and Future (Oxford, The Clarendon Press, 1967). In consequence, it is no simple matter to write a comprehensive book on the subject with out merely rehearsing material already dealt with in PRIOR'S works. We believe, however, that the present book succeeds in this difficult endeavor because it approaches established materials from wholly novel points of departure, and is thus able to attain new perspectives and achieve new results. Its introductory character notwithstanding, the present work is consequently in substantial measure devoted to an exposition of new findings and a demonstration of new results. Parts of the book have been published previously. Chapter II is a modified version of an article of the same title by N. RESCHER and JAMES GARSON in The Journal of Symbolic Logic (vol. 33 [1968], pp.537-548). And Chapter XIII is a modified version of the article "Temporally Conditioned Descriptions" by N. RESCHER and JOHN ROBISON in Ratio, vol. 8 (1966), pp. 46-54. The authors are grateful to Professors GARSON and ROBISON, and to the editors of the jounal involved, for their permission to use this materials here."

Logic, Symbolic and mathematical --- Time --- Modality (Logic) --- Logique symbolique et mathématique --- Temps --- Modalité (Logique) --- Logique symbolique et mathématique --- Modalité (Logique) --- Logique mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume covers the period from the beginning of Russell's work on Volume Two of the Principles of Mathematics to the critical discovery of the theory of descriptions in 1905. Foundations of Logic gives a vivid picture of Russell wrestling with the logical paradoxes, often unsuccessfully, as he tries out one foundational scheme after another. This volume provides the key to both Bertrand Russell's philosophy of logic and philosophy of mathematics. It includes unpublished work on the theory of denoting which predates Russell's famous article of 1905 and unpublished manuscripts on the so-called "zig-zag" theory with which Russell attempted to provide a type-free foundation for mathematics. The volume also gathers together for the first time a number of reviews and survey articles, along with two talks on modality and truth. It will be an essential addition to any Bertrand Russell collection.-- Publisher description.

Philosophy --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- Mathematics --- #GROL:SEMI-1-05'19' --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic of mathematics --- Mathematics, Logic of --- Aufsatzsammlung. --- Logic, Symbolic and mathematical. --- Logica. --- Logik. --- Logique symbolique et mathématique. --- Mathematische Logik. --- Mathématiques --- Quelle. --- Philosophy. --- Philosophie. --- Russell, Bertrand. --- Geschichte 1903-1905.