Time and Space in Formal Logic (PDF)
(Sprache: Englisch)
Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal...
sofort als Download lieferbar
eBook (pdf)
29.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Time and Space in Formal Logic (PDF)“
Time and Space in Formal Logic begins with an analysis of assumptions about how logic and language relate. Then in the first section, times are taken to be established by true propositions, and those are related as before and after with temporal propositional connectives. In the second section, times are treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over times. In the third section, locations in space are also treated as things that can be picked out and counted, leading to a predicate logic that allows for quantification over both times and locations. Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems. Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.
Autoren-Porträt von Richard L. Epstein
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.
Bibliographische Angaben
- Autor: Richard L. Epstein
- Altersempfehlung: 18 - 99 Jahre
- 2022, 303 Seiten, Englisch
- Verlag: Advanced Reasoning Forum
- ISBN-10: 1938421698
- ISBN-13: 9781938421693
- Erscheinungsdatum: 13.09.2022
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.53 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Family Sharing
eBooks und Audiobooks (Hörbuch-Downloads) mit der Familie teilen und gemeinsam genießen. Mehr Infos hier.
Kommentar zu "Time and Space in Formal Logic"
Schreiben Sie einen Kommentar zu "Time and Space in Formal Logic".
Kommentar verfassen