Time and Space in Formal Logic (eBook)
303 Seiten
Advanced Reasoning Forum (Verlag)
978-1-938421-69-3 (ISBN)
Richard L. Epstein is the author of Computability (with Walter Carnielli), the series The Semantic Foundations of Logic (Propositional Logics, Predicate Logic, Classical Mathematical Logic), the series Logic as the Art of Reasoning Well, and this current series Logic, Language, and the World (An Introduction to Formal Logic, The Internal Structure of Predicates and Names). He is currently the Head of the Advanced Reasoning Forum.
Preface
Logic and Language
1 Propositions and Inferences
2 Logic and Language
Temporal Propositional Connectives
3 Times and Propositions
4 Temporal Connectives
5 Time as an Ordering
6 Classical Propositional Logic witt Temporal
Connectives
7 Reduced Models
8 An Axiom System
9 Examples of Formalizing
10 Other Orderings of Time
11 Past, Present, and Future
Quantifying over Relative Times
12 Quantifying over Relative Times via Indices
13 Examples of Formalizing
Time in Predicate Logic
14 The Timelessness of Classical Predicate
Logic
15 Time and Reference in Predicate Logic
16 Times as Things
17 Basic Assumptions about Time
18 Times and Predications
19 Identity and the Equality Predicate
20 When Things Exist
21 The Logic QT
22 Examples of Formalizing: The Nature
of Time
23 The Internal Structure of Atomic Predicates
Formalizing with Quantifying over Times
24 Quasi-Linear Time
25 Formalizing English Tenses
26 Examples of Formalizing: Context of
Utterance and Tenses
27 Examples of Formalizing: Existence
28 Examples of Formalizing: Attributes
29 Relativizing Quantifiers
30 Examples of Formalizing: Meaning Axioms
31 Examples of Formalizing: How Many Times
32 Examples of Formalizing: The Internal
Structure of Predicates and Names
33 Measuring Time?
34 Other Tenses
35 The Habitual
Space in Predicate Logic
36 Things in Time and Space
37 Locations
38 References to Things, Times, and Locations
Are Independent
39 Assumptions about Locations
40 True in a Location
41 Locational Predicates
42 Existence in Space and Time
43 Where Things Are
44 A Formal Logic
45 Semantics
46 An Axiom System
47 Examples of Formalizing: The Nature
of Space
48 Informal Examples
49 Examples of Formalizing
50 Location-Orienting Predicates
51 Parts of Physical Things
Metaphysical Bases of Logics of Time and Space
Appendices
Tenses as Propositional Operators
The Tapestry of Time
Events
Intentions
Descriptive Names
Bibliography
Index of Examples
Index of Notation
Index
Erscheint lt. Verlag | 13.9.2022 |
---|---|
Reihe/Serie | Logic, Language, and the World |
Verlagsort | Socorro |
Sprache | englisch |
Themenwelt | Geisteswissenschaften ► Philosophie |
Schlagworte | Formal Logic • Metaphysics • space • Time |
ISBN-10 | 1-938421-69-8 / 1938421698 |
ISBN-13 | 978-1-938421-69-3 / 9781938421693 |
Haben Sie eine Frage zum Produkt? |
Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich