{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T10:24:49Z","timestamp":1783506289013,"version":"3.55.0"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":12520,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1979,12]]},"abstract":"<jats:p>\u2018In Time rigorous abstraction, in Time the highest, in Time divine knowledge, is comprehended\u2019<\/jats:p><jats:p><jats:italic>Atharva Veda<\/jats:italic><\/jats:p><jats:p>Following McTaggart [17], we may distinguish two aspects of time: The <jats:italic>A-series<\/jats:italic>, running through the past to the present and on into the future, and the <jats:italic>B-series<\/jats:italic>, running from earlier to later. In Indo-European languages at least, verbs are tensed, so we cannot help but place whatever we speak of in one of the three divisions of the <jats:italic>A<\/jats:italic>-series. But these divisions are not permanent: what is present was future and will be past. Hence a typical statement, e.g. \u2018Socrates is sitting\u2019, may well be true at one time and false at another. The instability of truth-value over time was a commonplace among pre-Renaissance logicians, but most modern writers have \u2018abstracted from\u2019, i.e. ignored, this feature of ordinary language.<\/jats:p><jats:p>Early logicians were quite interested in time: Aristotle questioned the applicability of the excluded middle to predictions of future contingencies in the famous \u2018sea-fight\u2019 passage of <jats:italic><jats:bold>On interpretation.<\/jats:bold><\/jats:italic> Later Greek logicians debated whether that which neither is nor will be can legitimately be called possible, and whether, in order for the conditional \u2018if <jats:italic>p<\/jats:italic>, then <jats:italic>q<\/jats:italic>\u2019 to be true, it is required that \u2018not both <jats:italic>p<\/jats:italic> and not \u223c<jats:italic>q<\/jats:italic>\u2019 be true (not just <jats:italic>now<\/jats:italic> but) <jats:italic>always.<\/jats:italic> Mediaeval logicians in Western Europe struggled with logical difficulties created by the Dogmas of the Church, Omniscience and Free Will. Their counterparts in the Islamic world puzzled over the semantics of the temporal adverbs, \u2018always\u2019, \u2018usually\u2019, \u2018often\u2019, \u2018sometimes\u2019, \u2018seldom\u2019, \u2018never\u2019.<\/jats:p>","DOI":"10.2307\/2273296","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T21:51:21Z","timestamp":1146952281000},"page":"566-582","source":"Crossref","is-referenced-by-count":62,"title":["Logic and time"],"prefix":"10.1017","volume":"44","author":[{"given":"John P.","family":"Burgess","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200048453_ref002","volume-title":"Labyrinth","author":"Borges","year":"1962"},{"key":"S0022481200048453_ref017","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XVII.4.457"},{"key":"S0022481200048453_ref027","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1975.tb00555.x"},{"key":"S0022481200048453_ref014","volume-title":"Studia Logica","author":"Goldblatt"},{"key":"S0022481200048453_ref029","volume-title":"Proceedings of the T\u00fcbingen Conference on Formal Semantics","author":"van Benthem","year":"1977"},{"key":"S0022481200048453_ref018","volume-title":"Time and modality","author":"Prior","year":"1957"},{"key":"S0022481200048453_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(75)90003-0"},{"key":"S0022481200048453_ref012","doi-asserted-by":"publisher","DOI":"10.1103\/RevModPhys.21.447"},{"key":"S0022481200048453_ref008","volume-title":"Elements of intuitionism","author":"Dummett","year":"1977"},{"key":"S0022481200048453_ref015","volume-title":"Selected works","author":"\u0141ukasiewicz","year":"1970"},{"key":"S0022481200048453_ref004","volume-title":"Theoria","author":"Burgess"},{"key":"S0022481200048453_ref001","volume-title":"Labyrinths","author":"Borges","year":"1962"},{"key":"S0022481200048453_ref005","volume-title":"Studia Logica","author":"Burgess"},{"key":"S0022481200048453_ref006","unstructured":"Cocchiarella N. D. , Tense and modal logic, doctoral dissertation, U. C. L. A., 1965."},{"key":"S0022481200048453_ref007","volume-title":"The physics of time asymmetry","author":"Davies","year":"1974"},{"key":"S0022481200048453_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(75)90004-2"},{"key":"S0022481200048453_ref003","first-page":"27","volume":"33","author":"Bull","year":"1968","journal-title":"An algebraic study of tense logic with linear time"},{"key":"S0022481200048453_ref011","first-page":"1","article-title":"Tense systems with split truth table","volume":"80","author":"Gabbay","year":"1978","journal-title":"Logique et Annalyse"},{"key":"S0022481200048453_ref020","volume-title":"Papers on time and tense","author":"Prior","year":"1968"},{"key":"S0022481200048453_ref013","first-page":"555","volume-title":"Albert Einstein, Philosopher-scientist","author":"G\u00f6del","year":"1959"},{"key":"S0022481200048453_ref016","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3219-2"},{"key":"S0022481200048453_ref019","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"S0022481200048453_ref021","doi-asserted-by":"publisher","DOI":"10.2307\/2024493"},{"key":"S0022481200048453_ref023","volume-title":"Elements of symbolic logic","author":"Reichenbach","year":"1947"},{"key":"S0022481200048453_ref024","volume-title":"Space, time, and spacetime","author":"Sklar","year":"1974"},{"key":"S0022481200048453_ref026","first-page":"150","volume":"37","author":"Thomason","year":"1972","journal-title":"Semantic analysis of tense logics"},{"key":"S0022481200048453_ref028","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19750210114"},{"key":"S0022481200048453_ref025","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00427.x"},{"key":"S0022481200048453_ref030","first-page":"41","article-title":"Tense logic and standard logic","volume":"80","author":"van Benthem","year":"1978","journal-title":"Logique et Analyse"},{"key":"S0022481200048453_ref031","volume-title":"Language, thought, and reality","author":"Whorf","year":"1956"},{"key":"S0022481200048453_ref022","first-page":"1","article-title":"Decidability of second order theories and automata on infinite trees","volume":"141","author":"Rabin","year":"1966","journal-title":"Transactions of the American Mathematical Society"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200048453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T20:27:42Z","timestamp":1558902462000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200048453\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1979,12]]}},"alternative-id":["S0022481200048453"],"URL":"https:\/\/doi.org\/10.2307\/2273296","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}