skip to content
Temporal Logic Preview this item
ClosePreview this item
Checking...

Temporal Logic

Author: Nicholas Rescher; Alasdair Urquhart
Publisher: Vienna : Springer Vienna, 1971.
Series: LEP Library of Exact Philosophy, 3; LEP Library of Exact Philosophy, 3.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Nicholas Rescher; Alasdair Urquhart
ISBN: 9783709176641 3709176646 9783709176665 3709176662
OCLC Number: 858942027
Description: 1 online resource.
Contents: I The Background of Temporal Logic --
II Topological Logic --
1. Introduction --
2. The P-Operator --
3. Three Basic Axioms --
4. The Relation of P-Unqualified to P-Qualified Formulas: The Preferred Position? : A Fourth Axiom --
5. The Iteration of P: A Fifth Axiom and the Two Systems PI and PII --
6. The Possible Worlds Interpretation of Topological Logic --
III Fundamental Distinctions for Temporal Logic --
1. The Temporal Equivocality of IS --
2. Translating Temporal to Atemporal IS --
3. Temporally Definite and Indefinite Statements --
4. The Implicit Ubiquity of 'Now' in Tensed Statements --
5. Dates and Pseudo-Dates --
6. Times of Assertion --
7. Two Styles of Chronology --
IV The Basic System R of Temporal Logic --
1. The Concept of Temporal Realization --
2. The Temporal Transparency of 'Now' --
3. Temporal Homogeneity --
4. Axioms for the Logical Theory of Chronological Propositions --
5. Temporal and Topological Logic --
6. The Completeness and Decidability of R --
V The Introduction of Tense Operators --
1. Presentness and Precedence --
2. Tense --
VI The System Kt of Minimal Tense Logic --
1. The Problem of a Minimal Tense Logic --
2. Semantics for Tense Logic --
3. Semantic Tableaux --
4. The Completeness of Kt --
5. Some Corollaries --
6. Completeness of Kt with Respect to R --
VII Branching Time: The System Kb --
1. Branching Structures --
2. The Concept of an Open Future --
3. The Logic of Branching Time --
4. Axiomatization of Kb --
5. Semantic Tableaux --
6. Systematic Tableaux --
7. Completeness Proof for Kb --
VIII Linear Time: The System Kl and Its Variants --
1. The Logic of Linear Time, Kl --
2. Extensions of Kl --
IX Additive Time: The Systems R? and R?± --
1. Temporal-Groups and the System R? --
2. Additive Temporal Logic and the System R?± --
X Metric Time and Chronological Logic: The System R+ --
1. The Concept of Metric Time --
2. Deriving a U-Relation from the Metric --
3. The System R+ --
4. 'Distance' into Past and Future --
5. Archimedeanism --
6. Linear Realizability --
XI Tense Logical Characterizability and Definability --
1. Expressibility and Characterizability --
2. Tense-Logical Definability --
XII Temporal Modality --
1. The Tensed Interpretation of Modality --
2. Modality in Tense Logic --
3. Further Definitions of Modality --
XIII Temporally Conditioned Descriptions and the Concept of Temporal Purity --
1. Temporally Conditioned Descriptions --
2. Chronological Purity --
3. The 'Purely Phenomenological' Characterization of the Occurrences of a Moment --
4. The Absolute vs. the Relative Conception of Time --
XIV The Theory of Processes --
1. What is a Process? --
2. The Representation of Processes: Process Implications --
3. Activities and Processes: Some Applicable Distinctions --
4. Quasi-Processes: On Coming to Be and Passing Away --
5. Stochastic vs. Deterministic Processes --
6. Stochastic Processes and Branching Time --
7. The Structure of Events --
XV The Logic of World States --
1. The Concept of a World State --
2. Some Further Perspectives on Instantaneous World States --
3. The Concept of a World History --
4. Development of R-calculi Within Tense Logic --
XVI The Dimensionality of Time --
XVII The 'Master Argument' of Diodorus and Temporal Determinism --
1. The 'Master Argument' --
2. Necessity and Determinism in the Context of the 'Master Argument' --
3. Evading the Deterministic Conclusion of the 'Master Argument' --
4. The Groundwork of a 3-Valued Conception of Temporal Truth --
5. Alternative Futures and Future Contingency --
6. Temporal Determination --
7. Nomological Necessitation --
XVIII Many-Valued Approaches to Temporal Logic --
1. A Mode of 'Three-Valued' Tense Logic --
2. A Many-Valued Articulation of Temporal Logic --
3. A Three-Valued Tense Logic: Semantic Considerations --
4. Generalizing the Preceding Approach --
XIX Propositional Quantification in Tensed Statements --
XX Quantification, Temporal Existence, and Identity --
1. Individuals and Quantifiers --
2. Quantification and Temporal Modality --
3. Quantified Tense Logic --
4. Temporal Change, Identity, and Leibniz' Law --
5. Alternative Histories in Branching Time --
6. Quantified Modal Logic in Branching Time --
Appendix I A Summary of Axiom Systems for Topological, Temporal and Modal Logics --
Appendix II The Modal Structure of Tense-Logical Systems --
Bibliography of Temporal Logic --
A. Chronological Listing --
B. Author Listing (Alphabetical) --
Index of Names.
Series Title: LEP Library of Exact Philosophy, 3; LEP Library of Exact Philosophy, 3.
Responsibility: by Nicholas Rescher, Alasdair Urquhart.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/858942027> # Temporal Logic
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "858942027" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/458064#Place/vienna> ; # Vienna
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/au> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/458064#Topic/science_general> ; # Science (General)
   schema:about <http://dewey.info/class/511.3/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/28116356> ; # Alasdair Urquhart
   schema:creator <http://viaf.org/viaf/108297377> ; # Nicholas Rescher
   schema:datePublished "1971" ;
   schema:description "I The Background of Temporal Logic -- II Topological Logic -- 1. Introduction -- 2. The P-Operator -- 3. Three Basic Axioms -- 4. The Relation of P-Unqualified to P-Qualified Formulas: The Preferred Position? : A Fourth Axiom -- 5. The Iteration of P: A Fifth Axiom and the Two Systems PI and PII -- 6. The Possible Worlds Interpretation of Topological Logic -- III Fundamental Distinctions for Temporal Logic -- 1. The Temporal Equivocality of IS -- 2. Translating Temporal to Atemporal IS -- 3. Temporally Definite and Indefinite Statements -- 4. The Implicit Ubiquity of 'Now' in Tensed Statements -- 5. Dates and Pseudo-Dates -- 6. Times of Assertion -- 7. Two Styles of Chronology -- IV The Basic System R of Temporal Logic -- 1. The Concept of Temporal Realization -- 2. The Temporal Transparency of 'Now' -- 3. Temporal Homogeneity -- 4. Axioms for the Logical Theory of Chronological Propositions -- 5. Temporal and Topological Logic -- 6. The Completeness and Decidability of R -- V The Introduction of Tense Operators -- 1. Presentness and Precedence -- 2. Tense -- VI The System Kt of Minimal Tense Logic -- 1. The Problem of a Minimal Tense Logic -- 2. Semantics for Tense Logic -- 3. Semantic Tableaux -- 4. The Completeness of Kt -- 5. Some Corollaries -- 6. Completeness of Kt with Respect to R -- VII Branching Time: The System Kb -- 1. Branching Structures -- 2. The Concept of an Open Future -- 3. The Logic of Branching Time -- 4. Axiomatization of Kb -- 5. Semantic Tableaux -- 6. Systematic Tableaux -- 7. Completeness Proof for Kb -- VIII Linear Time: The System Kl and Its Variants -- 1. The Logic of Linear Time, Kl -- 2. Extensions of Kl -- IX Additive Time: The Systems R? and R?± -- 1. Temporal-Groups and the System R? -- 2. Additive Temporal Logic and the System R?± -- X Metric Time and Chronological Logic: The System R+ -- 1. The Concept of Metric Time -- 2. Deriving a U-Relation from the Metric -- 3. The System R+ -- 4. 'Distance' into Past and Future -- 5. Archimedeanism -- 6. Linear Realizability -- XI Tense Logical Characterizability and Definability -- 1. Expressibility and Characterizability -- 2. Tense-Logical Definability -- XII Temporal Modality -- 1. The Tensed Interpretation of Modality -- 2. Modality in Tense Logic -- 3. Further Definitions of Modality -- XIII Temporally Conditioned Descriptions and the Concept of Temporal Purity -- 1. Temporally Conditioned Descriptions -- 2. Chronological Purity -- 3. The 'Purely Phenomenological' Characterization of the Occurrences of a Moment -- 4. The Absolute vs. the Relative Conception of Time -- XIV The Theory of Processes -- 1. What is a Process? -- 2. The Representation of Processes: Process Implications -- 3. Activities and Processes: Some Applicable Distinctions -- 4. Quasi-Processes: On Coming to Be and Passing Away -- 5. Stochastic vs. Deterministic Processes -- 6. Stochastic Processes and Branching Time -- 7. The Structure of Events -- XV The Logic of World States -- 1. The Concept of a World State -- 2. Some Further Perspectives on Instantaneous World States -- 3. The Concept of a World History -- 4. Development of R-calculi Within Tense Logic -- XVI The Dimensionality of Time -- XVII The 'Master Argument' of Diodorus and Temporal Determinism -- 1. The 'Master Argument' -- 2. Necessity and Determinism in the Context of the 'Master Argument' -- 3. Evading the Deterministic Conclusion of the 'Master Argument' -- 4. The Groundwork of a 3-Valued Conception of Temporal Truth -- 5. Alternative Futures and Future Contingency -- 6. Temporal Determination -- 7. Nomological Necessitation -- XVIII Many-Valued Approaches to Temporal Logic -- 1. A Mode of 'Three-Valued' Tense Logic -- 2. A Many-Valued Articulation of Temporal Logic -- 3. A Three-Valued Tense Logic: Semantic Considerations -- 4. Generalizing the Preceding Approach -- XIX Propositional Quantification in Tensed Statements -- XX Quantification, Temporal Existence, and Identity -- 1. Individuals and Quantifiers -- 2. Quantification and Temporal Modality -- 3. Quantified Tense Logic -- 4. Temporal Change, Identity, and Leibniz' Law -- 5. Alternative Histories in Branching Time -- 6. Quantified Modal Logic in Branching Time -- Appendix I A Summary of Axiom Systems for Topological, Temporal and Modal Logics -- Appendix II The Modal Structure of Tense-Logical Systems -- Bibliography of Temporal Logic -- A. Chronological Listing -- B. Author Listing (Alphabetical) -- Index of Names."@en ;
   schema:description "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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/458064> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0075-9104> ; # LEP Library of Exact Philosophy ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/458064#CreativeWork/> ;
   schema:name "Temporal Logic"@en ;
   schema:productID "858942027" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/858942027#PublicationEvent/vienna_springer_vienna_1971> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/458064#Agent/springer_vienna> ; # Springer Vienna
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3099568> ;
   schema:url <http://dx.doi.org/10.1007/978-3-7091-7664-1> ;
   schema:url <http://link.springer.com/10.1007/978-3-7091-7664-1> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-211-80995-2> ;
   schema:workExample <http://worldcat.org/isbn/9783709176641> ;
   schema:workExample <http://worldcat.org/isbn/9783709176665> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-7091-7664-1> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/858942027> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/458064#Agent/springer_vienna> # Springer Vienna
    a bgn:Agent ;
   schema:name "Springer Vienna" ;
    .

