Time and Space in Formal Logic
Zeit und Raum in der formalen Logik beginnt mit einer Analyse der Annahmen darüber, wie Logik und Sprache zusammenhängen. Im ersten Abschnitt werden Zeiten durch wahre Sätze festgelegt, und diese werden mit zeitlichen propositionalen Konnektiven als vorher und nachher in Beziehung gesetzt.
Im zweiten Abschnitt werden Zeiten als Dinge behandelt, die herausgegriffen und gezählt werden können, was zu einer Prädikatenlogik führt, die eine Quantifizierung über Zeiten ermöglicht. Im dritten Abschnitt werden Orte im Raum ebenfalls als Dinge behandelt, die herausgegriffen und gezählt werden können, was zu einer Prädikatenlogik führt, die eine Quantifizierung sowohl über Zeiten als auch über Orte ermöglicht.
Viele Anwendungen der formalen Systeme zur Formalisierung von Sätzen und Schlussfolgerungen in gewöhnlicher Sprache verdeutlichen besser die Annahmen, die wir bei der Argumentation unter Berücksichtigung von Zeit und Raum machen, indem wir diese in den formalen Systemen präzisieren. Anhänge über Ereignisse, Verzweigungszeiten, Absichten und beschreibende Namen erweitern den Umfang der Arbeit.
| ISBN: | 9781938421686 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
