The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: Synthese Library, cartea 156

Subliniem faptul că The Logic of Time reprezintă o investigație riguroasă în ontologia și discursul temporal, fiind structurată metodologic pentru a oferi o coloană vertebrală intelectuală temelor filozofice care, altfel, riscă să rămână la nivel de eseu. Johan van Benthem organizează materialul pornind de la fundamentul ontologic (Partea I), unde analizează noțiunile primitive, punctele și perioadele, pentru ca în a doua parte să examineze limbajele logice capabile să exprime aceste structuri. Suntem de părere că abordarea autorului, care utilizează teoria modelelor clasice în detrimentul unor tehnici intensionale mai puțin accesibile, face ca această lucrare să fie un instrument esențial pentru cercetare.

Această a doua ediție a volumului 156 din Synthese Library consolidează viziunea autorului asupra logicii temporale ca disciplină exactă. În contextul operei sale, The Logic of Time servește drept precursor pentru explorările sale ulterioare din Modal Logic for Open Minds, unde logica modală este prezentată într-un spectru academic larg, și din Handbook of Spatial Logics, unde interesul pentru entitățile geometrice și relațiile spațiale oglindește rigoarea aplicată aici timpului.

Considerăm că această lucrare completează perspectiva oferită de Temporal Logic de Peter Øhrstrøm. În timp ce Øhrstrøm se concentrează pe o istorie vastă a ideilor, de la antichitate la inteligența artificială, Johan van Benthem propune un model teoretic specific și sistematic, axat pe formalismul logic pur. De asemenea, spre deosebire de abordarea din Papers on Time and Tense a lui Arthur N. Prior, care pune bazele metafizice ale subiectului, volumul de față rafinează tehnicile de modelare, oferind o claritate structurală superioară în ceea ce privește tranziția de la logica instanțelor la logica perioadelor extinse.