{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:11:06Z","timestamp":1648663866267},"reference-count":2,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":8777,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1990,3]]},"abstract":"<jats:p>The two statements \u201cTwo different objects cannot occupy the same place at the same time\u201d and \u201cAn object cannot be in two different places at the same time\u201d are axioms of our everyday understanding of objects, space and time. We develop a first-order theory OST (Objects, Space and Time) in which formal equivalents of these two statements are taken as axioms. Using the theory OST, we uncover other fundamental principles of objects, space and time. We attempt to understand the logical nature of these principles, to investigate their formal consequences, and to identify logical alternatives to them. For easy reference, all of the nonlogical axioms of OST are listed together at the end of \u00a72. In \u00a73, we introduce two possible extensions of OST.<\/jats:p>","DOI":"10.2307\/2274955","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:33:48Z","timestamp":1146954828000},"page":"74-89","source":"Crossref","is-referenced-by-count":5,"title":["A formal theory of objects, space and time"],"prefix":"10.1017","volume":"55","author":[{"given":"Wayne D.","family":"Blizard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S002248120002644X_ref001","first-page":"197","volume-title":"Perceptual development in infancy","volume":"20","author":"Spelke","year":"1988"},{"key":"S002248120002644X_ref002","volume-title":"Matter, space and motion: theories in antiquity and their sequel","author":"Sorabji","year":"1988"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S002248120002644X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T21:52:19Z","timestamp":1558216339000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S002248120002644X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":2,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["S002248120002644X"],"URL":"https:\/\/doi.org\/10.2307\/2274955","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}