Time and Space in Formal Logic
Czas i przestrzeń w logice formalnej rozpoczyna się od analizy założeń dotyczących relacji między logiką a językiem. Następnie, w pierwszej sekcji, czasy są ustalane przez prawdziwe zdania, a te są powiązane jako przed i po za pomocą temporalnych łączników zdaniowych.
W drugiej sekcji, czasy są traktowane jako rzeczy, które można wybrać i policzyć, co prowadzi do logiki predykatów, która pozwala na kwantyfikację czasu. W trzeciej sekcji lokalizacje w przestrzeni są również traktowane jako rzeczy, które można wybrać i policzyć, co prowadzi do logiki predykatów, która pozwala na kwantyfikację zarówno czasów, jak i lokalizacji.
Wiele zastosowań systemów formalnych do formalizowania twierdzeń i wnioskowań w języku potocznym lepiej wyjaśnia założenia, które przyjmujemy w rozumowaniach uwzględniających czas i przestrzeń, precyzując je w systemach formalnych. Dodatki dotyczące zdarzeń, czasów rozgałęzień, intencji i nazw opisowych uzupełniają zakres pracy.
