Temporal Logic

Capa
Springer Science & Business Media, 06/12/2012 - 273 páginas
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.
 

Opinião das pessoas - Escrever uma crítica

Não foram encontradas quaisquer críticas nos locais habituais.

Índice

Foreword on Notation and Prerequisites
1
Chapter II
13
The Possible Worlds Interpretation of Topological Logic
21
Dates and PseudoDates
27
Temporal Homogeneity
35
Temporal and Topological Logic
43
The Introduction of Tense Operators
50
Semantics for Tense Logic
56
Tense Logical Characterizability and Definability
117
Chapter XII
125
Further Definitions of Modality
133
Chronological Purity
144
The Absolute vs the Relative Conception of Time
151
Some Applicable Distinctions
159
Stochastic Processes and Branching Time
166
Some Further Perspectives on Instantaneous World States
173

The Completeness of Kt
62
Chapter VII
68
The Logic of Branching Time
74
Systematic Tableaux
81
Chapter VIII
88
Chapter IX
98
Deriving a URelation from the Metric
105
Archimedeanism
114
The Concept of a World History
179
The Master Argument of Diodorus
189
Temporal Determination
203
A ManyValued Articulation of Temporal Logic
216
Chapter XX
234
Appendix I
249
B Author Listing Alphabetical
264
Direitos de autor

Outras edições - Ver tudo

Palavras e frases frequentes

Informação bibliográfica