<http://experiment.worldcat.org/entity/work/data/458064#Topic/science_general> # Science (General)
    a schema:Intangible ;
   schema:name "Science (General)"@en ;
    .

<http://link.springer.com/10.1007/978-3-7091-7664-1>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/108297377> # Nicholas Rescher
    a schema:Person ;
   schema:familyName "Rescher" ;
   schema:givenName "Nicholas" ;
   schema:name "Nicholas Rescher" ;
    .

<http://viaf.org/viaf/28116356> # Alasdair Urquhart
    a schema:Person ;
   schema:familyName "Urquhart" ;
   schema:givenName "Alasdair" ;
   schema:name "Alasdair Urquhart" ;
    .

<http://worldcat.org/isbn/9783709176641>
    a schema:ProductModel ;
   schema:isbn "3709176646" ;
   schema:isbn "9783709176641" ;
    .

<http://worldcat.org/isbn/9783709176665>
    a schema:ProductModel ;
   schema:isbn "3709176662" ;
   schema:isbn "9783709176665" ;
    .

<http://worldcat.org/issn/0075-9104> # LEP Library of Exact Philosophy ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/858942027> ; # Temporal Logic
   schema:issn "0075-9104" ;
   schema:name "LEP Library of Exact Philosophy ;" ;
   schema:name "LEP Library of Exact Philosophy," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.