{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T05:55:01Z","timestamp":1726206901030},"reference-count":29,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,4,20]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We associate an elementary cellular automaton with a set of self-referential sentences, whose revision process is exactly the evolution process of that automaton. A simple but useful result of this connection is that a set of self-referential sentences is paradoxical, iff (the evolution process for) the cellular automaton in question has no fixed points. We sort out several distinct kinds of paradoxes by the existence and features of the fixed points of their corresponding automata. They are finite homogeneous paradoxes and infinite homogeneous paradoxes. In some weaker sense, we will also introduce no-no-sort paradoxes and virtual paradoxes. The introduction of these paradoxes, in turn, leads to a new classification of the cellular automata.<\/jats:p>","DOI":"10.1093\/logcom\/exaa022","type":"journal-article","created":{"date-parts":[[2020,2,13]],"date-time":"2020-02-13T20:11:29Z","timestamp":1581624689000},"page":"745-763","source":"Crossref","is-referenced-by-count":1,"title":["Elementary cellular automata and self-referential paradoxes"],"prefix":"10.1093","volume":"30","author":[{"given":"MING","family":"HSIUNG","sequence":"first","affiliation":[{"name":"School of Philosophy and Social Development, South China Normal University, Guangzhou 510631, P. R. China"}]}],"member":"286","published-online":{"date-parts":[[2020,4,16]]},"reference":[{"volume-title":"Logic of Provability","year":"1993","author":"Boolos","key":"2020050200393668600_ref1"},{"key":"2020050200393668600_ref2","doi-asserted-by":"crossref","first-page":"590","DOI":"10.2307\/2184846","article-title":"The semantic paradoxes: a diagnostic investigation","volume":"88","author":"Chihara","year":"1979","journal-title":"The Philosophical Review"},{"key":"2020050200393668600_ref3","first-page":"1","article-title":"Universality in elementary cellular automata","volume":"15","author":"Cook","year":"2004","journal-title":"Complex Systems"},{"key":"2020050200393668600_ref4","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1080\/00048402.2010.500671","article-title":"The no-no paradox is a paradox","volume":"89","author":"Cook","year":"2011","journal-title":"Australasian Journal of Philosophy"},{"key":"2020050200393668600_ref5","first-page":"177","article-title":"Undecidability of CA classification schemes","volume":"2","author":"Culik, II","year":"1988","journal-title":"Complex Systems"},{"key":"2020050200393668600_ref6","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1038\/scientificamerican1070-120","article-title":"The fantastic combinations of John Conway\u2019s new solitaire game \u2018life\u2019","volume":"223","author":"Gardner","year":"1970","journal-title":"Scientific American"},{"key":"2020050200393668600_ref7","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1111\/j.1933-1592.2011.00491.x","article-title":"Truthmaker gaps and the no-no paradox","volume":"82","author":"Greenough","year":"2011","journal-title":"Philosophy and Phenomenological Research"},{"key":"2020050200393668600_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00302338","article-title":"Truth and paradox","volume":"11","author":"Gupta","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"2020050200393668600_ref9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5938.001.0001","volume-title":"The Revision Theory of Truth","author":"Gupta","year":"1993"},{"key":"2020050200393668600_ref10","doi-asserted-by":"crossref","first-page":"567","DOI":"10.2307\/2586556","article-title":"Infinite time Turing machines","volume":"65","author":"Hamkins","year":"2000","journal-title":"The Journal of Symbolic Logic"},{"key":"2020050200393668600_ref11","doi-asserted-by":"crossref","first-page":"479","DOI":"10.2307\/2026380","article-title":"Naive semantics and the liar paradox","volume":"79","author":"Herzberger","year":"1982","journal-title":"Journal of Philosophy"},{"key":"2020050200393668600_ref12","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00302339","article-title":"Notes on naive semantics","volume":"11","author":"Herzberger","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"2020050200393668600_ref13","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1007\/s11225-017-9715-2","article-title":"Boolean paradoxes and revision periods","volume":"105","author":"Hsiung","year":"2017","journal-title":"Studia Logica"},{"key":"2020050200393668600_ref14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.tcs.2004.11.021","article-title":"Theory of cellular automata: a survey","volume":"334","author":"Kari","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"2020050200393668600_ref15","first-page":"281","article-title":"The structure of the elementary cellular automata rule space","volume":"4","author":"Li","year":"1990","journal-title":"Complex Systems"},{"key":"2020050200393668600_ref16","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1093\/logcom\/11.1.25","article-title":"Revision sequences and computers with an infinite amount of time","volume":"11","author":"L\u00f6we","year":"2001","journal-title":"Journal of Logic and Computation"},{"volume-title":"Recent Essays on Truth and the Liar Paradox","year":"1984","author":"Martin","key":"2020050200393668600_ref17"},{"volume-title":"Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers","year":"1992","author":"Odifreddi","key":"2020050200393668600_ref18"},{"key":"2020050200393668600_ref19","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1080\/01445340600593942","article-title":"Symmetry and paradox","volume":"27","author":"Read","year":"2006","journal-title":"History and Philosophy of Logic"},{"volume-title":"The Theory of Recursive Functions and Effective Computability","year":"1967","author":"Rogers","key":"2020050200393668600_ref20"},{"volume-title":"Introduction to the Theory of Computation","year":"2013","author":"Sipser","key":"2020050200393668600_ref21"},{"key":"2020050200393668600_ref22","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02757006","article-title":"Provability interpretations of modal logic","volume":"25","author":"Solovay","year":"1976","journal-title":"Israel Journal of Mathematics"},{"key":"2020050200393668600_ref23","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199241309.001.0001","volume-title":"Vagueness and Contradiction","author":"Sorensen","year":"2001"},{"key":"2020050200393668600_ref24","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/978-94-009-1171-0_10","article-title":"Semantics and the liar paradox","volume-title":"Handbook of Philosophical Logic","author":"Visser","year":"1989"},{"key":"2020050200393668600_ref25","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1103\/RevModPhys.55.601","article-title":"Statistical mechanics of cellular automata","volume":"55","author":"Wolfram","year":"1983","journal-title":"Reviews of Modern Physics"},{"key":"2020050200393668600_ref26","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF01217347","article-title":"Computation theory of cellular automata","volume":"96","author":"Wolfram","year":"1984","journal-title":"Communications in Mathematical Physics"},{"key":"2020050200393668600_ref27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-2789(84)90245-8","article-title":"Universality and complexity in cellular automata","volume":"10","author":"Wolfram","year":"1984","journal-title":"Physica D: Nonlinear Phenomena"},{"volume-title":"A New Kind of Science","year":"2002","author":"Wolfram","key":"2020050200393668600_ref28"},{"volume-title":"The Global Dynamics of Cellular Automata: An Atlas of Basin of Attraction Fields of One-Dimensional Cellular Automata","year":"1992","author":"Wuensche","key":"2020050200393668600_ref29"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/3\/745\/33154130\/exaa022.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/30\/3\/745\/33154130\/exaa022.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T16:00:32Z","timestamp":1722441632000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/30\/3\/745\/5820300"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":29,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2020,4,16]]},"published-print":{"date-parts":[[2020,4,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa022","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2020,4]]},"published":{"date-parts":[[2020,4]]}}}